{
  "$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-namespace-promotion-admission-receipt-one-time-factory-construction-authorization.v1.schema.json",
  "title": "D05 Cut 42 Signed Namespace Promotion Receipt and One-time Factory Construction Authorization",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamPromotionAdmissionContract", "productionFactoryConstructionAuthorizationContract", "productionEvaluation", "promotionAdmissionReceiptVerifierMatrix", "factoryConstructionAuthorizationControlMatrix", "factoryConstructionAuthorizationStateMachine", "factoryConstructionInputSealMatrix", "oneTimeFactoryConstructionPermitMatrix", "factoryConstructionAuthorizationRevocationProofMatrix", "factoryAuthorizationProtocolMatrix", "authorityMatrix", "factoryAuthorizationGateMatrix", "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-namespace-promotion-admission-receipt-one-time-factory-construction-authorization/v1" },
    "status": { "enum": ["PRODUCTION_NAMESPACE_PROMOTION_ADMISSION_RECEIPT_ONE_TIME_FACTORY_CONSTRUCTION_AUTHORIZATION_BOUND_PRODUCTION_PROMOTION_TERMINAL_RECEIPT_ABSENT", "UPSTREAM_CUT_41_NAMESPACE_PROMOTION_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": 42 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": true },
    "summary": { "type": "object", "properties": { "promotionReceiptVerifiersRequired": { "const": 4 }, "authorizationControlsRequired": { "const": 8 }, "factoryInputSealsRequired": { "const": 4 }, "factoryPermitEnvelopesRequired": { "const": 4 }, "revocationProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 22 }, "authorityRolesRequired": { "const": 17 }, "authorizationGates": { "const": 34 }, "receiptChainEntries": { "const": 29 }, "terminalReceiptFields": { "const": 110 }, "fixtureCases": { "const": 190 }, "fixtureAssertionsPassed": { "const": 190 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 186 }, "invariantAssertions": { "const": 132 }, "productionPromotionAdmissionTerminalReceiptsVerified": { "const": 0 }, "productionFactoryConstructionAuthorizationReceiptsIssued": { "const": 0 }, "productionFactoryConstructionPermitHandlesCreated": { "const": 0 }, "productionFactoryConstructionPermitConsumes": { "const": 0 }, "productionFactoryConstructionPermitRevocationsVerified": { "const": 0 }, "productionFactoryInputSealsVerified": { "const": 0 }, "productionFactoriesConstructed": { "const": 0 }, "productionAdapterInvocations": { "const": 0 }, "productionJournalWrites": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "resourcesCreated": { "const": 0 } }, "additionalProperties": true },
    "promotionAdmissionReceiptVerifierMatrix": { "$ref": "#/$defs/four" }, "factoryConstructionAuthorizationControlMatrix": { "$ref": "#/$defs/eight" }, "factoryConstructionAuthorizationStateMachine": { "$ref": "#/$defs/seven" }, "factoryConstructionInputSealMatrix": { "$ref": "#/$defs/four" }, "oneTimeFactoryConstructionPermitMatrix": { "$ref": "#/$defs/four" }, "factoryConstructionAuthorizationRevocationProofMatrix": { "$ref": "#/$defs/four" }, "factoryAuthorizationProtocolMatrix": { "$ref": "#/$defs/twentyTwo" },
    "authorityMatrix": { "type": "array", "minItems": 17, "maxItems": 17 }, "factoryAuthorizationGateMatrix": { "type": "array", "minItems": 34, "maxItems": 34 }, "receiptChainMatrix": { "type": "array", "minItems": 29, "maxItems": 29 }, "terminalReceiptFieldMatrix": { "type": "array", "minItems": 110, "maxItems": 110 }, "fixtureResults": { "type": "array", "minItems": 190, "maxItems": 190 }, "invariants": { "type": "array", "minItems": 132, "maxItems": 132 }
  },
  "$defs": { "four": { "type": "array", "minItems": 4, "maxItems": 4 }, "seven": { "type": "array", "minItems": 7, "maxItems": 7 }, "eight": { "type": "array", "minItems": 8, "maxItems": 8 }, "twentyTwo": { "type": "array", "minItems": 22, "maxItems": 22 } }, "additionalProperties": true
}