{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-factory-controller-bootstrap-composition.v1.schema.json",
  "title": "REITs Runner Factory Controller bootstrap composition",
  "type": "object",
  "required": ["schemaVersion", "status", "observedAt", "scope", "truth", "implementation", "operations", "components", "consumers", "stateModel", "invariants", "verification", "failureClasses", "productionPrerequisites", "fixtureRegistry", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-factory-controller-bootstrap-composition/v1" },
    "status": { "const": "BOOTSTRAP_COMPOSER_IMPLEMENTED_NOT_INSTALLED" },
    "observedAt": { "type": "string", "format": "date-time" },
    "scope": {
      "type": "object",
      "required": ["mode", "configurationInput", "readers", "attestationVerifiers", "componentFactories", "singleUseBundle", "reverseCleanup", "externalReadPolicy", "mutationPolicy"],
      "properties": {
        "mode": { "const": "TEST_ONLY_COMPOSITION_NO_LISTENER" }, "configurationInput": { "const": "VERIFIED_RESOLVED_BUNDLE_ONLY" }, "readers": { "const": 5 }, "attestationVerifiers": { "const": 1 }, "componentFactories": { "const": 6 }, "singleUseBundle": { "const": true }, "reverseCleanup": { "const": true }, "externalReadPolicy": { "const": "NO_READ_DURING_COMPOSITION" }, "mutationPolicy": { "const": "NO_WRITE_NO_LISTENER_NO_LIFECYCLE_ADAPTER" }
      },
      "additionalProperties": false
    },
    "truth": {
      "type": "object",
      "required": ["productionCompositions", "productionComponentsConstructed", "configuredReaderBindings", "configuredAttestationVerifiers", "runtimeBootstrapReceipts", "runtimeProjections", "controllerListeners", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "productionCompositions": { "const": 0 }, "productionComponentsConstructed": { "const": 0 }, "configuredReaderBindings": { "const": 0 }, "configuredAttestationVerifiers": { "const": 0 }, "runtimeBootstrapReceipts": { "const": 0 }, "runtimeProjections": { "const": 0 }, "controllerListeners": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "implementation": { "type": "object", "minProperties": 7 },
    "operations": { "type": "array", "minItems": 5, "maxItems": 5 },
    "components": { "type": "array", "minItems": 6, "maxItems": 6 },
    "consumers": { "type": "array", "minItems": 3, "maxItems": 3 },
    "stateModel": { "type": "array", "minItems": 7, "maxItems": 7 },
    "invariants": { "type": "array", "minItems": 28, "maxItems": 28 },
    "verification": {
      "type": "object",
      "required": ["status", "fixtures", "acceptedOutcomes", "deniedOutcomes", "snapshotIntegrations", "assemblyIntegrations", "readinessProjections", "replayedBundlesDenied", "forgedHandlesDenied", "postDisposeCallsDenied", "reverseCleanupCases", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "listenerStarts"],
      "properties": {
        "status": { "const": "PASS_FIXTURE_ONLY" }, "fixtures": { "const": 45 }, "acceptedOutcomes": { "const": 7 }, "deniedOutcomes": { "const": 38 }, "snapshotIntegrations": { "const": 1 }, "assemblyIntegrations": { "const": 1 }, "readinessProjections": { "const": 1 }, "replayedBundlesDenied": { "const": 1 }, "forgedHandlesDenied": { "const": 1 }, "postDisposeCallsDenied": { "const": 1 }, "reverseCleanupCases": { "const": 6 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "listenerStarts": { "const": 0 }
      },
      "additionalProperties": false
    },
    "failureClasses": { "type": "array", "minItems": 6, "maxItems": 6 },
    "productionPrerequisites": { "type": "array", "minItems": 9, "maxItems": 9 },
    "fixtureRegistry": {
      "type": "object",
      "required": ["schemaVersion", "fixedTime", "cases"],
      "properties": {
        "schemaVersion": { "const": "developer.reits.tech/runner-factory-controller-bootstrap-composition-fixtures/v1" },
        "fixedTime": { "const": "2026-07-20T22:00:00.000Z" },
        "cases": { "type": "array", "minItems": 45, "maxItems": 45 }
      },
      "additionalProperties": false
    },
    "discovery": {
      "type": "object",
      "required": ["controller", "configuration", "assembly", "snapshotCoordinator", "workbench", "schema"],
      "properties": {
        "controller": { "const": "/api/runner-factory/controller" }, "configuration": { "const": "/api/runner-factory/controller/runtime-configuration" }, "assembly": { "const": "/api/runner-factory/controller/runtime-assembly" }, "snapshotCoordinator": { "const": "/api/runner-factory/reconciliation/snapshot-coordinator" }, "workbench": { "const": "/release-foundation" }, "schema": { "const": "/schemas/runner-factory-controller-bootstrap-composition.v1.schema.json" }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}