{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-factory-controller-activation-transaction-executor.v1.schema.json",
  "title": "REITs Controller fixture-only activation transaction executor contract",
  "type": "object",
  "required": ["schemaVersion", "status", "observedAt", "scope", "truth", "ports", "operations", "forwardSequence", "compensationSequence", "stateModel", "invariants", "verification", "productionPrerequisites", "fixtureRegistry", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-factory-controller-activation-transaction-executor/v1" },
    "status": { "const": "ACTIVATION_TRANSACTION_EXECUTOR_IMPLEMENTED_NOT_CONFIGURED" },
    "observedAt": { "type": "string", "format": "date-time" },
    "scope": {
      "type": "object",
      "required": ["mode", "input", "output", "endpoint", "requestValiditySeconds", "rollbackDeadlineSeconds", "networkAuthority", "deploymentAuthority", "productionEntrypointWired"],
      "properties": {
        "mode": { "const": "IN_MEMORY_TEST_DRIVER_ONLY" },
        "input": { "const": "AUTHORITY_VERIFIED_TEST_ONLY_ACTIVATION_PLAN_AND_30_SECOND_FIXTURE_REQUEST" },
        "output": { "const": "DIGEST_BOUND_COMMIT_ROLLBACK_OR_CONTAINMENT_RECEIPT" },
        "endpoint": { "const": "127.0.0.1:8110" },
        "requestValiditySeconds": { "const": 30 },
        "rollbackDeadlineSeconds": { "const": 60 },
        "networkAuthority": { "const": "NONE" },
        "deploymentAuthority": { "const": "NONE" },
        "productionEntrypointWired": { "const": false }
      },
      "additionalProperties": false
    },
    "truth": {
      "type": "object",
      "required": ["productionActivationPlanReceipts", "productionTransactionRequests", "productionExecutorsConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "productionActivationPlanReceipts": { "const": 0 }, "productionTransactionRequests": { "const": 0 }, "productionExecutorsConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "ports": { "type": "array", "minItems": 9, "maxItems": 9, "items": { "type": "object", "required": ["id", "operation", "authority"], "properties": { "id": { "type": "string" }, "operation": { "type": "string" }, "authority": { "const": "fixture-driver-only" } }, "additionalProperties": false } },
    "operations": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "type": "object", "required": ["id", "guard", "result"], "properties": { "id": { "enum": ["prepare", "execute", "verify", "dispose"] }, "guard": { "type": "string" }, "result": { "type": "string" } }, "additionalProperties": false } },
    "forwardSequence": { "const": ["ACQUIRE_LOCK", "SNAPSHOT_ROLLBACK", "INSTALL_UNIT", "START_LOOPBACK", "PROBE_HEALTH", "PROBE_READY", "RELEASE_LOCK"] },
    "compensationSequence": { "const": ["STOP_LOOPBACK", "REMOVE_UNIT", "RESTORE_SNAPSHOT", "RELEASE_LOCK"] },
    "stateModel": { "type": "array", "minItems": 12, "maxItems": 12 },
    "invariants": { "type": "array", "minItems": 48, "maxItems": 48, "items": { "type": "string", "minLength": 12 } },
    "verification": {
      "type": "object",
      "required": ["status", "fixtures", "acceptedOutcomes", "deniedOutcomes", "planReceiptsVerified", "fixtureStepReceiptsVerified", "committedTransactions", "rolledBackTransactions", "containedTransactions", "fixtureDriverCalls", "fixtureMutationOperations", "fixtureCompensationOperations", "productionActivationPlanReceipts", "productionExecutorsConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "listenerStarts", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted"],
      "properties": {
        "status": { "const": "PASS_FIXTURE_ONLY" }, "fixtures": { "const": 72 }, "acceptedOutcomes": { "const": 18 }, "deniedOutcomes": { "const": 54 }, "planReceiptsVerified": { "const": 48 }, "fixtureStepReceiptsVerified": { "const": 114 }, "committedTransactions": { "const": 5 }, "rolledBackTransactions": { "const": 9 }, "containedTransactions": { "const": 4 }, "fixtureDriverCalls": { "const": 130 }, "fixtureMutationOperations": { "const": 30 }, "fixtureCompensationOperations": { "const": 25 }, "productionActivationPlanReceipts": { "const": 0 }, "productionExecutorsConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "listenerStarts": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }
      },
      "additionalProperties": false
    },
    "productionPrerequisites": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "type": "string", "minLength": 12 } },
    "fixtureRegistry": {
      "type": "object",
      "required": ["schemaVersion", "fixedTime", "cases"],
      "properties": {
        "schemaVersion": { "const": "developer.reits.tech/runner-factory-controller-activation-transaction-executor-fixtures/v1" },
        "fixedTime": { "const": "2026-07-21T05:00:00.000Z" },
        "cases": { "type": "array", "minItems": 72, "maxItems": 72 }
      },
      "additionalProperties": false
    },
    "discovery": {
      "type": "object",
      "required": ["controller", "lifecycle", "upstream", "workbench", "schema"],
      "properties": {
        "controller": { "const": "/api/runner-factory/controller" },
        "lifecycle": { "const": "/api/runner-factory" },
        "upstream": { "const": "/api/runner-factory/controller/activation-executor" },
        "workbench": { "const": "/release-foundation#activation-transaction" },
        "schema": { "const": "/schemas/runner-factory-controller-activation-transaction-executor.v1.schema.json" }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}