{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-d05-g04-readiness-verifier-candidate-qualification.v1.schema.json",
  "title": "Runner Controller D05 G04 Readiness Verifier Candidate Qualification",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "discovery", "summary", "candidateDescriptor", "cryptoControlMatrix", "signatureEncodingMatrix", "runtimeCompatibilityMatrix", "lifecycleMatrix", "protocolMatrix", "authorityMatrix", "qualityGateMatrix", "fixtureResults", "receiptMatrix", "terminalReceiptFieldMatrix", "invariants", "firstProductionFailure", "safetyTruth"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-d05-g04-readiness-verifier-candidate-qualification/v1" },
    "status": { "const": "D05_G04_READINESS_VERIFIER_CANDIDATE_REPOSITORY_VERIFIED_RUNTIME_SIGNATURE_CONTRACT_MISMATCH" },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "REPOSITORY_CRYPTO_CANDIDATE_ONLY_NO_PRODUCTION_KEY_NO_NETWORK_NO_LISTENER" },
    "program": { "$ref": "#/$defs/program" },
    "discovery": { "type": "object" },
    "summary": { "$ref": "#/$defs/summary" },
    "candidateDescriptor": { "type": "object" },
    "cryptoControlMatrix": { "type": "array", "minItems": 16, "maxItems": 16, "items": { "type": "object" } },
    "signatureEncodingMatrix": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "$ref": "#/$defs/signatureEncoding" } },
    "runtimeCompatibilityMatrix": { "type": "array", "minItems": 8, "maxItems": 8, "items": { "$ref": "#/$defs/compatibility" } },
    "lifecycleMatrix": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "type": "object" } },
    "protocolMatrix": { "type": "array", "minItems": 15, "maxItems": 15, "items": { "type": "object" } },
    "authorityMatrix": { "type": "array", "minItems": 10, "maxItems": 10, "items": { "type": "object" } },
    "qualityGateMatrix": { "type": "array", "minItems": 18, "maxItems": 18, "items": { "type": "object" } },
    "fixtureResults": { "type": "array", "minItems": 24, "maxItems": 24, "items": { "$ref": "#/$defs/fixture" } },
    "receiptMatrix": { "type": "array", "minItems": 12, "maxItems": 12, "items": { "type": "object" } },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 64, "maxItems": 64, "items": { "type": "object" } },
    "invariants": { "type": "array", "minItems": 96, "maxItems": 96, "items": { "type": "string" } },
    "firstProductionFailure": { "$ref": "#/$defs/firstProductionFailure" },
    "safetyTruth": { "$ref": "#/$defs/safetyTruth" }
  },
  "$defs": {
    "program": {
      "type": "object",
      "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Gate", "d05Accepted"],
      "properties": {
        "acceptedKnives": { "const": 4 },
        "totalKnives": { "const": 36 },
        "currentKnife": { "const": "D05" },
        "closeoutCut": { "const": 68 },
        "remainingIncludingCurrent": { "const": 32 },
        "remainingAfterAcceptance": { "const": 31 },
        "d05Gate": { "const": "D05-G04" },
        "d05Accepted": { "const": false }
      }
    },
    "summary": {
      "type": "object",
      "required": ["cut67Bound", "candidateBound", "fixturesBound", "repositoryCandidates", "packageSkeletons", "productionImplementations", "cryptoControlsBound", "repositoryCryptoFixturesPassed", "repositoryCryptoFixturesTotal", "verifiedFixtures", "invalidFixtures", "deniedFixtures", "disposedFixtures", "constructorDenials", "lifecycleStates", "protocolStages", "authorityRoles", "compatibilityBoundaries", "compatibilityFailures", "qualityGatesBound", "qualityGatesTotal", "receiptEntries", "terminalReceiptFields", "invariantAssertions", "runtimeSignatureContractCompatible", "bootstrapCandidateModeAdmitted", "d05G04Satisfied", "decision"],
      "properties": {
        "cut67Bound": { "const": true },
        "candidateBound": { "const": true },
        "fixturesBound": { "const": true },
        "repositoryCandidates": { "const": 1 },
        "packageSkeletons": { "const": 6 },
        "productionImplementations": { "const": 0 },
        "cryptoControlsBound": { "const": 16 },
        "repositoryCryptoFixturesPassed": { "const": 24 },
        "repositoryCryptoFixturesTotal": { "const": 24 },
        "verifiedFixtures": { "const": 2 },
        "invalidFixtures": { "const": 8 },
        "deniedFixtures": { "const": 13 },
        "disposedFixtures": { "const": 1 },
        "constructorDenials": { "const": 3 },
        "lifecycleStates": { "const": 10 },
        "protocolStages": { "const": 15 },
        "authorityRoles": { "const": 10 },
        "compatibilityBoundaries": { "const": 8 },
        "compatibilityFailures": { "const": 5 },
        "qualityGatesBound": { "const": 14 },
        "qualityGatesTotal": { "const": 18 },
        "receiptEntries": { "const": 12 },
        "terminalReceiptFields": { "const": 64 },
        "invariantAssertions": { "const": 96 },
        "runtimeSignatureContractCompatible": { "const": false },
        "bootstrapCandidateModeAdmitted": { "const": false },
        "d05G04Satisfied": { "const": false },
        "decision": { "const": "MIGRATE_RUNTIME_SIGNATURE_ENCODING_BEFORE_ANY_PRODUCTION_BOOTSTRAP_BINDING" }
      }
    },
    "signatureEncoding": {
      "type": "object",
      "required": ["ordinal", "encoding", "bytes", "semantics", "acceptedByCandidate", "productionSafe"],
      "properties": {
        "ordinal": { "type": "integer", "minimum": 1, "maximum": 4 },
        "encoding": { "type": "string" },
        "bytes": { "type": ["integer", "null"] },
        "semantics": { "type": "string" },
        "acceptedByCandidate": { "type": "boolean" },
        "productionSafe": { "type": "boolean" }
      }
    },
    "compatibility": {
      "type": "object",
      "required": ["ordinal", "boundary", "current", "candidate", "compatible", "action"],
      "properties": {
        "ordinal": { "type": "integer", "minimum": 1, "maximum": 8 },
        "boundary": { "type": "string" },
        "current": { "type": "string" },
        "candidate": { "type": "string" },
        "compatible": { "type": "boolean" },
        "action": { "type": "string" }
      }
    },
    "fixture": {
      "type": "object",
      "required": ["ordinal", "id", "profile", "expected", "actual", "repositoryExecuted", "productionExecuted", "productionPublicKeysImported", "productionSignaturesVerified", "productionSourceReads", "productionExternalWrites", "productionListenerStarts", "productionPort8110Calls", "passed"],
      "properties": {
        "ordinal": { "type": "integer", "minimum": 1, "maximum": 24 },
        "id": { "type": "string", "pattern": "^RFVC-[0-9]{2}$" },
        "profile": { "type": "string" },
        "expected": { "enum": ["VERIFIED", "INVALID", "DENIED", "DISPOSED"] },
        "actual": { "enum": ["VERIFIED", "INVALID", "DENIED", "DISPOSED"] },
        "repositoryExecuted": { "const": true },
        "productionExecuted": { "const": false },
        "productionPublicKeysImported": { "const": 0 },
        "productionSignaturesVerified": { "const": 0 },
        "productionSourceReads": { "const": 0 },
        "productionExternalWrites": { "const": 0 },
        "productionListenerStarts": { "const": 0 },
        "productionPort8110Calls": { "const": 0 },
        "passed": { "const": true }
      }
    },
    "firstProductionFailure": {
      "type": "object",
      "required": ["failedGate", "code", "repositoryCandidateModules", "repositoryCryptoFixturesPassed", "productionImplementationsBound", "productionSignaturesVerified", "d05G04Satisfied"],
      "properties": {
        "failedGate": { "const": "V15_RUNTIME_SIGNATURE_ENCODING_CONTRACT_MIGRATION" },
        "code": { "const": "RUNTIME_SIGNATURE_ENCODING_CONTRACT_MISMATCH" },
        "repositoryCandidateModules": { "const": 1 },
        "repositoryCryptoFixturesPassed": { "const": 24 },
        "productionImplementationsBound": { "const": 0 },
        "productionSignaturesVerified": { "const": 0 },
        "d05G04Satisfied": { "const": false }
      }
    },
    "safetyTruth": {
      "type": "object",
      "required": ["repositoryCandidateModules", "repositoryCryptoFixturesPassed", "repositoryConstructorDenialsPassed", "productionImplementations", "productionVerifierFactories", "productionVerifiersConstructed", "productionPublicKeysImported", "productionSignaturesVerified", "productionPrivateKeysLoaded", "productionSourceReads", "productionSecretReads", "productionExternalWrites", "productionListenerStarts", "productionPort8110Calls", "resourcesCreated", "paidResourcesCreated", "runtimeSignatureContractCompatible", "bootstrapCandidateModeAdmitted", "d05G04Satisfied", "d05Accepted"],
      "properties": {
        "repositoryCandidateModules": { "const": 1 },
        "repositoryCryptoFixturesPassed": { "const": 24 },
        "repositoryConstructorDenialsPassed": { "const": 3 },
        "productionImplementations": { "const": 0 },
        "productionVerifierFactories": { "const": 0 },
        "productionVerifiersConstructed": { "const": 0 },
        "productionPublicKeysImported": { "const": 0 },
        "productionSignaturesVerified": { "const": 0 },
        "productionPrivateKeysLoaded": { "const": 0 },
        "productionSourceReads": { "const": 0 },
        "productionSecretReads": { "const": 0 },
        "productionExternalWrites": { "const": 0 },
        "productionListenerStarts": { "const": 0 },
        "productionPort8110Calls": { "const": 0 },
        "resourcesCreated": { "const": 0 },
        "paidResourcesCreated": { "const": false },
        "runtimeSignatureContractCompatible": { "const": false },
        "bootstrapCandidateModeAdmitted": { "const": false },
        "d05G04Satisfied": { "const": false },
        "d05Accepted": { "const": false }
      }
    }
  }
}