{
  "$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-import-evaluation-transaction-receipt-frozen-namespace-promotion-admission.v1.schema.json",
  "title": "D05 Cut 41 Signed Transaction Receipt, Frozen Namespace Promotion Admission",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamTransactionContract", "productionPromotionAdmissionContract", "productionEvaluation", "transactionReceiptVerifierMatrix", "promotionControlMatrix", "promotionStateMachine", "frozenNamespaceAttestationMatrix", "namespacePromotionPermitMatrix", "reverseNamespaceDemotionProofMatrix", "promotionProtocolMatrix", "authorityMatrix", "promotionGateMatrix", "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-import-evaluation-transaction-receipt-frozen-namespace-promotion-admission/v1" },
    "status": { "enum": ["PRODUCTION_IMPORT_EVALUATION_TRANSACTION_RECEIPT_FROZEN_NAMESPACE_PROMOTION_ADMISSION_BOUND_PRODUCTION_TRANSACTION_TERMINAL_RECEIPT_ABSENT", "UPSTREAM_CUT_40_IMPORT_EVALUATION_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": 41 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": true },
    "summary": { "type": "object", "properties": { "transactionReceiptVerifiersRequired": { "const": 4 }, "promotionControlsRequired": { "const": 8 }, "frozenNamespaceAttestationsRequired": { "const": 4 }, "promotionPermitsRequired": { "const": 4 }, "reverseDemotionProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 21 }, "authorityRolesRequired": { "const": 16 }, "promotionGates": { "const": 33 }, "receiptChainEntries": { "const": 28 }, "terminalReceiptFields": { "const": 106 }, "fixtureCases": { "const": 184 }, "fixtureAssertionsPassed": { "const": 184 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 180 }, "invariantAssertions": { "const": 128 }, "productionSignedTransactionTerminalReceiptsVerified": { "const": 0 }, "productionFrozenNamespaceAttestationsVerified": { "const": 0 }, "productionNamespacePromotionPermitsIssued": { "const": 0 }, "productionNamespacePromotionClaims": { "const": 0 }, "productionNamespacePromotionsCommitted": { "const": 0 }, "productionReverseNamespaceDemotionProofsVerified": { "const": 0 }, "productionModuleBytesRead": { "const": 0 }, "productionDynamicImports": { "const": 0 }, "productionModulesEvaluated": { "const": 0 }, "productionNamespaceObjectsCreated": { "const": 0 }, "productionFactoriesConstructed": { "const": 0 }, "productionAdapterInvocations": { "const": 0 }, "productionJournalWrites": { "const": 0 }, "productionTicketCasAttempts": { "const": 0 }, "productionHostContacts": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "resourcesCreated": { "const": 0 } }, "additionalProperties": true },
    "transactionReceiptVerifierMatrix": { "$ref": "#/$defs/four" }, "promotionControlMatrix": { "$ref": "#/$defs/eight" }, "promotionStateMachine": { "$ref": "#/$defs/six" }, "frozenNamespaceAttestationMatrix": { "$ref": "#/$defs/four" }, "namespacePromotionPermitMatrix": { "$ref": "#/$defs/four" }, "reverseNamespaceDemotionProofMatrix": { "$ref": "#/$defs/four" }, "promotionProtocolMatrix": { "$ref": "#/$defs/twentyOne" },
    "authorityMatrix": { "type": "array", "minItems": 16, "maxItems": 16 }, "promotionGateMatrix": { "type": "array", "minItems": 33, "maxItems": 33 }, "receiptChainMatrix": { "type": "array", "minItems": 28, "maxItems": 28 }, "terminalReceiptFieldMatrix": { "type": "array", "minItems": 106, "maxItems": 106 }, "fixtureResults": { "type": "array", "minItems": 184, "maxItems": 184 }, "invariants": { "type": "array", "minItems": 128, "maxItems": 128 }
  },
  "$defs": { "four": { "type": "array", "minItems": 4, "maxItems": 4 }, "six": { "type": "array", "minItems": 6, "maxItems": 6 }, "eight": { "type": "array", "minItems": 8, "maxItems": 8 }, "twentyOne": { "type": "array", "minItems": 21, "maxItems": 21 } }, "additionalProperties": true
}