{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-authorization.v1.schema.json",
  "title": "D05 disposable-host dry-boot authorization handoff contract",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamImplementationQualificationContract", "dryBootAuthorizationContract", "productionEvaluation", "componentBindingMatrix", "hostConstraintMatrix", "operationWindowMatrix", "authorizationSeatMatrix", "authorizationGateMatrix", "lifecycleMatrix", "receiptFieldMatrix", "fixtureResults", "selectedIsolationDenialTrace", "selectedReplayDenialTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-authorization/v1" },
    "status": { "enum": ["DRY_BOOT_AUTHORIZATION_CONTRACT_BOUND_PRODUCTION_AUTHORIZATION_ABSENT", "UPSTREAM_IMPLEMENTATION_QUALIFICATION_CONTRACT_UNAVAILABLE"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_DRY_BOOT_AUTHORIZATION_NO_HOST_NO_PORT_NO_EXTERNAL_EFFECTS" },
    "program": { "$ref": "#/$defs/program" },
    "summary": { "$ref": "#/$defs/summary" },
    "upstreamImplementationQualificationContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/upstreamContract" }] },
    "dryBootAuthorizationContract": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/contract" }] },
    "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "componentBindingMatrix": { "type": "array", "minItems": 5, "maxItems": 5, "items": { "$ref": "#/$defs/component" } },
    "hostConstraintMatrix": { "type": "array", "minItems": 19, "maxItems": 19, "items": { "$ref": "#/$defs/hostConstraint" } },
    "operationWindowMatrix": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "$ref": "#/$defs/operation" } },
    "authorizationSeatMatrix": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "$ref": "#/$defs/seat" } },
    "authorizationGateMatrix": { "type": "array", "minItems": 14, "maxItems": 14, "items": { "$ref": "#/$defs/gate" } },
    "lifecycleMatrix": { "type": "array", "minItems": 9, "maxItems": 9, "items": { "$ref": "#/$defs/lifecycle" } },
    "receiptFieldMatrix": { "type": "array", "minItems": 30, "maxItems": 30, "items": { "$ref": "#/$defs/field" } },
    "fixtureResults": { "type": "array", "minItems": 68, "maxItems": 68, "items": { "$ref": "#/$defs/fixture" } },
    "selectedIsolationDenialTrace": { "$ref": "#/$defs/fixture" },
    "selectedReplayDenialTrace": { "$ref": "#/$defs/fixture" },
    "decisionCodes": { "type": "array", "minItems": 68, "maxItems": 68, "uniqueItems": true, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 42, "maxItems": 42, "uniqueItems": true, "items": { "type": "string" } },
    "safetyTruth": { "$ref": "#/$defs/safetyTruth" },
    "discovery": { "$ref": "#/$defs/discovery" }
  },
  "$defs": {
    "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": 22 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } } },
    "summary": {
      "type": "object", "additionalProperties": false,
      "required": ["upstreamImplementationQualificationContractAvailable", "dryBootAuthorizationContractBound", "componentsRequired", "productionComponentQualificationReceiptsObserved", "hostConstraintsRequired", "productionHostProfilesObserved", "operationsRequired", "productionOperationWindowsObserved", "authorizationSeatsRequired", "productionAuthorizationSeatReceipts", "authorizationGates", "productionGatesPassed", "receiptFields", "fixtureCases", "fixtureAssertionsPassed", "fixtureAuthorized", "fixtureDenied", "productionAuthorizationEnvelopes", "productionChallengesReserved", "productionDryBootsExecuted", "productionHostsCreated", "productionComponentsLoaded", "productionFactoriesConstructed", "productionPort8110Calls", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "executionPermitted", "decision"],
      "properties": { "upstreamImplementationQualificationContractAvailable": { "type": "boolean" }, "dryBootAuthorizationContractBound": { "type": "boolean" }, "componentsRequired": { "const": 5 }, "productionComponentQualificationReceiptsObserved": { "const": 0 }, "hostConstraintsRequired": { "const": 19 }, "productionHostProfilesObserved": { "const": 0 }, "operationsRequired": { "const": 8 }, "productionOperationWindowsObserved": { "const": 0 }, "authorizationSeatsRequired": { "const": 4 }, "productionAuthorizationSeatReceipts": { "const": 0 }, "authorizationGates": { "const": 14 }, "productionGatesPassed": { "const": 0 }, "receiptFields": { "const": 30 }, "fixtureCases": { "const": 68 }, "fixtureAssertionsPassed": { "const": 68 }, "fixtureAuthorized": { "const": 1 }, "fixtureDenied": { "const": 67 }, "productionAuthorizationEnvelopes": { "const": 0 }, "productionChallengesReserved": { "const": 0 }, "productionDryBootsExecuted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionComponentsLoaded": { "const": 0 }, "productionFactoriesConstructed": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "executionPermitted": { "const": false }, "decision": { "type": "string", "minLength": 1 } }
    },
    "upstreamContract": { "type": "object", "additionalProperties": false, "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 } } },
    "contract": { "type": "object", "additionalProperties": false, "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 } } },
    "evaluation": { "type": "object", "additionalProperties": false, "required": ["code", "terminal", "failedGate", "componentsVerified", "hostConstraintsVerified", "operationsVerified", "authorizationSeatsVerified", "productionReady"], "properties": { "code": { "type": "string" }, "terminal": { "enum": ["AUTHORIZED_FIXTURE", "DENIED"] }, "failedGate": { "type": ["string", "null"] }, "componentsVerified": { "type": "integer", "minimum": 0, "maximum": 5 }, "hostConstraintsVerified": { "type": "integer", "minimum": 0, "maximum": 19 }, "operationsVerified": { "type": "integer", "minimum": 0, "maximum": 8 }, "authorizationSeatsVerified": { "type": "integer", "minimum": 0, "maximum": 4 }, "productionReady": { "const": false } } },
    "component": { "type": "object", "additionalProperties": false, "required": ["ordinal", "componentId", "implementationId", "qualificationReceipt", "status", "qualified"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 5 }, "componentId": { "type": "string" }, "implementationId": { "type": "string" }, "qualificationReceipt": { "type": "null" }, "status": { "const": "PRODUCTION_QUALIFICATION_RECEIPT_ABSENT" }, "qualified": { "const": false } } },
    "hostConstraint": { "type": "object", "additionalProperties": false, "required": ["ordinal", "constraint", "required", "productionObserved"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 19 }, "constraint": { "type": "string" }, "required": {}, "productionObserved": { "const": false } } },
    "operation": { "type": "object", "additionalProperties": false, "required": ["ordinal", "operation", "effect", "timeoutSeconds", "status", "executed"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 8 }, "operation": { "type": "string" }, "effect": { "type": "string" }, "timeoutSeconds": { "type": "integer", "minimum": 1, "maximum": 20 }, "status": { "const": "NOT_AUTHORIZED_IN_PRODUCTION" }, "executed": { "const": false } } },
    "seat": { "type": "object", "additionalProperties": false, "required": ["ordinal", "seat", "authority", "signer", "scope", "productionReceipt", "status"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 4 }, "seat": { "type": "string" }, "authority": { "type": "string" }, "signer": { "type": "string" }, "scope": { "type": "string" }, "productionReceipt": { "type": "null" }, "status": { "const": "PRODUCTION_AUTHORIZATION_RECEIPT_ABSENT" } } },
    "gate": { "type": "object", "additionalProperties": false, "required": ["ordinal", "gate", "owner", "status", "productionEvidence"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 14 }, "gate": { "type": "string" }, "owner": { "type": "string" }, "status": { "const": "BLOCKED" }, "productionEvidence": { "const": 0 } } },
    "lifecycle": { "type": "object", "additionalProperties": false, "required": ["ordinal", "state", "productionObserved"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 9 }, "state": { "type": "string" }, "productionObserved": { "type": "boolean" } } },
    "field": { "type": "object", "additionalProperties": false, "required": ["ordinal", "field", "classification", "observed"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 30 }, "field": { "type": "string" }, "classification": { "enum": ["DIGEST_BINDING", "CRYPTO_BINDING", "TIME_BINDING", "BUDGET_BINDING", "DECISION_BINDING", "IDENTITY_BINDING"] }, "observed": { "const": false } } },
    "fixture": { "type": "object", "additionalProperties": false, "required": ["ordinal", "id", "mutation", "expectedCode", "actualCode", "expectedTerminal", "terminal", "passed", "failedGate", "componentsVerified", "hostConstraintsVerified", "operationsVerified", "authorizationSeatsVerified", "productionReady"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 68 }, "id": { "type": "string" }, "mutation": { "type": "string" }, "expectedCode": { "type": "string" }, "actualCode": { "type": "string" }, "expectedTerminal": { "enum": ["AUTHORIZED_FIXTURE", "DENIED"] }, "terminal": { "enum": ["AUTHORIZED_FIXTURE", "DENIED"] }, "passed": { "const": true }, "failedGate": { "type": ["string", "null"] }, "componentsVerified": { "type": "integer", "minimum": 0, "maximum": 5 }, "hostConstraintsVerified": { "type": "integer", "minimum": 0, "maximum": 19 }, "operationsVerified": { "type": "integer", "minimum": 0, "maximum": 8 }, "authorizationSeatsVerified": { "type": "integer", "minimum": 0, "maximum": 4 }, "productionReady": { "const": false } } },
    "safetyTruth": { "type": "object", "additionalProperties": false, "required": ["productionAuthorizationEnvelopes", "productionChallengesReserved", "productionDryBootsExecuted", "productionHostsCreated", "productionComponentsLoaded", "productionFactoriesConstructed", "productionPort8110Calls", "externalReadsExecuted", "externalWritesExecuted", "resourcesCreated", "d1Created", "r2Created", "controller8110Started", "executionPermitted"], "properties": { "productionAuthorizationEnvelopes": { "const": 0 }, "productionChallengesReserved": { "const": 0 }, "productionDryBootsExecuted": { "const": 0 }, "productionHostsCreated": { "const": 0 }, "productionComponentsLoaded": { "const": 0 }, "productionFactoriesConstructed": { "const": 0 }, "productionPort8110Calls": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "d1Created": { "const": 0 }, "r2Created": { "const": 0 }, "controller8110Started": { "const": false }, "executionPermitted": { "const": false } } },
    "discovery": { "type": "object", "additionalProperties": false, "required": ["workbench", "schema", "implementationQualification", "adapterComposition", "liveIdentity"], "properties": { "workbench": { "const": "/release-foundation#runner-controller-dossier-store-dry-boot-authorization" }, "schema": { "const": "/schemas/runner-controller-dossier-store-dry-boot-authorization.v1.schema.json" }, "implementationQualification": { "const": "/api/runner-controller/dossier-store-implementation-qualification" }, "adapterComposition": { "const": "/api/runner-controller/dossier-store-adapter-composition" }, "liveIdentity": { "const": "/api/release-unit" } } },
    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" }
  }
}