{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-outcome-settlement-reconciliation.v1.schema.json",
  "title": "D05 dry-boot outcome settlement and reconciliation",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schemaVersion", "status", "evaluatedAt", "mode", "program", "summary",
    "upstreamOutcomeContract", "settlementTransactionContract", "productionEvaluation",
    "ingressValidator", "ingressEvidenceMatrix", "ownerDecisionMatrix",
    "effectReconciliationMatrix", "durabilityProofMatrix", "settlementProtocolMatrix",
    "authorityMatrix", "settlementGateMatrix", "receiptChainMatrix",
    "terminalReceiptFieldMatrix", "lifecycleMatrix", "fixtureResults",
    "selectedCommittedTrace", "selectedQuarantineHeldTrace", "selectedQuarantineReleasedTrace",
    "selectedReaderFailureTrace", "selectedReadAfterWriteFailureTrace",
    "selectedDurableWriteBoundaryTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"
  ],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-outcome-settlement-reconciliation/v1" },
    "status": { "enum": ["UPSTREAM_OUTCOME_CONTRACT_UNAVAILABLE", "OUTCOME_SETTLEMENT_RECONCILIATION_BOUND_PRODUCTION_OUTCOME_READER_ABSENT"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_OUTCOME_INGESTION_QUARANTINE_RELEASE_EFFECT_RECONCILIATION_AND_DURABILITY_PROOF_NO_DURABLE_IO_NO_ADAPTER_INVOCATION_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": 31 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false }
      }
    },
    "summary": {
      "type": "object",
      "required": [
        "upstreamOutcomeContractAvailable", "outcomeSettlementContractBound", "productionOutcomeReaderConfigured",
        "logicalSettlementsRequired", "ingressEvidenceSlotsRequired", "ownerDecisionClassesRequired",
        "effectReconciliationRecordsRequired", "durabilityProofsRequired", "protocolStagesRequired",
        "authorityRolesRequired", "settlementGates", "receiptChainEntries", "terminalReceiptFields",
        "fixtureCases", "fixtureAssertionsPassed", "fixtureCommitted", "fixtureQuarantineHeld",
        "fixtureQuarantineReleased", "fixtureDenied", "productionOutcomeReaderBindings",
        "productionAdapterOutcomeReceipts", "productionIngressValidations", "productionQuarantineReads",
        "productionOwnerChallenges", "productionOwnerApprovals", "productionQuarantineReleases",
        "productionEffectObservations", "productionEffectReconciliations", "productionTicketPreconditionReads",
        "productionConsumptionIntents", "productionTicketConsumptions", "productionReadAfterWrites",
        "productionAuditWrites", "productionSettlements", "productionAdapterInvocations",
        "productionProcessesSpawned", "productionHostsCreated", "productionHostContacts",
        "productionPort8110Calls", "durableReadsExecuted", "durableWritesExecuted",
        "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "executionPermitted", "decision"
      ],
      "properties": {
        "upstreamOutcomeContractAvailable": { "type": "boolean" }, "outcomeSettlementContractBound": { "type": "boolean" }, "productionOutcomeReaderConfigured": { "const": false },
        "logicalSettlementsRequired": { "const": 1 }, "ingressEvidenceSlotsRequired": { "const": 8 }, "ownerDecisionClassesRequired": { "const": 4 },
        "effectReconciliationRecordsRequired": { "const": 8 }, "durabilityProofsRequired": { "const": 7 }, "protocolStagesRequired": { "const": 11 },
        "authorityRolesRequired": { "const": 6 }, "settlementGates": { "const": 23 }, "receiptChainEntries": { "const": 18 }, "terminalReceiptFields": { "const": 66 },
        "fixtureCases": { "const": 124 }, "fixtureAssertionsPassed": { "const": 124 }, "fixtureCommitted": { "const": 1 }, "fixtureQuarantineHeld": { "const": 1 }, "fixtureQuarantineReleased": { "const": 1 }, "fixtureDenied": { "const": 121 },
        "productionOutcomeReaderBindings": { "const": 0 }, "productionAdapterOutcomeReceipts": { "const": 0 }, "productionIngressValidations": { "const": 0 },
        "productionQuarantineReads": { "const": 0 }, "productionOwnerChallenges": { "const": 0 }, "productionOwnerApprovals": { "const": 0 }, "productionQuarantineReleases": { "const": 0 },
        "productionEffectObservations": { "const": 0 }, "productionEffectReconciliations": { "const": 0 }, "productionTicketPreconditionReads": { "const": 0 },
        "productionConsumptionIntents": { "const": 0 }, "productionTicketConsumptions": { "const": 0 }, "productionReadAfterWrites": { "const": 0 },
        "productionAuditWrites": { "const": 0 }, "productionSettlements": { "const": 0 }, "productionAdapterInvocations": { "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 },
        "executionPermitted": { "const": false }, "decision": { "type": "string", "minLength": 1 }
      },
      "additionalProperties": false
    },
    "upstreamOutcomeContract": { "type": ["object", "null"] },
    "settlementTransactionContract": { "type": ["object", "null"] },
    "productionEvaluation": {
      "type": "object",
      "required": ["code", "terminal", "failedGate", "settlementsVerified", "ingressEvidenceVerified", "ownerDecisionsVerified", "effectsReconciled", "durabilityProofsVerified", "stagesVerified", "authoritiesVerified", "receiptsVerified", "quarantineReleasesVerified", "consumptionsCommitted", "productionReady"],
      "properties": {
        "code": { "type": "string" }, "terminal": { "const": "DENIED" }, "failedGate": { "type": ["string", "null"] },
        "settlementsVerified": { "type": "integer", "minimum": 0 }, "ingressEvidenceVerified": { "type": "integer", "minimum": 0 }, "ownerDecisionsVerified": { "type": "integer", "minimum": 0 },
        "effectsReconciled": { "type": "integer", "minimum": 0 }, "durabilityProofsVerified": { "type": "integer", "minimum": 0 }, "stagesVerified": { "type": "integer", "minimum": 0 },
        "authoritiesVerified": { "type": "integer", "minimum": 0 }, "receiptsVerified": { "type": "integer", "minimum": 0 }, "quarantineReleasesVerified": { "type": "integer", "minimum": 0 },
        "consumptionsCommitted": { "type": "integer", "minimum": 0 }, "productionReady": { "const": false }
      },
      "additionalProperties": false
    },
    "ingressValidator": { "type": "object" },
    "ingressEvidenceMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "ownerDecisionMatrix": { "type": "array", "minItems": 4, "maxItems": 4 },
    "effectReconciliationMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "durabilityProofMatrix": { "type": "array", "minItems": 7, "maxItems": 7 },
    "settlementProtocolMatrix": { "type": "array", "minItems": 11, "maxItems": 11 },
    "authorityMatrix": { "type": "array", "minItems": 6, "maxItems": 6 },
    "settlementGateMatrix": { "type": "array", "minItems": 23, "maxItems": 23 },
    "receiptChainMatrix": { "type": "array", "minItems": 18, "maxItems": 18 },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 66, "maxItems": 66 },
    "lifecycleMatrix": { "type": "array", "minItems": 18, "maxItems": 18 },
    "fixtureResults": { "type": "array", "minItems": 124, "maxItems": 124 },
    "selectedCommittedTrace": { "type": "object" }, "selectedQuarantineHeldTrace": { "type": "object" }, "selectedQuarantineReleasedTrace": { "type": "object" },
    "selectedReaderFailureTrace": { "type": "object" }, "selectedReadAfterWriteFailureTrace": { "type": "object" }, "selectedDurableWriteBoundaryTrace": { "type": "object" },
    "decisionCodes": { "type": "array", "minItems": 124, "maxItems": 124, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 82, "maxItems": 82, "items": { "type": "string" } },
    "safetyTruth": { "type": "object" },
    "discovery": {
      "type": "object", "additionalProperties": false, "required": ["workbench", "schema", "upstreamOutcome"],
      "properties": { "workbench": { "const": "/release-foundation#runner-controller-dossier-store-dry-boot-outcome-settlement-reconciliation" }, "schema": { "const": "/schemas/runner-controller-dossier-store-dry-boot-outcome-settlement-reconciliation.v1.schema.json" }, "upstreamOutcome": { "const": "/api/runner-controller/dossier-store-dry-boot-response-receipt-validator-outcome-adjudication" } }
    }
  }
}