{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-d05-g04-stopped-state-posix-installation-transaction-admission.v1.schema.json",
  "title": "Runner Controller D05 G04 stopped-state POSIX installation transaction admission",
  "type": "object",
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "discovery", "summary", "environmentObservation", "candidateContract", "admissionContract", "artifactMatrix", "posixProofMatrix", "readbackMatrix", "transactionMatrix", "rollbackMatrix", "stoppedStateMatrix", "subgateMatrix", "integrationDebtMatrix", "fixtureSuiteMatrix", "fixtureResults", "controlMatrix", "lifecycleMatrix", "protocolMatrix", "authorityMatrix", "qualityGateMatrix", "receiptMatrix", "terminalReceiptFieldMatrix", "invariants", "firstProductionFailure", "safetyTruth"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-d05-g04-stopped-state-posix-installation-transaction-admission/v1" },
    "status": { "const": "P46_REAL_POSIX_SANDBOX_TRANSACTION_ADMITTED_LIVE_ROOT_991_INSTALLATION_HELD" },
    "mode": { "const": "REAL_ISOLATED_POSIX_FILESYSTEM_NO_PRODUCTION_HOST_NO_ROOT_NO_SERVICE_NO_LISTENER" },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "program": { "type": "object", "required": ["globalCutCurrent", "globalCutsRemaining", "d05G04Satisfied"] },
    "discovery": { "type": "object" },
    "summary": {
      "type": "object",
      "required": ["p46PosixSandboxBound", "posixTransactionCasesPassed", "cumulativeRegressionCases", "realTemporaryPosixRoots", "actualArtifactWrites", "actualIndependentReadbacks", "actualRollbackDeletes", "root991OwnershipObserved", "productionHostMutations", "productionInstallationObserved", "d05G04Satisfied"],
      "properties": {
        "p46PosixSandboxBound": { "const": true },
        "posixTransactionCasesPassed": { "const": 168 },
        "cumulativeRegressionCases": { "const": 1544 },
        "realTemporaryPosixRoots": { "const": 24 },
        "actualArtifactWrites": { "const": 192 },
        "actualIndependentReadbacks": { "const": 192 },
        "actualRollbackDeletes": { "const": 192 },
        "root991OwnershipObserved": { "const": false },
        "productionHostMutations": { "const": 0 },
        "productionInstallationObserved": { "const": false },
        "d05G04Satisfied": { "const": false }
      }
    },
    "artifactMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "posixProofMatrix": { "type": "array", "minItems": 12, "maxItems": 12 },
    "readbackMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "transactionMatrix": { "type": "array", "minItems": 14, "maxItems": 14 },
    "rollbackMatrix": { "type": "array", "minItems": 8, "maxItems": 8 },
    "stoppedStateMatrix": { "type": "array", "minItems": 6, "maxItems": 6 },
    "subgateMatrix": { "type": "array", "minItems": 6, "maxItems": 6 },
    "fixtureResults": { "type": "array", "minItems": 168, "maxItems": 168 },
    "controlMatrix": { "type": "array", "minItems": 64, "maxItems": 64 },
    "lifecycleMatrix": { "type": "array", "minItems": 25, "maxItems": 25 },
    "protocolMatrix": { "type": "array", "minItems": 46, "maxItems": 46 },
    "authorityMatrix": { "type": "array", "minItems": 23, "maxItems": 23 },
    "qualityGateMatrix": { "type": "array", "minItems": 77, "maxItems": 77 },
    "receiptMatrix": { "type": "array", "minItems": 44, "maxItems": 44 },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 160, "maxItems": 160 },
    "invariants": { "type": "array", "minItems": 248, "maxItems": 248 },
    "environmentObservation": { "type": "object" },
    "candidateContract": { "type": "object" },
    "admissionContract": { "type": "object" },
    "integrationDebtMatrix": { "type": "array", "minItems": 6, "maxItems": 6 },
    "fixtureSuiteMatrix": { "type": "array", "minItems": 6, "maxItems": 6 },
    "firstProductionFailure": { "type": "object", "required": ["failedGate", "root991OwnershipObserved", "productionHostMutations", "d05G04Satisfied"] },
    "safetyTruth": { "type": "object" }
  },
  "additionalProperties": false
}