{
  "schemaVersion": "1.0",
  "effectiveDate": "2026-08-10",
  "status": "prospective-institutional-contract",
  "doctrine": "docs/OPERATING_MODEL.md",
  "methodRegistry": "data/METHOD_REGISTRY.json",
  "abductiveLedger": "data/IBE_LEDGER.json",
  "workLedger": "data/WORK_LEDGER.json",
  "maxims": [
    "Accelerate what can be checked.",
    "Stop what cannot be identified.",
    "Publish the handoff, not merely the conclusion."
  ],
  "clocks": [
    "discovery",
    "assurance",
    "publication",
    "translation"
  ],
  "claimCeiling": "The catalogue demonstrates open candidate publication and producer-side replay. Faster scientific discovery, matched-assurance cost reduction, better policy decisions and organisational productivity remain defeasible hypotheses.",
  "releasePolicy": {
    "mode": "prospective-required-with-frozen-legacy-baseline",
    "baselineCommit": "6585348a0aa4c7a89ee0dafcaf29ca719cae56fd",
    "legacyReleaseSlugs": [
      "affine-diversification-fibres",
      "bilateral-deficiency-regular-dim",
      "bordered-jacobian-foundations",
      "certified-commitment-horizons",
      "certified-two-item-jrp",
      "cyclicity-loci-exponential-periods",
      "cyclicity-root-span-low-rank",
      "degree-difference-affine-slices",
      "erdos-848-all-n",
      "exact-low-length-recht-re-inequalities",
      "exact-smith-invariants-affine-determinant-lines",
      "exotic-affine-three-spheres",
      "hahn-ewens-mixing-theorem",
      "irreducible-pushforwards-quartic-transitions",
      "random-reshuffling-baseline-policy",
      "reducible-incidence-divisors",
      "smooth-point-certificates-polydegree-containments",
      "stocks-are-not-flows",
      "txgraffiti-c3-resolution",
      "vr2-k4-equals-20",
      "z20-equals-6"
    ],
    "requiredFields": [
      "version",
      "workId",
      "attemptIds",
      "aims",
      "artifactRoles",
      "lineageId",
      "accelerationPrimitives",
      "decisionObject",
      "bottleneckTargeted",
      "semanticBridge",
      "humanJudgmentGates",
      "parentLinks",
      "assuranceTarget",
      "impactClaims"
    ],
    "aims": [
      "science",
      "policy",
      "productivity"
    ],
    "artifactRoles": [
      "research-output",
      "evidence-assessment",
      "method-demonstration",
      "communication"
    ],
    "bottleneckTypes": [
      "discovery",
      "assurance",
      "publication",
      "translation"
    ],
    "decisionObjectTypes": [
      "certificate",
      "checker",
      "bound",
      "counterexample",
      "obstruction",
      "identified-set",
      "stop-receipt",
      "stability-margin",
      "decision-rule",
      "measurement-requirement",
      "reusable-method",
      "executable-open-problem",
      "other"
    ],
    "semanticBridgeStates": [
      "explicit",
      "partial",
      "not-applicable"
    ],
    "impactStatuses": [
      "NO_IMPACT_EVIDENCE",
      "BENCHMARK_SIGNAL",
      "CONTROLLED_USER_SIGNAL",
      "FIELD_SIGNAL",
      "CAUSAL_EFFECT_SUPPORTED",
      "NO_CLEAR_GAIN",
      "HARM_OR_REGRESSION_FOUND"
    ],
    "impactDesignClasses": [
      "none",
      "descriptive",
      "model-benchmark",
      "controlled-user-study",
      "field-observational",
      "quasi-experimental",
      "randomized-comparison"
    ],
    "assuranceDimensions": [
      "availability",
      "internalReplay",
      "independentRerun",
      "independentReimplementation",
      "formalVerification",
      "specialistReview",
      "editorialPeerReview",
      "dataEnvironmentReproducibility",
      "semanticValidation",
      "noveltyAssessment",
      "priorityAssessment"
    ]
  },
  "updateRule": "Change this contract, the doctrine, registries and ledgers additively and under review. Never infer missing historical operating data or add a new release to the legacy baseline merely to bypass the prospective gate."
}