14.0.0 — Governed Admissibility Calculus

v14.0.0 — Governed Admissibility Calculus

v14.0.0 promotes seven separately reviewed constructions into the public Admissibility Calculus: a machine-checked framework for governed decisions with explicit evidence, refusal, standing, custody, obligation, provenance, and authority.

The capital-C name was ratified only after all seven rungs were admitted and custody closed. This discharges rather than repeals the v10 reservation that the earlier kernels did not yet constitute a unified calculus. The historical correction remains part of the record.

What shipped

• Rung 1 — Domains and Located diagnostics
  Adds functorial domain transport for PathVerdict and carried-identifier diagnostics through Domains and Located, with an exact 36-receipt footprint gate.

• Rung 2 — GovernedFamily
  Introduces the import-free Admissibility.Calculus signature: claim-indexed witness and refusal data, separate standing/custody/obligation books, derived authority, a total evidence-returning checker, and the claim-erasure impossibility theorem.

• Rung 3 — Native instances
  Adds Weathering and BoundedPaidReachability instances with one-owner native seams. The paid native API is frozen by explicit ratification.

• Rung 4 — Exact refusal encoding
  Adds the dependent refusal-packet spine, distinguishing SpineEncoding from LosslessEncoding and proving both inverse laws. The superseded reason-only contract remains compiled in research custody as a collapse counterexample.

• Rung 5 — Indexed comparison
  Adds a closed seven-entry comparison framework. Its concrete proof-carrying ledger remains pinned to native sources as receipt-bound research evidence.

• Rung 6 — Stored-decision crossing
  Decisions are made once. Both native outcomes are preserved, and verdicts and comparison receipts are derived solely from the stored pair rather than by re-evaluation.

• Rung 7 — Origin-bound BreakGlass
  Adds the terminal origin/history-bound instance: lifecycle-origin namespacing, kind-indexed references, receipt-committed audit history, and verdict-level separation between exceptional and ordinary authority and between settlement and audit.

Verification and custody

Every rung was separately hostile-reviewed, operator-ratified, extracted with proven normalized-source equality from the sibling research tree, and custody-closed with receipt-bound transfer records.

The public Calculus root freezes 191 exact receipts across rungs 2–7. Whole-release custody closes at:

• 201 sources
• 104 stable sources
• 96 evidence sources
• 1 aggregate
• 11 roots
• 131 ownerships

A six-site cross-repository description-coherence gate checks that the public prose continues to describe the formal artifact accurately.

The accepted 101-receipt public axiom partition is:

• 3 axiom-free
• 19 opaque-substrate-only
• 4 using propext without Quot.sound
• 67 using Quot.sound without Classical.choice
• 8 using Classical.choice

That is 75 Quot.sound-bearing receipts overall. The footprint is recorded explicitly rather than summarized away.

Scope

v14 is not a retcon of the earlier Admissibility Kernels. The Calculus is built from those kernels, while their original historical claims remain intact.

The stable 1.x surface—unchanged since 1.0—is untouched. General composition rules and meta-theorems beyond the admitted seven-rung structure remain outside this release.

Release records

• Frozen inventory: docs/V14-RELEASE-LEDGER.md
• Per-rung admission history: docs/V14-READINESS-LEDGER.md
• Plain-language research summary: docs/PLAIN-LANGUAGE-SUMMARY.md
• Formal claims: CLAIM-REGISTER.md #19–#25