{
  "$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-sealed-factory-output-promotion-admission-receipt-one-time-adapter-invocation-authorization.v1.schema.json",
  "title": "D05 Cut 45 Signed Sealed Factory Output Promotion Admission Receipt and One-Time Adapter Invocation Authorization",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamSealedFactoryOutputPromotionAdmissionContract", "oneTimeAdapterInvocationAuthorizationContract", "productionEvaluation", "promotionReceiptVerifierLaneMatrix", "invocationAuthorizationControlMatrix", "adapterInvocationAuthorizationStateMachine", "adapterInvocationTargetSealMatrix", "oneTimeAdapterInvocationAuthorizationPermitMatrix", "reverseAdapterInvocationAuthorizationRevocationProofMatrix", "fourLaneInvocationAuthorizationConsistencyMatrix", "authorizationProtocolMatrix", "authorityMatrix", "authorizationGateMatrix", "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-sealed-factory-output-promotion-admission-receipt-one-time-adapter-invocation-authorization/v1" },
    "status": { "enum": ["SEALED_FACTORY_OUTPUT_PROMOTION_RECEIPT_ONE_TIME_ADAPTER_INVOCATION_AUTHORIZATION_BOUND_PRODUCTION_PROMOTION_TERMINAL_RECEIPT_ABSENT", "UPSTREAM_CUT_44_SEALED_FACTORY_OUTPUT_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": 45 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": true },
    "summary": { "type": "object", "properties": { "promotionReceiptVerifierLanesRequired": { "const": 4 }, "invocationAuthorizationControlsRequired": { "const": 8 }, "adapterInvocationTargetSealsRequired": { "const": 4 }, "oneTimeAdapterInvocationAuthorizationPermitsRequired": { "const": 4 }, "reverseAuthorizationRevocationProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 25 }, "authorityRolesRequired": { "const": 20 }, "authorizationGates": { "const": 37 }, "receiptChainEntries": { "const": 32 }, "terminalReceiptFields": { "const": 122 }, "fixtureCases": { "const": 208 }, "fixtureAssertionsPassed": { "const": 208 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 204 }, "invariantAssertions": { "const": 152 }, "productionAdapterInvocationIntentsAuthorized": { "const": 0 }, "productionCallableReferencesRetained": { "const": 0 }, "productionAdapterFactoriesCreated": { "const": 0 }, "productionAdapterInvocations": { "const": 0 }, "productionJournalWrites": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "resourcesCreated": { "const": 0 } }, "additionalProperties": true },
    "promotionReceiptVerifierLaneMatrix": { "$ref": "#/$defs/four" },
    "invocationAuthorizationControlMatrix": { "$ref": "#/$defs/eight" },
    "adapterInvocationAuthorizationStateMachine": { "$ref": "#/$defs/seven" },
    "adapterInvocationTargetSealMatrix": { "$ref": "#/$defs/four" },
    "oneTimeAdapterInvocationAuthorizationPermitMatrix": { "$ref": "#/$defs/four" },
    "reverseAdapterInvocationAuthorizationRevocationProofMatrix": { "$ref": "#/$defs/four" },
    "fourLaneInvocationAuthorizationConsistencyMatrix": { "$ref": "#/$defs/four" },
    "authorizationProtocolMatrix": { "$ref": "#/$defs/twentyFive" },
    "authorityMatrix": { "type": "array", "minItems": 20, "maxItems": 20 },
    "authorizationGateMatrix": { "type": "array", "minItems": 37, "maxItems": 37 },
    "receiptChainMatrix": { "type": "array", "minItems": 32, "maxItems": 32 },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 122, "maxItems": 122 },
    "fixtureResults": { "type": "array", "minItems": 208, "maxItems": 208 },
    "invariants": { "type": "array", "minItems": 152, "maxItems": 152 }
  },
  "$defs": {
    "four": { "type": "array", "minItems": 4, "maxItems": 4 },
    "seven": { "type": "array", "minItems": 7, "maxItems": 7 },
    "eight": { "type": "array", "minItems": 8, "maxItems": 8 },
    "twentyFive": { "type": "array", "minItems": 25, "maxItems": 25 }
  },
  "additionalProperties": true
}