Changelog

Version history and updates

v15 September 2026

The reviewed edition

The reviewed Codex, trilogy and Proofs now form one publication, with matching Collected Works and Abridged downloads. Earlier dated candidate notices below remain a record of their status at the time.
Search covers complete published sections and formal identifiers, with canonical appendix destinations, collection filters and a shareable results page.
The reading interface adds mobile contents, text-size controls and a locally saved continuation point. Corrections and historical research retain their stated scope.

v2026.09.14-bounded-closure-candidate14 September 2026

The claimed relation now survives the Appendix I declaration and transport records. A19b uses NotCertified while retaining distinct diagnoses for violated requirements, missing evidence and unfinished checking.
The public verification account cites a named checked result and its hypotheses, separately from recorded corpus consistency. The correction record at publication/corrections/2026-09-14-bounded-closure identifies the exact consumers and limited supersession of prior clearance.
A linked Collected Works entrance and three local reading selections preserve the larger edition and the selected trilogy. Earlier sources and reviews remain unchanged. No canonical adoption or deployment is included.

v2026.09.14-next-reader-candidate14 September 2026

Distinguished the relationship a witness claims from its checking regime, and formal prerequisites from routes through the companion. The pending-use contract retains its separate decision and review obligations.
The opening now carries the receiving problem into the first mathematical question. A capability scoreboard and duplicated sheaf exposition give way to their scoped explanations; the complete proofs remain accessible.
Corrected repeated notes, omitted epigraphs and formal-statement titles in the continuous HTML conversion, and two repeated interlude headings. The dated record in publication/corrections/2026-09-14-next-reader identifies the affected clearance. Earlier records remain unchanged; no adoption or deployment is included.

v2026.09.13-work-of-reuse-candidate13 September 2026

The Proofs now introduces the receiving problem before the formal apparatus and distinguishes unfinished checking from an institution’s responsibility to dispose of a consequential pending use.
Selected consolidations give admission, package contents and acceptance distinct jobs. Mathematical transport and deployed evaluation retain separate grounds; useful fixed-vocabulary reuse does not claim the full Third Mode design.
The dated record in publication/corrections/2026-09-13-work-of-reuse preserves the affected summaries and selected relocations. Earlier corrections remain visible. No executable protocol, canonical adoption or deployment is included.

v2026.09.12-one-book-candidate12 September 2026

Reconciled Proofs introductions, diagrams and summaries with their scoped results: exact gluing is one mathematical case, an adjunction supplies no price, and unfinished checking is not successful certification or proof of falsity.
Distinguished four design requirements from the ten-operation interface contract, and clarified how alternative sufficient grounds affect correction across reuse. These manuscript changes introduce no executable protocol behavior.
The dated addendum in publication/corrections/2026-09-12-one-book preserves the affected consumers and the limit of earlier clearance. Earlier correction records remain historical; this candidate has not been adopted or deployed.

v2026.09.11-candidate11 September 2026

Withdrew A21's refinement-cost ordering: the proposed injection does not exist under the stated hypotheses. Chapter 19 and Appendix K.4 preserve a three-point counterexample and the surviving budget framework.
The earlier injection correction and invention-monad typing claim below remain visible as history; they did not repair those statements. The Codex technical bridge records the reconciliation failure and supersession of the affected clearance.
Separated finite calculations and written proofs from unconstructed identity and monad claims, and replaced chapter-wide machine-verification labels with statement-level scope.
Preserved source-qualified note identity so repeated references share one body without merging distinct notes. This candidate is not an adopted or deployed edition.

v1.1.0June 2026

Restored Vol III Appendix D (The Living Doctrines) to the print edition — present on the site and in the Lexicon, it had been silently dropped from the compendium build manifest
Corrected factual errors: the Carnot efficiency figure, the characterization of United States v. Booker, and the direction of the Maghribi coalition’s efficiency-wage mechanism
Published visible errata in the technical papers: the basis-count corollary (uniform vs. graphic matroid) and the coherence-budget-monotonicity proof (corrected to an injection argument); added the faithfulness hypothesis to the bilateral-completeness theorem; corrected the context-site cover condition and the predicate-invention monad typing
Labelled the interpretability ρ = 1.0 as exact-by-construction (a positive control); disclosed that on fully external data a convention-distance baseline ties or beats the sheaf diagnostic; unified the doctrinal axiom count; refreshed the LLM roster
Repaired the PDF export pipeline (cross-reference expansion) and added a rendered-output gate so the bound editions match their sources
Bibliography cleanup: author-name canonicalization, restored titles, duplicate removal
Added a Second-Edition Changelog to the Technical Spine Omnibus recording every erratum

v1.0.0February 2026

v0.9.0January 2026

v0.5.0December 2025