{
  "$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-module-evaluation-factory-construction-admission.v1.schema.json",
  "title": "D05 quarantined module evaluation and factory construction admission",
  "type": "object",
  "required": ["schemaVersion", "status", "program", "summary", "productionEvaluation", "moduleEvaluationSlotMatrix", "staticInspectionMatrix", "capabilityManifestMatrix", "isolatedRealmMatrix", "exportInspectionMatrix", "factoryConstructionMatrix", "invocationClosureMatrix", "disposalMatrix", "evaluationProtocolMatrix", "authorityMatrix", "evaluationGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "fixtureResults", "decisionCodes", "invariants", "safetyTruth"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-module-evaluation-factory-construction-admission/v1" },
    "status": { "enum": ["MODULE_EVALUATION_FACTORY_CONSTRUCTION_BOUND_PRODUCTION_ACQUISITION_RECEIPT_ABSENT", "UPSTREAM_MODULE_ACQUISITION_CONTRACT_UNAVAILABLE"] },
    "evaluatedAt": { "type": "string" },
    "mode": { "type": "string" },
    "program": {
      "type": "object",
      "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Accepted"],
      "properties": { "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" }, "closeoutCut": { "const": 36 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } },
      "additionalProperties": false
    },
    "summary": {
      "type": "object",
      "required": ["moduleSlotsRequired", "staticChecksRequired", "capabilityManifestsRequired", "isolatedRealmsRequired", "exportInspectionsRequired", "factoryClosuresRequired", "invocationClosuresRequired", "disposalProofsRequired", "protocolStagesRequired", "authorityRolesRequired", "evaluationGates", "receiptChainEntries", "terminalReceiptFields", "fixtureCases", "fixtureAssertionsPassed", "fixtureQualified", "fixtureDenied", "invariantAssertions", "productionDynamicImports", "productionModulesEvaluated", "productionFactoriesConstructed", "productionAdapterInvocations", "productionJournalWrites", "productionPort8110Calls", "resourcesCreated"],
      "properties": {
        "moduleSlotsRequired": { "const": 4 }, "staticChecksRequired": { "const": 8 }, "capabilityManifestsRequired": { "const": 4 }, "isolatedRealmsRequired": { "const": 4 }, "exportInspectionsRequired": { "const": 4 }, "factoryClosuresRequired": { "const": 4 }, "invocationClosuresRequired": { "const": 4 }, "disposalProofsRequired": { "const": 4 }, "protocolStagesRequired": { "const": 16 }, "authorityRolesRequired": { "const": 11 }, "evaluationGates": { "const": 28 }, "receiptChainEntries": { "const": 23 }, "terminalReceiptFields": { "const": 86 }, "fixtureCases": { "const": 154 }, "fixtureAssertionsPassed": { "const": 154 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 150 }, "invariantAssertions": { "const": 106 },
        "productionModuleAcquisitionReceipts": { "const": 0 }, "productionQuarantinePartitionsAdmitted": { "const": 0 }, "productionStaticInspectorsBound": { "const": 0 }, "productionSyntaxTreesParsed": { "const": 0 }, "productionStaticChecksExecuted": { "const": 0 }, "productionCapabilityManifestsBound": { "const": 0 }, "productionIsolatedRealmsAllocated": { "const": 0 }, "productionExportInspections": { "const": 0 }, "productionFactoryConstructionReceipts": { "const": 0 }, "productionInvocationClosures": { "const": 0 }, "productionDisposalProofs": { "const": 0 }, "productionSecretReads": { "const": 0 }, "productionModuleBytesRead": { "const": 0 }, "productionDynamicImports": { "const": 0 }, "productionModulesEvaluated": { "const": 0 }, "productionPackagesLoaded": { "const": 0 }, "productionFactoriesConstructed": { "const": 0 }, "productionAdapterInvocations": { "const": 0 }, "productionJournalReads": { "const": 0 }, "productionJournalWrites": { "const": 0 }, "productionTicketCasAttempts": { "const": 0 }, "productionProcessesSpawned": { "const": 0 }, "productionListenersStarted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionHostContacts": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "durableReadsExecuted": { "const": 0 }, "durableWritesExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "d1Created": { "const": 0 }, "r2Created": { "const": 0 }
      },
      "additionalProperties": true
    },
    "upstreamModuleAcquisitionContract": { "type": ["object", "null"] },
    "moduleEvaluationAdmissionContract": { "type": ["object", "null"] },
    "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "moduleEvaluationSlotMatrix": { "$ref": "#/$defs/four" },
    "staticInspectionMatrix": { "$ref": "#/$defs/eight" },
    "capabilityManifestMatrix": { "$ref": "#/$defs/four" },
    "isolatedRealmMatrix": { "$ref": "#/$defs/four" },
    "exportInspectionMatrix": { "$ref": "#/$defs/four" },
    "factoryConstructionMatrix": { "$ref": "#/$defs/four" },
    "invocationClosureMatrix": { "$ref": "#/$defs/four" },
    "disposalMatrix": { "$ref": "#/$defs/four" },
    "evaluationProtocolMatrix": { "type": "array", "minItems": 16, "maxItems": 16, "items": { "type": "object" } },
    "authorityMatrix": { "type": "array", "minItems": 11, "maxItems": 11, "items": { "type": "object" } },
    "evaluationGateMatrix": { "type": "array", "minItems": 28, "maxItems": 28, "items": { "type": "object" } },
    "receiptChainMatrix": { "type": "array", "minItems": 23, "maxItems": 23, "items": { "type": "object" } },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 86, "maxItems": 86, "items": { "type": "object" } },
    "fixtureResults": { "type": "array", "minItems": 154, "maxItems": 154, "items": { "type": "object", "required": ["id", "actualCode", "terminal", "passed", "secretReads", "moduleBytesRead", "dynamicImports", "modulesEvaluated", "factoriesConstructed", "adapterInvocations", "durableWrites", "port8110Calls", "productionReady"] } },
    "decisionCodes": { "type": "array", "minItems": 154, "maxItems": 154, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 106, "maxItems": 106, "items": { "type": "string" } },
    "safetyTruth": { "type": "object" },
    "discovery": { "type": "object" }
  },
  "$defs": {
    "four": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "type": "object" } },
    "eight": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "type": "object" } },
    "evaluation": { "type": "object", "required": ["code", "terminal", "failedGate", "secretReads", "moduleBytesRead", "dynamicImports", "modulesEvaluated", "factoriesConstructed", "adapterInvocations", "durableWrites", "port8110Calls", "productionReady"], "properties": { "code": { "type": "string" }, "terminal": { "type": "string" }, "failedGate": { "type": ["string", "null"] }, "secretReads": { "const": 0 }, "moduleBytesRead": { "const": 0 }, "dynamicImports": { "const": 0 }, "modulesEvaluated": { "const": 0 }, "factoriesConstructed": { "const": 0 }, "adapterInvocations": { "const": 0 }, "durableWrites": { "const": 0 }, "port8110Calls": { "const": 0 }, "productionReady": { "const": false } }, "additionalProperties": true }
  },
  "additionalProperties": true
}