{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-factory-controller-disposable-host-conformance-dossier-sealer.v1.schema.json",
  "title": "Runner Factory Controller Disposable-host Conformance Dossier Sealer",
  "type": "object",
  "required": ["schemaVersion", "status", "observedAt", "scope", "operations", "upstream", "evidenceTopology", "phases", "terminalAssertions", "stateModel", "truth", "selectedDenialTrace", "invariants", "verification", "productionPrerequisites", "fixtureRegistry", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-factory-disposable-host-conformance-dossier-sealer-contract/v1" },
    "status": { "const": "DISPOSABLE_HOST_CONFORMANCE_DOSSIER_SEALER_IMPLEMENTED_NOT_CONFIGURED" },
    "observedAt": { "type": "string", "format": "date-time" },
    "scope": {
      "type": "object",
      "required": ["mode", "input", "output", "hostContacted", "packageLoaded", "driverExecuted", "watchdogStarted", "productionEvidenceObserved", "promotionAuthority", "productionEntrypointWired"],
      "properties": {
        "mode": { "const": "FIXTURE_EVIDENCE_SEALING_ONLY_NO_HOST_EXECUTION" },
        "input": { "const": "EXACT_PLAN_ADMISSION_PLUS_EXECUTION_AND_SIGNED_EVIDENCE_RECEIPTS" },
        "output": { "const": "TEST_ONLY_CONFORMANCE_DOSSIER_SEAL" },
        "hostContacted": { "const": false }, "packageLoaded": { "const": false }, "driverExecuted": { "const": false }, "watchdogStarted": { "const": false }, "productionEvidenceObserved": { "const": false }, "promotionAuthority": { "const": "NONE" }, "productionEntrypointWired": { "const": false }
      },
      "additionalProperties": false
    },
    "operations": { "const": ["prepare", "seal", "verify", "dispose"] },
    "upstream": { "type": "object", "required": ["contract", "receiptStatus", "verification", "contractDigest"], "properties": { "contract": { "const": "controller-disposable-host-conformance-admission-contract.json" }, "receiptStatus": { "const": "DISPOSABLE_HOST_CONFORMANCE_PLAN_ADMITTED_TEST_ONLY" }, "verification": { "const": "ASYMMETRIC_VERIFY_ONLY_FIXTURE" }, "contractDigest": { "const": "SHA256_PINNED_AT_VERIFIER_RUNTIME" } }, "additionalProperties": false },
    "evidenceTopology": { "type": "object", "required": ["executionReceipts", "phaseReceipts", "terminalAttestations", "evidenceSignaturesPerDossier", "journal", "phaseSigner", "executionSigner", "terminalAuthority", "executionMode", "promotionAuthority"], "properties": { "executionReceipts": { "const": 1 }, "phaseReceipts": { "const": 12 }, "terminalAttestations": { "const": 8 }, "evidenceSignaturesPerDossier": { "const": 21 }, "journal": { "const": "MONOTONIC_HASH_CHAIN" }, "phaseSigner": { "const": "fixture-p256-conformance-evidence" }, "executionSigner": { "const": "fixture-p256-conformance-execution" }, "terminalAuthority": { "const": "INDEPENDENT_FIXTURE_WATCHDOG" }, "executionMode": { "const": "IN_MEMORY_HOST_EVIDENCE_FIXTURE_ONLY" }, "promotionAuthority": { "const": "NONE" } }, "additionalProperties": false },
    "phases": { "type": "array", "minItems": 12, "maxItems": 12, "items": { "type": "object", "required": ["ordinal", "id", "evidenceType"], "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 12 }, "id": { "type": "string" }, "evidenceType": { "type": "string" } }, "additionalProperties": false } },
    "terminalAssertions": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "type": "string" } },
    "stateModel": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "type": "string" } },
    "truth": { "type": "object", "required": ["productionHostRuns", "productionHostClaims", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "listenerStarts", "publicRoutes", "reverseProxyRoutes", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted", "paidResourcesCreated", "deploymentPermitted"], "properties": { "productionHostRuns": { "const": 0 }, "productionHostClaims": { "const": 0 }, "productionCandidatePackages": { "const": 0 }, "productionDriversConfigured": { "const": 0 }, "systemdUnitsInstalled": { "const": 0 }, "controllerServicesStarted": { "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 },
    "selectedDenialTrace": { "type": "object", "required": ["fixtureId", "mutation", "expected", "reason"], "properties": { "fixtureId": { "const": "RFDHCDS-58" }, "mutation": { "const": "TERMINAL_AUTHORITY" }, "expected": { "const": "DENY" }, "reason": { "type": "string" } }, "additionalProperties": false },
    "invariants": { "type": "array", "minItems": 52, "maxItems": 52, "items": { "type": "string" } },
    "verification": { "type": "object", "required": ["status", "fixtures", "acceptedOutcomes", "deniedOutcomes", "admissionReceiptsVerified", "evidenceSignaturesVerified", "sealedDossiers", "sealReceiptsVerified", "disposedHandles", "productionHostRuns", "productionCandidatePackages", "productionDriversConfigured", "systemdUnitsInstalled", "controllerServicesStarted", "listenerStarts", "externalReadsExecuted", "externalWritesExecuted", "mutationsExecuted"], "properties": { "status": { "const": "PASS_FIXTURE_ONLY" }, "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 }, "listenerStarts": { "const": 0 }, "externalReadsExecuted": { "const": 0 }, "externalWritesExecuted": { "const": 0 }, "mutationsExecuted": { "const": 0 } }, "additionalProperties": false },
    "productionPrerequisites": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "type": "string" } },
    "fixtureRegistry": {
      "type": "object",
      "required": ["schemaVersion", "mode", "cases"],
      "properties": {
        "schemaVersion": { "const": "developer.reits.tech/runner-factory-disposable-host-conformance-dossier-sealer-fixtures/v1" },
        "mode": { "const": "FIXTURE_EVIDENCE_SEALING_ONLY_NO_HOST_EXECUTION" },
        "cases": {
          "type": "array",
          "minItems": 72,
          "maxItems": 72,
          "items": {
            "type": "object",
            "required": ["id", "mutation", "expected"],
            "properties": { "id": { "type": "string", "pattern": "^RFDHCDS-[0-9]{2}$" }, "mutation": { "type": "string" }, "expected": { "enum": ["ACCEPT", "DENY"] } },
            "additionalProperties": false
          }
        }
      },
      "additionalProperties": false
    },
    "discovery": { "type": "object", "required": ["controller", "lifecycle", "upstream", "workbench", "schema"], "properties": { "controller": { "const": "/api/runner-factory/controller" }, "lifecycle": { "const": "/api/runner-factory" }, "upstream": { "const": "/api/runner-factory/controller/disposable-host-conformance-admission" }, "workbench": { "const": "/release-foundation#disposable-host-conformance-dossier-sealer" }, "schema": { "const": "/schemas/runner-factory-controller-disposable-host-conformance-dossier-sealer.v1.schema.json" } }, "additionalProperties": false }
  },
  "additionalProperties": false
}