{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-settlement-runtime-adapter-conformance-recovery.v1.schema.json",
  "title": "D05 settlement runtime adapter conformance and crash-safe recovery",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamSettlementContract", "runtimeCompositionContract", "productionEvaluation", "adapterPacketMatrix", "typedOperationMatrix", "observationAdmissionMatrix", "recoveryCheckpointMatrix", "recoveryBranchMatrix", "recoveryProtocolMatrix", "authorityMatrix", "recoveryGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "fixtureResults", "selectedQualifiedTrace", "selectedPreCasTrace", "selectedPostCasTrace", "selectedAmbiguousTrace", "selectedAdapterPacketFailureTrace", "selectedPostCasRepeatFailureTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-adapter-conformance-recovery/v1" },
    "status": { "enum": ["UPSTREAM_SETTLEMENT_CONTRACT_UNAVAILABLE", "SETTLEMENT_RUNTIME_ADAPTER_CONFORMANCE_BOUND_PRODUCTION_ADAPTER_PACKETS_ABSENT"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_ADAPTER_CONFORMANCE_SIGNED_OBSERVATION_ADMISSION_AND_CRASH_RECOVERY_NO_ADAPTER_LOAD_NO_DURABLE_IO_NO_HOST_NO_PORT" },
    "program": { "type": "object", "additionalProperties": false, "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Accepted"], "properties": { "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" }, "closeoutCut": { "const": 32 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } } },
    "summary": {
      "type": "object",
      "additionalProperties": false,
      "required": ["upstreamSettlementContractAvailable", "runtimeCompositionContractBound", "productionAdapterPacketSetConfigured", "adapterPacketsRequired", "typedOperationsRequired", "observationAdmissionFactorsRequired", "recoveryCheckpointsRequired", "protocolStagesRequired", "authorityRolesRequired", "recoveryGates", "receiptChainEntries", "terminalReceiptFields", "fixtureCases", "fixtureAssertionsPassed", "fixtureQualified", "fixtureDenied", "productionAdapterPacketSets", "productionAdapterPackets", "productionAdapterPackagesLoaded", "productionAdapterInvocations", "productionObservationSourcesAdmitted", "productionOutcomeReads", "productionQuarantineReads", "productionQuarantineWrites", "productionEffectObservationReads", "productionTicketReads", "productionTicketCasAttempts", "productionTicketConsumptions", "productionRecoveryCheckpointReads", "productionRecoveryDecisions", "productionAuditWrites", "productionProcessesSpawned", "productionHostsCreated", "productionHostContacts", "productionPort8110Calls", "durableReadsExecuted", "durableWritesExecuted", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "d1Created", "r2Created", "productionAdapterTrustRootConfigured", "productionObservationAuthorityRootConfigured", "productionRecoveryJournalConfigured", "controller8110Started", "executionPermitted", "decision"],
      "properties": {
        "upstreamSettlementContractAvailable": { "type": "boolean" }, "runtimeCompositionContractBound": { "type": "boolean" }, "productionAdapterPacketSetConfigured": { "const": false },
        "adapterPacketsRequired": { "const": 4 }, "typedOperationsRequired": { "const": 8 }, "observationAdmissionFactorsRequired": { "const": 5 }, "recoveryCheckpointsRequired": { "const": 8 }, "protocolStagesRequired": { "const": 12 }, "authorityRolesRequired": { "const": 7 }, "recoveryGates": { "const": 24 }, "receiptChainEntries": { "const": 19 }, "terminalReceiptFields": { "const": 70 },
        "fixtureCases": { "const": 130 }, "fixtureAssertionsPassed": { "const": 130 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 126 },
        "productionAdapterPacketSets": { "const": 0 }, "productionAdapterPackets": { "const": 0 }, "productionAdapterPackagesLoaded": { "const": 0 }, "productionAdapterInvocations": { "const": 0 }, "productionObservationSourcesAdmitted": { "const": 0 }, "productionOutcomeReads": { "const": 0 }, "productionQuarantineReads": { "const": 0 }, "productionQuarantineWrites": { "const": 0 }, "productionEffectObservationReads": { "const": 0 }, "productionTicketReads": { "const": 0 }, "productionTicketCasAttempts": { "const": 0 }, "productionTicketConsumptions": { "const": 0 }, "productionRecoveryCheckpointReads": { "const": 0 }, "productionRecoveryDecisions": { "const": 0 }, "productionAuditWrites": { "const": 0 }, "productionProcessesSpawned": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionHostContacts": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "durableReadsExecuted": { "const": 0 }, "durableWritesExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "d1Created": { "const": 0 }, "r2Created": { "const": 0 },
        "productionAdapterTrustRootConfigured": { "const": false }, "productionObservationAuthorityRootConfigured": { "const": false }, "productionRecoveryJournalConfigured": { "const": false }, "controller8110Started": { "const": false }, "executionPermitted": { "const": false }, "decision": { "type": "string", "minLength": 1 }
      }
    },
    "upstreamSettlementContract": { "type": ["object", "null"] },
    "runtimeCompositionContract": { "type": ["object", "null"] },
    "productionEvaluation": { "type": "object", "additionalProperties": false, "required": ["code", "terminal", "failedGate", "adapterPacketsQualified", "operationsVerified", "observationFactorsVerified", "checkpointsVerified", "stagesVerified", "authoritiesVerified", "receiptsVerified", "ticketCasAttempts", "productionReady"], "properties": { "code": { "type": "string" }, "terminal": { "const": "DENIED" }, "failedGate": { "type": ["string", "null"] }, "adapterPacketsQualified": { "type": "integer", "minimum": 0 }, "operationsVerified": { "type": "integer", "minimum": 0 }, "observationFactorsVerified": { "type": "integer", "minimum": 0 }, "checkpointsVerified": { "type": "integer", "minimum": 0 }, "stagesVerified": { "type": "integer", "minimum": 0 }, "authoritiesVerified": { "type": "integer", "minimum": 0 }, "receiptsVerified": { "type": "integer", "minimum": 0 }, "ticketCasAttempts": { "type": "integer", "minimum": 0 }, "productionReady": { "const": false } } },
    "adapterPacketMatrix": { "type": "array", "minItems": 4, "maxItems": 4 },
    "typedOperationMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "observationAdmissionMatrix": { "type": "array", "minItems": 5, "maxItems": 5 },
    "recoveryCheckpointMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "recoveryBranchMatrix": { "type": "array", "minItems": 3, "maxItems": 3 },
    "recoveryProtocolMatrix": { "type": "array", "minItems": 12, "maxItems": 12 },
    "authorityMatrix": { "type": "array", "minItems": 7, "maxItems": 7 },
    "recoveryGateMatrix": { "type": "array", "minItems": 24, "maxItems": 24 },
    "receiptChainMatrix": { "type": "array", "minItems": 19, "maxItems": 19 },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 70, "maxItems": 70 },
    "fixtureResults": { "type": "array", "minItems": 130, "maxItems": 130 },
    "selectedQualifiedTrace": { "type": "object" }, "selectedPreCasTrace": { "type": "object" }, "selectedPostCasTrace": { "type": "object" }, "selectedAmbiguousTrace": { "type": "object" }, "selectedAdapterPacketFailureTrace": { "type": "object" }, "selectedPostCasRepeatFailureTrace": { "type": "object" },
    "decisionCodes": { "type": "array", "minItems": 130, "maxItems": 130, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 86, "maxItems": 86, "items": { "type": "string" } },
    "safetyTruth": { "type": "object" },
    "discovery": { "type": "object", "additionalProperties": false, "required": ["workbench", "schema", "upstreamSettlement"], "properties": { "workbench": { "const": "/release-foundation#runner-controller-dossier-store-dry-boot-settlement-runtime-adapter-conformance-recovery" }, "schema": { "const": "/schemas/runner-controller-dossier-store-dry-boot-settlement-runtime-adapter-conformance-recovery.v1.schema.json" }, "upstreamSettlement": { "const": "/api/runner-controller/dossier-store-dry-boot-outcome-settlement-reconciliation" } } }
  }
}