{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-claim-commit-admission.v1.schema.json",
  "title": "REITS D05 dry-boot single-claim atomic commit admission",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "evaluatedAt",
    "mode",
    "program",
    "summary",
    "upstreamExecutionIntentContract",
    "upstreamReservationStoreContract",
    "claimCommitAdmissionContract",
    "productionEvaluation",
    "reservationPairMatrix",
    "conditionMatrix",
    "commitProtocolMatrix",
    "conflictClassMatrix",
    "authorityMatrix",
    "commitGateMatrix",
    "receiptChainMatrix",
    "terminalReceiptFieldMatrix",
    "lifecycleMatrix",
    "fixtureResults",
    "decisionCodes",
    "invariants",
    "safetyTruth"
  ],
  "properties": {
    "schemaVersion": {
      "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-claim-commit-admission/v1"
    },
    "status": {
      "enum": [
        "SINGLE_CLAIM_COMMIT_ADMISSION_CONTRACT_BOUND_PRODUCTION_COMMIT_ABSENT",
        "UPSTREAM_EXECUTION_INTENT_CONTRACT_UNAVAILABLE",
        "RESERVATION_STORE_CONTRACT_UNAVAILABLE"
      ]
    },
    "evaluatedAt": {
      "type": "string",
      "format": "date-time"
    },
    "mode": {
      "const": "PURE_TEST_ONLY_ATOMIC_COMMIT_ADMISSION_AND_AMBIGUOUS_WRITE_RECOVERY_NO_DURABLE_IO_NO_HOST_NO_PORT"
    },
    "program": {
      "$ref": "#/$defs/program"
    },
    "summary": {
      "$ref": "#/$defs/summary"
    },
    "upstreamExecutionIntentContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "upstreamReservationStoreContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "claimCommitAdmissionContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "productionEvaluation": {
      "$ref": "#/$defs/evaluation"
    },
    "reservationPairMatrix": {
      "type": "array",
      "minItems": 2,
      "maxItems": 2,
      "items": {
        "type": "object"
      }
    },
    "conditionMatrix": {
      "type": "array",
      "minItems": 2,
      "maxItems": 2,
      "items": {
        "type": "object"
      }
    },
    "commitProtocolMatrix": {
      "type": "array",
      "minItems": 5,
      "maxItems": 5,
      "items": {
        "type": "object"
      }
    },
    "conflictClassMatrix": {
      "type": "array",
      "minItems": 6,
      "maxItems": 6,
      "items": {
        "type": "object"
      }
    },
    "authorityMatrix": {
      "type": "array",
      "minItems": 4,
      "maxItems": 4,
      "items": {
        "type": "object"
      }
    },
    "commitGateMatrix": {
      "type": "array",
      "minItems": 17,
      "maxItems": 17,
      "items": {
        "type": "object"
      }
    },
    "receiptChainMatrix": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12,
      "items": {
        "type": "object"
      }
    },
    "terminalReceiptFieldMatrix": {
      "type": "array",
      "minItems": 42,
      "maxItems": 42,
      "items": {
        "type": "object"
      }
    },
    "lifecycleMatrix": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12,
      "items": {
        "type": "object"
      }
    },
    "fixtureResults": {
      "type": "array",
      "minItems": 88,
      "maxItems": 88,
      "items": {
        "$ref": "#/$defs/fixture"
      }
    },
    "selectedIntentConflictTrace": {
      "$ref": "#/$defs/fixture"
    },
    "selectedPartialPairTrace": {
      "$ref": "#/$defs/fixture"
    },
    "selectedAmbiguousRecoveryTrace": {
      "$ref": "#/$defs/fixture"
    },
    "decisionCodes": {
      "type": "array",
      "minItems": 88,
      "maxItems": 88,
      "uniqueItems": true,
      "items": {
        "type": "string"
      }
    },
    "invariants": {
      "type": "array",
      "minItems": 58,
      "maxItems": 58,
      "uniqueItems": true,
      "items": {
        "type": "string"
      }
    },
    "safetyTruth": {
      "$ref": "#/$defs/safetyTruth"
    }
  },
  "$defs": {
    "program": {
      "type": "object",
      "required": [
        "acceptedKnives",
        "totalKnives",
        "currentKnife",
        "closeoutCut",
        "remainingIncludingCurrent",
        "remainingAfterAcceptance",
        "d05Accepted"
      ],
      "properties": {
        "acceptedKnives": {
          "const": 4
        },
        "totalKnives": {
          "const": 36
        },
        "currentKnife": {
          "const": "D05"
        },
        "closeoutCut": {
          "const": 25
        },
        "remainingIncludingCurrent": {
          "const": 32
        },
        "remainingAfterAcceptance": {
          "const": 31
        },
        "d05Accepted": {
          "const": false
        }
      },
      "additionalProperties": false
    },
    "summary": {
      "type": "object",
      "required": [
        "logicalCommitsRequired",
        "productionLogicalCommitsObserved",
        "reservationRecordsRequired",
        "productionReservationRecordsObserved",
        "protocolStagesRequired",
        "conflictClassesRequired",
        "authorityRolesRequired",
        "commitGates",
        "receiptChainEntries",
        "terminalReceiptFields",
        "fixtureCases",
        "fixtureAssertionsPassed",
        "fixtureAdmitted",
        "fixtureAmbiguousRecovered",
        "fixtureDenied",
        "productionCommitAdmissions",
        "productionCommits",
        "productionReadBacks",
        "dynamoReadsExecuted",
        "dynamoWritesExecuted",
        "productionDispatches",
        "productionHostsCreated",
        "productionPort8110Calls",
        "resourcesCreated",
        "executionPermitted"
      ],
      "properties": {
        "logicalCommitsRequired": {
          "const": 1
        },
        "productionLogicalCommitsObserved": {
          "const": 0
        },
        "reservationRecordsRequired": {
          "const": 2
        },
        "productionReservationRecordsObserved": {
          "const": 0
        },
        "protocolStagesRequired": {
          "const": 5
        },
        "conflictClassesRequired": {
          "const": 6
        },
        "authorityRolesRequired": {
          "const": 4
        },
        "commitGates": {
          "const": 17
        },
        "receiptChainEntries": {
          "const": 12
        },
        "terminalReceiptFields": {
          "const": 42
        },
        "fixtureCases": {
          "const": 88
        },
        "fixtureAssertionsPassed": {
          "const": 88
        },
        "fixtureAdmitted": {
          "const": 1
        },
        "fixtureAmbiguousRecovered": {
          "const": 1
        },
        "fixtureDenied": {
          "const": 86
        },
        "productionCommitAdmissions": {
          "const": 0
        },
        "productionCommits": {
          "const": 0
        },
        "productionReadBacks": {
          "const": 0
        },
        "dynamoReadsExecuted": {
          "const": 0
        },
        "dynamoWritesExecuted": {
          "const": 0
        },
        "productionDispatches": {
          "const": 0
        },
        "productionHostsCreated": {
          "const": 0
        },
        "productionPort8110Calls": {
          "const": 0
        },
        "resourcesCreated": {
          "const": 0
        },
        "executionPermitted": {
          "const": false
        }
      },
      "additionalProperties": true
    },
    "evaluation": {
      "type": "object",
      "required": [
        "code",
        "terminal",
        "failedGate",
        "recordsVerified",
        "conditionsVerified",
        "stagesVerified",
        "conflictsVerified",
        "authoritiesVerified",
        "receiptsVerified",
        "readBackVerified",
        "productionReady"
      ],
      "properties": {
        "code": {
          "type": "string"
        },
        "terminal": {
          "enum": [
            "COMMIT_ADMITTED_FIXTURE",
            "AMBIGUOUS_RECOVERED_FIXTURE",
            "DENIED"
          ]
        },
        "failedGate": {
          "type": [
            "string",
            "null"
          ]
        },
        "recordsVerified": {
          "type": "integer"
        },
        "conditionsVerified": {
          "type": "integer"
        },
        "stagesVerified": {
          "type": "integer"
        },
        "conflictsVerified": {
          "type": "integer"
        },
        "authoritiesVerified": {
          "type": "integer"
        },
        "receiptsVerified": {
          "type": "integer"
        },
        "readBackVerified": {
          "type": "boolean"
        },
        "productionReady": {
          "const": false
        }
      },
      "additionalProperties": false
    },
    "fixture": {
      "type": "object",
      "required": [
        "ordinal",
        "id",
        "mutation",
        "expectedCode",
        "actualCode",
        "expectedTerminal",
        "terminal",
        "passed",
        "failedGate",
        "recordsVerified",
        "conditionsVerified",
        "stagesVerified",
        "conflictsVerified",
        "authoritiesVerified",
        "receiptsVerified",
        "readBackVerified",
        "productionReady"
      ],
      "properties": {
        "ordinal": {
          "type": "integer",
          "minimum": 1,
          "maximum": 88
        },
        "id": {
          "type": "string",
          "pattern": "^DBC-[0-9]{3}$"
        },
        "mutation": {
          "type": "string"
        },
        "expectedCode": {
          "type": "string"
        },
        "actualCode": {
          "type": "string"
        },
        "expectedTerminal": {
          "enum": [
            "COMMIT_ADMITTED_FIXTURE",
            "AMBIGUOUS_RECOVERED_FIXTURE",
            "DENIED"
          ]
        },
        "terminal": {
          "enum": [
            "COMMIT_ADMITTED_FIXTURE",
            "AMBIGUOUS_RECOVERED_FIXTURE",
            "DENIED"
          ]
        },
        "passed": {
          "type": "boolean"
        },
        "failedGate": {
          "type": [
            "string",
            "null"
          ]
        },
        "recordsVerified": {
          "type": "integer"
        },
        "conditionsVerified": {
          "type": "integer"
        },
        "stagesVerified": {
          "type": "integer"
        },
        "conflictsVerified": {
          "type": "integer"
        },
        "authoritiesVerified": {
          "type": "integer"
        },
        "receiptsVerified": {
          "type": "integer"
        },
        "readBackVerified": {
          "type": "boolean"
        },
        "productionReady": {
          "const": false
        }
      },
      "additionalProperties": false
    },
    "safetyTruth": {
      "type": "object",
      "required": [
        "productionExecutionIntents",
        "productionClaimReservations",
        "productionCommitAdmissions",
        "productionCommits",
        "productionConflictClassifications",
        "productionReadBacks",
        "productionRecoveryReceipts",
        "productionDispatches",
        "productionExecutorInvocations",
        "productionHostsCreated",
        "productionReservationRecords",
        "productionPort8110Calls",
        "dynamoReadsExecuted",
        "dynamoWritesExecuted",
        "externalReadsExecuted",
        "externalWritesExecuted",
        "resourcesCreated",
        "d1Created",
        "r2Created",
        "reservationTableCreated",
        "reservationIamRoleConfigured",
        "controller8110Started",
        "executionPermitted"
      ],
      "properties": {
        "productionExecutionIntents": {
          "const": 0
        },
        "productionClaimReservations": {
          "const": 0
        },
        "productionCommitAdmissions": {
          "const": 0
        },
        "productionCommits": {
          "const": 0
        },
        "productionConflictClassifications": {
          "const": 0
        },
        "productionReadBacks": {
          "const": 0
        },
        "productionRecoveryReceipts": {
          "const": 0
        },
        "productionDispatches": {
          "const": 0
        },
        "productionExecutorInvocations": {
          "const": 0
        },
        "productionHostsCreated": {
          "const": 0
        },
        "productionReservationRecords": {
          "const": 0
        },
        "productionPort8110Calls": {
          "const": 0
        },
        "dynamoReadsExecuted": {
          "const": 0
        },
        "dynamoWritesExecuted": {
          "const": 0
        },
        "externalReadsExecuted": {
          "const": 0
        },
        "externalWritesExecuted": {
          "const": 0
        },
        "resourcesCreated": {
          "const": 0
        },
        "d1Created": {
          "const": 0
        },
        "r2Created": {
          "const": 0
        },
        "reservationTableCreated": {
          "const": false
        },
        "reservationIamRoleConfigured": {
          "const": false
        },
        "controller8110Started": {
          "const": false
        },
        "executionPermitted": {
          "const": false
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": true
}