{
  "$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-manifest-admission.v1.schema.json",
  "title": "D05 signed loader manifest issuance and admission",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamSignedLoaderContract", "manifestAdmissionContract", "productionEvaluation", "manifestSlotMatrix", "trustAttestationMatrix", "configResolutionMatrix", "moduleSourceProofMatrix", "factoryExportProofMatrix", "selfTestMatrix", "journalBindingMatrix", "issuanceProtocolMatrix", "authorityMatrix", "admissionGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "fixtureResults", "selectedQualifiedTrace", "selectedRotationTrace", "selectedConfigTrace", "selectedModuleTrace", "selectedEnvelopeFailureTrace", "selectedSecretBoundaryTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-manifest-admission/v1" },
    "status": { "enum": ["UPSTREAM_SIGNED_LOADER_CONTRACT_UNAVAILABLE", "LOADER_MANIFEST_ADMISSION_BOUND_PRODUCTION_ENVELOPE_ABSENT"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_MANIFEST_ISSUANCE_TRUST_ATTESTATION_CONFIG_SNAPSHOT_AND_MODULE_SOURCE_ADMISSION_NO_SECRET_READ_NO_MODULE_BYTES_NO_IMPORT_NO_DURABLE_IO_NO_HOST_NO_PORT" },
    "program": { "type": "object", "additionalProperties": false, "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Accepted"], "properties": { "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" }, "closeoutCut": { "const": 34 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } } },
    "summary": {
      "type": "object", "additionalProperties": false,
      "required": ["upstreamSignedLoaderContractAvailable", "manifestAdmissionContractBound", "productionManifestEnvelopeConfigured", "manifestSlotsRequired", "trustAttestationsRequired", "configResolutionReceiptsRequired", "moduleSourceProofsRequired", "factoryExportProofsRequired", "selfTestsRequired", "journalBindingsRequired", "protocolStagesRequired", "authorityRolesRequired", "admissionGates", "receiptChainEntries", "terminalReceiptFields", "fixtureCases", "fixtureAssertionsPassed", "fixtureQualified", "fixtureDenied", "invariantAssertions", "productionManifestEnvelopes", "productionIssuerKeysResolved", "productionRootAttestations", "productionConfigResolutionReceipts", "productionConfigSnapshotsPinned", "productionConfigValuesRead", "productionModuleSourceProofs", "productionModuleBytesRead", "productionModuleDigestsVerified", "productionFactoryExportProofs", "productionSelfTestsExecuted", "productionJournalBindings", "productionSecretReads", "productionDynamicImports", "productionPackagesLoaded", "productionAdapterInvocations", "productionJournalReads", "productionJournalWrites", "productionTicketCasAttempts", "productionProcessesSpawned", "productionListenersStarted", "productionHostsCreated", "productionHostContacts", "productionPort8110Calls", "durableReadsExecuted", "durableWritesExecuted", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "d1Created", "r2Created", "productionManifestConfigured", "productionIssuerKeyConfigured", "productionTrustAttestationsConfigured", "productionConfigResolverConfigured", "productionModuleSourceConfigured", "productionJournalConfigured", "controller8110Started", "executionPermitted", "decision"],
      "properties": {
        "upstreamSignedLoaderContractAvailable": { "type": "boolean" }, "manifestAdmissionContractBound": { "type": "boolean" }, "productionManifestEnvelopeConfigured": { "const": false },
        "manifestSlotsRequired": { "const": 4 }, "trustAttestationsRequired": { "const": 3 }, "configResolutionReceiptsRequired": { "const": 12 }, "moduleSourceProofsRequired": { "const": 4 }, "factoryExportProofsRequired": { "const": 4 }, "selfTestsRequired": { "const": 8 }, "journalBindingsRequired": { "const": 6 }, "protocolStagesRequired": { "const": 14 }, "authorityRolesRequired": { "const": 9 }, "admissionGates": { "const": 26 }, "receiptChainEntries": { "const": 21 }, "terminalReceiptFields": { "const": 78 }, "fixtureCases": { "const": 142 }, "fixtureAssertionsPassed": { "const": 142 }, "fixtureQualified": { "const": 4 }, "fixtureDenied": { "const": 138 }, "invariantAssertions": { "const": 94 },
        "productionManifestEnvelopes": { "const": 0 }, "productionIssuerKeysResolved": { "const": 0 }, "productionRootAttestations": { "const": 0 }, "productionConfigResolutionReceipts": { "const": 0 }, "productionConfigSnapshotsPinned": { "const": 0 }, "productionConfigValuesRead": { "const": 0 }, "productionModuleSourceProofs": { "const": 0 }, "productionModuleBytesRead": { "const": 0 }, "productionModuleDigestsVerified": { "const": 0 }, "productionFactoryExportProofs": { "const": 0 }, "productionSelfTestsExecuted": { "const": 0 }, "productionJournalBindings": { "const": 0 }, "productionSecretReads": { "const": 0 }, "productionDynamicImports": { "const": 0 }, "productionPackagesLoaded": { "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 },
        "productionManifestConfigured": { "const": false }, "productionIssuerKeyConfigured": { "const": false }, "productionTrustAttestationsConfigured": { "const": false }, "productionConfigResolverConfigured": { "const": false }, "productionModuleSourceConfigured": { "const": false }, "productionJournalConfigured": { "const": false }, "controller8110Started": { "const": false }, "executionPermitted": { "const": false }, "decision": { "type": "string" }
      }
    },
    "upstreamSignedLoaderContract": { "type": ["object", "null"] }, "manifestAdmissionContract": { "type": ["object", "null"] }, "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "manifestSlotMatrix": { "$ref": "#/$defs/four" }, "trustAttestationMatrix": { "$ref": "#/$defs/three" },
    "configResolutionMatrix": { "type": "array", "minItems": 12, "maxItems": 12, "items": { "type": "object" } },
    "moduleSourceProofMatrix": { "$ref": "#/$defs/four" }, "factoryExportProofMatrix": { "$ref": "#/$defs/four" },
    "selfTestMatrix": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "type": "object" } },
    "journalBindingMatrix": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "type": "object" } },
    "issuanceProtocolMatrix": { "type": "array", "minItems": 14, "maxItems": 14, "items": { "type": "object" } },
    "authorityMatrix": { "type": "array", "minItems": 9, "maxItems": 9, "items": { "type": "object" } },
    "admissionGateMatrix": { "type": "array", "minItems": 26, "maxItems": 26, "items": { "type": "object" } },
    "receiptChainMatrix": { "type": "array", "minItems": 21, "maxItems": 21, "items": { "type": "object" } },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 78, "maxItems": 78, "items": { "type": "object" } },
    "fixtureResults": { "type": "array", "minItems": 142, "maxItems": 142, "items": { "$ref": "#/$defs/fixture" } },
    "selectedQualifiedTrace": { "$ref": "#/$defs/fixture" }, "selectedRotationTrace": { "$ref": "#/$defs/fixture" }, "selectedConfigTrace": { "$ref": "#/$defs/fixture" }, "selectedModuleTrace": { "$ref": "#/$defs/fixture" }, "selectedEnvelopeFailureTrace": { "$ref": "#/$defs/fixture" }, "selectedSecretBoundaryTrace": { "$ref": "#/$defs/fixture" },
    "decisionCodes": { "type": "array", "minItems": 142, "maxItems": 142, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 94, "maxItems": 94, "uniqueItems": true, "items": { "type": "string" } },
    "safetyTruth": { "type": "object" },
    "discovery": { "type": "object", "additionalProperties": false, "required": ["workbench", "schema", "upstreamLoader"], "properties": { "workbench": { "const": "/release-foundation#runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-manifest-admission" }, "schema": { "const": "/schemas/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-manifest-admission.v1.schema.json" }, "upstreamLoader": { "const": "/api/runner-controller/dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-recovery-journal" } } }
  },
  "$defs": {
    "four": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "type": "object" } },
    "three": { "type": "array", "minItems": 3, "maxItems": 3, "items": { "type": "object" } },
    "evaluation": { "type": "object", "required": ["code", "terminal", "failedGate", "secretReads", "moduleBytesRead", "dynamicImports", "durableWrites", "productionReady"], "properties": { "code": { "type": "string" }, "terminal": { "type": "string" }, "failedGate": { "type": ["string", "null"] }, "secretReads": { "const": 0 }, "moduleBytesRead": { "const": 0 }, "dynamicImports": { "const": 0 }, "durableWrites": { "const": 0 }, "productionReady": { "const": false } } },
    "fixture": { "type": "object", "required": ["id", "mutation", "expectedCode", "actualCode", "terminal", "failedGate", "passed", "secretReads", "moduleBytesRead", "dynamicImports", "durableWrites", "productionReady"], "properties": { "id": { "type": "string" }, "mutation": { "type": "string" }, "expectedCode": { "type": "string" }, "actualCode": { "type": "string" }, "terminal": { "type": "string" }, "failedGate": { "type": ["string", "null"] }, "passed": { "const": true }, "secretReads": { "const": 0 }, "moduleBytesRead": { "const": 0 }, "dynamicImports": { "const": 0 }, "durableWrites": { "const": 0 }, "productionReady": { "const": false } } }
  }
}