{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-dossier-store-provisioning-evaluator.v1.schema.json",
  "title": "Runner Controller D05 Dossier Store Provisioning Adversarial Evaluator",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "summary", "upstreamPacket", "evaluatorContract", "productionEvaluation", "slotMatrix", "finalConfirmationMatrix", "fixtureResults", "selectedDenialTrace", "decisionCodes", "invariants", "safetyTruth", "discovery"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-dossier-store-provisioning-evaluator/v1" },
    "status": { "enum": ["UPSTREAM_PACKET_UNAVAILABLE_EVALUATOR_DENIED", "ADVERSARIAL_EVALUATOR_READY_PRODUCTION_EVIDENCE_ABSENT"] },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "PURE_TEST_ONLY_ADVERSARIAL_EVALUATOR_NO_PRODUCTION_ADMISSION_NO_PROVIDER_EFFECTS" },
    "program": { "$ref": "#/$defs/program" },
    "summary": { "$ref": "#/$defs/summary" },
    "upstreamPacket": {
      "oneOf": [
        { "type": "null" },
        { "type": "object", "additionalProperties": false, "required": ["id", "contentDigest", "releaseId", "sourceRevision", "admitted", "executable"], "properties": { "id": { "type": "string", "pattern": "^d05-store-provision@[0-9a-f]{12}-[0-9a-f]{12}$" }, "contentDigest": { "$ref": "#/$defs/digest" }, "releaseId": { "type": "string", "minLength": 1 }, "sourceRevision": { "type": "string", "pattern": "^[0-9a-f]{40}$" }, "admitted": { "const": false }, "executable": { "const": false } } }
      ]
    },
    "evaluatorContract": {
      "oneOf": [
        { "type": "null" },
        { "type": "object", "additionalProperties": false, "required": ["id", "contentDigest", "canonicalBytes", "subject", "productionReady", "executable"], "properties": { "id": { "type": "string", "pattern": "^d05-store-admission-evaluator@[0-9a-f]{12}-[0-9a-f]{12}$" }, "contentDigest": { "$ref": "#/$defs/digest" }, "canonicalBytes": { "type": "integer", "minimum": 1 }, "subject": { "type": "object", "required": ["schemaVersion", "packetId", "packetDigest", "releaseId", "sourceRevision", "evaluatorContract", "fixtureRegistry", "decisionCodes", "invariants"], "additionalProperties": true }, "productionReady": { "const": false }, "executable": { "const": false } } }
      ]
    },
    "productionEvaluation": { "$ref": "#/$defs/evaluation" },
    "slotMatrix": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "$ref": "#/$defs/slot" } },
    "finalConfirmationMatrix": { "type": "array", "minItems": 18, "maxItems": 18, "items": { "$ref": "#/$defs/confirmationField" } },
    "fixtureResults": { "type": "array", "minItems": 22, "maxItems": 22, "items": { "$ref": "#/$defs/fixtureResult" } },
    "selectedDenialTrace": { "$ref": "#/$defs/fixtureResult" },
    "decisionCodes": { "type": "array", "minItems": 22, "maxItems": 22, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
    "invariants": { "type": "array", "minItems": 20, "maxItems": 20, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
    "safetyTruth": { "$ref": "#/$defs/safetyTruth" },
    "discovery": {
      "type": "object", "additionalProperties": false,
      "required": ["workbench", "schema", "provisioningAdmission", "ownerApproval", "liveIdentity"],
      "properties": {
        "workbench": { "const": "/release-foundation#runner-controller-dossier-store-provisioning-evaluator" },
        "schema": { "const": "/schemas/runner-controller-dossier-store-provisioning-evaluator.v1.schema.json" },
        "provisioningAdmission": { "const": "/api/runner-controller/dossier-store-provisioning-admission" },
        "ownerApproval": { "const": "/api/runner-controller/dossier-store-owner-approval" },
        "liveIdentity": { "const": "/api/release-unit" }
      }
    }
  },
  "$defs": {
    "digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
    "program": {
      "type": "object", "additionalProperties": false,
      "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Accepted"],
      "properties": { "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" }, "closeoutCut": { "const": 15 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 }, "d05Accepted": { "const": false } }
    },
    "summary": {
      "type": "object", "additionalProperties": false,
      "required": ["upstreamPacketAvailable", "evaluatorContractBound", "fixtureCases", "fixtureAssertionsPassed", "fixtureAccepted", "fixtureDenied", "decisionCodes", "productionCandidatesObserved", "productionPrerequisiteReceiptsObserved", "productionPrerequisiteReceiptsRequired", "productionConfirmationsObserved", "productionAdmissions", "providerReadsExecuted", "providerWritesExecuted", "resourcesCreated", "provisioningPermitted", "decision"],
      "properties": { "upstreamPacketAvailable": { "type": "boolean" }, "evaluatorContractBound": { "type": "boolean" }, "fixtureCases": { "const": 22 }, "fixtureAssertionsPassed": { "const": 22 }, "fixtureAccepted": { "const": 1 }, "fixtureDenied": { "const": 21 }, "decisionCodes": { "const": 22 }, "productionCandidatesObserved": { "const": 0 }, "productionPrerequisiteReceiptsObserved": { "const": 0 }, "productionPrerequisiteReceiptsRequired": { "const": 10 }, "productionConfirmationsObserved": { "const": 0 }, "productionAdmissions": { "const": 0 }, "providerReadsExecuted": { "const": 0 }, "providerWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "provisioningPermitted": { "const": false }, "decision": { "type": "string", "minLength": 1 } }
    },
    "evaluation": {
      "type": "object", "additionalProperties": false,
      "required": ["code", "terminal", "failedField", "slotsVerified", "confirmationVerified", "productionAdmission"],
      "properties": { "code": { "type": "string" }, "terminal": { "enum": ["ADMISSIBLE_FIXTURE", "DENIED"] }, "failedField": { "type": ["string", "null"] }, "slotsVerified": { "type": "integer", "minimum": 0, "maximum": 10 }, "confirmationVerified": { "type": "boolean" }, "productionAdmission": { "const": false } }
    },
    "slot": {
      "type": "object", "additionalProperties": false,
      "required": ["ordinal", "id", "name", "owner", "requiredFields", "fixtureCoverage", "productionReceipt", "status"],
      "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 10 }, "id": { "type": "string", "pattern": "^PA-[0-9]{2}$" }, "name": { "type": "string" }, "owner": { "type": "string" }, "requiredFields": { "type": "array", "minItems": 8, "maxItems": 8, "uniqueItems": true }, "fixtureCoverage": { "type": "integer", "minimum": 0 }, "productionReceipt": { "type": "null" }, "status": { "const": "PRODUCTION_RECEIPT_ABSENT" } }
    },
    "confirmationField": {
      "type": "object", "additionalProperties": false,
      "required": ["ordinal", "field", "classification", "observed"],
      "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 18 }, "field": { "type": "string" }, "classification": { "enum": ["DIGEST_BINDING", "SIGNER_BINDING", "TIME_BINDING", "SUBJECT_BINDING"] }, "observed": { "const": false } }
    },
    "fixtureResult": {
      "type": "object", "additionalProperties": false,
      "required": ["ordinal", "id", "scenario", "expectedCode", "actualCode", "terminal", "passed", "failedField", "slotsVerified", "confirmationVerified", "productionAdmission"],
      "properties": { "ordinal": { "type": "integer", "minimum": 1, "maximum": 22 }, "id": { "type": "string", "pattern": "^PAE-[0-9]{3}$" }, "scenario": { "type": "string" }, "expectedCode": { "type": "string" }, "actualCode": { "type": "string" }, "terminal": { "enum": ["ADMISSIBLE_FIXTURE", "DENIED"] }, "passed": { "const": true }, "failedField": { "type": ["string", "null"] }, "slotsVerified": { "type": "integer", "minimum": 0, "maximum": 10 }, "confirmationVerified": { "type": "boolean" }, "productionAdmission": { "const": false } }
    },
    "safetyTruth": {
      "type": "object", "additionalProperties": false,
      "required": ["fixtureCases", "fixtureAccepted", "fixtureDenied", "fixtureAssertionsPassed", "productionCandidatesObserved", "productionPrerequisiteReceiptsObserved", "productionConfirmationsObserved", "productionAdmissions", "signatureValuesExposed", "privateKeysLoaded", "providerReadsExecuted", "providerWritesExecuted", "ledgerWritesExecuted", "resourcesCreated", "controllerListenerStarts", "paidResourcesCreated", "provisioningPermitted", "d05Accepted"],
      "properties": { "fixtureCases": { "const": 22 }, "fixtureAccepted": { "const": 1 }, "fixtureDenied": { "const": 21 }, "fixtureAssertionsPassed": { "const": 22 }, "productionCandidatesObserved": { "const": 0 }, "productionPrerequisiteReceiptsObserved": { "const": 0 }, "productionConfirmationsObserved": { "const": 0 }, "productionAdmissions": { "const": 0 }, "signatureValuesExposed": { "const": 0 }, "privateKeysLoaded": { "const": 0 }, "providerReadsExecuted": { "const": 0 }, "providerWritesExecuted": { "const": 0 }, "ledgerWritesExecuted": { "const": 0 }, "resourcesCreated": { "const": 0 }, "controllerListenerStarts": { "const": 0 }, "paidResourcesCreated": { "const": false }, "provisioningPermitted": { "const": false }, "d05Accepted": { "const": false } }
    }
  }
}