{
  "$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-realm-evaluator-binding-receipt-one-time-module-evaluation-authorization.v1.schema.json",
  "title": "D05 Cut 39 Signed Realm Evaluator Binding Receipt and One-time Module Evaluation Authorization",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "evaluatedAt",
    "mode",
    "program",
    "summary",
    "upstreamRealmEvaluatorBindingContract",
    "productionAuthorizationContract",
    "productionEvaluation",
    "bindingReceiptVerifierMatrix",
    "authorizationControlMatrix",
    "oneTimeEvaluationPermitMatrix",
    "authorizationRevocationProofMatrix",
    "authorizationProtocolMatrix",
    "authorityMatrix",
    "authorizationGateMatrix",
    "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-realm-evaluator-binding-receipt-one-time-module-evaluation-authorization/v1"
    },
    "status": {
      "enum": [
        "PRODUCTION_REALM_EVALUATOR_BINDING_RECEIPT_ONE_TIME_MODULE_EVALUATION_AUTHORIZATION_BOUND_PRODUCTION_BINDING_TERMINAL_RECEIPT_ABSENT",
        "UPSTREAM_REALM_EVALUATOR_BINDING_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": 39
        },
        "remainingIncludingCurrent": {
          "const": 32
        },
        "remainingAfterAcceptance": {
          "const": 31
        },
        "d05Accepted": {
          "const": false
        }
      },
      "additionalProperties": true
    },
    "summary": {
      "type": "object",
      "required": [
        "bindingReceiptVerifiersRequired",
        "authorizationControlsRequired",
        "evaluationPermitEnvelopesRequired",
        "revocationProofsRequired",
        "protocolStagesRequired",
        "authorityRolesRequired",
        "authorizationGates",
        "receiptChainEntries",
        "terminalReceiptFields",
        "fixtureCases",
        "fixtureAssertionsPassed",
        "fixtureQualified",
        "fixtureDenied",
        "invariantAssertions",
        "productionBindingTerminalReceiptVerifierBindings",
        "productionBindingTerminalReceiptsVerified",
        "productionModuleEvaluationAuthorizationReceiptsIssued",
        "productionModuleEvaluationPermitHandlesCreated",
        "productionModuleEvaluationPermitConsumes",
        "productionModuleEvaluationPermitRevocationsVerified",
        "productionRealmEvaluatorBindings",
        "productionRealmEvaluatorConfigLoads",
        "productionRealmEvaluatorHandlesCreated",
        "productionImportPermitsIssued",
        "productionEvaluationPermitsIssued",
        "productionModuleBytesRead",
        "productionDynamicImports",
        "productionModulesEvaluated",
        "productionFactoriesConstructed",
        "productionAdapterInvocations",
        "productionJournalReads",
        "productionJournalWrites",
        "productionTicketCasAttempts",
        "productionProcessesSpawned",
        "productionListenersStarted",
        "productionHostsCreated",
        "productionHostContacts",
        "productionPort8110Calls",
        "durableReadsExecuted",
        "durableWritesExecuted",
        "externalReadsExecuted",
        "externalWritesExecuted",
        "resourcesCreated",
        "d1Created",
        "r2Created"
      ],
      "properties": {
        "bindingReceiptVerifiersRequired": {
          "const": 4
        },
        "authorizationControlsRequired": {
          "const": 8
        },
        "evaluationPermitEnvelopesRequired": {
          "const": 4
        },
        "revocationProofsRequired": {
          "const": 4
        },
        "protocolStagesRequired": {
          "const": 19
        },
        "authorityRolesRequired": {
          "const": 14
        },
        "authorizationGates": {
          "const": 31
        },
        "receiptChainEntries": {
          "const": 26
        },
        "terminalReceiptFields": {
          "const": 98
        },
        "fixtureCases": {
          "const": 172
        },
        "fixtureAssertionsPassed": {
          "const": 172
        },
        "fixtureQualified": {
          "const": 4
        },
        "fixtureDenied": {
          "const": 168
        },
        "invariantAssertions": {
          "const": 120
        },
        "productionBindingTerminalReceiptVerifierBindings": {
          "const": 0
        },
        "productionBindingTerminalReceiptsVerified": {
          "const": 0
        },
        "productionModuleEvaluationAuthorizationReceiptsIssued": {
          "const": 0
        },
        "productionModuleEvaluationPermitHandlesCreated": {
          "const": 0
        },
        "productionModuleEvaluationPermitConsumes": {
          "const": 0
        },
        "productionModuleEvaluationPermitRevocationsVerified": {
          "const": 0
        },
        "productionRealmEvaluatorBindings": {
          "const": 0
        },
        "productionRealmEvaluatorConfigLoads": {
          "const": 0
        },
        "productionRealmEvaluatorHandlesCreated": {
          "const": 0
        },
        "productionImportPermitsIssued": {
          "const": 0
        },
        "productionEvaluationPermitsIssued": {
          "const": 0
        },
        "productionModuleBytesRead": {
          "const": 0
        },
        "productionDynamicImports": {
          "const": 0
        },
        "productionModulesEvaluated": {
          "const": 0
        },
        "productionFactoriesConstructed": {
          "const": 0
        },
        "productionAdapterInvocations": {
          "const": 0
        },
        "productionJournalReads": {
          "const": 0
        },
        "productionJournalWrites": {
          "const": 0
        },
        "productionTicketCasAttempts": {
          "const": 0
        },
        "productionProcessesSpawned": {
          "const": 0
        },
        "productionListenersStarted": {
          "const": 0
        },
        "productionHostsCreated": {
          "const": 0
        },
        "productionHostContacts": {
          "const": 0
        },
        "productionPort8110Calls": {
          "const": 0
        },
        "durableReadsExecuted": {
          "const": 0
        },
        "durableWritesExecuted": {
          "const": 0
        },
        "externalReadsExecuted": {
          "const": 0
        },
        "externalWritesExecuted": {
          "const": 0
        },
        "resourcesCreated": {
          "const": 0
        },
        "d1Created": {
          "const": 0
        },
        "r2Created": {
          "const": 0
        }
      },
      "additionalProperties": true
    },
    "upstreamRealmEvaluatorBindingContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "productionAuthorizationContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "productionEvaluation": {
      "$ref": "#/$defs/evaluation"
    },
    "bindingReceiptVerifierMatrix": {
      "$ref": "#/$defs/four"
    },
    "authorizationControlMatrix": {
      "$ref": "#/$defs/eight"
    },
    "oneTimeEvaluationPermitMatrix": {
      "$ref": "#/$defs/four"
    },
    "authorizationRevocationProofMatrix": {
      "$ref": "#/$defs/four"
    },
    "authorizationProtocolMatrix": {
      "$ref": "#/$defs/nineteen"
    },
    "authorityMatrix": {
      "type": "array",
      "minItems": 14,
      "maxItems": 14,
      "items": {
        "type": "object"
      }
    },
    "authorizationGateMatrix": {
      "type": "array",
      "minItems": 31,
      "maxItems": 31,
      "items": {
        "type": "object"
      }
    },
    "receiptChainMatrix": {
      "type": "array",
      "minItems": 26,
      "maxItems": 26,
      "items": {
        "type": "object"
      }
    },
    "terminalReceiptFieldMatrix": {
      "type": "array",
      "minItems": 98,
      "maxItems": 98,
      "items": {
        "type": "object"
      }
    },
    "fixtureResults": {
      "type": "array",
      "minItems": 172,
      "maxItems": 172,
      "items": {
        "$ref": "#/$defs/fixture"
      }
    },
    "decisionCodes": {
      "type": "array",
      "minItems": 172,
      "maxItems": 172,
      "items": {
        "type": "string"
      }
    },
    "invariants": {
      "type": "array",
      "minItems": 120,
      "maxItems": 120,
      "uniqueItems": true,
      "items": {
        "type": "string"
      }
    },
    "safetyTruth": {
      "type": "object",
      "required": [
        "productionBindingTerminalReceiptVerifierBindings",
        "productionBindingTerminalReceiptsVerified",
        "productionModuleEvaluationAuthorizationReceiptsIssued",
        "productionModuleEvaluationPermitHandlesCreated",
        "productionModuleEvaluationPermitConsumes",
        "productionModuleEvaluationPermitRevocationsVerified",
        "productionRealmEvaluatorBindings",
        "productionRealmEvaluatorConfigLoads",
        "productionRealmEvaluatorHandlesCreated",
        "productionImportPermitsIssued",
        "productionEvaluationPermitsIssued",
        "productionModuleBytesRead",
        "productionDynamicImports",
        "productionModulesEvaluated",
        "productionFactoriesConstructed",
        "productionAdapterInvocations",
        "productionJournalReads",
        "productionJournalWrites",
        "productionTicketCasAttempts",
        "productionProcessesSpawned",
        "productionListenersStarted",
        "productionHostsCreated",
        "productionHostContacts",
        "productionPort8110Calls",
        "durableReadsExecuted",
        "durableWritesExecuted",
        "externalReadsExecuted",
        "externalWritesExecuted",
        "resourcesCreated",
        "d1Created",
        "r2Created",
        "productionBindingReceiptVerifierConfigured",
        "productionModuleEvaluationAuthorizationSignerConfigured",
        "productionModuleEvaluationPermitStoreConfigured",
        "productionModuleEvaluationTrustRootConfigured",
        "controller8110Started",
        "executionPermitted"
      ],
      "properties": {
        "productionBindingTerminalReceiptVerifierBindings": {
          "const": 0
        },
        "productionBindingTerminalReceiptsVerified": {
          "const": 0
        },
        "productionModuleEvaluationAuthorizationReceiptsIssued": {
          "const": 0
        },
        "productionModuleEvaluationPermitHandlesCreated": {
          "const": 0
        },
        "productionModuleEvaluationPermitConsumes": {
          "const": 0
        },
        "productionModuleEvaluationPermitRevocationsVerified": {
          "const": 0
        },
        "productionRealmEvaluatorBindings": {
          "const": 0
        },
        "productionRealmEvaluatorConfigLoads": {
          "const": 0
        },
        "productionRealmEvaluatorHandlesCreated": {
          "const": 0
        },
        "productionImportPermitsIssued": {
          "const": 0
        },
        "productionEvaluationPermitsIssued": {
          "const": 0
        },
        "productionModuleBytesRead": {
          "const": 0
        },
        "productionDynamicImports": {
          "const": 0
        },
        "productionModulesEvaluated": {
          "const": 0
        },
        "productionFactoriesConstructed": {
          "const": 0
        },
        "productionAdapterInvocations": {
          "const": 0
        },
        "productionJournalReads": {
          "const": 0
        },
        "productionJournalWrites": {
          "const": 0
        },
        "productionTicketCasAttempts": {
          "const": 0
        },
        "productionProcessesSpawned": {
          "const": 0
        },
        "productionListenersStarted": {
          "const": 0
        },
        "productionHostsCreated": {
          "const": 0
        },
        "productionHostContacts": {
          "const": 0
        },
        "productionPort8110Calls": {
          "const": 0
        },
        "durableReadsExecuted": {
          "const": 0
        },
        "durableWritesExecuted": {
          "const": 0
        },
        "externalReadsExecuted": {
          "const": 0
        },
        "externalWritesExecuted": {
          "const": 0
        },
        "resourcesCreated": {
          "const": 0
        },
        "d1Created": {
          "const": 0
        },
        "r2Created": {
          "const": 0
        },
        "productionBindingReceiptVerifierConfigured": {
          "const": false
        },
        "productionModuleEvaluationAuthorizationSignerConfigured": {
          "const": false
        },
        "productionModuleEvaluationPermitStoreConfigured": {
          "const": false
        },
        "productionModuleEvaluationTrustRootConfigured": {
          "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"
      }
    },
    "nineteen": {
      "type": "array",
      "minItems": 19,
      "maxItems": 19,
      "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": 172
            },
            "id": {
              "type": "string"
            },
            "mutation": {
              "type": "string"
            },
            "expectedCode": {
              "type": "string"
            },
            "expectedTerminal": {
              "type": "string"
            },
            "expectedGate": {
              "type": [
                "string",
                "null"
              ]
            },
            "actualCode": {
              "type": "string"
            },
            "passed": {
              "const": true
            }
          }
        }
      ]
    }
  },
  "additionalProperties": true
}