{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-production-module-evaluation-admission-receipt-realm-evaluator-binding.v1.schema.json",
  "title": "D05 Cut 38 Production Module Evaluation Admission Receipt and Realm Evaluator Binding",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "evaluatedAt",
    "mode",
    "program",
    "summary",
    "upstreamSessionQualificationContract",
    "productionEvaluationBindingContract",
    "productionEvaluation",
    "admissionReceiptVerifierMatrix",
    "runtimeBindingControlMatrix",
    "realmEvaluatorBindingMatrix",
    "importEvaluationPermitMatrix",
    "disposalProofMatrix",
    "bindingProtocolMatrix",
    "authorityMatrix",
    "bindingGateMatrix",
    "receiptChainMatrix",
    "terminalReceiptFieldMatrix",
    "fixtureResults",
    "decisionCodes",
    "invariants",
    "safetyTruth",
    "discovery"
  ],
  "properties": {
    "schemaVersion": {
      "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-production-module-evaluation-admission-receipt-realm-evaluator-binding/v1"
    },
    "status": {
      "enum": [
        "PRODUCTION_MODULE_EVALUATION_ADMISSION_RECEIPT_REALM_EVALUATOR_BINDING_BOUND_PRODUCTION_BINDING_TERMINAL_RECEIPT_ABSENT",
        "UPSTREAM_ISOLATED_EVALUATION_SESSION_QUALIFICATION_CONTRACT_UNAVAILABLE"
      ]
    },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "type": "string" },
    "program": {
      "type": "object",
      "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Accepted"],
      "properties": {
        "acceptedKnives": { "const": 4 },
        "totalKnives": { "const": 36 },
        "currentKnife": { "const": "D05" },
        "closeoutCut": { "const": 38 },
        "remainingIncludingCurrent": { "const": 32 },
        "remainingAfterAcceptance": { "const": 31 },
        "d05Accepted": { "const": false }
      },
      "additionalProperties": true
    },
    "summary": {
      "type": "object",
      "required": [
        "admissionReceiptVerifiersRequired",
        "bindingControlsRequired",
        "realmEvaluatorBindingsRequired",
        "importEvaluationPermitsRequired",
        "disposalProofsRequired",
        "protocolStagesRequired",
        "authorityRolesRequired",
        "bindingGates",
        "receiptChainEntries",
        "terminalReceiptFields",
        "fixtureCases",
        "fixtureAssertionsPassed",
        "invariantAssertions",
        "productionEvaluationAdmissionReceiptVerifierBindings",
        "productionRealmEvaluatorBindings",
        "productionImportPermitsIssued",
        "productionEvaluationPermitsIssued",
        "productionDynamicImports",
        "productionModulesEvaluated",
        "productionFactoriesConstructed",
        "productionAdapterInvocations",
        "productionJournalWrites",
        "productionPort8110Calls",
        "resourcesCreated"
      ],
      "properties": {
        "admissionReceiptVerifiersRequired": { "const": 4 },
        "bindingControlsRequired": { "const": 8 },
        "realmEvaluatorBindingsRequired": { "const": 4 },
        "importEvaluationPermitsRequired": { "const": 4 },
        "disposalProofsRequired": { "const": 4 },
        "protocolStagesRequired": { "const": 18 },
        "authorityRolesRequired": { "const": 13 },
        "bindingGates": { "const": 30 },
        "receiptChainEntries": { "const": 25 },
        "terminalReceiptFields": { "const": 94 },
        "fixtureCases": { "const": 166 },
        "fixtureAssertionsPassed": { "const": 166 },
        "fixtureQualified": { "const": 4 },
        "fixtureDenied": { "const": 162 },
        "invariantAssertions": { "const": 116 },
        "productionEvaluationAdmissionReceiptVerifierBindings": { "const": 0 },
        "productionRealmEvaluatorBindings": { "const": 0 },
        "productionImportPermitsIssued": { "const": 0 },
        "productionEvaluationPermitsIssued": { "const": 0 },
        "productionDynamicImports": { "const": 0 },
        "productionModulesEvaluated": { "const": 0 },
        "productionFactoriesConstructed": { "const": 0 },
        "productionAdapterInvocations": { "const": 0 },
        "productionJournalWrites": { "const": 0 },
        "productionPort8110Calls": { "const": 0 },
        "resourcesCreated": { "const": 0 }
      },
      "additionalProperties": true
    },
    "upstreamSessionQualificationContract": { "type": ["object", "null"] },
    "productionEvaluationBindingContract": { "type": ["object", "null"] },
    "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "admissionReceiptVerifierMatrix": { "$ref": "#/$defs/four" },
    "runtimeBindingControlMatrix": { "$ref": "#/$defs/eight" },
    "realmEvaluatorBindingMatrix": { "$ref": "#/$defs/four" },
    "importEvaluationPermitMatrix": { "$ref": "#/$defs/four" },
    "disposalProofMatrix": { "$ref": "#/$defs/four" },
    "bindingProtocolMatrix": { "$ref": "#/$defs/eighteen" },
    "authorityMatrix": {
      "type": "array",
      "minItems": 13,
      "maxItems": 13,
      "items": { "type": "object" }
    },
    "bindingGateMatrix": {
      "type": "array",
      "minItems": 30,
      "maxItems": 30,
      "items": { "type": "object" }
    },
    "receiptChainMatrix": {
      "type": "array",
      "minItems": 25,
      "maxItems": 25,
      "items": { "type": "object" }
    },
    "terminalReceiptFieldMatrix": {
      "type": "array",
      "minItems": 94,
      "maxItems": 94,
      "items": { "type": "object" }
    },
    "fixtureResults": {
      "type": "array",
      "minItems": 166,
      "maxItems": 166,
      "items": { "$ref": "#/$defs/fixture" }
    },
    "decisionCodes": {
      "type": "array",
      "minItems": 166,
      "maxItems": 166,
      "items": { "type": "string" }
    },
    "invariants": {
      "type": "array",
      "minItems": 116,
      "maxItems": 116,
      "uniqueItems": true,
      "items": { "type": "string" }
    },
    "safetyTruth": {
      "type": "object",
      "required": [
        "productionEvaluationAdmissionReceiptVerifierBindings",
        "productionEvaluationAdmissionReceiptsVerified",
        "productionRealmEvaluatorBindings",
        "productionRealmEvaluatorConfigLoads",
        "productionRealmEvaluatorHandlesCreated",
        "productionImportPermitsIssued",
        "productionEvaluationPermitsIssued",
        "productionBindingDisposalsVerified",
        "productionDynamicImports",
        "productionModulesEvaluated",
        "productionFactoriesConstructed",
        "productionAdapterInvocations",
        "productionJournalWrites",
        "productionTicketCasAttempts",
        "productionHostContacts",
        "productionPort8110Calls",
        "resourcesCreated",
        "productionEvaluationAdmissionReceiptVerifierConfigured",
        "productionRealmEvaluatorBindingConfigured",
        "productionRealmEvaluatorConfigConfigured",
        "productionRealmEvaluatorTrustRootConfigured",
        "controller8110Started",
        "executionPermitted"
      ],
      "properties": {
        "productionEvaluationAdmissionReceiptVerifierBindings": { "const": 0 },
        "productionEvaluationAdmissionReceiptsVerified": { "const": 0 },
        "productionRealmEvaluatorBindings": { "const": 0 },
        "productionRealmEvaluatorConfigLoads": { "const": 0 },
        "productionRealmEvaluatorHandlesCreated": { "const": 0 },
        "productionImportPermitsIssued": { "const": 0 },
        "productionEvaluationPermitsIssued": { "const": 0 },
        "productionBindingDisposalsVerified": { "const": 0 },
        "productionDynamicImports": { "const": 0 },
        "productionModulesEvaluated": { "const": 0 },
        "productionFactoriesConstructed": { "const": 0 },
        "productionAdapterInvocations": { "const": 0 },
        "productionJournalWrites": { "const": 0 },
        "productionTicketCasAttempts": { "const": 0 },
        "productionHostContacts": { "const": 0 },
        "productionPort8110Calls": { "const": 0 },
        "resourcesCreated": { "const": 0 },
        "productionEvaluationAdmissionReceiptVerifierConfigured": { "const": false },
        "productionRealmEvaluatorBindingConfigured": { "const": false },
        "productionRealmEvaluatorConfigConfigured": { "const": false },
        "productionRealmEvaluatorTrustRootConfigured": { "const": false },
        "controller8110Started": { "const": false },
        "executionPermitted": { "const": false }
      },
      "additionalProperties": true
    },
    "discovery": { "type": "object" }
  },
  "$defs": {
    "four": {
      "type": "array",
      "minItems": 4,
      "maxItems": 4,
      "items": { "type": "object" }
    },
    "eight": {
      "type": "array",
      "minItems": 8,
      "maxItems": 8,
      "items": { "type": "object" }
    },
    "eighteen": {
      "type": "array",
      "minItems": 18,
      "maxItems": 18,
      "items": { "type": "object" }
    },
    "evaluation": {
      "type": "object",
      "required": ["code", "terminal", "failedGate", "moduleBytesRead", "dynamicImports", "modulesEvaluated", "factoriesConstructed", "adapterInvocations", "durableWrites", "port8110Calls", "productionReady"],
      "properties": {
        "code": { "type": "string" },
        "terminal": { "type": "string" },
        "failedGate": { "type": ["string", "null"] },
        "moduleBytesRead": { "const": 0 },
        "dynamicImports": { "const": 0 },
        "modulesEvaluated": { "const": 0 },
        "factoriesConstructed": { "const": 0 },
        "adapterInvocations": { "const": 0 },
        "durableWrites": { "const": 0 },
        "port8110Calls": { "const": 0 },
        "productionReady": { "const": false }
      },
      "additionalProperties": true
    },
    "fixture": {
      "allOf": [
        { "$ref": "#/$defs/evaluation" },
        {
          "type": "object",
          "required": ["ordinal", "id", "mutation", "expectedCode", "expectedTerminal", "expectedGate", "actualCode", "passed"],
          "properties": {
            "ordinal": { "type": "integer", "minimum": 1, "maximum": 166 },
            "id": { "type": "string" },
            "mutation": { "type": "string" },
            "expectedCode": { "type": "string" },
            "expectedTerminal": { "type": "string" },
            "expectedGate": { "type": ["string", "null"] },
            "actualCode": { "type": "string" },
            "passed": { "const": true }
          }
        }
      ]
    }
  },
  "additionalProperties": true
}