2026-05-08 · C2 · Metadata correction
Wave 4 governance metadata baseline
Established the public-safe Corpus governance and asset metadata projection layer.
Release: corpus-metadata-wave4 · Status: released
Corpus Changelog
Curated public record of meaningful semantic Corpus corrections, clarifications, status changes, bridge-boundary updates, and publication errata links.
Semantic record
This page records meaningful changes to corpus state, not every repository commit or typographic polish.
Corpus first
Semantic corrections are handled in Corpus and then propagated to website, TauLib, publications, or errata surfaces as needed.
Public trace
GitHub Issues and Discussions may hold working history; this page is the curated public record.
Purpose
The Corpus Changelog records meaningful updates to the Panta Rhei corpus: clarifications, corrections, prior-art additions, result-status changes, bridge-boundary updates, formalization-related changes, and publication errata that affect the semantic research record.
It does not list every typographic edit, technical deployment, route polish, or repository-level change. Those belong in the technical Changelog when public release history needs to be recorded.
Current Public Record
2026-04-20 · C7 · Monograph erratum
ERRATUM-001: Book I, Chapter 27; Definition I.D19a; Theorem I.T05
Corrects the published prime-polarity definition. The original growth-comparison clauses do not partition the primes; the corrected classifier uses the Legendre symbol (2/p), aligning Book I with the Book III bipolar classifier.
Release: historical-errata-baseline · Status: released
Related errata: ERRATUM-001
2026-04-20 · C7 · Monograph erratum
ERRATUM-002: Book III, Chapter 18; Definition III.D23; Theorem III.T13
Corrects the Jacobi-symbol convention used in the internal bipolar classifier derivation. Under the classical Jacobi convention, zero factors do not reduce to a single Legendre factor.
Release: historical-errata-baseline · Status: released
Related errata: ERRATUM-002
2026-04-20 · C7 · Monograph erratum
ERRATUM-003: Book I, Chapter 24; Theorem I.T04
Tightens the Hyperfactorization Theorem statement. Conditions (i)-(iii) alone do not uniquely specify the ABCD tuple; maximal tetration height must be part of the admissibility condition.
Release: historical-errata-baseline · Status: released
Related errata: ERRATUM-003
2026-04-22 · C8 · Publication erratum
ERRATUM-004: Panta Rhei Conspectus v1.1 PDF; TauLib trust-budget disclosure
Corrects the Conspectus PDF's pre-refactor TauLib trust-budget language. The downloadable v1.1 PDF still describes the interim peer-review state; the pinned public TauLib release has since landed the refactor.
Release: historical-errata-baseline · Status: released
Related errata: ERRATUM-004
What Gets Logged Here
- claim-boundary clarifications;
- registry, theorem, proof-dependency, formula, or numerical corrections;
- result-status and challenge-response revisions;
- bridge-boundary changes;
- formalization-related updates that affect public interpretation;
- publication or monograph errata that affect the corpus.
Small copy polish can happen without a Corpus Changelog entry. Meaningful changes to public interpretation should be traceable.
How To Submit Corrections
Use Corrections for routing guidance. Public questions and critique usually begin in GitHub Discussions; concrete defects use Issues; concrete fixes use Pull Requests; private, sensitive, media, or institutional feedback should use email.
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.