{
  "$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-isolated-module-evaluation-session-factory-output-qualification.v1.schema.json",
  "title": "D05 Cut 37 Isolated Module Evaluation Session and Factory Output Qualification",
  "type": "object",
  "required": [
    "schemaVersion",
    "status",
    "evaluatedAt",
    "mode",
    "program",
    "summary",
    "upstreamEvaluationAdmissionContract",
    "evaluationSessionQualificationContract",
    "productionEvaluation",
    "evaluationSessionSlotMatrix",
    "runtimeContainmentGuardMatrix",
    "moduleNamespaceMatrix",
    "factoryOutputConformanceMatrix",
    "invocationClosureMatrix",
    "disposalProofMatrix",
    "evaluationSessionProtocolMatrix",
    "authorityMatrix",
    "evaluationSessionGateMatrix",
    "receiptChainMatrix",
    "terminalReceiptFieldMatrix",
    "fixtureResults",
    "decisionCodes",
    "invariants",
    "safetyTruth",
    "discovery"
  ],
  "properties": {
    "schemaVersion": {
      "const": "developer.reits.tech/runner-controller-dossier-store-dry-boot-settlement-runtime-signed-adapter-loader-isolated-module-evaluation-session-factory-output-qualification/v1"
    },
    "status": {
      "enum": [
        "ISOLATED_MODULE_EVALUATION_SESSION_FACTORY_OUTPUT_QUALIFICATION_BOUND_PRODUCTION_EVALUATION_ADMISSION_RECEIPT_ABSENT",
        "UPSTREAM_MODULE_EVALUATION_ADMISSION_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": 37
        },
        "remainingIncludingCurrent": {
          "const": 32
        },
        "remainingAfterAcceptance": {
          "const": 31
        },
        "d05Accepted": {
          "const": false
        }
      },
      "additionalProperties": true
    },
    "summary": {
      "type": "object",
      "required": [
        "evaluationSessionsRequired",
        "containmentGuardsRequired",
        "moduleNamespacesRequired",
        "factoryOutputsRequired",
        "protocolStagesRequired",
        "authorityRolesRequired",
        "evaluationSessionGates",
        "receiptChainEntries",
        "terminalReceiptFields",
        "fixtureCases",
        "fixtureAssertionsPassed",
        "invariantAssertions",
        "productionDynamicImports",
        "productionModulesEvaluated",
        "productionFactoriesConstructed",
        "productionAdapterInvocations",
        "productionJournalWrites",
        "productionPort8110Calls",
        "resourcesCreated"
      ],
      "properties": {
        "evaluationSessionsRequired": {
          "const": 4
        },
        "containmentGuardsRequired": {
          "const": 8
        },
        "moduleNamespacesRequired": {
          "const": 4
        },
        "factoryOutputsRequired": {
          "const": 4
        },
        "invocationClosuresRequired": {
          "const": 4
        },
        "disposalProofsRequired": {
          "const": 4
        },
        "protocolStagesRequired": {
          "const": 17
        },
        "authorityRolesRequired": {
          "const": 12
        },
        "evaluationSessionGates": {
          "const": 29
        },
        "receiptChainEntries": {
          "const": 24
        },
        "terminalReceiptFields": {
          "const": 90
        },
        "fixtureCases": {
          "const": 160
        },
        "fixtureAssertionsPassed": {
          "const": 160
        },
        "fixtureQualified": {
          "const": 4
        },
        "fixtureDenied": {
          "const": 156
        },
        "invariantAssertions": {
          "const": 112
        },
        "productionDynamicImports": {
          "const": 0
        },
        "productionModulesEvaluated": {
          "const": 0
        },
        "productionFactoriesConstructed": {
          "const": 0
        },
        "productionAdapterInvocations": {
          "const": 0
        },
        "productionJournalWrites": {
          "const": 0
        },
        "productionPort8110Calls": {
          "const": 0
        },
        "resourcesCreated": {
          "const": 0
        }
      },
      "additionalProperties": true
    },
    "upstreamEvaluationAdmissionContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "evaluationSessionQualificationContract": {
      "type": [
        "object",
        "null"
      ]
    },
    "productionEvaluation": {
      "$ref": "#/$defs/evaluation"
    },
    "evaluationSessionSlotMatrix": {
      "$ref": "#/$defs/four"
    },
    "runtimeContainmentGuardMatrix": {
      "$ref": "#/$defs/eight"
    },
    "moduleNamespaceMatrix": {
      "$ref": "#/$defs/four"
    },
    "factoryOutputConformanceMatrix": {
      "$ref": "#/$defs/four"
    },
    "invocationClosureMatrix": {
      "$ref": "#/$defs/four"
    },
    "disposalProofMatrix": {
      "$ref": "#/$defs/four"
    },
    "evaluationSessionProtocolMatrix": {
      "type": "array",
      "minItems": 17,
      "maxItems": 17,
      "items": {
        "type": "object"
      }
    },
    "authorityMatrix": {
      "type": "array",
      "minItems": 12,
      "maxItems": 12,
      "items": {
        "type": "object"
      }
    },
    "evaluationSessionGateMatrix": {
      "type": "array",
      "minItems": 29,
      "maxItems": 29,
      "items": {
        "type": "object"
      }
    },
    "receiptChainMatrix": {
      "type": "array",
      "minItems": 24,
      "maxItems": 24,
      "items": {
        "type": "object"
      }
    },
    "terminalReceiptFieldMatrix": {
      "type": "array",
      "minItems": 90,
      "maxItems": 90,
      "items": {
        "type": "object"
      }
    },
    "fixtureResults": {
      "type": "array",
      "minItems": 160,
      "maxItems": 160,
      "items": {
        "type": "object",
        "required": [
          "id",
          "actualCode",
          "terminal",
          "passed",
          "moduleBytesRead",
          "dynamicImports",
          "modulesEvaluated",
          "factoriesConstructed",
          "adapterInvocations",
          "durableWrites",
          "port8110Calls",
          "productionReady"
        ]
      }
    },
    "selectedSessionTrace": {
      "$ref": "#/$defs/evaluation"
    },
    "selectedNamespaceTrace": {
      "$ref": "#/$defs/evaluation"
    },
    "selectedFactoryOutputTrace": {
      "$ref": "#/$defs/evaluation"
    },
    "selectedDisposalTrace": {
      "$ref": "#/$defs/evaluation"
    },
    "selectedAdmissionFailureTrace": {
      "$ref": "#/$defs/evaluation"
    },
    "selectedEvaluationBoundaryTrace": {
      "$ref": "#/$defs/evaluation"
    },
    "decisionCodes": {
      "type": "array",
      "minItems": 160,
      "maxItems": 160,
      "items": {
        "type": "string"
      }
    },
    "invariants": {
      "type": "array",
      "minItems": 112,
      "maxItems": 112,
      "items": {
        "type": "string"
      }
    },
    "safetyTruth": {
      "type": "object"
    },
    "discovery": {
      "type": "object"
    }
  },
  "$defs": {
    "four": {
      "type": "array",
      "minItems": 4,
      "maxItems": 4,
      "items": {
        "type": "object"
      }
    },
    "eight": {
      "type": "array",
      "minItems": 8,
      "maxItems": 8,
      "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
    }
  },
  "additionalProperties": true
}