{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-factory-controller-runtime-assembly.v1.schema.json",
  "title": "REITs Runner Factory Controller runtime assembly dossier",
  "type": "object",
  "required": ["schemaVersion", "status", "observedAt", "scope", "truth", "implementation", "operations", "readerBindings", "readinessGates", "stateModel", "invariants", "verification", "failureClasses", "productionPrerequisites", "fixtureRegistry", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-factory-controller-runtime-assembly/v1" },
    "status": { "const": "ASSEMBLY_VERIFIER_IMPLEMENTED_NOT_CONFIGURED" },
    "observedAt": { "type": "string", "format": "date-time" },
    "scope": {
      "type": "object",
      "required": ["mode", "readerBindings", "readinessGates", "serviceBind", "serviceMode", "attestationMaxAgeSeconds", "secretPolicy", "mutationPolicy"],
      "properties": {
        "mode": { "const": "READINESS_RECEIPT_ONLY_NO_ADAPTER_CONSTRUCTION" }, "readerBindings": { "const": 5 }, "readinessGates": { "const": 11 },
        "serviceBind": { "const": "127.0.0.1:8110" }, "serviceMode": { "const": "EVIDENCE_ONLY" }, "attestationMaxAgeSeconds": { "const": 300 },
        "secretPolicy": { "const": "CONFIGREF_AND_KEYREF_ONLY" }, "mutationPolicy": { "const": "NO_RUNTIME_INSTALL_NO_SOURCE_CALL_NO_WRITE" }
      },
      "additionalProperties": false
    },
    "truth": {
      "type": "object",
      "required": ["manifestInstalled", "runtimeIdentityConfigured", "configuredReaderBindings", "verifiedReadinessGates", "readinessReady", "runtimeReadinessReceipts", "controllerListeners", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "manifestInstalled": { "const": false }, "runtimeIdentityConfigured": { "const": false }, "configuredReaderBindings": { "const": 0 }, "verifiedReadinessGates": { "const": 0 }, "readinessReady": { "const": false }, "runtimeReadinessReceipts": { "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",
      "required": ["assembly", "configuration", "fixtureRegistry", "verifier", "productionManifest", "productionAttestationVerifier"],
      "properties": {
        "assembly": { "const": "ops/runner-factory/controller-runtime-assembly.mjs" }, "configuration": { "const": "ops/runner-factory/service-config.mjs" }, "fixtureRegistry": { "const": "ops/runner-factory/controller-runtime-assembly-fixtures.json" }, "verifier": { "const": "scripts/verify-runner-factory-controller-runtime-assembly.mjs" },
        "productionManifest": { "const": "NOT_INSTALLED" }, "productionAttestationVerifier": { "const": "NOT_CONFIGURED" }
      },
      "additionalProperties": false
    },
    "operations": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "type": "object", "required": ["id", "guard", "result"], "properties": { "id": { "enum": ["plan", "assemble", "verify", "toControllerRuntime"] }, "guard": { "type": "string", "minLength": 20 }, "result": { "type": "string", "minLength": 20 } }, "additionalProperties": false } },
    "readerBindings": { "type": "array", "minItems": 5, "maxItems": 5, "items": { "type": "object", "required": ["source", "authority", "driver", "permission", "configuration"], "properties": { "source": { "enum": ["Reservation", "Capacity", "Worker", "Runner", "Journal"] }, "authority": { "type": "string", "minLength": 10 }, "driver": { "type": "string", "minLength": 10 }, "permission": { "type": "string", "minLength": 10 }, "configuration": { "type": "array", "minItems": 2, "maxItems": 3, "items": { "type": "string", "minLength": 5 } } }, "additionalProperties": false } },
    "readinessGates": { "type": "array", "minItems": 11, "maxItems": 11, "items": { "type": "string", "pattern": "^RF_READY_[A-Z_]+$" } },
    "stateModel": { "type": "array", "minItems": 5, "maxItems": 5, "items": { "type": "object", "required": ["id", "meaning"], "properties": { "id": { "enum": ["MANIFEST_PLANNED", "IDENTITY_BOUND", "GATES_PARTIAL", "READY_VERIFIED", "DENIED_INTEGRITY"] }, "meaning": { "type": "string", "minLength": 20 } }, "additionalProperties": false } },
    "invariants": { "type": "array", "minItems": 20, "maxItems": 20, "items": { "type": "string", "minLength": 20 } },
    "verification": {
      "type": "object",
      "required": ["status", "fixtures", "readyPackets", "blockedPackets", "deniedInputs", "verifiedAttestations", "controllerProjectionCases", "booleanEscalationsDenied", "secretValuesRecorded", "externalCallsExecuted", "mutationsExecuted"],
      "properties": { "status": { "const": "PASS_FIXTURE_ONLY" }, "fixtures": { "const": 32 }, "readyPackets": { "const": 1 }, "blockedPackets": { "const": 5 }, "deniedInputs": { "const": 26 }, "verifiedAttestations": { "const": 30 }, "controllerProjectionCases": { "const": 6 }, "booleanEscalationsDenied": { "const": 1 }, "secretValuesRecorded": { "const": 0 }, "externalCallsExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 } },
      "additionalProperties": false
    },
    "failureClasses": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "type": "object", "required": ["code", "effect"], "properties": { "code": { "type": "string", "pattern": "^[A-Z0-9_|]+$" }, "effect": { "type": "string", "minLength": 20 } }, "additionalProperties": false } },
    "productionPrerequisites": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "type": "string", "minLength": 20 } },
    "fixtureRegistry": {
      "type": "object", "required": ["schemaVersion", "fixedTime", "cases"],
      "properties": { "schemaVersion": { "const": "developer.reits.tech/runner-factory-controller-runtime-assembly-fixtures/v1" }, "fixedTime": { "const": "2026-07-20T21:00:00.000Z" }, "cases": { "type": "array", "minItems": 32, "maxItems": 32, "items": { "oneOf": [
        { "type": "object", "required": ["id", "profile", "expected", "status", "readyCount"], "properties": { "id": { "type": "string", "pattern": "^RFRA-[0-9]{2}$" }, "profile": { "type": "string", "pattern": "^[a-z][a-z0-9-]+$" }, "expected": { "const": "ASSEMBLE" }, "status": { "enum": ["READY_VERIFIED", "BLOCKED_CONFIGURATION"] }, "readyCount": { "type": "integer", "minimum": 0, "maximum": 11 } }, "additionalProperties": false },
        { "type": "object", "required": ["id", "profile", "expected", "errorCode"], "properties": { "id": { "type": "string", "pattern": "^RFRA-[0-9]{2}$" }, "profile": { "type": "string", "pattern": "^[a-z][a-z0-9-]+$" }, "expected": { "const": "DENY" }, "errorCode": { "type": "string", "pattern": "^RF_ASSEMBLY_[A-Z_]+$" } }, "additionalProperties": false }
      ] } } },
      "additionalProperties": false
    },
    "discovery": {
      "type": "object", "required": ["controller", "snapshotCoordinator", "workbench", "schema"],
      "properties": { "controller": { "const": "/api/runner-factory/controller" }, "snapshotCoordinator": { "const": "/api/runner-factory/reconciliation/snapshot-coordinator" }, "workbench": { "const": "/release-foundation#runtime-assembly" }, "schema": { "const": "/schemas/runner-factory-controller-runtime-assembly.v1.schema.json" } },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}