{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-executor-binding.v1.schema.json",
  "title": "D05 no-shell dry-boot executor binding",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamDryBootAuthorizationContract", "upstreamNoShellExecutorContract", "dryBootExecutorBindingContract", "productionEvaluation", "stepBindingMatrix", "controlPortMatrix", "authorityMatrix", "bindingGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "lifecycleMatrix", "fixtureResults", "selectedShellDenialTrace", "selectedProductionBoundaryTrace", "selectedReplayDenialTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-executor-binding/v1" },
    "status": { "enum": ["DRY_BOOT_EXECUTOR_BINDING_CONTRACT_BOUND_PRODUCTION_EXECUTOR_ABSENT", "UPSTREAM_DRY_BOOT_AUTHORIZATION_CONTRACT_UNAVAILABLE", "NO_SHELL_EXECUTOR_CONTRACT_UNAVAILABLE"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_NO_SHELL_DRY_BOOT_EXECUTOR_BINDING_NO_HOST_NO_PORT_NO_EXTERNAL_EFFECTS" },
    "program": { "$ref": "#/$defs/program" },
    "summary": { "$ref": "#/$defs/summary" },
    "upstreamDryBootAuthorizationContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/upstreamAuthorization" }] },
    "upstreamNoShellExecutorContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/upstreamExecutor" }] },
    "dryBootExecutorBindingContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/contentAddressedContract" }] },
    "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "stepBindingMatrix": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "$ref": "#/$defs/stepBinding" } },
    "controlPortMatrix": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "$ref": "#/$defs/controlPort" } },
    "authorityMatrix": { "type": "array", "minItems": 3, "maxItems": 3, "items": { "$ref": "#/$defs/authority" } },
    "bindingGateMatrix": { "type": "array", "minItems": 15, "maxItems": 15, "items": { "$ref": "#/$defs/gate" } },
    "receiptChainMatrix": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "$ref": "#/$defs/receipt" } },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 34, "maxItems": 34, "items": { "$ref": "#/$defs/receiptField" } },
    "lifecycleMatrix": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "$ref": "#/$defs/lifecycle" } },
    "fixtureResults": { "type": "array", "minItems": 72, "maxItems": 72, "items": { "$ref": "#/$defs/fixture" } },
    "selectedShellDenialTrace": { "$ref": "#/$defs/fixture" },
    "selectedProductionBoundaryTrace": { "$ref": "#/$defs/fixture" },
    "selectedReplayDenialTrace": { "$ref": "#/$defs/fixture" },
    "decisionCodes": { "type": "array", "minItems": 72, "maxItems": 72, "uniqueItems": true, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 48, "maxItems": 48, "uniqueItems": true, "items": { "type": "string" } },
    "safetyTruth": { "$ref": "#/$defs/safetyTruth" },
    "discovery": { "type": "object", "required": ["workbench", "schema", "upstreamAuthorization", "upstreamNoShellExecutor", "liveIdentity"], "properties": { "workbench": { "const": "/release-foundation#runner-controller-dossier-store-dry-boot-executor-binding" }, "schema": { "const": "/schemas/runner-controller-dossier-store-dry-boot-executor-binding.v1.schema.json" }, "upstreamAuthorization": { "const": "/api/runner-controller/dossier-store-dry-boot-authorization" }, "upstreamNoShellExecutor": { "const": "/api/runner-factory/controller/disposable-host-no-shell-executor" }, "liveIdentity": { "const": "/api/release-unit" } }, "additionalProperties": false }
  },
  "$defs": {
    "program": {
      "type": "object",
      "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Accepted"],
      "properties": { "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" }, "closeoutCut": { "const": 23 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } },
      "additionalProperties": false
    },
    "summary": {
      "type": "object",
      "required": ["upstreamDryBootAuthorizationContractAvailable", "upstreamNoShellExecutorContractAvailable", "executorBindingContractBound", "authorizationReceiptFieldsRequired", "productionAuthorizationReceiptsObserved", "componentsRequired", "productionComponentReceiptsObserved", "hostConstraintsRequired", "productionHostProfilesObserved", "authorizedOperationsRequired", "executorStepBindingsRequired", "productionStepReceiptsObserved", "controlPortsRequired", "productionControlPortsConfigured", "authorityRolesRequired", "productionAuthorityReceiptsObserved", "bindingGates", "productionGatesPassed", "receiptChainEntries", "productionReceiptChainEntriesObserved", "terminalReceiptFields", "productionTerminalReceiptFieldsObserved", "fixtureCases", "fixtureAssertionsPassed", "fixtureBound", "fixtureDenied", "productionExecutorBindings", "productionExecutorInvocations", "productionDryBootsExecuted", "productionHostsCreated", "productionPort8110Calls", "shellCommandsAccepted", "processesSpawned", "hostContacts", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "executionPermitted", "decision"],
      "properties": {
        "upstreamDryBootAuthorizationContractAvailable": { "type": "boolean" }, "upstreamNoShellExecutorContractAvailable": { "type": "boolean" }, "executorBindingContractBound": { "type": "boolean" },
        "authorizationReceiptFieldsRequired": { "const": 30 }, "productionAuthorizationReceiptsObserved": { "const": 0 }, "componentsRequired": { "const": 5 }, "productionComponentReceiptsObserved": { "const": 0 }, "hostConstraintsRequired": { "const": 19 }, "productionHostProfilesObserved": { "const": 0 },
        "authorizedOperationsRequired": { "const": 8 }, "executorStepBindingsRequired": { "const": 8 }, "productionStepReceiptsObserved": { "const": 0 }, "controlPortsRequired": { "const": 4 }, "productionControlPortsConfigured": { "const": 0 }, "authorityRolesRequired": { "const": 3 }, "productionAuthorityReceiptsObserved": { "const": 0 },
        "bindingGates": { "const": 15 }, "productionGatesPassed": { "const": 0 }, "receiptChainEntries": { "const": 10 }, "productionReceiptChainEntriesObserved": { "const": 0 }, "terminalReceiptFields": { "const": 34 }, "productionTerminalReceiptFieldsObserved": { "const": 0 },
        "fixtureCases": { "const": 72 }, "fixtureAssertionsPassed": { "const": 72 }, "fixtureBound": { "const": 1 }, "fixtureDenied": { "const": 71 },
        "productionExecutorBindings": { "const": 0 }, "productionExecutorInvocations": { "const": 0 }, "productionDryBootsExecuted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "shellCommandsAccepted": { "const": 0 }, "processesSpawned": { "const": 0 }, "hostContacts": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "executionPermitted": { "const": false }, "decision": { "type": "string" }
      },
      "additionalProperties": false
    },
    "upstreamAuthorization": { "type": "object", "required": ["id", "contentDigest", "sourceRevision", "productionReady", "executable"], "properties": { "id": { "type": "string" }, "contentDigest": { "$ref": "#/$defs/digest" }, "sourceRevision": { "type": "string", "pattern": "^[0-9a-f]{40}$" }, "productionReady": { "const": false }, "executable": { "const": false } }, "additionalProperties": false },
    "upstreamExecutor": { "type": "object", "required": ["schemaVersion", "status", "contentDigest", "typedPorts", "operations", "productionEntrypointWired", "launchAuthority", "promotionAuthority", "productionReady"], "properties": { "schemaVersion": { "const": "developer.reits.tech/runner-factory-disposable-host-no-shell-executor-contract/v1" }, "status": { "const": "DISPOSABLE_HOST_NO_SHELL_EXECUTOR_IMPLEMENTED_NOT_CONFIGURED" }, "contentDigest": { "$ref": "#/$defs/digest" }, "typedPorts": { "const": 8 }, "operations": { "const": 4 }, "productionEntrypointWired": { "const": false }, "launchAuthority": { "const": "NONE" }, "promotionAuthority": { "const": "NONE" }, "productionReady": { "const": false } }, "additionalProperties": false },
    "contentAddressedContract": { "type": "object", "required": ["id", "contentDigest", "canonicalBytes", "subject", "productionReady", "executable"], "properties": { "id": { "type": "string" }, "contentDigest": { "$ref": "#/$defs/digest" }, "canonicalBytes": { "type": "integer", "minimum": 1 }, "subject": { "type": "object" }, "productionReady": { "const": false }, "executable": { "const": false } }, "additionalProperties": false },
    "evaluation": { "type": "object", "required": ["code", "terminal", "failedGate", "stepsVerified", "controlPortsVerified", "authoritiesVerified", "receiptChainVerified", "productionReady"], "properties": { "code": { "type": "string" }, "terminal": { "enum": ["BOUND_FIXTURE", "DENIED"] }, "failedGate": { "type": ["string", "null"] }, "stepsVerified": { "type": "integer", "minimum": 0, "maximum": 8 }, "controlPortsVerified": { "type": "integer", "minimum": 0, "maximum": 4 }, "authoritiesVerified": { "type": "integer", "minimum": 0, "maximum": 3 }, "receiptChainVerified": { "type": "integer", "minimum": 0, "maximum": 10 }, "productionReady": { "const": false } }, "additionalProperties": false },
    "stepBinding": { "type": "object", "required": ["ordinal", "operation", "executorMethod", "authority", "receiptType", "effect", "timeoutSeconds", "shellSurface", "processSpawned", "networkEgress", "status", "invoked"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 8 }, "operation": { "type": "string" }, "executorMethod": { "type": "string" }, "authority": { "type": "string" }, "receiptType": { "type": "string" }, "effect": { "type": "string" }, "timeoutSeconds": { "type": "integer", "maximum": 20 }, "shellSurface": { "const": "NONE" }, "processSpawned": { "const": false }, "networkEgress": { "const": false }, "status": { "const": "PRODUCTION_STEP_RECEIPT_ABSENT" }, "invoked": { "const": false } }, "additionalProperties": false },
    "controlPort": { "type": "object", "required": ["ordinal", "port", "authority", "effect", "status", "configured"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 4 }, "port": { "enum": ["prepare", "execute", "verify", "dispose"] }, "authority": { "type": "string" }, "effect": { "type": "string" }, "status": { "const": "PRODUCTION_PORT_NOT_CONFIGURED" }, "configured": { "const": false } }, "additionalProperties": false },
    "authority": { "type": "object", "required": ["ordinal", "role", "authority", "signer", "scope", "productionReceipt", "status"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 3 }, "role": { "type": "string" }, "authority": { "type": "string" }, "signer": { "type": "string" }, "scope": { "type": "string" }, "productionReceipt": { "type": "null" }, "status": { "const": "PRODUCTION_AUTHORITY_RECEIPT_ABSENT" } }, "additionalProperties": false },
    "gate": { "type": "object", "required": ["ordinal", "gate", "owner", "status", "productionEvidence"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 15 }, "gate": { "type": "string" }, "owner": { "type": "string" }, "status": { "const": "BLOCKED" }, "productionEvidence": { "const": 0 } }, "additionalProperties": false },
    "receipt": { "type": "object", "required": ["ordinal", "receiptType", "producer", "productionObserved", "status", "digest"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 10 }, "receiptType": { "type": "string" }, "producer": { "type": "string" }, "productionObserved": { "const": false }, "status": { "const": "PRODUCTION_RECEIPT_ABSENT" }, "digest": { "type": "null" } }, "additionalProperties": false },
    "receiptField": { "type": "object", "required": ["ordinal", "field", "classification", "observed"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 34 }, "field": { "type": "string" }, "classification": { "enum": ["DIGEST_BINDING", "CRYPTO_BINDING", "TIME_BINDING", "BUDGET_BINDING", "DECISION_BINDING", "IDENTITY_BINDING"] }, "observed": { "const": false } }, "additionalProperties": false },
    "lifecycle": { "type": "object", "required": ["ordinal", "state", "productionObserved"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 10 }, "state": { "type": "string" }, "productionObserved": { "type": "boolean" } }, "additionalProperties": false },
    "fixture": { "type": "object", "required": ["ordinal", "id", "mutation", "expectedCode", "actualCode", "expectedTerminal", "terminal", "passed", "failedGate", "stepsVerified", "controlPortsVerified", "authoritiesVerified", "receiptChainVerified", "productionReady"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 72 }, "id": { "type": "string", "pattern": "^DBE-[0-9]{3}$" }, "mutation": { "type": "string" }, "expectedCode": { "type": "string" }, "actualCode": { "type": "string" }, "expectedTerminal": { "enum": ["BOUND_FIXTURE", "DENIED"] }, "terminal": { "enum": ["BOUND_FIXTURE", "DENIED"] }, "passed": { "type": "boolean" }, "failedGate": { "type": ["string", "null"] }, "stepsVerified": { "type": "integer" }, "controlPortsVerified": { "type": "integer" }, "authoritiesVerified": { "type": "integer" }, "receiptChainVerified": { "type": "integer" }, "productionReady": { "const": false } }, "additionalProperties": false },
    "safetyTruth": {
      "type": "object",
      "required": ["productionAuthorizationReceipts", "productionExecutorBindings", "productionExecutorInvocations", "productionStepReceipts", "productionDryBootReceipts", "productionDryBootsExecuted", "productionHostsCreated", "productionComponentsLoaded", "productionFactoriesConstructed", "productionPort8110Calls", "shellCommandsAccepted", "processesSpawned", "hostContacts", "packageDownloads", "networkEgressCalls", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "d1Created", "r2Created", "controller8110Started", "executionPermitted"],
      "properties": { "productionAuthorizationReceipts": { "const": 0 }, "productionExecutorBindings": { "const": 0 }, "productionExecutorInvocations": { "const": 0 }, "productionStepReceipts": { "const": 0 }, "productionDryBootReceipts": { "const": 0 }, "productionDryBootsExecuted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionComponentsLoaded": { "const": 0 }, "productionFactoriesConstructed": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "shellCommandsAccepted": { "const": 0 }, "processesSpawned": { "const": 0 }, "hostContacts": { "const": 0 }, "packageDownloads": { "const": 0 }, "networkEgressCalls": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "d1Created": { "const": 0 }, "r2Created": { "const": 0 }, "controller8110Started": { "const": false }, "executionPermitted": { "const": false } },
      "additionalProperties": false
    },
    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" }
  },
  "additionalProperties": false
}