{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-one-time-settlement-finalization-authorization-transaction-settlement-finalization-receipt-seal-failure-containment.v1.schema.json",
  "title": "D05 Cut 64 Settlement Finalization Transaction, Finalization Receipt Seal and Failure Containment",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamSettlementFinalizationAuthorizationAdmissionContract", "settlementFinalizationTransactionFailureContainmentContract", "productionEvaluation", "settlementFinalizationTransactionLaneMatrix", "settlementFinalizationTransactionControlMatrix", "settlementFinalizationTransactionStateMachine", "settlementFinalizationReceiptSealMatrix", "settlementFinalizationTransactionResultReceiptMatrix", "reverseSettlementFinalizationAbortProofMatrix", "fourLaneSettlementFinalizationTransactionConsistencyMatrix", "settlementFinalizationTransactionProtocolMatrix", "authorityMatrix", "settlementFinalizationTransactionGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "fixtureResults", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-one-time-settlement-finalization-authorization-transaction-settlement-finalization-receipt-seal-failure-containment/v1" },
    "status": { "enum": ["SETTLEMENT_FINALIZATION_AUTHORIZATION_TRANSACTION_FINALIZATION_RECEIPT_SEAL_FAILURE_CONTAINMENT_BOUND_PRODUCTION_AUTHORIZATION_TERMINAL_RECEIPT_ABSENT", "UPSTREAM_CUT_63_SETTLEMENT_FINALIZATION_AUTHORIZATION_ADMISSION_CONTRACT_UNAVAILABLE"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "type": "string" },
    "program": { "type": "object", "properties": { "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" }, "closeoutCut": { "const": 64 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": true },
    "summary": { "type": "object", "properties": { "settlementFinalizationTransactionLanesRequired": { "const": 4 }, "containmentControlsRequired": { "const": 8 }, "sealedSettlementFinalizationReceiptDescriptorsRequired": { "const": 4 }, "transactionResultReceiptsRequired": { "const": 4 }, "reverseAbortProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 44 }, "authorityRolesRequired": { "const": 39 }, "settlementFinalizationTransactionGates": { "const": 56 }, "receiptChainEntries": { "const": 51 }, "terminalReceiptFields": { "const": 198 }, "fixtureCases": { "const": 322 }, "fixtureAssertionsPassed": { "const": 322 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 318 }, "invariantAssertions": { "const": 304 }, "productionSettlementFinalizationAuthorizationPermitsConsumed": { "const": 0 }, "productionSettlementFinalizationTransactionContextsCreated": { "const": 0 }, "productionSettlementFinalizationReceiptDescriptorsProjected": { "const": 0 }, "productionSettlementFinalizationReceiptDescriptorsMaterialized": { "const": 0 }, "productionSettlementFinalizationReceiptSealsCreated": { "const": 0 }, "productionSettlementFinalizationTransactionResultReceiptsIssued": { "const": 0 }, "productionReverseSettlementFinalizationAbortProofsVerified": { "const": 0 }, "productionSettlementExecutionReceiptObjectsRead": { "const": 0 }, "productionSettlementLedgerEntryObjectsRead": { "const": 0 }, "productionSettlementLedgerIntentObjectsRead": { "const": 0 }, "productionSettlementClaimObjectsRead": { "const": 0 }, "productionSettlementClaimsConsumed": { "const": 0 }, "productionSettlementLedgerEntriesWritten": { "const": 0 }, "productionSettlementCommitsExecuted": { "const": 0 }, "productionSettlementFinalizationsExecuted": { "const": 0 }, "productionDownstreamSettlements": { "const": 0 }, "productionJournalWrites": { "const": 0 }, "productionTicketCasAttempts": { "const": 0 }, "productionHostContacts": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "resourcesCreated": { "const": 0 } }, "additionalProperties": true },
    "upstreamSettlementFinalizationAuthorizationAdmissionContract": { "type": ["object", "null"] },
    "settlementFinalizationTransactionFailureContainmentContract": { "type": ["object", "null"] },
    "productionEvaluation": { "type": "object", "required": ["code", "terminal", "failedGate"], "additionalProperties": true },
    "settlementFinalizationTransactionLaneMatrix": { "$ref": "#/$defs/four" },
    "settlementFinalizationTransactionControlMatrix": { "$ref": "#/$defs/eight" },
    "settlementFinalizationTransactionStateMachine": { "$ref": "#/$defs/seven" },
    "settlementFinalizationReceiptSealMatrix": { "$ref": "#/$defs/four" },
    "settlementFinalizationTransactionResultReceiptMatrix": { "$ref": "#/$defs/four" },
    "reverseSettlementFinalizationAbortProofMatrix": { "$ref": "#/$defs/four" },
    "fourLaneSettlementFinalizationTransactionConsistencyMatrix": { "$ref": "#/$defs/four" },
    "settlementFinalizationTransactionProtocolMatrix": { "$ref": "#/$defs/fortyFour" },
    "authorityMatrix": { "type": "array", "minItems": 39, "maxItems": 39 },
    "settlementFinalizationTransactionGateMatrix": { "type": "array", "minItems": 56, "maxItems": 56 },
    "receiptChainMatrix": { "type": "array", "minItems": 51, "maxItems": 51 },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 198, "maxItems": 198 },
    "fixtureResults": { "type": "array", "minItems": 322, "maxItems": 322 },
    "decisionCodes": { "type": "array", "minItems": 322, "maxItems": 322 },
    "invariants": { "type": "array", "minItems": 304, "maxItems": 304 },
    "safetyTruth": { "type": "object", "additionalProperties": true },
    "discovery": { "type": "object", "required": ["workbench", "detailedWorkbench", "schema", "upstreamSettlementFinalizationAuthorizationAdmission"], "additionalProperties": false }
  },
  "$defs": { "four": { "type": "array", "minItems": 4, "maxItems": 4 }, "seven": { "type": "array", "minItems": 7, "maxItems": 7 }, "eight": { "type": "array", "minItems": 8, "maxItems": 8 }, "fortyFour": { "type": "array", "minItems": 44, "maxItems": 44 } },
  "additionalProperties": true
}