{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-factory.v1.schema.json",
  "title": "REITs single-use runner factory contract",
  "type": "object",
  "required": ["schemaVersion", "status", "observedAt", "truth", "source", "trigger", "controller", "runtimeAdapters", "servicePackage", "runtimeAssembly", "runtimeConfiguration", "bootstrapComposition", "serviceRuntimeBootstrap", "productionEvidenceAdmission", "listenerAuthorization", "activationExecutor", "activationTransaction", "targetHostDriverQualification", "disposableHostConformanceAdmission", "disposableHostConformanceDossierSealer", "disposableHostExecutionEnvelopeAuthorizer", "disposableHostNoShellExecutor", "disposableHostRealPrerequisitesAdmission", "disposableHostLiveEvidenceCollectionAuthorization", "disposableHostLiveEvidenceCollectionTransactionIntent", "disposableHostLiveEvidenceCollectionDetachedUserConfirmation", "disposableHostLiveEvidenceCollectionQuoteBudgetClaimTransactionPlan", "disposableHostLiveEvidenceCollectionAtomicTransactionCommitAdmission", "disposableHostLiveEvidenceCollectionTransactionCommitExecutionAuthorizationHandoff", "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityTrustRevocationAdmission", "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReview", "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReviewSuccessorGenerationAdmission", "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReviewSuccessorGenerationAdmissionCanaryReactivationAuthorization", "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReviewSuccessorGenerationAdmissionCanaryReactivationAuthorizationOutcomeAdjudication", "d05AcceptanceClosure", "reservationStore", "receiptSigner", "tokenBroker", "workerProvider", "giteaControlPlane", "capacityController", "auditSink", "reconciliationPlanner", "snapshotCoordinator", "target", "workerTemplate", "compensations", "stages", "invariants", "fixtures", "acceptance", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-factory/v1" },
    "status": { "const": "D05_ACCEPTANCE_CLOSURE_DOSSIER_READY_FAIL_CLOSED" },
    "observedAt": { "type": "string", "format": "date-time" },
    "truth": {
      "type": "object",
      "required": ["liveWorkers", "liveFactoryController", "runtimeReceipts", "paidResourcesCreated", "deploymentPermitted", "reason"],
      "properties": {
        "liveWorkers": { "const": 0 },
        "liveFactoryController": { "const": false },
        "runtimeReceipts": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false },
        "reason": { "type": "string", "minLength": 20 }
      },
      "additionalProperties": false
    },
    "source": {
      "type": "object",
      "required": ["giteaVersion", "runnerVersion", "minimumEphemeralVersion", "officialWebhookReference", "officialEphemeralReference", "officialIsolationReference"],
      "properties": {
        "giteaVersion": { "const": "1.25.4" },
        "runnerVersion": { "const": "2.0.0" },
        "minimumEphemeralVersion": { "const": "0.2.12" },
        "officialWebhookReference": { "type": "string", "format": "uri" },
        "officialEphemeralReference": { "type": "string", "format": "uri" },
        "officialIsolationReference": { "type": "string", "format": "uri" }
      },
      "additionalProperties": false
    },
    "trigger": {
      "type": "object",
      "required": ["event", "controller", "idempotencyKey", "replayAccepted"],
      "properties": {
        "event": { "const": "workflow_job" },
        "controller": { "const": "IMPLEMENTED_DRY_RUN" },
        "idempotencyKey": { "const": ["deliveryId", "runId", "jobId", "attempt"] },
        "replayAccepted": { "const": false }
      },
      "additionalProperties": false
    },
    "controller": {
      "type": "object",
      "required": ["status", "implementation", "policy", "liveEndpoint", "applySupported", "rawBodySignature", "payloadLimitBytes", "requiredHeaders", "admittedActions", "admittedRepositories", "requiredRunnerLabel", "idempotency", "receipts", "verification"],
      "properties": {
        "status": { "const": "DRY_RUN_READY" },
        "implementation": { "const": "ops/runner-factory/controller-core.mjs" },
        "policy": { "const": "ops/runner-factory/controller-policy.json" },
        "liveEndpoint": { "const": false },
        "applySupported": { "const": false },
        "rawBodySignature": { "const": "HMAC-SHA256" },
        "payloadLimitBytes": { "const": 262144 },
        "requiredHeaders": { "const": ["X-Gitea-Signature", "X-Gitea-Delivery", "X-Gitea-Event", "X-Gitea-Event-Type"] },
        "admittedActions": { "const": ["queued"] },
        "admittedRepositories": { "const": 18 },
        "requiredRunnerLabel": { "const": "ubuntu-latest" },
        "idempotency": {
          "type": "object",
          "required": ["algorithm", "scopes", "dryRunStore", "runtimeStore", "durable"],
          "properties": {
            "algorithm": { "const": "SHA-256" },
            "scopes": { "const": ["delivery-and-job-attempt", "repository-job-attempt"] },
            "dryRunStore": { "const": "IN_MEMORY_TEST_ONLY" },
            "runtimeStore": { "const": "DYNAMODB_ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
            "durable": { "const": false }
          },
          "additionalProperties": false
        },
        "receipts": {
          "type": "object",
          "required": ["dryRunCount", "dryRunTrust", "dryRunSigner", "runtimeSigner", "secretValuesRecorded"],
          "properties": {
            "dryRunCount": { "const": 4 },
            "dryRunTrust": { "const": "TEST_ONLY" },
            "dryRunSigner": { "const": "HMAC-SHA256-TEST-ONLY" },
            "runtimeSigner": { "const": "AWS_KMS_ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
            "secretValuesRecorded": { "const": false }
          },
          "additionalProperties": false
        },
        "verification": {
          "type": "object",
          "required": ["fixtureCases", "planOnlyCases", "deniedCases", "cloudMutations", "result"],
          "properties": {
            "fixtureCases": { "const": 20 },
            "planOnlyCases": { "const": 1 },
            "deniedCases": { "const": 19 },
            "cloudMutations": { "const": 0 },
            "result": { "const": "PASS_DRY_RUN_ONLY" }
          },
          "additionalProperties": false
        }
      },
      "additionalProperties": false
    },
    "runtimeAdapters": {
      "type": "object",
      "required": ["status", "contract", "ports", "configured", "requestContracts", "sagaCases", "successCases", "safeTerminalCases", "compensatedCases", "lifecycleReceipts", "auditSuccessSeals", "auditFailureSeals", "verifiedAuditCases", "receiptTrust", "productionPrerequisites", "secretExposureCount", "awsCallsExecuted", "giteaWritesExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "PORTS_EXECUTABLE_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/runtime-adapter-contract.json" },
        "ports": { "const": 7 },
        "configured": { "const": 0 },
        "requestContracts": { "const": 8 },
        "sagaCases": { "const": 13 },
        "successCases": { "const": 1 },
        "safeTerminalCases": { "const": 12 },
        "compensatedCases": { "const": 11 },
        "lifecycleReceipts": { "const": 10 },
        "auditSuccessSeals": { "const": 1 },
        "auditFailureSeals": { "const": 10 },
        "verifiedAuditCases": { "const": 11 },
        "receiptTrust": { "const": "TEST_ONLY" },
        "productionPrerequisites": { "const": 6 },
        "secretExposureCount": { "const": 0 },
        "awsCallsExecuted": { "const": 0 },
        "giteaWritesExecuted": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "servicePackage": {
      "type": "object",
      "required": ["status", "contract", "entrypoint", "systemdTemplate", "bind", "mode", "endpoints", "readinessReady", "readinessTotal", "requestFixtures", "configFixtures", "fixtureWebhooksAccepted", "productionWebhooksAccepted", "liveListeners", "liveReplicas", "systemdUnitInstalled", "publicRouteConfigured", "credentialFilesProvisioned", "externalWritesExecuted", "secretExposureCount", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "PACKAGE_EXECUTABLE_NOT_DEPLOYED" },
        "contract": { "const": "ops/runner-factory/controller-service-contract.json" },
        "entrypoint": { "const": "ops/runner-factory/controller-service-main.mjs" },
        "systemdTemplate": { "const": "ops/runner-factory/reits-runner-factory-controller.service" },
        "bind": { "const": "127.0.0.1:8110" },
        "mode": { "const": "EVIDENCE_ONLY" },
        "endpoints": { "const": 3 },
        "readinessReady": { "const": 0 },
        "readinessTotal": { "const": 11 },
        "requestFixtures": { "const": 15 },
        "configFixtures": { "const": 5 },
        "fixtureWebhooksAccepted": { "const": 1 },
        "productionWebhooksAccepted": { "const": 0 },
        "liveListeners": { "const": 0 },
        "liveReplicas": { "const": 0 },
        "systemdUnitInstalled": { "const": false },
        "publicRouteConfigured": { "const": false },
        "credentialFilesProvisioned": { "const": 0 },
        "externalWritesExecuted": { "const": 0 },
        "secretExposureCount": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "runtimeAssembly": {
      "type": "object",
      "required": ["status", "contract", "assembly", "operations", "readerBindings", "readinessGates", "states", "invariants", "fixtures", "readyPackets", "blockedPackets", "deniedInputs", "verifiedAttestations", "controllerProjectionCases", "booleanEscalationsDenied", "serviceBind", "serviceMode", "attestationMaxAgeSeconds", "manifestInstalled", "runtimeIdentityConfigured", "configuredReaderBindings", "verifiedReadinessGates", "readinessReady", "runtimeReadinessReceipts", "controllerListeners", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ASSEMBLY_VERIFIER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-runtime-assembly-contract.json" },
        "assembly": { "const": "ops/runner-factory/controller-runtime-assembly.mjs" },
        "operations": { "const": 4 }, "readerBindings": { "const": 5 }, "readinessGates": { "const": 11 }, "states": { "const": 5 }, "invariants": { "const": 20 },
        "fixtures": { "const": 32 }, "readyPackets": { "const": 1 }, "blockedPackets": { "const": 5 }, "deniedInputs": { "const": 26 }, "verifiedAttestations": { "const": 30 }, "controllerProjectionCases": { "const": 6 }, "booleanEscalationsDenied": { "const": 1 },
        "serviceBind": { "const": "127.0.0.1:8110" }, "serviceMode": { "const": "EVIDENCE_ONLY" }, "attestationMaxAgeSeconds": { "const": 300 },
        "manifestInstalled": { "const": false }, "runtimeIdentityConfigured": { "const": false }, "configuredReaderBindings": { "const": 0 }, "verifiedReadinessGates": { "const": 0 }, "readinessReady": { "const": false }, "runtimeReadinessReceipts": { "const": 0 }, "controllerListeners": { "const": 0 },
        "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "runtimeConfiguration": {
      "type": "object",
      "required": ["status", "contract", "loader", "operations", "configRefs", "keyRefs", "referenceTypes", "states", "invariants", "fixtures", "resolvedBundles", "blockedBundles", "deniedInputs", "deterministicReplays", "tamperedBundlesDenied", "manifestPath", "manifestOwner", "manifestMode", "manifestMaxBytes", "resolutionMaxAgeSeconds", "manifestInstalled", "productionFileReads", "configuredConfigRefs", "configuredKeyRefs", "runtimeConfigurationBundles", "runtimeAdaptersConstructed", "controllerListeners", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "CONFIGURATION_LOADER_IMPLEMENTED_NOT_INSTALLED" }, "contract": { "const": "ops/runner-factory/controller-runtime-configuration-contract.json" }, "loader": { "const": "ops/runner-factory/controller-runtime-configuration.mjs" },
        "operations": { "const": 5 }, "configRefs": { "const": 11 }, "keyRefs": { "const": 1 }, "referenceTypes": { "const": 7 }, "states": { "const": 6 }, "invariants": { "const": 24 },
        "fixtures": { "const": 36 }, "resolvedBundles": { "const": 2 }, "blockedBundles": { "const": 5 }, "deniedInputs": { "const": 29 }, "deterministicReplays": { "const": 1 }, "tamperedBundlesDenied": { "const": 1 },
        "manifestPath": { "const": "/etc/reits-runner-factory/controller-runtime.json" }, "manifestOwner": { "const": "root:reits-runner-factory" }, "manifestMode": { "const": "0640" }, "manifestMaxBytes": { "const": 65536 }, "resolutionMaxAgeSeconds": { "const": 300 },
        "manifestInstalled": { "const": false }, "productionFileReads": { "const": 0 }, "configuredConfigRefs": { "const": 0 }, "configuredKeyRefs": { "const": 0 }, "runtimeConfigurationBundles": { "const": 0 }, "runtimeAdaptersConstructed": { "const": 0 }, "controllerListeners": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "bootstrapComposition": {
      "type": "object",
      "required": ["status", "contract", "composer", "operations", "componentFactories", "readerComponents", "attestationVerifiers", "consumers", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "snapshotIntegrations", "assemblyIntegrations", "readinessProjections", "replayedBundlesDenied", "forgedHandlesDenied", "postDisposeCallsDenied", "reverseCleanupCases", "productionCompositions", "productionComponentsConstructed", "configuredReaderBindings", "configuredAttestationVerifiers", "runtimeBootstrapReceipts", "runtimeProjections", "controllerListeners", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "BOOTSTRAP_COMPOSER_IMPLEMENTED_NOT_INSTALLED" },
        "contract": { "const": "ops/runner-factory/controller-bootstrap-composition-contract.json" },
        "composer": { "const": "ops/runner-factory/controller-bootstrap-composition.mjs" },
        "operations": { "const": 5 }, "componentFactories": { "const": 6 }, "readerComponents": { "const": 5 }, "attestationVerifiers": { "const": 1 }, "consumers": { "const": 3 }, "states": { "const": 7 }, "invariants": { "const": 28 },
        "fixtures": { "const": 45 }, "acceptedOutcomes": { "const": 7 }, "deniedOutcomes": { "const": 38 }, "snapshotIntegrations": { "const": 1 }, "assemblyIntegrations": { "const": 1 }, "readinessProjections": { "const": 1 }, "replayedBundlesDenied": { "const": 1 }, "forgedHandlesDenied": { "const": 1 }, "postDisposeCallsDenied": { "const": 1 }, "reverseCleanupCases": { "const": 6 },
        "productionCompositions": { "const": 0 }, "productionComponentsConstructed": { "const": 0 }, "configuredReaderBindings": { "const": 0 }, "configuredAttestationVerifiers": { "const": 0 }, "runtimeBootstrapReceipts": { "const": 0 }, "runtimeProjections": { "const": 0 }, "controllerListeners": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "serviceRuntimeBootstrap": {
      "type": "object",
      "required": ["status", "contract", "bootstrap", "operations", "chainStages", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "readyHandlerProjections", "blockedReadinessCases", "attestationDenials", "runtimeIdentityDenials", "configurationAndFactoryDenials", "serviceFactoryDenials", "constructorDenials", "capabilityDenials", "receiptDenials", "timeDenials", "cleanupDenials", "productionBootstraps", "productionServiceHandlers", "configuredReadinessGates", "runtimeBootstrapReceipts", "runtimeHandlerProjections", "controllerListeners", "productionWebhooksAccepted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "SERVICE_RUNTIME_BOOTSTRAP_IMPLEMENTED_NOT_INSTALLED" },
        "contract": { "const": "ops/runner-factory/controller-service-runtime-bootstrap-contract.json" },
        "bootstrap": { "const": "ops/runner-factory/controller-service-runtime-bootstrap.mjs" },
        "operations": { "const": 4 }, "chainStages": { "const": 5 }, "states": { "const": 8 }, "invariants": { "const": 30 },
        "fixtures": { "const": 40 }, "acceptedOutcomes": { "const": 7 }, "deniedOutcomes": { "const": 33 }, "readyHandlerProjections": { "const": 4 }, "blockedReadinessCases": { "const": 2 }, "attestationDenials": { "const": 10 }, "runtimeIdentityDenials": { "const": 3 }, "configurationAndFactoryDenials": { "const": 4 }, "serviceFactoryDenials": { "const": 3 }, "constructorDenials": { "const": 3 }, "capabilityDenials": { "const": 3 }, "receiptDenials": { "const": 2 }, "timeDenials": { "const": 2 }, "cleanupDenials": { "const": 1 },
        "productionBootstraps": { "const": 0 }, "productionServiceHandlers": { "const": 0 }, "configuredReadinessGates": { "const": 0 }, "runtimeBootstrapReceipts": { "const": 0 }, "runtimeHandlerProjections": { "const": 0 }, "controllerListeners": { "const": 0 }, "productionWebhooksAccepted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "productionEvidenceAdmission": {
      "type": "object",
      "required": ["status", "contract", "admission", "operations", "requirements", "adapterQualifications", "readinessGates", "evidenceSignatures", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "fixtureEvidenceSignaturesVerified", "dossiersProjected", "productionAdmissionReceipts", "productionHostReceipts", "productionServiceIdentityReceipts", "qualifiedProductionAdapters", "configuredReadinessGates", "listenerAuthorizations", "controllerListeners", "productionWebhooksAccepted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "PRODUCTION_EVIDENCE_ADMISSION_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-production-evidence-admission-contract.json" },
        "admission": { "const": "ops/runner-factory/controller-production-evidence-admission.mjs" },
        "operations": { "const": 4 }, "requirements": { "const": 6 }, "adapterQualifications": { "const": 6 }, "readinessGates": { "const": 11 }, "evidenceSignatures": { "const": 19 }, "states": { "const": 8 }, "invariants": { "const": 34 },
        "fixtures": { "const": 56 }, "acceptedOutcomes": { "const": 6 }, "deniedOutcomes": { "const": 50 }, "fixtureEvidenceSignaturesVerified": { "const": 339 }, "dossiersProjected": { "const": 3 },
        "productionAdmissionReceipts": { "const": 0 }, "productionHostReceipts": { "const": 0 }, "productionServiceIdentityReceipts": { "const": 0 }, "qualifiedProductionAdapters": { "const": 0 }, "configuredReadinessGates": { "const": 0 }, "listenerAuthorizations": { "const": 0 }, "controllerListeners": { "const": 0 }, "productionWebhooksAccepted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "listenerAuthorization": {
      "type": "object",
      "required": ["status", "contract", "authorization", "operations", "requirements", "ownerApprovals", "operationalDrills", "validitySeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "fixtureEvidenceSignaturesVerified", "plansProjected", "productionListenerAuthorizationReceipts", "productionOwnerApprovals", "productionRollbackRehearsals", "productionNegativeWebhookRehearsals", "productionOperationalDrills", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "LISTENER_AUTHORIZATION_BOUNDARY_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-listener-authorization-contract.json" },
        "authorization": { "const": "ops/runner-factory/controller-listener-authorization.mjs" },
        "operations": { "const": 4 }, "requirements": { "const": 8 }, "ownerApprovals": { "const": 4 }, "operationalDrills": { "const": 2 }, "validitySeconds": { "const": 120 }, "states": { "const": 8 }, "invariants": { "const": 36 },
        "fixtures": { "const": 53 }, "acceptedOutcomes": { "const": 6 }, "deniedOutcomes": { "const": 47 }, "fixtureEvidenceSignaturesVerified": { "const": 132 }, "plansProjected": { "const": 3 },
        "productionListenerAuthorizationReceipts": { "const": 0 }, "productionOwnerApprovals": { "const": 0 }, "productionRollbackRehearsals": { "const": 0 }, "productionNegativeWebhookRehearsals": { "const": 0 }, "productionOperationalDrills": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "activationExecutor": {
      "type": "object",
      "required": ["status", "contract", "executor", "operations", "requirements", "runtimeConfirmations", "runbookSteps", "rollbackTriggers", "requestValiditySeconds", "maintenanceWindowSeconds", "rollbackDeadlineSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "fixtureEvidenceSignaturesVerified", "runbooksProjected", "productionActivationPlanReceipts", "productionMaintenanceWindows", "productionRuntimeConfirmations", "productionPreflightReceipts", "productionRollbackGuards", "activationExecutorsConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ACTIVATION_EXECUTOR_DRY_RUN_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-activation-executor-contract.json" },
        "executor": { "const": "ops/runner-factory/controller-activation-executor.mjs" },
        "operations": { "const": 4 }, "requirements": { "const": 8 }, "runtimeConfirmations": { "const": 2 }, "runbookSteps": { "const": 8 }, "rollbackTriggers": { "const": 5 }, "requestValiditySeconds": { "const": 60 }, "maintenanceWindowSeconds": { "const": 900 }, "rollbackDeadlineSeconds": { "const": 60 }, "states": { "const": 9 }, "invariants": { "const": 42 },
        "fixtures": { "const": 68 }, "acceptedOutcomes": { "const": 6 }, "deniedOutcomes": { "const": 62 }, "fixtureEvidenceSignaturesVerified": { "const": 110 }, "runbooksProjected": { "const": 3 },
        "productionActivationPlanReceipts": { "const": 0 }, "productionMaintenanceWindows": { "const": 0 }, "productionRuntimeConfirmations": { "const": 0 }, "productionPreflightReceipts": { "const": 0 }, "productionRollbackGuards": { "const": 0 }, "activationExecutorsConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "activationTransaction": {
      "type": "object",
      "required": ["status", "contract", "executor", "memoryDriver", "operations", "driverPorts", "forwardSteps", "compensationSteps", "requestValiditySeconds", "rollbackDeadlineSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "planReceiptsVerified", "fixtureStepReceiptsVerified", "committedTransactions", "rolledBackTransactions", "containedTransactions", "fixtureDriverCalls", "fixtureMutationOperations", "fixtureCompensationOperations", "productionActivationPlanReceipts", "productionTransactionRequests", "productionExecutorsConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ACTIVATION_TRANSACTION_EXECUTOR_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-activation-transaction-executor-contract.json" },
        "executor": { "const": "ops/runner-factory/controller-activation-transaction-executor.mjs" },
        "memoryDriver": { "const": "ops/runner-factory/memory-controller-activation-transaction-driver.mjs" },
        "operations": { "const": 4 }, "driverPorts": { "const": 9 }, "forwardSteps": { "const": 7 }, "compensationSteps": { "const": 4 }, "requestValiditySeconds": { "const": 30 }, "rollbackDeadlineSeconds": { "const": 60 }, "states": { "const": 12 }, "invariants": { "const": 48 },
        "fixtures": { "const": 72 }, "acceptedOutcomes": { "const": 18 }, "deniedOutcomes": { "const": 54 }, "planReceiptsVerified": { "const": 48 }, "fixtureStepReceiptsVerified": { "const": 114 }, "committedTransactions": { "const": 5 }, "rolledBackTransactions": { "const": 9 }, "containedTransactions": { "const": 4 }, "fixtureDriverCalls": { "const": 130 }, "fixtureMutationOperations": { "const": 30 }, "fixtureCompensationOperations": { "const": 25 },
        "productionActivationPlanReceipts": { "const": 0 }, "productionTransactionRequests": { "const": 0 }, "productionExecutorsConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "targetHostDriverQualification": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "operationPorts", "denialProfiles", "permittedPaths", "systemdActions", "requestValiditySeconds", "rollbackDeadlineSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "transactionReceiptsVerified", "evidenceSignaturesVerified", "qualifiedDossiers", "qualificationReceiptsVerified", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "TARGET_HOST_DRIVER_QUALIFICATION_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-target-host-driver-qualification-contract.json" },
        "evaluator": { "const": "ops/runner-factory/controller-target-host-driver-qualification.mjs" },
        "operations": { "const": 4 }, "operationPorts": { "const": 9 }, "denialProfiles": { "const": 8 }, "permittedPaths": { "const": 4 }, "systemdActions": { "const": 5 }, "requestValiditySeconds": { "const": 60 }, "rollbackDeadlineSeconds": { "const": 60 }, "states": { "const": 8 }, "invariants": { "const": 44 },
        "fixtures": { "const": 64 }, "acceptedOutcomes": { "const": 8 }, "deniedOutcomes": { "const": 56 }, "transactionReceiptsVerified": { "const": 49 }, "evidenceSignaturesVerified": { "const": 198 }, "qualifiedDossiers": { "const": 6 }, "qualificationReceiptsVerified": { "const": 2 },
        "productionCandidatePackages": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "disposableHostConformanceAdmission": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "phases", "watchdogTriggers", "terminalAssertions", "evidenceSlots", "requestValiditySeconds", "watchdogDeadlineSeconds", "killEscalationSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "qualificationReceiptsVerified", "admittedPlans", "admissionReceiptsVerified", "disposedHandles", "productionHostClaims", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_CONFORMANCE_ADMISSION_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-disposable-host-conformance-admission-contract.json" },
        "evaluator": { "const": "ops/runner-factory/controller-disposable-host-conformance-admission.mjs" },
        "operations": { "const": 4 }, "phases": { "const": 12 }, "watchdogTriggers": { "const": 8 }, "terminalAssertions": { "const": 8 }, "evidenceSlots": { "const": 12 }, "requestValiditySeconds": { "const": 60 }, "watchdogDeadlineSeconds": { "const": 60 }, "killEscalationSeconds": { "const": 10 }, "states": { "const": 9 }, "invariants": { "const": 48 },
        "fixtures": { "const": 68 }, "acceptedOutcomes": { "const": 8 }, "deniedOutcomes": { "const": 60 }, "qualificationReceiptsVerified": { "const": 54 }, "admittedPlans": { "const": 5 }, "admissionReceiptsVerified": { "const": 3 }, "disposedHandles": { "const": 1 },
        "productionHostClaims": { "const": 0 }, "productionCandidatePackages": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "disposableHostConformanceDossierSealer": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "phaseReceipts", "terminalAttestations", "evidenceSignaturesPerDossier", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "admissionReceiptsVerified", "evidenceSignaturesVerified", "sealedDossiers", "sealReceiptsVerified", "disposedHandles", "productionHostRuns", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_CONFORMANCE_DOSSIER_SEALER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-disposable-host-conformance-dossier-sealer-contract.json" },
        "evaluator": { "const": "ops/runner-factory/controller-disposable-host-conformance-dossier-sealer.mjs" },
        "operations": { "const": 4 }, "phaseReceipts": { "const": 12 }, "terminalAttestations": { "const": 8 }, "evidenceSignaturesPerDossier": { "const": 21 }, "states": { "const": 10 }, "invariants": { "const": 52 },
        "fixtures": { "const": 72 }, "acceptedOutcomes": { "const": 8 }, "deniedOutcomes": { "const": 64 }, "admissionReceiptsVerified": { "const": 58 }, "evidenceSignaturesVerified": { "const": 338 }, "sealedDossiers": { "const": 5 }, "sealReceiptsVerified": { "const": 3 }, "disposedHandles": { "const": 1 },
        "productionHostRuns": { "const": 0 }, "productionCandidatePackages": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "disposableHostExecutionEnvelopeAuthorizer": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "approvalAuthorities", "packageBindings", "requestValiditySeconds", "maximumMilliUsd", "maxRunSeconds", "maxCleanupSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "dossierReceiptsVerified", "approvalSignaturesVerified", "authorizedEnvelopes", "authorizationReceiptsVerified", "disposedHandles", "productionHostRuns", "productionHostClaims", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "pricingReadsExecuted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_EXECUTION_ENVELOPE_AUTHORIZER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-disposable-host-execution-envelope-authorizer-contract.json" },
        "evaluator": { "const": "ops/runner-factory/controller-disposable-host-execution-envelope-authorizer.mjs" },
        "operations": { "const": 4 }, "approvalAuthorities": { "const": 3 }, "packageBindings": { "const": 8 }, "requestValiditySeconds": { "const": 60 }, "maximumMilliUsd": { "const": 500 }, "maxRunSeconds": { "const": 900 }, "maxCleanupSeconds": { "const": 120 }, "states": { "const": 11 }, "invariants": { "const": 54 },
        "fixtures": { "const": 76 }, "acceptedOutcomes": { "const": 8 }, "deniedOutcomes": { "const": 68 }, "dossierReceiptsVerified": { "const": 65 }, "approvalSignaturesVerified": { "const": 62 }, "authorizedEnvelopes": { "const": 5 }, "authorizationReceiptsVerified": { "const": 3 }, "disposedHandles": { "const": 1 },
        "productionHostRuns": { "const": 0 }, "productionHostClaims": { "const": 0 }, "productionCandidatePackages": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "pricingReadsExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "disposableHostNoShellExecutor": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "typedPorts", "executorPorts", "retirementPorts", "forwardPhases", "compensationPhases", "requestValiditySeconds", "maxRunSeconds", "maxCleanupSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "envelopeReceiptsVerified", "stepSignaturesVerified", "retiredSessions", "rolledBackSessions", "containedSessions", "executorReceiptsVerified", "disposedHandles", "shellCommandsAccepted", "processesSpawned", "hostContacts", "packageLoads", "productionExecutorsConfigured", "productionHostRuns", "productionHostClaims", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "pricingReadsExecuted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_NO_SHELL_EXECUTOR_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/controller-disposable-host-no-shell-executor-contract.json" },
        "evaluator": { "const": "ops/runner-factory/controller-disposable-host-no-shell-executor.mjs" },
        "operations": { "const": 4 }, "typedPorts": { "const": 8 }, "executorPorts": { "const": 5 }, "retirementPorts": { "const": 3 }, "forwardPhases": { "const": 8 }, "compensationPhases": { "const": 2 }, "requestValiditySeconds": { "const": 30 }, "maxRunSeconds": { "const": 900 }, "maxCleanupSeconds": { "const": 120 }, "states": { "const": 12 }, "invariants": { "const": 58 },
        "fixtures": { "const": 80 }, "acceptedOutcomes": { "const": 12 }, "deniedOutcomes": { "const": 68 }, "envelopeReceiptsVerified": { "const": 53 }, "stepSignaturesVerified": { "const": 68 }, "retiredSessions": { "const": 5 }, "rolledBackSessions": { "const": 5 }, "containedSessions": { "const": 1 }, "executorReceiptsVerified": { "const": 3 }, "disposedHandles": { "const": 1 },
        "shellCommandsAccepted": { "const": 0 }, "processesSpawned": { "const": 0 }, "hostContacts": { "const": 0 }, "packageLoads": { "const": 0 }, "productionExecutorsConfigured": { "const": 0 }, "productionHostRuns": { "const": 0 }, "productionHostClaims": { "const": 0 }, "productionCandidatePackages": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "pricingReadsExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "disposableHostRealPrerequisitesAdmission": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "prerequisiteSlots", "authorityIdentities", "requestValiditySeconds", "qualificationValiditySeconds", "maximumMilliUsdCeiling", "quoteMaxAgeSeconds", "retirementSlaSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "executorReceiptsVerified", "qualificationSignaturesVerified", "admissionReceiptsVerified", "disposedHandles", "fixturePrerequisitesQualified", "productionPrerequisitesSatisfied", "userCostAuthorizationsObserved", "livePriceQuotesObserved", "durableClaimStoresConfigured", "productionDriversConfigured", "independentRetirementDriversConfigured", "productionHostRuns", "productionHostClaims", "processesSpawned", "hostContacts", "packageLoads", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "pricingReadsExecuted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_REAL_PREREQUISITES_ADMISSION_IMPLEMENTED_NOT_CONFIGURED" }, "contract": { "const": "ops/runner-factory/controller-disposable-host-real-prerequisites-admission-contract.json" }, "evaluator": { "const": "ops/runner-factory/controller-disposable-host-real-prerequisites-admission.mjs" },
        "operations": { "const": 4 }, "prerequisiteSlots": { "const": 8 }, "authorityIdentities": { "const": 6 }, "requestValiditySeconds": { "const": 30 }, "qualificationValiditySeconds": { "const": 86400 }, "maximumMilliUsdCeiling": { "const": 500 }, "quoteMaxAgeSeconds": { "const": 300 }, "retirementSlaSeconds": { "const": 120 }, "states": { "const": 13 }, "invariants": { "const": 62 },
        "fixtures": { "const": 84 }, "acceptedOutcomes": { "const": 10 }, "deniedOutcomes": { "const": 74 }, "executorReceiptsVerified": { "const": 62 }, "qualificationSignaturesVerified": { "const": 368 }, "admissionReceiptsVerified": { "const": 3 }, "disposedHandles": { "const": 1 }, "fixturePrerequisitesQualified": { "const": 8 }, "productionPrerequisitesSatisfied": { "const": 0 },
        "userCostAuthorizationsObserved": { "const": 0 }, "livePriceQuotesObserved": { "const": 0 }, "durableClaimStoresConfigured": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "independentRetirementDriversConfigured": { "const": 0 }, "productionHostRuns": { "const": 0 }, "productionHostClaims": { "const": 0 }, "processesSpawned": { "const": 0 }, "hostContacts": { "const": 0 }, "packageLoads": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "const": 0 }, "controllerListeners": { "const": 0 }, "listenerStarts": { "const": 0 }, "publicRoutes": { "const": 0 }, "reverseProxyRoutes": { "const": 0 }, "pricingReadsExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionAuthorization": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "evidenceSlots", "authorityIdentities", "requestValiditySeconds", "authorizationShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "quoteMaxAgeSeconds", "collectionWindowSeconds", "retirementSlaSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "evidenceSignaturesVerified", "authorizationReceiptsVerified", "authorizedEnvelopes", "disposedHandles", "fixtureAuthorizationShapesVerified", "productionAuthorizationsObserved", "userCostAuthorizationsObserved", "livePriceQuotesObserved", "durableClaimReservationsObserved", "productionDriversObserved", "watchdogEscrowsObserved", "networkLeasesObserved", "imageAttestationsObserved", "retirementDrillsObserved", "incidentWindowsObserved", "productionHostRuns", "productionHostClaims", "processesSpawned", "hostContacts", "packageLoads", "pricingReadsExecuted", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_AUTHORIZATION_IMPLEMENTED_NOT_CONFIGURED" }, "contract": { "const": "ops/runner-factory/controller-disposable-host-live-evidence-collection-authorization-contract.json" }, "evaluator": { "const": "ops/runner-factory/controller-disposable-host-live-evidence-collection-authorization.mjs" },
        "operations": {"const":4}, "evidenceSlots":{"const":9}, "authorityIdentities":{"const":8}, "requestValiditySeconds":{"const":30}, "authorizationShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "quoteMaxAgeSeconds":{"const":300}, "collectionWindowSeconds":{"const":600}, "retirementSlaSeconds":{"const":120}, "states":{"const":14}, "invariants":{"const":66},
        "fixtures":{"const":92}, "acceptedOutcomes":{"const":12}, "deniedOutcomes":{"const":80}, "upstreamReceiptsVerified":{"const":72}, "evidenceSignaturesVerified":{"const":254}, "authorizationReceiptsVerified":{"const":3}, "authorizedEnvelopes":{"const":10}, "disposedHandles":{"const":2}, "fixtureAuthorizationShapesVerified":{"const":9},
        "productionAuthorizationsObserved":{"const":0}, "userCostAuthorizationsObserved":{"const":0}, "livePriceQuotesObserved":{"const":0}, "durableClaimReservationsObserved":{"const":0}, "productionDriversObserved":{"const":0}, "watchdogEscrowsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "productionHostRuns":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "pricingReadsExecuted":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionTransactionIntent": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "factorSlots", "authorityIdentities", "requestValiditySeconds", "factorShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "quoteMaxAgeSeconds", "collectionWindowSeconds", "retirementSlaSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "factorSignaturesVerified", "intentReceiptsVerified", "projectedIntents", "disposedHandles", "fixtureIntentFactorsVerified", "realUserConfirmationsObserved", "userCostAuthorizationsObserved", "livePriceQuotesObserved", "durableBudgetHoldsObserved", "durableClaimReservationsObserved", "productionDriversObserved", "watchdogArmingsObserved", "networkLeasesObserved", "imageAttestationsObserved", "retirementDrillsObserved", "incidentWindowsObserved", "policyRevalidationsObserved", "productionHostRuns", "productionHostClaims", "processesSpawned", "hostContacts", "packageLoads", "pricingReadsExecuted", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_TRANSACTION_INTENT_IMPLEMENTED_NOT_CONFIGURED" }, "contract": { "const": "ops/runner-factory/controller-disposable-host-live-evidence-collection-transaction-intent-contract.json" }, "evaluator": { "const": "ops/runner-factory/controller-disposable-host-live-evidence-collection-transaction-intent.mjs" },
        "operations":{"const":4}, "factorSlots":{"const":7}, "authorityIdentities":{"const":6}, "requestValiditySeconds":{"const":30}, "factorShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "quoteMaxAgeSeconds":{"const":300}, "collectionWindowSeconds":{"const":600}, "retirementSlaSeconds":{"const":120}, "states":{"const":13}, "invariants":{"const":70},
        "fixtures":{"const":96}, "acceptedOutcomes":{"const":12}, "deniedOutcomes":{"const":84}, "upstreamReceiptsVerified":{"const":73}, "factorSignaturesVerified":{"const":205}, "intentReceiptsVerified":{"const":3}, "projectedIntents":{"const":12}, "disposedHandles":{"const":2}, "fixtureIntentFactorsVerified":{"const":7},
        "realUserConfirmationsObserved":{"const":0}, "userCostAuthorizationsObserved":{"const":0}, "livePriceQuotesObserved":{"const":0}, "durableBudgetHoldsObserved":{"const":0}, "durableClaimReservationsObserved":{"const":0}, "productionDriversObserved":{"const":0}, "watchdogArmingsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "policyRevalidationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "pricingReadsExecuted":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionDetachedUserConfirmation": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "proofSlots", "authorityIdentities", "requestValiditySeconds", "challengeValiditySeconds", "signatureValiditySeconds", "proofShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "collectionWindowSeconds", "retirementSlaSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "detachedSignaturesVerified", "proofSignaturesVerified", "confirmationReceiptsVerified", "projectedConfirmations", "disposedHandles", "fixtureConfirmationProofsVerified", "fixtureDetachedSignaturesVerified", "realIdentityVerificationsObserved", "realUserConfirmationsObserved", "livePriceQuotesObserved", "durableBudgetHoldsObserved", "durableClaimReservationsObserved", "productionDriversObserved", "watchdogArmingsObserved", "networkLeasesObserved", "imageAttestationsObserved", "retirementDrillsObserved", "incidentWindowsObserved", "policyRevalidationsObserved", "productionHostRuns", "productionHostClaims", "processesSpawned", "hostContacts", "packageLoads", "pricingReadsExecuted", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_DETACHED_USER_CONFIRMATION_IMPLEMENTED_NOT_CONFIGURED" }, "contract": { "const": "ops/runner-factory/controller-disposable-host-live-evidence-collection-detached-user-confirmation-contract.json" }, "evaluator": { "const": "ops/runner-factory/controller-disposable-host-live-evidence-collection-detached-user-confirmation.mjs" },
        "operations":{"const":4}, "proofSlots":{"const":5}, "authorityIdentities":{"const":4}, "requestValiditySeconds":{"const":30}, "challengeValiditySeconds":{"const":120}, "signatureValiditySeconds":{"const":120}, "proofShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "collectionWindowSeconds":{"const":600}, "retirementSlaSeconds":{"const":120}, "states":{"const":14}, "invariants":{"const":74},
        "fixtures":{"const":100}, "acceptedOutcomes":{"const":14}, "deniedOutcomes":{"const":86}, "upstreamReceiptsVerified":{"const":80}, "detachedSignaturesVerified":{"const":51}, "proofSignaturesVerified":{"const":162}, "confirmationReceiptsVerified":{"const":3}, "projectedConfirmations":{"const":14}, "disposedHandles":{"const":2}, "fixtureConfirmationProofsVerified":{"const":5}, "fixtureDetachedSignaturesVerified":{"const":1},
        "realIdentityVerificationsObserved":{"const":0}, "realUserConfirmationsObserved":{"const":0}, "livePriceQuotesObserved":{"const":0}, "durableBudgetHoldsObserved":{"const":0}, "durableClaimReservationsObserved":{"const":0}, "productionDriversObserved":{"const":0}, "watchdogArmingsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "policyRevalidationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "pricingReadsExecuted":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionQuoteBudgetClaimTransactionPlan": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "planSteps", "authorityIdentities", "requestValiditySeconds", "planShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "quoteMaxAgeSeconds", "holdTtlSeconds", "claimTtlSeconds", "collectionWindowSeconds", "retirementSlaSeconds", "states", "invariants", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "planStepReceiptsVerified", "planReceiptsVerified", "projectedPlans", "disposedHandles", "fixturePlanStepsVerified", "realIdentityVerificationsObserved", "realUserConfirmationsObserved", "livePriceQuotesObserved", "durableBudgetHoldsObserved", "durableClaimReservationsObserved", "productionDriversObserved", "watchdogArmingsObserved", "networkLeasesObserved", "imageAttestationsObserved", "retirementDrillsObserved", "incidentWindowsObserved", "policyRevalidationsObserved", "productionHostRuns", "productionHostClaims", "processesSpawned", "hostContacts", "packageLoads", "pricingReadsExecuted", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_QUOTE_BUDGET_CLAIM_TRANSACTION_PLAN_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-quote-budget-claim-transaction-plan-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-quote-budget-claim-transaction-plan.mjs"},
        "operations":{"const":4}, "planSteps":{"const":5}, "authorityIdentities":{"const":5}, "requestValiditySeconds":{"const":30}, "planShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "quoteMaxAgeSeconds":{"const":300}, "holdTtlSeconds":{"const":900}, "claimTtlSeconds":{"const":900}, "collectionWindowSeconds":{"const":600}, "retirementSlaSeconds":{"const":120}, "states":{"const":15}, "invariants":{"const":78},
        "fixtures":{"const":104}, "acceptedOutcomes":{"const":14}, "deniedOutcomes":{"const":90}, "upstreamReceiptsVerified":{"const":81}, "planStepReceiptsVerified":{"const":172}, "planReceiptsVerified":{"const":3}, "projectedPlans":{"const":17}, "disposedHandles":{"const":2}, "fixturePlanStepsVerified":{"const":5},
        "realIdentityVerificationsObserved":{"const":0}, "realUserConfirmationsObserved":{"const":0}, "livePriceQuotesObserved":{"const":0}, "durableBudgetHoldsObserved":{"const":0}, "durableClaimReservationsObserved":{"const":0}, "productionDriversObserved":{"const":0}, "watchdogArmingsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "policyRevalidationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "pricingReadsExecuted":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionAtomicTransactionCommitAdmission": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "admissionSlots", "authorityIdentities", "requestValiditySeconds", "admissionShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "quoteMaxAgeSeconds", "holdTtlSeconds", "claimTtlSeconds", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "admissionSlotReceiptsVerified", "admissionReceiptsVerified", "projectedAdmissions", "disposedHandles", "fixtureAdmissionShapesVerified", "realIdentityVerificationsObserved", "realUserConfirmationsObserved", "livePriceQuotesObserved", "durableBudgetHoldsObserved", "durableClaimReservationsObserved", "atomicCoordinatorsObserved", "compensationReceiptsObserved", "transactionCommitsObserved", "executionAuthorizationsObserved", "productionHostRuns", "pricingReadsExecuted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "transactionCommitPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_ATOMIC_TRANSACTION_COMMIT_ADMISSION_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-atomic-transaction-commit-admission-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-atomic-transaction-commit-admission.mjs"},
        "operations":{"const":4}, "admissionSlots":{"const":5}, "authorityIdentities":{"const":5}, "requestValiditySeconds":{"const":30}, "admissionShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "quoteMaxAgeSeconds":{"const":300}, "holdTtlSeconds":{"const":900}, "claimTtlSeconds":{"const":900}, "states":{"const":16}, "invariants":{"const":82}, "productionPrerequisites":{"const":17},
        "fixtures":{"const":108}, "acceptedOutcomes":{"const":16}, "deniedOutcomes":{"const":92}, "upstreamReceiptsVerified":{"const":80}, "admissionSlotReceiptsVerified":{"const":162}, "admissionReceiptsVerified":{"const":3}, "projectedAdmissions":{"const":16}, "disposedHandles":{"const":2}, "fixtureAdmissionShapesVerified":{"const":5},
        "realIdentityVerificationsObserved":{"const":0}, "realUserConfirmationsObserved":{"const":0}, "livePriceQuotesObserved":{"const":0}, "durableBudgetHoldsObserved":{"const":0}, "durableClaimReservationsObserved":{"const":0}, "atomicCoordinatorsObserved":{"const":0}, "compensationReceiptsObserved":{"const":0}, "transactionCommitsObserved":{"const":0}, "executionAuthorizationsObserved":{"const":0}, "productionDriversObserved":{"const":0}, "watchdogArmingsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "productionHostRuns":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "pricingReadsExecuted":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "transactionCommitPermitted":{"const":false}, "executionPermitted":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionTransactionCommitExecutionAuthorizationHandoff": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "handoffSlots", "authorityIdentities", "requestValiditySeconds", "handoffShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "handoffSlotReceiptsVerified", "handoffReceiptsVerified", "projectedHandoffs", "disposedHandles", "fixtureHandoffShapesVerified", "realTransactionCommitReceiptsObserved", "durableBudgetSettlementsObserved", "activeHostLeasesObserved", "executionPolicyRevalidationsObserved", "executionAuthorityGrantsObserved", "transactionCommitsObserved", "executionAuthorizationsObserved", "productionDriversObserved", "watchdogArmingsObserved", "networkLeasesObserved", "imageAttestationsObserved", "retirementDrillsObserved", "incidentWindowsObserved", "productionHostRuns", "productionHostClaims", "processesSpawned", "hostContacts", "packageLoads", "systemdUnitsInstalled", "controllerServicesStarted", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "transactionCommitPermitted", "executionHandoffPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_TRANSACTION_COMMIT_EXECUTION_AUTHORIZATION_HANDOFF_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-transaction-commit-execution-authorization-handoff.mjs"},
        "operations":{"const":4}, "handoffSlots":{"const":5}, "authorityIdentities":{"const":5}, "requestValiditySeconds":{"const":30}, "handoffShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "states":{"const":17}, "invariants":{"const":86}, "productionPrerequisites":{"const":18},
        "fixtures":{"const":112}, "acceptedOutcomes":{"const":18}, "deniedOutcomes":{"const":94}, "upstreamReceiptsVerified":{"const":84}, "handoffSlotReceiptsVerified":{"const":177}, "handoffReceiptsVerified":{"const":3}, "projectedHandoffs":{"const":19}, "disposedHandles":{"const":2}, "fixtureHandoffShapesVerified":{"const":5},
        "realTransactionCommitReceiptsObserved":{"const":0}, "durableBudgetSettlementsObserved":{"const":0}, "activeHostLeasesObserved":{"const":0}, "executionPolicyRevalidationsObserved":{"const":0}, "executionAuthorityGrantsObserved":{"const":0}, "transactionCommitsObserved":{"const":0}, "executionAuthorizationsObserved":{"const":0}, "productionDriversObserved":{"const":0}, "watchdogArmingsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "productionHostRuns":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"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": false
    },
    "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityTrustRevocationAdmission": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "trustSlots", "authorityIdentities", "requestValiditySeconds", "trustShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "trustSlotReceiptsVerified", "trustReceiptsVerified", "projectedAdmissions", "disposedHandles", "fixtureTrustShapesVerified", "productionAuthorityInterfacesObserved", "pinnedProductionKeysObserved", "keyRotationDrillsObserved", "grantRevocationDrillsObserved", "compensationDrillsObserved", "leaseExpiryDrillsObserved", "grantExpiryDrillsObserved", "immutableAuditWitnessesObserved", "keysCreated", "keysRotated", "keysRevoked", "grantsRevoked", "compensationsExecuted", "leasesExpired", "auditWritesExecuted", "transactionCommitsObserved", "executionAuthorizationsObserved", "productionHostRuns", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "authorityTrustPermitted", "executionHandoffPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_EXECUTION_AUTHORIZATION_AUTHORITY_TRUST_REVOCATION_ADMISSION_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-trust-revocation-admission-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-trust-revocation-admission.mjs"},
        "operations":{"const":4}, "trustSlots":{"const":6}, "authorityIdentities":{"const":6}, "requestValiditySeconds":{"const":30}, "trustShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "states":{"const":18}, "invariants":{"const":90}, "productionPrerequisites":{"const":19},
        "fixtures":{"const":116}, "acceptedOutcomes":{"const":20}, "deniedOutcomes":{"const":96}, "upstreamReceiptsVerified":{"const":89}, "trustSlotReceiptsVerified":{"const":236}, "trustReceiptsVerified":{"const":3}, "projectedAdmissions":{"const":22}, "disposedHandles":{"const":2}, "fixtureTrustShapesVerified":{"const":6},
        "productionAuthorityInterfacesObserved":{"const":0}, "pinnedProductionKeysObserved":{"const":0}, "keyRotationDrillsObserved":{"const":0}, "grantRevocationDrillsObserved":{"const":0}, "compensationDrillsObserved":{"const":0}, "leaseExpiryDrillsObserved":{"const":0}, "grantExpiryDrillsObserved":{"const":0}, "immutableAuditWitnessesObserved":{"const":0}, "keysCreated":{"const":0}, "keysRotated":{"const":0}, "keysRevoked":{"const":0}, "grantsRevoked":{"const":0}, "compensationsExecuted":{"const":0}, "leasesExpired":{"const":0}, "auditWritesExecuted":{"const":0}, "transactionCommitsObserved":{"const":0}, "executionAuthorizationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "authorityTrustPermitted":{"const":false}, "executionHandoffPermitted":{"const":false}, "executionPermitted":{"const":false}, "deploymentPermitted":{"const":false},
        "productionDriversObserved":{"const":0}, "watchdogArmingsObserved":{"const":0}, "networkLeasesObserved":{"const":0}, "imageAttestationsObserved":{"const":0}, "retirementDrillsObserved":{"const":0}, "incidentWindowsObserved":{"const":0}, "productionHostClaims":{"const":0}, "processesSpawned":{"const":0}, "hostContacts":{"const":0}, "packageLoads":{"const":0}, "systemdUnitsInstalled":{"const":0}, "controllerServicesStarted":{"const":0}, "controllerListeners":{"const":0}, "listenerStarts":{"const":0}, "publicRoutes":{"const":0}, "reverseProxyRoutes":{"const":0}
      },
      "additionalProperties": false
    },
    "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReview": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "recoverySlots", "authorityIdentities", "requestValiditySeconds", "recoveryShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "recoverySlotReceiptsVerified", "recoveryReceiptsVerified", "projectedReviews", "disposedHandles", "fixtureRecoveryShapesVerified", "productionCompromiseSignalsObserved", "quarantinedKeyGenerations", "auditContinuityWitnessesObserved", "operatorEscalationsObserved", "recoveryReadmissionsObserved", "keysCreated", "keysRotated", "keysRevoked", "grantsRevoked", "compensationsExecuted", "leasesExpired", "auditWritesExecuted", "transactionCommitsObserved", "executionAuthorizationsObserved", "productionHostRuns", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "containmentReviewPermitted", "recoveryPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_EXECUTION_AUTHORIZATION_AUTHORITY_COMPROMISE_CONTAINMENT_AUDIT_CHAIN_RECOVERY_REVIEW_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review.mjs"},
        "operations":{"const":4}, "recoverySlots":{"const":7}, "authorityIdentities":{"const":7}, "requestValiditySeconds":{"const":30}, "recoveryShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "states":{"const":19}, "invariants":{"const":94}, "productionPrerequisites":{"const":20},
        "fixtures":{"const":120}, "acceptedOutcomes":{"const":22}, "deniedOutcomes":{"const":98}, "upstreamReceiptsVerified":{"const":98}, "recoverySlotReceiptsVerified":{"const":331}, "recoveryReceiptsVerified":{"const":3}, "projectedReviews":{"const":25}, "disposedHandles":{"const":2}, "fixtureRecoveryShapesVerified":{"const":7},
        "productionCompromiseSignalsObserved":{"const":0}, "quarantinedKeyGenerations":{"const":0}, "grantContainmentsObserved":{"const":0}, "leaseContainmentsObserved":{"const":0}, "settlementCompensationsObserved":{"const":0}, "capacityReleasesObserved":{"const":0}, "auditContinuityWitnessesObserved":{"const":0}, "operatorEscalationsObserved":{"const":0}, "recoveryReadmissionsObserved":{"const":0}, "keysCreated":{"const":0}, "keysRotated":{"const":0}, "keysRevoked":{"const":0}, "grantsRevoked":{"const":0}, "compensationsExecuted":{"const":0}, "leasesExpired":{"const":0}, "auditWritesExecuted":{"const":0}, "transactionCommitsObserved":{"const":0}, "executionAuthorizationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "containmentReviewPermitted":{"const":false}, "recoveryPermitted":{"const":false}, "executionPermitted":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": true
    },
    "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReviewSuccessorGenerationAdmission": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "admissionSlots", "authorityIdentities", "requestValiditySeconds", "admissionShapeValiditySeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "admissionSlotReceiptsVerified", "admissionReceiptsVerified", "projectedAdmissions", "disposedHandles", "fixtureAdmissionShapesVerified", "successorKeyCustodyEvidenceObserved", "revokedGenerationPropagationEvidenceObserved", "cleanGrantIssuanceEvidenceObserved", "auditContinuationEvidenceObserved", "independentOwnerApprovalsObserved", "successorGenerationAdmissionsObserved", "keysCreated", "grantsIssued", "auditWritesExecuted", "executionAuthorizationsObserved", "productionHostRuns", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "successorGenerationAdmissionPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_EXECUTION_AUTHORIZATION_AUTHORITY_COMPROMISE_CONTAINMENT_AUDIT_CHAIN_RECOVERY_REVIEW_SUCCESSOR_GENERATION_ADMISSION_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-successor-generation-admission-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-successor-generation-admission.mjs"},
        "operations":{"const":4}, "admissionSlots":{"const":5}, "authorityIdentities":{"const":5}, "requestValiditySeconds":{"const":30}, "admissionShapeValiditySeconds":{"const":3600}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "states":{"const":20}, "invariants":{"const":98}, "productionPrerequisites":{"const":25},
        "fixtures":{"const":124}, "acceptedOutcomes":{"const":24}, "deniedOutcomes":{"const":100}, "upstreamReceiptsVerified":{"const":102}, "admissionSlotReceiptsVerified":{"const":252}, "admissionReceiptsVerified":{"const":3}, "projectedAdmissions":{"const":28}, "disposedHandles":{"const":2}, "fixtureAdmissionShapesVerified":{"const":5},
        "successorKeyCustodyEvidenceObserved":{"const":0}, "revokedGenerationPropagationEvidenceObserved":{"const":0}, "cleanGrantIssuanceEvidenceObserved":{"const":0}, "auditContinuationEvidenceObserved":{"const":0}, "independentOwnerApprovalsObserved":{"const":0}, "successorGenerationAdmissionsObserved":{"const":0}, "keysCreated":{"const":0}, "keysRotated":{"const":0}, "keysRevoked":{"const":0}, "grantsIssued":{"const":0}, "grantsRevoked":{"const":0}, "auditWritesExecuted":{"const":0}, "transactionCommitsObserved":{"const":0}, "executionAuthorizationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "successorGenerationAdmissionPermitted":{"const":false}, "executionPermitted":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": true
    },
    "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReviewSuccessorGenerationAdmissionCanaryReactivationAuthorization": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "authorizationSlots", "authorityIdentities", "requestValiditySeconds", "authorizationShapeValiditySeconds", "canaryGrantTtlSeconds", "observationWindowSeconds", "rollbackTriggerDeadlineSeconds", "hostCountMaximum", "maximumMilliUsdCeiling", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "upstreamReceiptsVerified", "authorizationSlotReceiptsVerified", "authorizationReceiptsVerified", "projectedAuthorizations", "disposedHandles", "fixtureAuthorizationShapesVerified", "verifierFanoutEvidenceObserved", "boundedCanaryGrantEvidenceObserved", "observationWindowEvidenceObserved", "automaticRollbackTriggerEvidenceObserved", "terminalAuditWitnessEvidenceObserved", "canaryReactivationAuthorizationsObserved", "keysCreated", "grantsIssued", "rollbackTriggersArmed", "auditWritesExecuted", "executionAuthorizationsObserved", "productionHostRuns", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "canaryReactivationAuthorizationPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_EXECUTION_AUTHORIZATION_AUTHORITY_COMPROMISE_CONTAINMENT_AUDIT_CHAIN_RECOVERY_REVIEW_SUCCESSOR_GENERATION_ADMISSION_CANARY_REACTIVATION_AUTHORIZATION_IMPLEMENTED_NOT_CONFIGURED"}, "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-successor-generation-admission-canary-reactivation-authorization-contract.json"}, "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-successor-generation-admission-canary-reactivation-authorization.mjs"},
        "operations":{"const":4}, "authorizationSlots":{"const":5}, "authorityIdentities":{"const":5}, "requestValiditySeconds":{"const":30}, "authorizationShapeValiditySeconds":{"const":3600}, "canaryGrantTtlSeconds":{"const":300}, "observationWindowSeconds":{"const":900}, "rollbackTriggerDeadlineSeconds":{"const":30}, "hostCountMaximum":{"const":1}, "maximumMilliUsdCeiling":{"const":500}, "states":{"const":21}, "invariants":{"const":102}, "productionPrerequisites":{"const":30},
        "fixtures":{"const":128}, "acceptedOutcomes":{"const":26}, "deniedOutcomes":{"const":102}, "upstreamReceiptsVerified":{"const":106}, "authorizationSlotReceiptsVerified":{"const":267}, "authorizationReceiptsVerified":{"const":3}, "projectedAuthorizations":{"const":31}, "disposedHandles":{"const":2}, "fixtureAuthorizationShapesVerified":{"const":5},
        "verifierFanoutEvidenceObserved":{"const":0}, "boundedCanaryGrantEvidenceObserved":{"const":0}, "observationWindowEvidenceObserved":{"const":0}, "automaticRollbackTriggerEvidenceObserved":{"const":0}, "terminalAuditWitnessEvidenceObserved":{"const":0}, "canaryReactivationAuthorizationsObserved":{"const":0}, "keysCreated":{"const":0}, "grantsIssued":{"const":0}, "rollbackTriggersArmed":{"const":0}, "auditWritesExecuted":{"const":0}, "executionAuthorizationsObserved":{"const":0}, "productionHostRuns":{"const":0}, "externalReadsExecuted":{"const":0}, "externalWritesExecuted":{"const":0}, "mutationsExecuted":{"const":0}, "paidResourcesCreated":{"const":false}, "canaryReactivationAuthorizationPermitted":{"const":false}, "executionPermitted":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": true
    },
    "disposableHostLiveEvidenceCollectionExecutionAuthorizationAuthorityCompromiseContainmentAuditChainRecoveryReviewSuccessorGenerationAdmissionCanaryReactivationAuthorizationOutcomeAdjudication": {
      "type": "object",
      "required": ["status", "contract", "evaluator", "operations", "adjudicationSlots", "authorityIdentities", "outcomeClasses", "states", "invariants", "productionPrerequisites", "fixtures", "acceptedOutcomes", "deniedOutcomes", "outcomeClassification", "promotionPermitted", "grantWideningPermitted", "rollbackSuppressionPermitted", "executionPermitted", "deploymentPermitted"],
      "properties": {
        "status":{"const":"DISPOSABLE_HOST_LIVE_EVIDENCE_COLLECTION_EXECUTION_AUTHORIZATION_AUTHORITY_COMPROMISE_CONTAINMENT_AUDIT_CHAIN_RECOVERY_REVIEW_SUCCESSOR_GENERATION_ADMISSION_CANARY_REACTIVATION_AUTHORIZATION_OUTCOME_ADJUDICATION_IMPLEMENTED_NOT_CONFIGURED"},
        "contract":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-successor-generation-admission-canary-reactivation-authorization-outcome-adjudication-contract.json"},
        "evaluator":{"const":"ops/runner-factory/controller-disposable-host-live-evidence-collection-execution-authorization-authority-compromise-containment-audit-chain-recovery-review-successor-generation-admission-canary-reactivation-authorization-outcome-adjudication.mjs"},
        "operations":{"const":4}, "adjudicationSlots":{"const":5}, "authorityIdentities":{"const":5}, "outcomeClasses":{"const":3}, "states":{"const":22}, "invariants":{"const":106}, "productionPrerequisites":{"const":35},
        "fixtures":{"const":132}, "acceptedOutcomes":{"const":28}, "deniedOutcomes":{"const":104}, "upstreamReceiptsVerified":{"const":110}, "adjudicationSlotReceiptsVerified":{"const":282}, "adjudicationReceiptsVerified":{"const":3}, "projectedAdjudications":{"const":34}, "disposedHandles":{"const":2},
        "outcomeClassification":{"const":"UNOBSERVED"}, "promotionPermitted":{"const":false}, "grantWideningPermitted":{"const":false}, "rollbackSuppressionPermitted":{"const":false}, "executionPermitted":{"const":false}, "deploymentPermitted":{"const":false}
      },
      "additionalProperties": true
    },
    "d05AcceptanceClosure": {
      "type": "object",
      "required": ["status", "contract", "fixturesRegistry", "operations", "closureGates", "closureGatesSatisfied", "decisionSeats", "decisionClasses", "invariants", "fixtures", "validatedShapeCases", "deniedCases", "acceptedKnives", "totalKnives", "remainingIncludingCurrent", "remainingAfterAcceptance", "controllerReadinessSatisfied", "controllerReadinessTotal", "productUiAccepted", "productUiTotal", "liveEvidenceReceiptsObserved", "independentSignaturesObserved", "d05AcceptanceDecisionsObserved", "controllerListeners", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "systemdUnitsInstalled", "productionHandlersConstructed", "productionWebhooksAccepted", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "d05Accepted", "deploymentPermitted"],
      "properties": {
        "status": { "const": "D05_ACCEPTANCE_CLOSURE_DOSSIER_IMPLEMENTED_FAIL_CLOSED" },
        "contract": { "const": "ops/runner-factory/controller-d05-acceptance-closure-contract.json" },
        "fixturesRegistry": { "const": "ops/runner-factory/controller-d05-acceptance-closure-fixtures.json" },
        "operations": { "const": 4 },
        "closureGates": { "const": 11 },
        "closureGatesSatisfied": { "const": 0 },
        "decisionSeats": { "const": 5 },
        "decisionClasses": { "const": 3 },
        "invariants": { "const": 12 },
        "fixtures": { "const": 24 },
        "validatedShapeCases": { "const": 3 },
        "deniedCases": { "const": 21 },
        "acceptedKnives": { "const": 4 },
        "totalKnives": { "const": 36 },
        "remainingIncludingCurrent": { "const": 32 },
        "remainingAfterAcceptance": { "const": 31 },
        "controllerReadinessSatisfied": { "const": 0 },
        "controllerReadinessTotal": { "const": 11 },
        "productUiAccepted": { "const": 0 },
        "productUiTotal": { "const": 85 },
        "liveEvidenceReceiptsObserved": { "const": 0 },
        "independentSignaturesObserved": { "const": 0 },
        "d05AcceptanceDecisionsObserved": { "const": 0 },
        "controllerListeners": { "const": 0 },
        "listenerStarts": { "const": 0 },
        "publicRoutes": { "const": 0 },
        "reverseProxyRoutes": { "const": 0 },
        "systemdUnitsInstalled": { "const": 0 },
        "productionHandlersConstructed": { "const": 0 },
        "productionWebhooksAccepted": { "const": 0 },
        "externalReadsExecuted": { "const": 0 },
        "externalWritesExecuted": { "const": 0 },
        "mutationsExecuted": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "d05Accepted": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "reservationStore": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "recordsPerReservation", "operations", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "leaseSeconds", "replayRetentionSeconds", "fencingEpochVerified", "configured", "readinessGateSatisfied", "tableCreated", "iamRoleConfigured", "liveReservations", "dynamoReadsExecuted", "dynamoWritesExecuted", "secretExposureCount", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/reservation-store-contract.json" },
        "adapter": { "const": "ops/runner-factory/reservation-store.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "recordsPerReservation": { "const": 2 },
        "operations": { "const": 5 },
        "invariants": { "const": 8 },
        "fixtures": { "const": 16 },
        "allowedTransitions": { "const": 5 },
        "deniedTransitions": { "const": 11 },
        "leaseSeconds": { "const": 120 },
        "replayRetentionSeconds": { "const": 604800 },
        "fencingEpochVerified": { "const": 2 },
        "configured": { "const": false },
        "readinessGateSatisfied": { "const": false },
        "tableCreated": { "const": false },
        "iamRoleConfigured": { "const": false },
        "liveReservations": { "const": 0 },
        "dynamoReadsExecuted": { "const": 0 },
        "dynamoWritesExecuted": { "const": 0 },
        "secretExposureCount": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "receiptSigner": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "operations", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "signedReceipts", "verifiedChains", "keySelection", "keyUsage", "keySpec", "signingAlgorithm", "publicKeyPinnedBy", "configured", "readinessGateSatisfied", "kmsKeyCreated", "iamRoleConfigured", "runtimeReceipts", "kmsGetPublicKeyCallsExecuted", "kmsSignCallsExecuted", "secretExposureCount", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/receipt-signer-contract.json" },
        "adapter": { "const": "ops/runner-factory/receipt-signer.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 3 },
        "invariants": { "const": 10 },
        "fixtures": { "const": 20 },
        "allowedTransitions": { "const": 5 },
        "deniedTransitions": { "const": 15 },
        "signedReceipts": { "const": 2 },
        "verifiedChains": { "const": 1 },
        "keySelection": { "const": "EXACT_KEY_ARN" },
        "keyUsage": { "const": "SIGN_VERIFY" },
        "keySpec": { "const": "ECC_NIST_P256" },
        "signingAlgorithm": { "const": "ECDSA_SHA_256" },
        "publicKeyPinnedBy": { "const": "SHA256_SPKI" },
        "configured": { "const": false },
        "readinessGateSatisfied": { "const": false },
        "kmsKeyCreated": { "const": false },
        "iamRoleConfigured": { "const": false },
        "runtimeReceipts": { "const": 0 },
        "kmsGetPublicKeyCallsExecuted": { "const": 0 },
        "kmsSignCallsExecuted": { "const": 0 },
        "secretExposureCount": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "tokenBroker": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "operations", "stateTransitions", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "handleTtlSeconds", "maxTokenBytes", "tokenTransport", "configured", "readinessGateSatisfied", "brokerCredentialConfigured", "liveHandles", "giteaTokenCallsExecuted", "runtimeTokensIssued", "runtimeTokensConsumed", "runtimeTokensDestroyed", "tokenValuesRecorded", "tokenDigestsRecorded", "externalCallsExecuted", "giteaWritesExecuted", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/registration-token-broker-contract.json" },
        "adapter": { "const": "ops/runner-factory/registration-token-broker.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 4 },
        "stateTransitions": { "const": 7 },
        "invariants": { "const": 12 },
        "fixtures": { "const": 22 },
        "allowedTransitions": { "const": 6 },
        "deniedTransitions": { "const": 16 },
        "handleTtlSeconds": { "const": 30 },
        "maxTokenBytes": { "const": 512 },
        "tokenTransport": { "const": "GITEA_RESPONSE_HEADER_TOKEN_AS_MUTABLE_BYTES" },
        "configured": { "const": false },
        "readinessGateSatisfied": { "const": false },
        "brokerCredentialConfigured": { "const": false },
        "liveHandles": { "const": 0 },
        "giteaTokenCallsExecuted": { "const": 0 },
        "runtimeTokensIssued": { "const": 0 },
        "runtimeTokensConsumed": { "const": 0 },
        "runtimeTokensDestroyed": { "const": 0 },
        "tokenValuesRecorded": { "const": 0 },
        "tokenDigestsRecorded": { "const": 0 },
        "externalCallsExecuted": { "const": 0 },
        "giteaWritesExecuted": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "workerProvider": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "operations", "stateTransitions", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "ec2OperationsModeled", "maxJobs", "launchTemplateSelection", "bootstrapImds", "jobImds", "rootVolume", "configured", "readinessGateSatisfied", "launchTemplateCreated", "ciNetworkCreated", "bootstrapProfileCreated", "liveWorkers", "runtimeJobs", "ec2CallsExecuted", "secretExposureCount", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/worker-provider-contract.json" },
        "adapter": { "const": "ops/runner-factory/worker-provider.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 4 },
        "stateTransitions": { "const": 9 },
        "invariants": { "const": 14 },
        "fixtures": { "const": 34 },
        "allowedTransitions": { "const": 8 },
        "deniedTransitions": { "const": 26 },
        "ec2OperationsModeled": { "const": 8 },
        "maxJobs": { "const": 1 },
        "launchTemplateSelection": { "const": "EXACT_ID_AND_NUMERIC_VERSION" },
        "bootstrapImds": { "const": "IMDSV2_REQUIRED_HOP_LIMIT_1" },
        "jobImds": { "const": "DISABLED" },
        "rootVolume": { "const": "ENCRYPTED_GP3_DELETE_ON_TERMINATION" },
        "configured": { "const": false },
        "readinessGateSatisfied": { "const": false },
        "launchTemplateCreated": { "const": false },
        "ciNetworkCreated": { "const": false },
        "bootstrapProfileCreated": { "const": false },
        "liveWorkers": { "const": 0 },
        "runtimeJobs": { "const": 0 },
        "ec2CallsExecuted": { "const": 0 },
        "secretExposureCount": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "giteaControlPlane": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "operations", "stateTransitions", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "modeledCalls", "internalRegistrationCompensations", "maxJobs", "registrationOrder", "assignmentProof", "credentialBoundary", "deleteTerminalStatuses", "configured", "readinessGateSatisfied", "controlCredentialConfigured", "workerAgentInstalled", "liveRunners", "runtimeAssignments", "giteaReadsExecuted", "giteaWritesExecuted", "registrationSecretsRecorded", "runnerCredentialsRecorded", "secretExposureCount", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/gitea-control-plane-contract.json" },
        "adapter": { "const": "ops/runner-factory/gitea-control-plane.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 3 }, "stateTransitions": { "const": 10 }, "invariants": { "const": 16 }, "fixtures": { "const": 34 },
        "allowedTransitions": { "const": 8 }, "deniedTransitions": { "const": 26 }, "modeledCalls": { "const": 6 }, "internalRegistrationCompensations": { "const": 3 }, "maxJobs": { "const": 1 },
        "registrationOrder": { "const": "AFTER_CLOUD_BOUNDARY_CLOSE_AND_REBOOT" },
        "assignmentProof": { "const": "GITEA_JOB_PLUS_ROOT_AGENT_SEAL" },
        "credentialBoundary": { "const": "NO_REUSABLE_FILE_PLUS_ROOT_MEMORY_EXACT_JOB_LEASE" },
        "deleteTerminalStatuses": { "const": [204, 404] },
        "configured": { "const": false }, "readinessGateSatisfied": { "const": false }, "controlCredentialConfigured": { "const": false }, "workerAgentInstalled": { "const": false },
        "liveRunners": { "const": 0 }, "runtimeAssignments": { "const": 0 }, "giteaReadsExecuted": { "const": 0 }, "giteaWritesExecuted": { "const": 0 },
        "registrationSecretsRecorded": { "const": 0 }, "runnerCredentialsRecorded": { "const": 0 }, "secretExposureCount": { "const": 0 },
        "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "capacityController": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "operations", "stateTransitions", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "driverCallsModeled", "desiredSlots", "slotsPerAdmission", "maxJobsPerWorker", "capacityMeaning", "failureMode", "configured", "readinessGateSatisfied", "durableCapacityLedgerCreated", "receiptVerifierConfigured", "livePools", "liveSlots", "liveAcquisitions", "runtimeReplacements", "runtimeFreezes", "externalReadsExecuted", "externalWritesExecuted", "leaseValuesRecorded", "secretExposureCount", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/capacity-controller-contract.json" },
        "adapter": { "const": "ops/runner-factory/capacity-controller.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 4 }, "stateTransitions": { "const": 9 }, "invariants": { "const": 16 }, "fixtures": { "const": 30 },
        "allowedTransitions": { "const": 8 }, "deniedTransitions": { "const": 22 }, "driverCallsModeled": { "const": 5 },
        "desiredSlots": { "const": 2 }, "slotsPerAdmission": { "const": 1 }, "maxJobsPerWorker": { "const": 1 },
        "capacityMeaning": { "const": "CONCURRENT_EPHEMERAL_WORKER_BUDGET_NOT_WARM_INSTANCES" }, "failureMode": { "const": "WHOLE_POOL_FREEZE" },
        "configured": { "const": false }, "readinessGateSatisfied": { "const": false }, "durableCapacityLedgerCreated": { "const": false }, "receiptVerifierConfigured": { "const": false },
        "livePools": { "const": 0 }, "liveSlots": { "const": 0 }, "liveAcquisitions": { "const": 0 }, "runtimeReplacements": { "const": 0 }, "runtimeFreezes": { "const": 0 },
        "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "leaseValuesRecorded": { "const": 0 }, "secretExposureCount": { "const": 0 },
        "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "auditSink": {
      "type": "object",
      "required": ["status", "contract", "adapter", "runtimeDriver", "operations", "stateTransitions", "invariants", "fixtures", "allowedTransitions", "deniedTransitions", "driverCallsModeled", "partition", "entryModel", "successSeal", "mutationPolicy", "configured", "readinessGateSatisfied", "durableJournalCreated", "iamRoleConfigured", "liveJournals", "runtimeEntries", "runtimeSuccessSeals", "runtimeFailureSeals", "externalReadsExecuted", "externalWritesExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "ADAPTER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/audit-sink-contract.json" },
        "adapter": { "const": "ops/runner-factory/audit-sink.mjs" },
        "runtimeDriver": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 5 }, "stateTransitions": { "const": 10 }, "invariants": { "const": 18 }, "fixtures": { "const": 36 },
        "allowedTransitions": { "const": 10 }, "deniedTransitions": { "const": 26 }, "driverCallsModeled": { "const": 5 },
        "partition": { "const": "ONE_JOURNAL_PER_PLAN_AND_JOB_ATTEMPT" },
        "entryModel": { "const": "DUAL_HASH_CHAIN_SIGNED_RECEIPTS_PLUS_TERMINAL_FAILURE" },
        "successSeal": { "const": "EXACT_F9_REPLACEMENT_RECEIPT" },
        "mutationPolicy": { "const": "CREATE_AND_CONDITIONAL_APPEND_ONLY_NO_UPDATE_OR_DELETE" },
        "configured": { "const": false }, "readinessGateSatisfied": { "const": false }, "durableJournalCreated": { "const": false }, "iamRoleConfigured": { "const": false },
        "liveJournals": { "const": 0 }, "runtimeEntries": { "const": 0 }, "runtimeSuccessSeals": { "const": 0 }, "runtimeFailureSeals": { "const": 0 },
        "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 },
        "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "reconciliationPlanner": {
      "type": "object",
      "required": ["status", "contract", "planner", "runtimeSourceReader", "operations", "sourceReads", "stateTransitions", "invariants", "metricSeries", "fixtures", "safeOutcomes", "containedOutcomes", "deniedInputs", "freezePlans", "pagePlans", "mutationPolicy", "configuredRuntimeSources", "schedulerIntegrated", "metricsExporterConfigured", "pagingProviderConfigured", "readinessGateSatisfied", "liveReports", "runtimeContainments", "pagesSent", "mutationsExecuted", "externalReadsExecuted", "externalWritesExecuted", "secretValuesRecorded", "paidResourcesCreated", "deploymentPermitted"],
      "properties": {
        "status": { "const": "PLANNER_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/reconciliation-planner-contract.json" },
        "planner": { "const": "ops/runner-factory/reconciliation-planner.mjs" },
        "runtimeSourceReader": { "const": "NOT_CONFIGURED" },
        "operations": { "const": 4 }, "sourceReads": { "const": 5 }, "stateTransitions": { "const": 12 }, "invariants": { "const": 18 }, "metricSeries": { "const": 8 }, "fixtures": { "const": 32 },
        "safeOutcomes": { "const": 7 }, "containedOutcomes": { "const": 24 }, "deniedInputs": { "const": 1 }, "freezePlans": { "const": 23 }, "pagePlans": { "const": 24 },
        "mutationPolicy": { "const": "PLAN_ONLY_NO_EXTERNAL_ACTION" },
        "configuredRuntimeSources": { "const": 0 }, "schedulerIntegrated": { "const": false }, "metricsExporterConfigured": { "const": false }, "pagingProviderConfigured": { "const": false }, "readinessGateSatisfied": { "const": false },
        "liveReports": { "const": 0 }, "runtimeContainments": { "const": 0 }, "pagesSent": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 },
        "paidResourcesCreated": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "snapshotCoordinator": {
      "type": "object",
      "required": ["status", "contract", "coordinator", "operations", "sourceReaders", "captureStates", "invariants", "fixtures", "completeCaptures", "partialCaptures", "allUnavailableCaptures", "deniedInputs", "sourceReadAttempts", "unavailableSourceResults", "plannerIntegrationCases", "consistency", "timeoutMs", "maxCaptureSkewMs", "partialReadPolicy", "configuredSourceReaders", "runtimeIdentityConfigured", "runtimeCaptures", "runtimeSourceReads", "liveSnapshots", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "secretValuesRecorded", "paidResourcesCreated", "readinessGateSatisfied", "deploymentPermitted"],
      "properties": {
        "status": { "const": "COORDINATOR_IMPLEMENTED_NOT_CONFIGURED" },
        "contract": { "const": "ops/runner-factory/reconciliation-snapshot-coordinator-contract.json" },
        "coordinator": { "const": "ops/runner-factory/reconciliation-snapshot-coordinator.mjs" },
        "operations": { "const": 3 }, "sourceReaders": { "const": 5 }, "captureStates": { "const": 6 }, "invariants": { "const": 18 }, "fixtures": { "const": 30 },
        "completeCaptures": { "const": 3 }, "partialCaptures": { "const": 7 }, "allUnavailableCaptures": { "const": 1 }, "deniedInputs": { "const": 19 },
        "sourceReadAttempts": { "const": 55 }, "unavailableSourceResults": { "const": 16 }, "plannerIntegrationCases": { "const": 11 },
        "consistency": { "const": "STRONGLY_CONSISTENT" }, "timeoutMs": { "const": 2000 }, "maxCaptureSkewMs": { "const": 2000 }, "partialReadPolicy": { "const": "NORMALIZE_UNKNOWN_AND_CONTAIN" },
        "configuredSourceReaders": { "const": 0 }, "runtimeIdentityConfigured": { "const": false }, "runtimeCaptures": { "const": 0 }, "runtimeSourceReads": { "const": 0 }, "liveSnapshots": { "const": 0 },
        "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 }, "secretValuesRecorded": { "const": 0 },
        "paidResourcesCreated": { "const": false }, "readinessGateSatisfied": { "const": false }, "deploymentPermitted": { "const": false }
      },
      "additionalProperties": false
    },
    "target": {
      "type": "object",
      "required": ["poolSize", "maxJobsPerWorker", "executionMode", "ephemeralRegistration", "persistentRunnerDataVolume", "hostDockerSocketMounted", "productionRoute", "replaceWorkerAfterJob", "trustedReceiptIssuer"],
      "properties": {
        "poolSize": { "const": 2 },
        "maxJobsPerWorker": { "const": 1 },
        "executionMode": { "const": "rootless-dind-container" },
        "ephemeralRegistration": { "const": true },
        "persistentRunnerDataVolume": { "const": false },
        "hostDockerSocketMounted": { "const": false },
        "productionRoute": { "const": false },
        "replaceWorkerAfterJob": { "const": true },
        "trustedReceiptIssuer": { "const": "factory-control-plane" }
      },
      "additionalProperties": false
    },
    "workerTemplate": {
      "type": "object",
      "required": ["status", "path", "provider", "region", "architecture", "instanceType", "cloudResourcesCreated", "rootVolume", "network", "credentialBoundary", "jobRuntime", "hostMounts", "applySupported", "costApprovalRequired", "runtimeApprovalRequired"],
      "properties": {
        "status": { "const": "PLAN_ONLY_NOT_APPLIED" },
        "path": { "const": "ops/runner-factory/worker-launch-template.json" },
        "provider": { "const": "aws-ec2" },
        "region": { "const": "ap-southeast-2" },
        "architecture": { "const": "linux-amd64" },
        "instanceType": { "type": "string", "minLength": 4 },
        "cloudResourcesCreated": { "const": 0 },
        "rootVolume": { "const": "encrypted-gp3-delete-on-termination" },
        "network": { "const": "private-ci-only-no-production-route" },
        "credentialBoundary": { "const": "root-owned-tmpfs-vs-reits-job" },
        "jobRuntime": { "const": "rootless-dind-container" },
        "hostMounts": { "const": 0 },
        "applySupported": { "const": false },
        "costApprovalRequired": { "const": true },
        "runtimeApprovalRequired": { "const": true }
      },
      "additionalProperties": false
    },
    "compensations": {
      "type": "array",
      "minItems": 8,
      "maxItems": 8,
      "items": {
        "type": "object",
        "required": ["id", "phase", "failure", "action", "safeState", "runtime"],
        "properties": {
          "id": { "type": "string", "pattern": "^RC-[0-9]{2}$" },
          "phase": { "type": "string", "pattern": "^[A-Z]+$" },
          "failure": { "type": "string", "minLength": 8 },
          "action": { "type": "string", "minLength": 8 },
          "safeState": { "type": "string", "pattern": "^[A-Z0-9_]+$" },
          "runtime": { "const": "NOT_OBSERVED" }
        },
        "additionalProperties": false
      }
    },
    "stages": {
      "type": "array",
      "minItems": 10,
      "maxItems": 10,
      "items": { "$ref": "#/$defs/stage" }
    },
    "invariants": {
      "type": "array",
      "minItems": 10,
      "items": {
        "type": "object",
        "required": ["code", "label", "contract", "runtime"],
        "properties": {
          "code": { "type": "string", "pattern": "^RF_[A-Z0-9_]+$" },
          "label": { "type": "string", "minLength": 8 },
          "contract": { "const": "PASS" },
          "runtime": { "const": "NOT_OBSERVED" }
        },
        "additionalProperties": false
      }
    },
    "fixtures": {
      "type": "array",
      "minItems": 12,
      "items": {
        "type": "object",
        "required": ["id", "phase", "mutation", "expected", "violation"],
        "properties": {
          "id": { "type": "string", "pattern": "^RF-A[0-9]{2}$" },
          "phase": { "type": "string", "pattern": "^F[0-9]$" },
          "mutation": {
            "type": "object",
            "required": ["field", "value"],
            "properties": {
              "field": { "type": "string", "minLength": 3 },
              "value": { "type": ["boolean", "integer", "string"] }
            },
            "additionalProperties": false
          },
          "expected": { "const": "DENY" },
          "violation": { "type": "string", "pattern": "^RF_[A-Z0-9_]+$" }
        },
        "additionalProperties": false
      }
    },
    "acceptance": {
      "type": "object",
      "required": ["status", "requiredRuntimeReceipts", "requiredDrills"],
      "properties": {
        "status": { "const": "BLOCKED_RUNTIME" },
        "requiredRuntimeReceipts": { "type": "array", "minItems": 8, "items": { "type": "string" } },
        "requiredDrills": { "type": "array", "minItems": 6, "items": { "type": "string" } }
      },
      "additionalProperties": false
    },
    "discovery": {
      "type": "object",
      "minProperties": 20,
      "additionalProperties": { "type": "string", "pattern": "^/(api|schemas|release-foundation)" }
    }
  },
  "$defs": {
    "facts": {
      "type": "object",
      "required": ["untrustedCode", "registrationSecret", "reusableRunnerCredentialLive", "cloudCredentials", "imdsEnabled", "workerAlive", "jobsCompleted", "replacementReceipt"],
      "properties": {
        "untrustedCode": { "type": "boolean" },
        "registrationSecret": { "type": "boolean" },
        "reusableRunnerCredentialLive": { "type": "boolean" },
        "cloudCredentials": { "type": "boolean" },
        "imdsEnabled": { "type": "boolean" },
        "workerAlive": { "type": "boolean" },
        "jobsCompleted": { "type": "integer", "minimum": 0, "maximum": 1 },
        "replacementReceipt": { "type": "boolean" }
      },
      "additionalProperties": false
    },
    "stage": {
      "type": "object",
      "required": ["id", "state", "label", "actor", "trust", "receipt", "facts"],
      "properties": {
        "id": { "type": "string", "pattern": "^F[0-9]$" },
        "state": { "type": "string", "pattern": "^[A-Z0-9_]+$" },
        "label": { "type": "string", "minLength": 5 },
        "actor": { "type": "string", "minLength": 4 },
        "trust": { "enum": ["CONTROL", "BOOTSTRAP", "UNTRUSTED"] },
        "receipt": { "type": "string", "minLength": 4 },
        "facts": { "$ref": "#/$defs/facts" }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}
