{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://developer.reits.tech/schemas/runner-controller-d05-g04-readiness-signature-contract-migration.v1.schema.json",
  "title": "Runner Controller D05 G04 Readiness Signature Contract Migration",
  "type": "object",
  "additionalProperties": false,
  "required": ["schemaVersion", "status", "evaluatedAt", "mode", "program", "discovery", "summary", "wireContract", "signatureEncodingMatrix", "migrationSurfaceMatrix", "contractBindingMatrix", "controlMatrix", "fixtureSuiteMatrix", "lifecycleMatrix", "protocolMatrix", "authorityMatrix", "qualityGateMatrix", "receiptMatrix", "terminalReceiptFieldMatrix", "invariants", "firstProductionFailure", "safetyTruth"],
  "properties": {
    "schemaVersion": { "const": "developer.reits.tech/runner-controller-d05-g04-readiness-signature-contract-migration/v1" },
    "status": { "const": "D05_G04_READINESS_SIGNATURE_CONTRACT_MIGRATED_BOOTSTRAP_ADMISSION_UNBOUND" },
    "evaluatedAt": { "type": "string", "format": "date-time" },
    "mode": { "const": "REPOSITORY_WIRE_CONTRACT_AND_INTEGRATION_MIGRATION_ONLY_NO_PRODUCTION_KEY_NO_LISTENER" },
    "program": {
      "type": "object",
      "required": ["acceptedKnives", "totalKnives", "currentKnife", "closeoutCut", "remainingIncludingCurrent", "remainingAfterAcceptance", "d05Gate", "d05Accepted"],
      "properties": {
        "acceptedKnives": { "const": 4 }, "totalKnives": { "const": 36 }, "currentKnife": { "const": "D05" },
        "closeoutCut": { "const": 69 }, "remainingIncludingCurrent": { "const": 32 }, "remainingAfterAcceptance": { "const": 31 },
        "d05Gate": { "const": "D05-G04" }, "d05Accepted": { "const": false }
      }
    },
    "discovery": { "type": "object" },
    "summary": {
      "type": "object",
      "required": ["cut68Bound", "wireContractBound", "everySurfaceMigrated", "regressionFixturesPassed", "wireContracts", "migratedSurfaces", "contractBindings", "fixtureSuites", "migrationFixturesPassed", "migrationFixturesTotal", "runtimeP256VerifierCalls", "controlsBound", "lifecycleStates", "protocolStages", "authorityRoles", "qualityGatesBound", "qualityGatesTotal", "receiptEntries", "terminalReceiptFields", "invariantAssertions", "runtimeSignatureContractCompatible", "bootstrapCandidateModeAdmitted", "productionPublicKeyResolverBound", "productionImplementations", "d05G04Satisfied", "decision"],
      "properties": {
        "cut68Bound": { "const": true }, "wireContractBound": { "const": true }, "everySurfaceMigrated": { "const": true }, "regressionFixturesPassed": { "const": true },
        "wireContracts": { "const": 1 }, "migratedSurfaces": { "const": 7 }, "contractBindings": { "const": 6 }, "fixtureSuites": { "const": 6 },
        "migrationFixturesPassed": { "const": 217 }, "migrationFixturesTotal": { "const": 217 }, "runtimeP256VerifierCalls": { "const": 132 },
        "controlsBound": { "const": 18 }, "lifecycleStates": { "const": 11 }, "protocolStages": { "const": 17 }, "authorityRoles": { "const": 11 },
        "qualityGatesBound": { "const": 17 }, "qualityGatesTotal": { "const": 20 }, "receiptEntries": { "const": 13 },
        "terminalReceiptFields": { "const": 68 }, "invariantAssertions": { "const": 104 },
        "runtimeSignatureContractCompatible": { "const": true }, "bootstrapCandidateModeAdmitted": { "const": false },
        "productionPublicKeyResolverBound": { "const": false }, "productionImplementations": { "const": 0 }, "d05G04Satisfied": { "const": false },
        "decision": { "const": "ADMIT_REVIEWED_PRODUCTION_CANDIDATE_MODE_AND_ROOT_OWNED_PUBLIC_KEY_RESOLUTION_NEXT" }
      }
    },
    "wireContract": { "type": "object" },
    "signatureEncodingMatrix": { "type": "array", "minItems": 4, "maxItems": 4, "items": { "type": "object" } },
    "migrationSurfaceMatrix": { "type": "array", "minItems": 7, "maxItems": 7, "items": { "type": "object" } },
    "contractBindingMatrix": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "type": "object" } },
    "controlMatrix": { "type": "array", "minItems": 18, "maxItems": 18, "items": { "type": "object" } },
    "fixtureSuiteMatrix": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "type": "object" } },
    "lifecycleMatrix": { "type": "array", "minItems": 11, "maxItems": 11, "items": { "type": "object" } },
    "protocolMatrix": { "type": "array", "minItems": 17, "maxItems": 17, "items": { "type": "object" } },
    "authorityMatrix": { "type": "array", "minItems": 11, "maxItems": 11, "items": { "type": "object" } },
    "qualityGateMatrix": { "type": "array", "minItems": 20, "maxItems": 20, "items": { "type": "object" } },
    "receiptMatrix": { "type": "array", "minItems": 13, "maxItems": 13, "items": { "type": "object" } },
    "terminalReceiptFieldMatrix": { "type": "array", "minItems": 68, "maxItems": 68, "items": { "type": "object" } },
    "invariants": { "type": "array", "minItems": 104, "maxItems": 104, "items": { "type": "string" } },
    "firstProductionFailure": {
      "type": "object",
      "required": ["failedGate", "code", "migratedSurfaces", "migrationFixturesPassed", "runtimeP256VerifierCalls", "productionImplementationsBound", "productionPublicKeyResolvers", "d05G04Satisfied"],
      "properties": {
        "failedGate": { "const": "W18_BOOTSTRAP_PRODUCTION_CANDIDATE_MODE_ADMISSION" },
        "code": { "const": "BOOTSTRAP_PRODUCTION_CANDIDATE_MODE_UNBOUND" },
        "migratedSurfaces": { "const": 7 }, "migrationFixturesPassed": { "const": 217 }, "runtimeP256VerifierCalls": { "const": 132 },
        "productionImplementationsBound": { "const": 0 }, "productionPublicKeyResolvers": { "const": 0 }, "d05G04Satisfied": { "const": false }
      }
    },
    "safetyTruth": { "type": "object" }
  }
}