{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-factory-controller-disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff.v1.schema.json",
  "title": "Runner Factory Disposable-host Live-evidence Transaction Commit Execution Authorization Handoff",
  "type": "object",
  "required": ["schemaVersion", "status", "observedAt", "scope", "upstream", "operations", "handoffSlots", "authorityTopology", "executionGuardrails", "stateModel", "invariants", "productionPrerequisites", "selectedDenialTrace", "verification", "truth", "fixtureRegistry", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-factory-disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff-contract/v1" },
    "status": { "const": "DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_TRANSACTION_COMMIT_EXECUTION_AUTHORIZATION_HANDOFF_IMPLEMENTED_NOT_CONFIGURED" },
    "observedAt": { "type": "string", "format": "date-time" },
    "scope": {
      "type": "object",
      "required": ["mode", "input", "output", "verdict", "fixtureHandoffShapesVerified", "realTransactionCommitReceiptPresent", "durableBudgetSettlementPresent", "activeHostLeasePresent", "executionPolicyRevalidated", "executionGrantPresent", "transactionCommitted", "executionAuthorized", "hostStarted", "shellSurface", "transactionAuthority", "launchAuthority", "billingAuthority", "promotionAuthority", "productionEntrypointWired"],
      "properties": {
        "mode": { "const": "FIXTURE_EXECUTION_HANDOFF_ONLY_NO_COMMIT_NO_SETTLEMENT_NO_GRANT_NO_HOST_START" },
        "input": { "const": "POSITIVELY_VERIFIED_FIXTURE_ATOMIC_TRANSACTION_COMMIT_ADMISSION_RECEIPT" },
        "output": { "const": "TRANSACTION_COMMIT_EXECUTION_AUTHORIZATION_HANDOFF_PREPARED_FIXTURE_ONLY" },
        "verdict": { "const": "REQUIRES_GENUINE_COMMIT_SETTLEMENT_ACTIVE_CLAIM_POLICY_REVALIDATION_AND_SEPARATE_EXECUTION_GRANT" },
        "fixtureHandoffShapesVerified": { "const": 5 },
        "realTransactionCommitReceiptPresent": { "const": false },
        "durableBudgetSettlementPresent": { "const": false },
        "activeHostLeasePresent": { "const": false },
        "executionPolicyRevalidated": { "const": false },
        "executionGrantPresent": { "const": false },
        "transactionCommitted": { "const": false },
        "executionAuthorized": { "const": false },
        "hostStarted": { "const": false },
        "shellSurface": { "const": "NONE" },
        "transactionAuthority": { "const": "NONE" },
        "launchAuthority": { "const": "NONE" },
        "billingAuthority": { "const": "NONE" },
        "promotionAuthority": { "const": "NONE" },
        "productionEntrypointWired": { "const": false }
      },
      "additionalProperties": true
    },
    "upstream": {
      "type": "object",
      "required": ["schemaVersion", "status", "verdict", "authoritativeVerificationRequired", "positiveBooleanRequired"],
      "properties": {
        "schemaVersion": { "const": "developer.reits.tech/runner-factory-disposable-host-live-evidence-collection-atomic-transaction-commit-admission-receipt/v1" },
        "status": { "const": "ATOMIC_TRANSACTION_COMMIT_ADMISSION_PREPARED_FIXTURE_ONLY" },
        "verdict": { "const": "REQUIRES_REAL_CONFIRMATION_LIVE_QUOTE_DURABLE_HOLD_CLAIM_AND_SEPARATE_EXECUTION_AUTHORIZATION" },
        "authoritativeVerificationRequired": { "const": true },
        "positiveBooleanRequired": { "const": true }
      },
      "additionalProperties": false
    },
    "operations": {
      "type": "array",
      "minItems": 4,
      "maxItems": 4,
      "items": {
        "type": "object",
        "required": ["id", "input", "output", "sideEffect"],
        "properties": { "id": { "enum": ["prepare", "project", "verify", "dispose"] }, "input": { "type": "string" }, "output": { "type": "string" }, "sideEffect": { "const": "NONE" } },
        "additionalProperties": false
      }
    },
    "handoffSlots": {
      "type": "array",
      "minItems": 5,
      "maxItems": 5,
      "items": {
        "type": "object",
        "required": ["ordinal", "slot", "authority", "signerKeyId", "requiredBinding", "observedLive"],
        "properties": {
          "ordinal": { "type": "integer", "minimum": 1, "maximum": 5 },
          "slot": { "enum": ["GENUINE_TRANSACTION_COMMIT_RECEIPT_ADMISSION", "BUDGET_HOLD_SETTLEMENT_RECEIPT_ADMISSION", "HOST_CLAIM_ACTIVATION_RECEIPT_ADMISSION", "EXECUTION_POLICY_REVALIDATION_RECEIPT_ADMISSION", "EXECUTION_AUTHORITY_GRANT_RECEIPT_ADMISSION"] },
          "authority": { "enum": ["TRANSACTION_LEDGER_AUTHORITY", "BUDGET_AUTHORITY", "CAPACITY_AUTHORITY", "EXECUTION_POLICY_AUTHORITY", "EXECUTION_AUTHORITY"] },
          "signerKeyId": { "type": "string", "pattern": "^fixture-p256-" },
          "requiredBinding": { "type": "string" },
          "observedLive": { "const": false }
        },
        "additionalProperties": false
      }
    },
    "authorityTopology": { "type": "array", "minItems": 5, "maxItems": 5 },
    "executionGuardrails": {
      "type": "object",
      "required": ["requestValiditySeconds", "handoffShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "currency", "executionOrdering", "failurePolicy", "shellSurface", "transactionCommitReceiptPresent", "budgetSettlementReceiptPresent", "hostLeaseActivationReceiptPresent", "executionPolicyRevalidationReceiptPresent", "executionGrantReceiptPresent", "transactionCommitted", "executionHandoffPermitted", "executionAuthorized", "hostStarted", "productionConfigured"],
      "properties": {
        "requestValiditySeconds": { "const": 30 },
        "handoffShapeValiditySeconds": { "const": 3600 },
        "hostCountMaximum": { "const": 1 },
        "maximumMilliUsdCeiling": { "const": 500 },
        "currency": { "const": "USD" },
        "executionOrdering": { "const": "COMMIT_THEN_SETTLE_HOLD_THEN_ACTIVATE_CLAIM_THEN_REVALIDATE_POLICY_THEN_AUTHORIZE_EXECUTION" },
        "failurePolicy": { "const": "REVOKE_GRANT_RELEASE_SETTLEMENT_AND_CLAIM_OR_CONTAIN" },
        "shellSurface": { "const": "NONE" },
        "transactionCommitReceiptPresent": { "const": false },
        "budgetSettlementReceiptPresent": { "const": false },
        "hostLeaseActivationReceiptPresent": { "const": false },
        "executionPolicyRevalidationReceiptPresent": { "const": false },
        "executionGrantReceiptPresent": { "const": false },
        "transactionCommitted": { "const": false },
        "executionHandoffPermitted": { "const": false },
        "executionAuthorized": { "const": false },
        "hostStarted": { "const": false },
        "productionConfigured": { "const": false }
      },
      "additionalProperties": true
    },
    "stateModel": { "type": "array", "minItems": 17, "maxItems": 17, "items": { "type": "string" } },
    "invariants": { "type": "array", "minItems": 86, "maxItems": 86, "items": { "type": "string" } },
    "productionPrerequisites": { "type": "array", "minItems": 18, "maxItems": 18, "items": { "type": "string" } },
    "selectedDenialTrace": {
      "type": "object",
      "required": ["fixtureId", "mutation", "expected", "reason"],
      "properties": {
        "fixtureId": { "const": "RFDHLETCEAH-111" },
        "mutation": { "const": "DOSSIER_EXECUTION_HANDOFF_PERMITTED" },
        "expected": { "const": "DENY" },
        "reason": { "type": "string" }
      },
      "additionalProperties": false
    },
    "verification": {
      "type": "object",
      "required": ["status", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "handoffSlotReceiptsVerified", "handoffReceiptsVerified", "projectedHandoffs", "disposedHandles", "transactionCommitsObserved", "executionAuthorizationsObserved", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated"],
      "properties": {
        "status": { "const": "PASS_FIXTURE_ONLY" },
        "fixtures": { "const": 112 },
        "acceptedOutcomes": { "const": 18 },
        "deniedOutcomes": { "const": 94 },
        "upstreamReceiptsVerified": { "const": 84 },
        "handoffSlotReceiptsVerified": { "const": 177 },
        "handoffReceiptsVerified": { "const": 3 },
        "projectedHandoffs": { "const": 19 },
        "disposedHandles": { "const": 2 },
        "transactionCommitsObserved": { "const": 0 },
        "executionAuthorizationsObserved": { "const": 0 },
        "externalReadsExecuted": { "const": 0 },
        "externalWritesExecuted": { "const": 0 },
        "mutationsExecuted": { "const": 0 },
        "paidResourcesCreated": { "const": false }
      },
      "additionalProperties": true
    },
    "truth": {
      "type": "object",
      "required": ["realTransactionCommitReceiptsObserved", "durableBudgetSettlementsObserved", "activeHostLeasesObserved", "executionPolicyRevalidationsObserved", "executionAuthorityGrantsObserved", "transactionCommitsObserved", "executionAuthorizationsObserved", "productionHostRuns", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "transactionCommitPermitted", "executionHandoffPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "realTransactionCommitReceiptsObserved": { "const": 0 },
        "durableBudgetSettlementsObserved": { "const": 0 },
        "activeHostLeasesObserved": { "const": 0 },
        "executionPolicyRevalidationsObserved": { "const": 0 },
        "executionAuthorityGrantsObserved": { "const": 0 },
        "transactionCommitsObserved": { "const": 0 },
        "executionAuthorizationsObserved": { "const": 0 },
        "productionHostRuns": { "const": 0 },
        "externalReadsExecuted": { "const": 0 },
        "externalWritesExecuted": { "const": 0 },
        "mutationsExecuted": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "transactionCommitPermitted": { "const": false },
        "executionHandoffPermitted": { "const": false },
        "executionPermitted": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": true
    },
    "fixtureRegistry": {
      "type": "object",
      "required": ["schemaVersion", "mode", "networkRequestsExecuted", "pricingReadsExecuted", "realIdentityVerificationsExecuted", "userConfirmationsExecuted", "budgetHoldsExecuted", "budgetSettlementsExecuted", "hostClaimsExecuted", "hostLeaseActivationsExecuted", "transactionCommitsExecuted", "executionAuthorizationsExecuted", "hostLaunchesExecuted", "externalWritesExecuted", "paidResourcesCreated", "cases"],
      "properties": {
        "schemaVersion": { "const": "developer.reits.tech/runner-factory-disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff-fixtures/v1" },
        "mode": { "const": "FIXTURE_EXECUTION_HANDOFF_ONLY_NO_COMMIT_NO_SETTLEMENT_NO_GRANT_NO_HOST_START" },
        "networkRequestsExecuted": { "const": 0 },
        "pricingReadsExecuted": { "const": 0 },
        "realIdentityVerificationsExecuted": { "const": 0 },
        "userConfirmationsExecuted": { "const": 0 },
        "budgetHoldsExecuted": { "const": 0 },
        "budgetSettlementsExecuted": { "const": 0 },
        "hostClaimsExecuted": { "const": 0 },
        "hostLeaseActivationsExecuted": { "const": 0 },
        "transactionCommitsExecuted": { "const": 0 },
        "executionAuthorizationsExecuted": { "const": 0 },
        "hostLaunchesExecuted": { "const": 0 },
        "externalWritesExecuted": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "cases": {
          "type": "array",
          "minItems": 112,
          "maxItems": 112,
          "items": {
            "type": "object",
            "required": ["id", "expected", "mutation"],
            "properties": { "id": { "pattern": "^RFDHLETCEAH-[0-9]{3}$" }, "expected": { "enum": ["ACCEPT", "DENY"] }, "mutation": { "type": "string" } },
            "additionalProperties": false
          }
        }
      },
      "additionalProperties": true
    },
    "discovery": {
      "type": "object",
      "required": ["controller", "lifecycle", "upstream", "workbench", "schema"],
      "properties": {
        "controller": { "const": "/api/runner-factory/controller" },
        "lifecycle": { "const": "/api/runner-factory" },
        "upstream": { "const": "/api/runner-factory/controller/disposable-host-live-evidence-collection-atomic-transaction-commit-admission" },
        "workbench": { "const": "/release-foundation#disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff" },
        "schema": { "const": "/schemas/runner-factory-controller-disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff.v1.schema.json" }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}