{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-provisioning-admission.v1.schema.json",
  "title": "Runner Controller D05 Dossier Store Provisioning Transaction Admission",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamApproval", "transactionPacket", "prerequisites", "resourceRequests", "migrationAdmission", "quoteBudgetAdmission", "bootstrapLedger", "idempotencyPolicy", "transactionSequence", "compensationMatrix", "finalConfirmationContract", "decisionStates", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-provisioning-admission/v1" },
    "status": { "enum": ["APPROVAL_CONTRACT_UNAVAILABLE_PROVISIONING_ADMISSION_DENIED", "PROVISIONING_TRANSACTION_PACKET_READY_APPROVAL_CHAIN_ABSENT", "APPROVAL_CHAIN_VALID_MIGRATION_AND_SCOPE_REQUIRED", "MIGRATION_AND_SCOPE_READY_QUOTE_BUDGET_REQUIRED", "ECONOMIC_ADMISSION_READY_LEDGER_AND_COMPENSATION_REQUIRED", "TRANSACTION_ADMITTED_FINAL_CONFIRMATION_REQUIRED"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "READ_ONLY_PROVISIONING_TRANSACTION_ADMISSION_PLAN_NO_PROVIDER_READ_NO_RESOURCE_CREATE_NO_WRITE" },
    "program": { "$ref": "#/$defs/program" },
    "summary": { "$ref": "#/$defs/summary" },
    "upstreamApproval": {
      "oneOf": [
        { "type": "null" },
        { "type": "object", "additionalProperties": false, "required": ["contractId", "contractDigest", "storePlanId", "storePlanDigest", "releaseId", "sourceRevision", "valid", "ownerInputReceiptsObserved", "approvalReceiptsObserved", "approvalReceiptsRequired"], "properties": { "contractId": { "type": "string", "pattern": "^d05-store-approval@[0-9a-f]{12}-[0-9a-f]{12}$" }, "contractDigest": { "$ref": "#/$defs/digest" }, "storePlanId": { "type": "string", "pattern": "^d05-store-plan@[0-9a-f]{12}-[0-9a-f]{12}$" }, "storePlanDigest": { "$ref": "#/$defs/digest" }, "releaseId": { "type": "string", "minLength": 1 }, "sourceRevision": { "type": "string", "pattern": "^[0-9a-f]{40}$" }, "valid": { "const": false }, "ownerInputReceiptsObserved": { "const": 0 }, "approvalReceiptsObserved": { "const": 0 }, "approvalReceiptsRequired": { "const": 5 } } }
      ]
    },
    "transactionPacket": {
      "oneOf": [
        { "type": "null" },
        { "type": "object", "additionalProperties": false, "required": ["id", "contentDigest", "canonicalBytes", "subject", "admitted", "executable"], "properties": { "id": { "type": "string", "pattern": "^d05-store-provision@[0-9a-f]{12}-[0-9a-f]{12}$" }, "contentDigest": { "$ref": "#/$defs/digest" }, "canonicalBytes": { "type": "integer", "minimum": 1 }, "subject": { "type": "object", "required": ["schemaVersion", "approvalContractId", "approvalContractDigest", "storePlanId", "storePlanDigest", "releaseId", "sourceRevision", "prerequisites", "resourceRequests", "migrationAdmission", "quoteBudgetAdmission", "bootstrapLedger", "idempotencyPolicy", "transactionSequence", "compensationMatrix", "finalConfirmationContract", "invariants"], "additionalProperties": true }, "admitted": { "const": false }, "executable": { "const": false } } }
      ]
    },
    "prerequisites": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "$ref": "#/$defs/prerequisite" } },
    "resourceRequests": { "type": "array", "minItems": 2, "maxItems": 2, "items": { "$ref": "#/$defs/resourceRequest" } },
    "migrationAdmission": { "$ref": "#/$defs/migrationAdmission" },
    "quoteBudgetAdmission": { "$ref": "#/$defs/quoteBudgetAdmission" },
    "bootstrapLedger": { "$ref": "#/$defs/bootstrapLedger" },
    "idempotencyPolicy": { "$ref": "#/$defs/idempotencyPolicy" },
    "transactionSequence": { "type": "array", "minItems": 9, "maxItems": 9, "items": { "$ref": "#/$defs/transactionStep" } },
    "compensationMatrix": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "$ref": "#/$defs/compensation" } },
    "finalConfirmationContract": { "$ref": "#/$defs/finalConfirmation" },
    "decisionStates": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "$ref": "#/$defs/decisionState" } },
    "invariants": { "type": "array", "minItems": 18, "maxItems": 18, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
    "safetyTruth": { "$ref": "#/$defs/safetyTruth" },
    "discovery": {
      "type": "object",
      "additionalProperties": false,
      "required": ["workbench", "schema", "ownerApproval", "storeAuthorization", "liveIdentity"],
      "properties": {
        "workbench": { "const": "/release-foundation#runner-controller-dossier-store-provisioning-admission" },
        "schema": { "const": "/schemas/runner-controller-dossier-store-provisioning-admission.v1.schema.json" },
        "ownerApproval": { "const": "/api/runner-controller/dossier-store-owner-approval" },
        "storeAuthorization": { "const": "/api/runner-controller/dossier-store-authorization" },
        "liveIdentity": { "const": "/api/release-unit" }
      }
    }
  },
  "$defs": {
    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
    "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": 14 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }
    },
    "summary": {
      "type": "object", "additionalProperties": false,
      "required": ["approvalContractAvailable", "prerequisitesRequired", "prerequisitesSatisfied", "ownerInputReceiptsObserved", "approvalReceiptsObserved", "approvalReceiptsRequired", "migrationReviewReceiptsObserved", "migrationReviewReceiptsRequired", "providerQuotesObserved", "budgetComparisonsObserved", "bootstrapLedgersConfigured", "compensationReviewsObserved", "confirmationsObserved", "providerRequestsIssued", "providerRequestsSpecified", "resourcesCreated", "provisioningPermitted", "externalReadsExecuted", "externalWritesExecuted", "decision"],
      "properties": { "approvalContractAvailable": { "type": "boolean" }, "prerequisitesRequired": { "const": 10 }, "prerequisitesSatisfied": { "type": "integer", "minimum": 0, "maximum": 1 }, "ownerInputReceiptsObserved": { "const": 0 }, "approvalReceiptsObserved": { "const": 0 }, "approvalReceiptsRequired": { "const": 5 }, "migrationReviewReceiptsObserved": { "const": 0 }, "migrationReviewReceiptsRequired": { "const": 2 }, "providerQuotesObserved": { "const": 0 }, "budgetComparisonsObserved": { "const": 0 }, "bootstrapLedgersConfigured": { "const": 0 }, "compensationReviewsObserved": { "const": 0 }, "confirmationsObserved": { "const": 0 }, "providerRequestsIssued": { "const": 0 }, "providerRequestsSpecified": { "const": 2 }, "resourcesCreated": { "const": 0 }, "provisioningPermitted": { "const": false }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "decision": { "type": "string", "minLength": 1 } }
    },
    "prerequisite": { "type": "object", "additionalProperties": false, "required": ["ordinal", "id", "name", "owner", "evidence", "observed", "status"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 10 }, "id": { "type": "string", "pattern": "^PA-[0-9]{2}$" }, "name": { "type": "string" }, "owner": { "type": "string" }, "evidence": { "type": "string" }, "observed": { "type": "boolean" }, "status": { "type": "string" } } },
    "resourceRequest": { "type": "object", "required": ["ordinal", "id", "resourceKind", "providerOperation", "logicalBinding", "purpose", "requestFields", "accountRef", "resourceName", "idempotencyKey", "requestIssued", "resourceCreated", "status"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 2 }, "id": { "type": "string", "pattern": "^PR-0[12]$" }, "resourceKind": { "type": "string" }, "providerOperation": { "enum": ["CREATE_D1_DATABASE", "CREATE_R2_BUCKET"] }, "logicalBinding": { "enum": ["DB", "DOSSIER_ARTIFACTS"] }, "purpose": { "type": "string" }, "requestFields": { "type": "array", "minItems": 4, "maxItems": 4, "uniqueItems": true }, "accountRef": { "type": "null" }, "resourceName": { "type": "string" }, "idempotencyKey": { "type": "null" }, "requestIssued": { "const": false }, "resourceCreated": { "const": false }, "status": { "type": "string" } }, "additionalProperties": true },
    "migrationAdmission": { "type": "object", "required": ["dialect", "plannedTables", "plannedIndexes", "forbiddenColumns", "migrationId", "migrationDigest", "generated", "reviewSeats", "reviewReceiptsObserved", "reviewReceiptsRequired", "applyPermitted", "status"], "properties": { "dialect": { "const": "sqlite" }, "plannedTables": { "type": "array", "minItems": 3, "maxItems": 3, "uniqueItems": true }, "plannedIndexes": { "const": 8 }, "forbiddenColumns": { "const": 5 }, "migrationId": { "type": "null" }, "migrationDigest": { "type": "null" }, "generated": { "const": false }, "reviewSeats": { "const": ["DATA_PLATFORM", "QA_ARCHITECTURE"] }, "reviewReceiptsObserved": { "const": 0 }, "reviewReceiptsRequired": { "const": 2 }, "applyPermitted": { "const": false }, "status": { "type": "string" } }, "additionalProperties": false },
    "quoteBudgetAdmission": { "type": "object", "required": ["currency", "quoteMaxAgeSeconds", "providerQuoteReceipt", "providerQuoteMonthlyEstimate", "ownerMonthlyBudgetCeiling", "budgetDelta", "quoteWithinBudget", "pricingReadsExecuted", "budgetHoldsCreated", "status"], "properties": { "currency": { "const": "USD" }, "quoteMaxAgeSeconds": { "const": 300 }, "providerQuoteReceipt": { "type": "null" }, "providerQuoteMonthlyEstimate": { "type": "null" }, "ownerMonthlyBudgetCeiling": { "type": "null" }, "budgetDelta": { "type": "null" }, "quoteWithinBudget": { "const": false }, "pricingReadsExecuted": { "const": 0 }, "budgetHoldsCreated": { "const": 0 }, "status": { "type": "string" } }, "additionalProperties": false },
    "bootstrapLedger": { "type": "object", "required": ["requirement", "allowedImplementations", "configuredImplementation", "operations", "generationFencingRequired", "appendOnlyRequired", "configured", "reservationsCreated", "writesExecuted", "status"], "properties": { "requirement": { "type": "string" }, "allowedImplementations": { "type": "array", "minItems": 2, "maxItems": 2 }, "configuredImplementation": { "type": "null" }, "operations": { "type": "array", "minItems": 4, "maxItems": 4 }, "generationFencingRequired": { "const": true }, "appendOnlyRequired": { "const": true }, "configured": { "const": false }, "reservationsCreated": { "const": 0 }, "writesExecuted": { "const": 0 }, "status": { "type": "string" } }, "additionalProperties": false },
    "idempotencyPolicy": { "type": "object", "required": ["derivation", "scope", "maximumAttempts", "keySlots", "keysIssued", "keysReserved", "replaysObserved"], "properties": { "derivation": { "const": "SHA256_PACKET_DIGEST_OPERATION_ID_ATTEMPT_1" }, "scope": { "type": "string" }, "maximumAttempts": { "const": 1 }, "keySlots": { "type": "array", "minItems": 2, "maxItems": 2, "items": { "type": "object", "required": ["operationId", "value", "reserved", "consumed"], "properties": { "operationId": { "enum": ["PR-01", "PR-02"] }, "value": { "type": "null" }, "reserved": { "const": false }, "consumed": { "const": false } }, "additionalProperties": false } }, "keysIssued": { "const": 0 }, "keysReserved": { "const": 0 }, "replaysObserved": { "const": 0 } }, "additionalProperties": false },
    "transactionStep": { "type": "object", "additionalProperties": false, "required": ["ordinal", "action", "effect", "executed", "status"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 9 }, "action": { "type": "string" }, "effect": { "type": "string" }, "executed": { "const": false }, "status": { "type": "string", "pattern": "^BLOCKED_" } } },
    "compensation": { "type": "object", "additionalProperties": false, "required": ["failurePoint", "action", "automatic", "requiresEmptyResourceProof", "preservesEvidence"], "properties": { "failurePoint": { "type": "string" }, "action": { "type": "string" }, "automatic": { "type": "boolean" }, "requiresEmptyResourceProof": { "type": "boolean" }, "preservesEvidence": { "const": true } } },
    "finalConfirmation": { "type": "object", "additionalProperties": false, "required": ["schemaVersion", "canonicalEncoding", "signatureAlgorithm", "requiredFields", "validitySeconds", "singleUse", "revocable", "observedConfirmation"], "properties": { "schemaVersion": { "const": "developer.reits.tech/d05-dossier-store-provision-confirmation/v1" }, "canonicalEncoding": { "const": "RFC8785_JSON_UTF8" }, "signatureAlgorithm": { "const": "ECDSA_P256_SHA256" }, "requiredFields": { "type": "array", "minItems": 18, "maxItems": 18, "uniqueItems": true }, "validitySeconds": { "const": 120 }, "singleUse": { "const": true }, "revocable": { "const": true }, "observedConfirmation": { "type": "null" } } },
    "decisionState": { "type": "object", "additionalProperties": false, "required": ["status", "condition", "providerReadPermitted", "transactionReservationPermitted", "provisioningPermitted"], "properties": { "status": { "type": "string" }, "condition": { "type": "string" }, "providerReadPermitted": { "const": false }, "transactionReservationPermitted": { "const": false }, "provisioningPermitted": { "const": false } } },
    "safetyTruth": { "type": "object", "additionalProperties": false, "required": ["prerequisitesSpecified", "prerequisitesObserved", "resourceRequestsSpecified", "providerRequestsIssued", "resourcesCreated", "migrationReviewSeatsSpecified", "migrationReviewReceiptsObserved", "migrationsGenerated", "migrationsApplied", "pricingReadsExecuted", "budgetHoldsCreated", "bootstrapLedgerWrites", "idempotencyKeysIssued", "confirmationsObserved", "transactionCommits", "compensationsExecuted", "externalReadsExecuted", "externalWritesExecuted", "controllerListenerStarts", "paidResourcesCreated", "provisioningPermitted", "d05Accepted"], "properties": { "prerequisitesSpecified": { "const": 10 }, "prerequisitesObserved": { "type": "integer", "minimum": 0, "maximum": 1 }, "resourceRequestsSpecified": { "const": 2 }, "providerRequestsIssued": { "const": 0 }, "resourcesCreated": { "const": 0 }, "migrationReviewSeatsSpecified": { "const": 2 }, "migrationReviewReceiptsObserved": { "const": 0 }, "migrationsGenerated": { "const": 0 }, "migrationsApplied": { "const": 0 }, "pricingReadsExecuted": { "const": 0 }, "budgetHoldsCreated": { "const": 0 }, "bootstrapLedgerWrites": { "const": 0 }, "idempotencyKeysIssued": { "const": 0 }, "confirmationsObserved": { "const": 0 }, "transactionCommits": { "const": 0 }, "compensationsExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "controllerListenerStarts": { "const": 0 }, "paidResourcesCreated": { "const": false }, "provisioningPermitted": { "const": false }, "d05Accepted": { "const": false } } }
  }
}