{
  "$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-module-import-evaluation-transaction-namespace-freeze-failure-containment.v1.schema.json",
  "title": "D05 Cut 40 One-time Module Import Evaluation Transaction, Namespace Freeze and Failure Containment",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamAuthorizationContract", "productionTransactionContract", "productionEvaluation", "importEvaluationTransactionMatrix", "containmentControlMatrix", "frozenNamespaceWitnessMatrix", "evaluationResultReceiptMatrix", "failureContainmentProofMatrix", "transactionProtocolMatrix", "authorityMatrix", "transactionGateMatrix", "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-module-import-evaluation-transaction-namespace-freeze-failure-containment/v1" },
    "status": { "enum": ["ONE_TIME_MODULE_IMPORT_EVALUATION_TRANSACTION_NAMESPACE_FREEZE_FAILURE_CONTAINMENT_BOUND_PRODUCTION_AUTHORIZATION_TERMINAL_RECEIPT_ABSENT", "UPSTREAM_ONE_TIME_MODULE_EVALUATION_AUTHORIZATION_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": 40 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": true },
    "summary": { "type": "object", "properties": {
      "transactionLanesRequired": { "const": 4 }, "containmentControlsRequired": { "const": 8 }, "namespaceWitnessesRequired": { "const": 4 }, "evaluationResultReceiptsRequired": { "const": 4 }, "failureContainmentProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 20 }, "authorityRolesRequired": { "const": 15 }, "transactionGates": { "const": 32 }, "receiptChainEntries": { "const": 27 }, "terminalReceiptFields": { "const": 102 }, "fixtureCases": { "const": 178 }, "fixtureAssertionsPassed": { "const": 178 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 174 }, "invariantAssertions": { "const": 124 },
      "productionImportEvaluationTransactionHandlesCreated": { "const": 0 }, "productionImportEvaluationTransactionClaims": { "const": 0 }, "productionEvaluationResultReceiptsVerified": { "const": 0 }, "productionFrozenNamespaceWitnessesVerified": { "const": 0 }, "productionFailureContainmentProofsVerified": { "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 },
    "importEvaluationTransactionMatrix": { "$ref": "#/$defs/four" }, "containmentControlMatrix": { "$ref": "#/$defs/eight" }, "frozenNamespaceWitnessMatrix": { "$ref": "#/$defs/four" }, "evaluationResultReceiptMatrix": { "$ref": "#/$defs/four" }, "failureContainmentProofMatrix": { "$ref": "#/$defs/four" }, "transactionProtocolMatrix": { "$ref": "#/$defs/twenty" },
    "authorityMatrix": { "type": "array", "minItems": 15, "maxItems": 15 }, "transactionGateMatrix": { "type": "array", "minItems": 32, "maxItems": 32 }, "receiptChainMatrix": { "type": "array", "minItems": 27, "maxItems": 27 }, "terminalReceiptFieldMatrix": { "type": "array", "minItems": 102, "maxItems": 102 }, "fixtureResults": { "type": "array", "minItems": 178, "maxItems": 178 }, "invariants": { "type": "array", "minItems": 124, "maxItems": 124 }
  },
  "$defs": { "four": { "type": "array", "minItems": 4, "maxItems": 4 }, "eight": { "type": "array", "minItems": 8, "maxItems": 8 }, "twenty": { "type": "array", "minItems": 20, "maxItems": 20 } },
  "additionalProperties": true
}