{
  "$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-production-settlement-finalization-transaction-receipt-sealed-settlement-finalization-receipt-promotion-admission.v1.schema.json",
  "title": "D05 Cut 65 Signed Settlement Finalization Transaction Receipt and Sealed Settlement Finalization Receipt Promotion Admission",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamSettlementFinalizationTransactionContract", "sealedSettlementFinalizationReceiptPromotionAdmissionContract", "productionEvaluation", "transactionReceiptVerifierLaneMatrix", "promotionAdmissionControlMatrix", "sealedSettlementFinalizationReceiptPromotionStateMachine", "settlementFinalizationReceiptSealAttestationMatrix", "sealedSettlementFinalizationReceiptPromotionPermitMatrix", "reverseSettlementFinalizationReceiptEvictionProofMatrix", "fourLaneSettlementFinalizationReceiptPromotionConsistencyMatrix", "sealedSettlementFinalizationReceiptPromotionProtocolMatrix", "authorityMatrix", "sealedSettlementFinalizationReceiptPromotionGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "fixtureResults", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-production-settlement-finalization-transaction-receipt-sealed-settlement-finalization-receipt-promotion-admission/v1" },
    "status": { "enum": ["SETTLEMENT_FINALIZATION_TRANSACTION_RECEIPT_SEALED_SETTLEMENT_FINALIZATION_RECEIPT_PROMOTION_ADMISSION_BOUND_PRODUCTION_TRANSACTION_TERMINAL_RECEIPT_ABSENT", "UPSTREAM_CUT_64_SETTLEMENT_FINALIZATION_TRANSACTION_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": 65 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": true },
    "summary": { "type": "object", "properties": { "transactionReceiptVerifierLanesRequired": { "const": 4 }, "promotionAdmissionControlsRequired": { "const": 8 }, "settlementFinalizationReceiptSealAttestationsRequired": { "const": 4 }, "sealedSettlementFinalizationReceiptPromotionPermitsRequired": { "const": 4 }, "reverseSettlementFinalizationReceiptEvictionProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 45 }, "authorityRolesRequired": { "const": 40 }, "sealedSettlementFinalizationReceiptPromotionGates": { "const": 57 }, "receiptChainEntries": { "const": 52 }, "terminalReceiptFields": { "const": 202 }, "fixtureCases": { "const": 328 }, "fixtureAssertionsPassed": { "const": 328 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 324 }, "invariantAssertions": { "const": 312 }, "productionSettlementCommitAuthorizationPermitsConsumed": { "const": 0 }, "productionSettlementFinalizationReceiptDescriptorsPromoted": { "const": 0 }, "productionSettlementFinalizationReceiptDescriptorsMaterialized": { "const": 0 }, "productionSettlementFinalizationReceiptObjectsCreated": { "const": 0 }, "productionSettlementLedgerEntryObjectsRead": { "const": 0 }, "productionSettlementLedgerIntentObjectsRead": { "const": 0 }, "productionSettlementClaimObjectsRead": { "const": 0 }, "productionSettlementClaimsConsumed": { "const": 0 }, "productionSettlementLedgerEntriesWritten": { "const": 0 }, "productionSettlementCommitsExecuted": { "const": 0 }, "productionDownstreamSettlements": { "const": 0 }, "productionJournalWrites": { "const": 0 }, "productionTicketCasAttempts": { "const": 0 }, "productionHostContacts": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "resourcesCreated": { "const": 0 } }, "additionalProperties": true },
    "upstreamSettlementFinalizationTransactionContract": { "type": ["object", "null"] }, "sealedSettlementFinalizationReceiptPromotionAdmissionContract": { "type": ["object", "null"] }, "productionEvaluation": { "type": "object" },
    "transactionReceiptVerifierLaneMatrix": { "$ref": "#/$defs/four" }, "promotionAdmissionControlMatrix": { "$ref": "#/$defs/eight" }, "sealedSettlementFinalizationReceiptPromotionStateMachine": { "$ref": "#/$defs/seven" }, "settlementFinalizationReceiptSealAttestationMatrix": { "$ref": "#/$defs/four" }, "sealedSettlementFinalizationReceiptPromotionPermitMatrix": { "$ref": "#/$defs/four" }, "reverseSettlementFinalizationReceiptEvictionProofMatrix": { "$ref": "#/$defs/four" }, "fourLaneSettlementFinalizationReceiptPromotionConsistencyMatrix": { "$ref": "#/$defs/four" }, "sealedSettlementFinalizationReceiptPromotionProtocolMatrix": { "$ref": "#/$defs/fortyFive" },
    "authorityMatrix": { "type": "array", "minItems": 40, "maxItems": 40 }, "sealedSettlementFinalizationReceiptPromotionGateMatrix": { "type": "array", "minItems": 57, "maxItems": 57 }, "receiptChainMatrix": { "type": "array", "minItems": 52, "maxItems": 52 }, "terminalReceiptFieldMatrix": { "type": "array", "minItems": 202, "maxItems": 202 }, "fixtureResults": { "type": "array", "minItems": 328, "maxItems": 328 }, "decisionCodes": { "type": "array", "minItems": 328, "maxItems": 328 }, "invariants": { "type": "array", "minItems": 312, "maxItems": 312 }, "safetyTruth": { "type": "object" }, "discovery": { "type": "object" }
  },
  "$defs": { "four": { "type": "array", "minItems": 4, "maxItems": 4 }, "seven": { "type": "array", "minItems": 7, "maxItems": 7 }, "eight": { "type": "array", "minItems": 8, "maxItems": 8 }, "fortyFive": { "type": "array", "minItems": 45, "maxItems": 45 } },
  "additionalProperties": true
}