{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-execution-intent.v1.schema.json",
  "title": "REITS D05 dry-boot execution intent and single-claim reservation",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamDryBootExecutorBindingContract", "upstreamReservationStoreContract", "dryBootExecutionIntentContract", "productionEvaluation", "stepIntentMatrix", "claimIdentityMatrix", "claimPhaseMatrix", "authorityMatrix", "intentGateMatrix", "receiptChainMatrix", "terminalReceiptFieldMatrix", "lifecycleMatrix", "fixtureResults", "selectedShellDenialTrace", "selectedLeaseSecretDenialTrace", "selectedConcurrentWinnerTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-execution-intent/v1" },
    "status": { "enum": ["DRY_BOOT_EXECUTION_INTENT_CONTRACT_BOUND_PRODUCTION_CLAIM_ABSENT", "UPSTREAM_DRY_BOOT_EXECUTOR_BINDING_CONTRACT_UNAVAILABLE", "RESERVATION_STORE_CONTRACT_UNAVAILABLE"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_EXECUTION_INTENT_AND_SINGLE_CLAIM_RESERVATION_NO_DURABLE_WRITE_NO_HOST_NO_PORT" },
    "program": { "$ref": "#/$defs/program" },
    "summary": { "$ref": "#/$defs/summary" },
    "upstreamDryBootExecutorBindingContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/upstreamBinding" }] },
    "upstreamReservationStoreContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/reservationContract" }] },
    "dryBootExecutionIntentContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/contentAddressedContract" }] },
    "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "stepIntentMatrix": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "$ref": "#/$defs/stepIntent" } },
    "claimIdentityMatrix": { "type": "array", "minItems": 2, "maxItems": 2, "items": { "$ref": "#/$defs/claimIdentity" } },
    "claimPhaseMatrix": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "$ref": "#/$defs/claimPhase" } },
    "authorityMatrix": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "$ref": "#/$defs/authority" } },
    "intentGateMatrix": { "type": "array", "minItems": 16, "maxItems": 16, "items": { "$ref": "#/$defs/gate" } },
    "receiptChainMatrix": { "type": "array", "minItems": 11, "maxItems": 11, "items": { "$ref": "#/$defs/receipt" } },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 38, "maxItems": 38, "items": { "$ref": "#/$defs/receiptField" } },
    "lifecycleMatrix": { "type": "array", "minItems": 11, "maxItems": 11, "items": { "$ref": "#/$defs/lifecycle" } },
    "fixtureResults": { "type": "array", "minItems": 82, "maxItems": 82, "items": { "$ref": "#/$defs/fixture" } },
    "selectedShellDenialTrace": { "$ref": "#/$defs/fixture" },
    "selectedLeaseSecretDenialTrace": { "$ref": "#/$defs/fixture" },
    "selectedConcurrentWinnerTrace": { "$ref": "#/$defs/fixture" },
    "decisionCodes": { "type": "array", "minItems": 82, "maxItems": 82, "uniqueItems": true, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 52, "maxItems": 52, "uniqueItems": true, "items": { "type": "string" } },
    "safetyTruth": { "$ref": "#/$defs/safetyTruth" },
    "discovery": { "type": "object", "required": ["workbench", "schema", "upstreamExecutorBinding", "upstreamReservationStore", "liveIdentity"], "properties": { "workbench": { "const": "/release-foundation#runner-controller-dossier-store-dry-boot-execution-intent" }, "schema": { "const": "/schemas/runner-controller-dossier-store-dry-boot-execution-intent.v1.schema.json" }, "upstreamExecutorBinding": { "const": "/api/runner-controller/dossier-store-dry-boot-executor-binding" }, "upstreamReservationStore": { "const": "/api/runner-factory/controller" }, "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": 24 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }, "additionalProperties": false },
    "summary": { "type": "object", "required": ["upstreamExecutorBindingContractAvailable", "upstreamReservationStoreContractAvailable", "executionIntentContractBound", "executionIntentsRequired", "productionExecutionIntentsObserved", "logicalClaimsRequired", "productionLogicalClaimsObserved", "reservationRecordsRequired", "productionReservationRecordsObserved", "stepIntentsRequired", "productionStepReceiptsObserved", "claimPhasesRequired", "productionClaimPhasesObserved", "authorityRolesRequired", "productionAuthorityReceiptsObserved", "intentGates", "productionGatesPassed", "receiptChainEntries", "productionReceiptChainEntriesObserved", "terminalReceiptFields", "productionTerminalReceiptFieldsObserved", "fixtureCases", "fixtureAssertionsPassed", "fixtureReserved", "fixtureDenied", "productionClaimReservations", "productionClaimReceipts", "productionDispatches", "productionExecutorInvocations", "productionDryBootsExecuted", "productionHostsCreated", "productionPort8110Calls", "shellCommandsAccepted", "processesSpawned", "hostContacts", "dynamoReadsExecuted", "dynamoWritesExecuted", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "executionPermitted", "decision"], "properties": { "upstreamExecutorBindingContractAvailable": { "type": "boolean" }, "upstreamReservationStoreContractAvailable": { "type": "boolean" }, "executionIntentContractBound": { "type": "boolean" }, "executionIntentsRequired": { "const": 1 }, "productionExecutionIntentsObserved": { "const": 0 }, "logicalClaimsRequired": { "const": 1 }, "productionLogicalClaimsObserved": { "const": 0 }, "reservationRecordsRequired": { "const": 2 }, "productionReservationRecordsObserved": { "const": 0 }, "stepIntentsRequired": { "const": 8 }, "productionStepReceiptsObserved": { "const": 0 }, "claimPhasesRequired": { "const": 4 }, "productionClaimPhasesObserved": { "const": 0 }, "authorityRolesRequired": { "const": 4 }, "productionAuthorityReceiptsObserved": { "const": 0 }, "intentGates": { "const": 16 }, "productionGatesPassed": { "const": 0 }, "receiptChainEntries": { "const": 11 }, "productionReceiptChainEntriesObserved": { "const": 0 }, "terminalReceiptFields": { "const": 38 }, "productionTerminalReceiptFieldsObserved": { "const": 0 }, "fixtureCases": { "const": 82 }, "fixtureAssertionsPassed": { "const": 82 }, "fixtureReserved": { "const": 1 }, "fixtureDenied": { "const": 81 }, "productionClaimReservations": { "const": 0 }, "productionClaimReceipts": { "const": 0 }, "productionDispatches": { "const": 0 }, "productionExecutorInvocations": { "const": 0 }, "productionDryBootsExecuted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "shellCommandsAccepted": { "const": 0 }, "processesSpawned": { "const": 0 }, "hostContacts": { "const": 0 }, "dynamoReadsExecuted": { "const": 0 }, "dynamoWritesExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "executionPermitted": { "const": false }, "decision": { "type": "string" } }, "additionalProperties": false },
    "upstreamBinding": { "type": "object", "required": ["id", "contentDigest", "sourceRevision", "stepBindings", "controlPorts", "receiptChainEntries", "terminalReceiptFields", "productionReady", "executable"], "properties": { "id": { "type": "string" }, "contentDigest": { "$ref": "#/$defs/digest" }, "sourceRevision": { "type": "string", "pattern": "^[0-9a-f]{40}$" }, "stepBindings": { "const": 8 }, "controlPorts": { "const": 4 }, "receiptChainEntries": { "const": 10 }, "terminalReceiptFields": { "const": 34 }, "productionReady": { "const": false }, "executable": { "const": false } }, "additionalProperties": false },
    "reservationContract": { "type": "object", "required": ["schemaVersion", "status", "contentDigest", "recordsPerLogicalClaim", "leaseSeconds", "retentionSeconds", "runtimeDriver", "tableCreated", "iamRoleConfigured", "liveReservations", "productionReady"], "properties": { "schemaVersion": { "const": "developer.reits.tech/runner-factory-reservation-store/v1" }, "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" }, "contentDigest": { "$ref": "#/$defs/digest" }, "recordsPerLogicalClaim": { "const": 2 }, "leaseSeconds": { "const": 120 }, "retentionSeconds": { "const": 604800 }, "runtimeDriver": { "const": "NOT_CONFIGURED" }, "tableCreated": { "const": false }, "iamRoleConfigured": { "const": false }, "liveReservations": { "const": 0 }, "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", "claimRecordsVerified", "phasesVerified", "authoritiesVerified", "receiptChainVerified", "productionReady"], "properties": { "code": { "type": "string" }, "terminal": { "enum": ["CLAIM_RESERVED_FIXTURE", "DENIED"] }, "failedGate": { "type": ["string", "null"] }, "stepsVerified": { "type": "integer", "minimum": 0, "maximum": 8 }, "claimRecordsVerified": { "type": "integer", "minimum": 0, "maximum": 2 }, "phasesVerified": { "type": "integer", "minimum": 0, "maximum": 4 }, "authoritiesVerified": { "type": "integer", "minimum": 0, "maximum": 4 }, "receiptChainVerified": { "type": "integer", "minimum": 0, "maximum": 11 }, "productionReady": { "const": false } }, "additionalProperties": false },
    "stepIntent": { "type": "object", "required": ["ordinal", "operation", "executorMethod", "claimScope", "receiptType", "timeoutSeconds", "shellSurface", "genericCommand", "processSpawned", "networkEgress", "status", "dispatched"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 8 }, "operation": { "type": "string" }, "executorMethod": { "type": "string" }, "claimScope": { "type": "string" }, "receiptType": { "type": "string" }, "timeoutSeconds": { "type": "integer", "maximum": 20 }, "shellSurface": { "const": "NONE" }, "genericCommand": { "const": false }, "processSpawned": { "const": false }, "networkEgress": { "const": false }, "status": { "const": "PRODUCTION_STEP_INTENT_RECEIPT_ABSENT" }, "dispatched": { "const": false } }, "additionalProperties": false },
    "claimIdentity": { "type": "object", "required": ["ordinal", "scope", "keyPrefix", "pairScope", "condition", "productionRecord", "status", "digest"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 2 }, "scope": { "enum": ["EXECUTION_INTENT", "JOB_ATTEMPT"] }, "keyPrefix": { "enum": ["dbi1:", "dbj1:"] }, "pairScope": { "enum": ["EXECUTION_INTENT", "JOB_ATTEMPT"] }, "condition": { "const": "attribute_not_exists(pk)" }, "productionRecord": { "type": "null" }, "status": { "const": "PRODUCTION_RESERVATION_RECORD_ABSENT" }, "digest": { "type": "null" } }, "additionalProperties": false },
    "claimPhase": { "type": "object", "required": ["ordinal", "phase", "action", "authority", "effect", "status", "executed"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 4 }, "phase": { "enum": ["PREPARE", "RESERVE", "COMMIT", "RELEASE"] }, "action": { "type": "string" }, "authority": { "type": "string" }, "effect": { "type": "string" }, "status": { "const": "PRODUCTION_PHASE_NOT_EXECUTED" }, "executed": { "const": false } }, "additionalProperties": false },
    "authority": { "type": "object", "required": ["ordinal", "role", "authority", "signer", "scope", "productionReceipt", "status"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 4 }, "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": 16 }, "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": 11 }, "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": 38 }, "field": { "type": "string" }, "classification": { "enum": ["DIGEST_BINDING", "CRYPTO_BINDING", "TIME_BINDING", "BUDGET_AND_FENCE_BINDING", "DECISION_BINDING", "IDENTITY_BINDING"] }, "observed": { "const": false } }, "additionalProperties": false },
    "lifecycle": { "type": "object", "required": ["ordinal", "state", "productionObserved"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 11 }, "state": { "type": "string" }, "productionObserved": { "type": "boolean" } }, "additionalProperties": false },
    "fixture": { "type": "object", "required": ["ordinal", "id", "mutation", "expectedCode", "actualCode", "expectedTerminal", "terminal", "passed", "failedGate", "stepsVerified", "claimRecordsVerified", "phasesVerified", "authoritiesVerified", "receiptChainVerified", "productionReady"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 82 }, "id": { "type": "string", "pattern": "^DBI-[0-9]{3}$" }, "mutation": { "type": "string" }, "expectedCode": { "type": "string" }, "actualCode": { "type": "string" }, "expectedTerminal": { "enum": ["CLAIM_RESERVED_FIXTURE", "DENIED"] }, "terminal": { "enum": ["CLAIM_RESERVED_FIXTURE", "DENIED"] }, "passed": { "type": "boolean" }, "failedGate": { "type": ["string", "null"] }, "stepsVerified": { "type": "integer" }, "claimRecordsVerified": { "type": "integer" }, "phasesVerified": { "type": "integer" }, "authoritiesVerified": { "type": "integer" }, "receiptChainVerified": { "type": "integer" }, "productionReady": { "const": false } }, "additionalProperties": false },
    "safetyTruth": { "type": "object", "required": ["productionExecutionIntents", "productionClaimReservations", "productionClaimReceipts", "productionDispatches", "productionExecutorInvocations", "productionStepReceipts", "productionDryBootReceipts", "productionDryBootsExecuted", "productionHostsCreated", "productionReservationRecords", "productionPort8110Calls", "shellCommandsAccepted", "processesSpawned", "hostContacts", "packageDownloads", "networkEgressCalls", "dynamoReadsExecuted", "dynamoWritesExecuted", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "d1Created", "r2Created", "reservationTableCreated", "reservationIamRoleConfigured", "controller8110Started", "executionPermitted"], "properties": { "productionExecutionIntents": { "const": 0 }, "productionClaimReservations": { "const": 0 }, "productionClaimReceipts": { "const": 0 }, "productionDispatches": { "const": 0 }, "productionExecutorInvocations": { "const": 0 }, "productionStepReceipts": { "const": 0 }, "productionDryBootReceipts": { "const": 0 }, "productionDryBootsExecuted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionReservationRecords": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "shellCommandsAccepted": { "const": 0 }, "processesSpawned": { "const": 0 }, "hostContacts": { "const": 0 }, "packageDownloads": { "const": 0 }, "networkEgressCalls": { "const": 0 }, "dynamoReadsExecuted": { "const": 0 }, "dynamoWritesExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "d1Created": { "const": 0 }, "r2Created": { "const": 0 }, "reservationTableCreated": { "const": false }, "reservationIamRoleConfigured": { "const": false }, "controller8110Started": { "const": false }, "executionPermitted": { "const": false } }, "additionalProperties": false },
    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" }
  },
  "additionalProperties": false
}