paper: reconstructed Vasilev-Pellis-Olsen short paper + reproducibility capsule

README.md

@@ -30,11 +30,10 @@ Most unification programs publish only successes. We publish the **dead ends** t
 
 | Our Strong Side | What It Means For You |
 |-----------------|----------------------|
-| **1,325 theorems with `Qed.`** | Every positive claim is machine-checked, not hand-waved. |
+| **2,027 theorems/definitions with `Qed.`/`Defined.`** | Every positive claim is machine-checked, not hand-waved (100 `.v` files; honest parser strips comments). |
 | **4 boundary theorems (BT-1..BT-4)** | Four direct H4→SM construction paths are formally ruled out. You don't have to try them. |
 | **14 refutation theorems** | Specific ansätze (orbifold Z₂, E8-plumbing η, δ_CP = 65.66°) are proven dead and documented. |
-| **25 `Admitted.` + 123 total obligations** | No cosmetic edits. Every open gap is tagged with `[OPEN_PROBLEM]`, `[LIBRARY_GAP]`, or `[PHYSICAL_AXIOM]` and carries a literature citation. See `COQ_HONEST_STATUS.md` for full accounting. |
-| **0 fake proofs** | The honest parser strips comments before counting. Naive `grep` finds 77; the real count is 0 in `proofs/trinity/`. |
+| **0 real `Admitted.` + 93 load-bearing Axioms** | No cosmetic edits. The remaining open inputs are explicit `Axiom`/`Parameter` declarations (93 axioms, 11 parameters), each carrying a literature citation. Naive `grep` finds historical `Admitted` only inside comments; the real count is **0**. Run `scripts/count_admitted_honest.py` to reproduce. |
 
 > **$TRI is not a cryptocurrency.** It is a compression score (bits-per-byte) benchmarked on synthetic φ-structured data; silicon validation on TTSKY26b is pending (~Nov 2026). You cannot mine it on a GPU.
 
@@ -63,6 +62,50 @@ living claim ledger.
 
 ---
 
+## 📖 Latest GOLDEN CHAIN Compendium (PDF)
+
+The **GOLDEN CHAIN Compendium** is a PhD-style brochure rendered from the
+[`gHashTag/trios-mcp-rag`](https://github.com/gHashTag/trios-mcp-rag) SSOT
+(Postgres `ssot_brochure.chapters`) and pinned here for each released build.
+This is the printed back-end of the same narrative; the live puzzle at
+[t27.ai/trinity-s3ai/](https://t27.ai/trinity-s3ai/) is the interactive
+front-end.
+
+<a href="releases/GOLDEN_CHAIN_compendium_v12.pdf">
+  <img src="figures/golden_chain_compendium_cover.png" alt="GOLDEN CHAIN Compendium v12 — cover page" width="360" />
+</a>
+
+| Field | Value |
+|-------|-------|
+| Version | **v12** (2026-05-29) |
+| Download | [`releases/GOLDEN_CHAIN_compendium_v12.pdf`](releases/GOLDEN_CHAIN_compendium_v12.pdf) (3.37 MB) |
+| Pages | 259 (A4) |
+| Chapters | 69 SSOT rows · 62 canonical `\chapter{}` |
+| SHA-256 | `6d2e29ed32cc92b4aea32a0c639f7f16c646d94e1aa4adba97787869ec79293d` |
+| Upstream commit | [`trios-mcp-rag@7bec06f`](https://github.com/gHashTag/trios-mcp-rag/commit/7bec06f) |
+| Audit | [`trios-mcp-rag/docs/audits/build-2026-05-29-v12.md`](https://github.com/gHashTag/trios-mcp-rag/blob/docs/agent-wake-up/docs/audits/build-2026-05-29-v12.md) |
+| Wave note | [`WAVE22_STATUS.md`](WAVE22_STATUS.md) |
+
+**v12 fixes (1 P0 + 4 P1):** six leaked `\tbd{…}` macro boxes in
+`fm-13-depin-positioning` collapsed to plain text; smart quote in
+Verilog literal `16'h47C0` flattened to ASCII; missing claim-status
+badges inserted on 4 chapters (`gf-format-audit`,
+`gf-numeric-formats-history`, `london-handout`,
+`unified-symmetry-article`); `## References` sections appended to 5
+chapters with inline DOI/arXiv anchors. See
+[`WAVE22_STATUS.md`](WAVE22_STATUS.md) for the full cross-repo ledger
+and [`trios-mcp-rag@7bec06f`](https://github.com/gHashTag/trios-mcp-rag/commit/7bec06f)
+for migration SQL + runbook.
+
+**Updating to a new version:** run
+[`scripts/refresh_compendium.sh`](scripts/refresh_compendium.sh)
+— it copies the latest PDF into `releases/`, regenerates the cover
+preview into `figures/golden_chain_compendium_cover.png`, and recomputes
+the SHA-256. The README block above stays valid; only the version /
+hash / commit metadata need to be edited per release.
+
+---
+
 ## 🏗️ Verification Stack
 
 ```mermaid
@@ -93,7 +136,7 @@ flowchart BT
 | **BT-3** (Chirality) | 600-cell D_F is vector-like (antipodal symmetry) | The 600-cell cannot source SM chirality; chirality must enter via a different mechanism. |
 | **BT-4** (Mass hierarchy) | 2I-equivariant D_F cannot reproduce lepton mass ratios | Icosahedral symmetry-breaking ansatz for lepton masses is insufficient; needs stronger breaking. |
 
-**Coq Stats (Wave 23):** 1,762 Qed · 0 real Admitted (`proofs/trinity/`) · 14 refutation theorems  
+**Coq Stats (canonical, `scripts/count_admitted_honest.py`):** 2,027 Qed+Def · 0 real Admitted · 93 Axioms · 14 refutation theorems · 100 files  
 **Honest p-value:** p = 0.077 (mean error, not significant) · p < 0.0001 (SG-hit density, significant)
 
 > *"Not a proof is also a proof."* — We share what we tried to prove and could not,
@@ -113,7 +156,7 @@ The Trinity S³AI knowledge chain is designed to anchor in silicon. **$TRI** (Tr
             v                         v                          v
    +-------------------+   +-----------------------+   +------------------------+
    | Formal proof of   |   | Lucas chain L2 = 3    |   | BT-1..BT-4 prove which   |
-   | 1,762 theorems    |   | anchored in GF(16)      |   | H4→SM paths are closed   |
+   | 2,027 theorems    |   | anchored in GF(16)      |   | H4→SM paths are closed   |
    | (Track A + B)     |   | submitted for TTSKY26b  |   | (saves field from blind  |
    |                   |   |                         |   | alleys)                  |
    +-------------------+   +-----------------------+   +------------------------+
@@ -163,10 +206,11 @@ This project is built on a counter-intuitive principle: **proving what cannot be
 
 | What we proved | Count | Status |
 |---|---|---|
-| Theorems with `Qed.` | **1,325** | Verified |
+| Theorems/definitions with `Qed.`/`Defined.` | **2,027** | Verified (100 `.v` files) |
 | Boundary theorems (impossibility proofs) | **4** (BT-1..BT-4) | Verified |
 | Refutation theorems (`*_refuted`) | **14** | Verified dead ends |
-| Real `Admitted.` (honestly tagged) | **25** | Open problems with citations |
+| Real `Admitted.` | **0** | Comment-stripped count |
+| Load-bearing Axioms (cited open inputs) | **93** + 11 Parameter | Explicit assumptions, not proofs |
 | Fake proofs | **0** | — |
 
 **Boundary theorems save the field from wasted effort:**
@@ -175,7 +219,7 @@ This project is built on a counter-intuitive principle: **proving what cannot be
 - **BT-3** — 600-cell Dirac operator is vector-like → chirality must come from elsewhere
 - **BT-4** — 2I-equivariant D_F fails for lepton masses → mass hierarchy needs different symmetry breaking
 
-**25 real Admitted gaps** — all honestly tagged with `[OPEN_PROBLEM]`, `[LIBRARY_GAP]`, or `[PHYSICAL_AXIOM]` and documented with citations (Lounesto 2001, Atiyah-Bott-Shapiro 1964, etc.). Total unproven obligations: 25 Admitted + 18 admit + 73 Axiom + 7 Parameter = 123.
+**0 real `Admitted.` gaps** — the open inputs are now explicit `Axiom`/`Parameter` declarations rather than admitted proof obligations: **93 Axioms + 11 Parameters**, each tagged `[OPEN_PROBLEM]`, `[LIBRARY_GAP]`, or `[PHYSICAL_AXIOM]` and documented with citations (Lounesto 2001, Atiyah-Bott-Shapiro 1964, etc.). These axioms are load-bearing assumptions, not theorems — the framework's honesty rests on declaring them as such. Reproduce with `scripts/count_admitted_honest.py`.
 
 **0 fake proofs. 0 cosmetic edits to hide gaps.** Every number is produced by a comment-stripping parser and treated as ground truth.
 

SOURCE_OF_TRUTH.md

@@ -48,6 +48,16 @@ These remain canonical in their respective repositories:
 - OpenROAD + Yosys synthesis scripts
 - Post-silicon validation testbenches (pending)
 
+### `gHashTag/trios-mcp-rag`
+- GOLDEN CHAIN Compendium PDF (PhD-style brochure)
+- Postgres SSOT (`ssot_brochure.chapters`) for compendium chapters
+- Rust `trios-mcp-rag` build pipeline (pandoc + tectonic)
+- Forensic audit ledger (`docs/audits/build-*.md`) and migration runbooks
+  (`docs/migrations/*-runbook.md`)
+- Brochure-specific Lua filters and chapter LaTeX template
+- Latest pinned snapshot in this repo: `releases/GOLDEN_CHAIN_compendium_v11.pdf`
+  (sha256 `25dd2b18...`, upstream commit `5e19773`)
+
 ---
 
 ## Critical boundary — GF16 number type

WAVE22_STATUS.md

@@ -0,0 +1,153 @@
+# Wave 22 Status — GOLDEN CHAIN Compendium v12 (External Brochure SSOT)
+
+> Wave 22 is a **cross-repo documentation wave**, not a code wave.
+> The deliverable is the GOLDEN CHAIN compendium PDF rebuilt from the
+> [`gHashTag/trios-mcp-rag`](https://github.com/gHashTag/trios-mcp-rag)
+> SSOT (Postgres `ssot_brochure.chapters`). This `trinity-s3ai` repo
+> remains the canonical owner of hardware, formal proofs, and claim
+> ledger; the brochure is a derived render that aggregates Trinity
+> S³AI material into a single PhD-style document.
+
+---
+
+## Scope of Wave 22
+
+Replace ambiguous "GOLDEN CHAIN" references in `trinity-s3ai`:
+
+- **L6 GOLDEN CHAIN (in this repo)** — the Rust + wasm silicon-targeted
+  proof-chain puzzle at `games/trinity_fold/` and
+  [t27.ai/trinity-s3ai/](https://t27.ai/trinity-s3ai/). **Unchanged.**
+- **GOLDEN CHAIN Compendium PDF (external)** — the 259-page PhD-style
+  brochure rebuilt from `gHashTag/trios-mcp-rag` SSOT. Wave 22 records
+  the v11 build hash so this repo can cite it as a derived artefact.
+
+Both retain the "GOLDEN CHAIN" name because they share the same
+silicon-anchor narrative (φ² + φ⁻² = 3 ⟹ L₂ = 3 ⟹ dot4 = 0x47C0); the
+puzzle is the interactive front-end, the compendium is the printed
+back-end.
+
+---
+
+## v11 Compendium Build (2026-05-29)
+
+| Field | Value |
+|-------|-------|
+| Upstream repo | [`gHashTag/trios-mcp-rag`](https://github.com/gHashTag/trios-mcp-rag) |
+| Branch | `docs/agent-wake-up` |
+| Commit | [`5e19773`](https://github.com/gHashTag/trios-mcp-rag/commit/5e19773) |
+| Pages | 259 (A4) |
+| Size | 3.52 MB |
+| SHA-256 | `25dd2b18d306e5e96e02b538a1ed6a8ebea73f1b3eaf922881ac1b3087b21916` |
+| Pipeline | Rust `trios-mcp-rag` → Postgres SSOT → pandoc + tectonic → PDF |
+| Chapters in SSOT | 69 rows |
+| Canonical `\chapter{}` in main.tex | 62 |
+
+---
+
+## v11 Fixes (vs v10 baseline `04921bf`)
+
+Wave 22 brochure pass closed **3 P0 + 1 P1 + 1 P2** anomaly classes
+identified by a fresh forensic audit:
+
+| ID | Severity | Class | Resolution |
+|----|----------|-------|------------|
+| B10 | **P0** | `order_key` collisions (14 dup groups) | Compound deterministic renumber `kind_rank·1000 + ROW_NUMBER·10` → 0 duplicates. |
+| B16 | **P0** | Phantom `\chapter{}` from body-level `#` headings (16 phantoms) | Demoted body H1→H2 in `p1-14-conclusion`, `p3-13-phd-integration`, `london-handout`, `unified-symmetry-article`. main.tex `\chapter` count 85 → 62. |
+| B15 | **P0** | Missing leading `# title` in `unified-symmetry-article` | Combined with B16 edit; pipeline auto-injects `# {title}` (`pipeline.rs:278`). |
+| B11 | P1 | Title vs first-H1 drift (8 mismatches) | Aligned body's first H1 to canonical SSOT `title` field. |
+| B3 | P2 | Three sub-3pt overfull `\hbox` in narrow longtable cells | Raised `\hfuzz=30pt`, `\emergencystretch=8em`. Remaining overruns documented as sub-perceptual (<1mm). |
+
+Clean (audited, no issue): B1, B2, B4–B9, B12–B14, B18, B19.
+
+---
+
+## Claim-Status of the Brochure
+
+Per the [`trios-mcp-rag` operating rules](https://github.com/gHashTag/trios-mcp-rag)
+(rule 5 — claim-status framing) and `trinity-s3ai`'s own 5-status
+vocabulary (`docs/claims.yaml`):
+
+- The brochure does **not** introduce any new Verified or Empirical-fit
+  claim about Trinity S³AI physics.
+- All chapters are renders of material already classified in
+  `trinity-s3ai/docs/claims.yaml` or the upstream `ssot_brochure.chapters`
+  table — no new physics, no Theory-of-Everything claim, no prize /
+  Nobel claim as a deliverable.
+- The Pellis Hierarchical Expansion and Olsen Tier-D φ-cosmology
+  chapters carry their existing `High-risk` / `Open conjecture` badges
+  from upstream.
+
+---
+
+## Cross-Repo Ownership (after Wave 22)
+
+| Artefact | Canonical Repo |
+|----------|----------------|
+| Hardware (RTL, GF16 spec, TTSKY26b) | `gHashTag/trinity-s3ai` (this repo) |
+| Coq formal proofs (BT-1..BT-4, Cl(0,2)≅ℍ) | `gHashTag/trinity-s3ai` (this repo) |
+| Claim ledger `claims.yaml` | `gHashTag/trinity-s3ai` (this repo) |
+| GOLDEN CHAIN puzzle (Rust + wasm, live canvas) | `gHashTag/trinity-s3ai` (this repo, `games/trinity_fold/`) |
+| GoldenFloat Zig reference impl | `gHashTag/zig-golden-float` |
+| HybridAttn trainer + IGLA RACE ledger | `gHashTag/trios-trainer-igla` |
+| TinyTapeout RTL shuttle source | `gHashTag/t27` |
+| **GOLDEN CHAIN Compendium PDF (brochure)** | **`gHashTag/trios-mcp-rag`** ← Wave 22 |
+
+---
+
+## Verification
+
+```bash
+# 1. Clone the brochure SSOT renderer
+git clone https://github.com/gHashTag/trios-mcp-rag
+cd trios-mcp-rag
+git checkout 5e19773   # v11 reference
+
+# 2. Inspect the audit (no Postgres needed for read-only inspection)
+cat docs/audits/build-2026-05-29-v11.md
+cat docs/migrations/2026-05-29-v11-runbook.md
+
+# 3. To rebuild, follow the runbook (requires Postgres SSOT + pandoc + tectonic).
+```
+
+---
+
+## Honest Statement
+
+Wave 22 ships **zero new physics or proofs**. It only records a
+derived-artefact rebuild from an external SSOT. Treat the v11
+compendium as a snapshot, not an independent source of truth. For
+authoritative hardware / proof / claim-ledger content, always read
+this repo first.
+
+---
+
+*WAVE22_STATUS.md — created 2026-05-29 (UTC).*
+
+---
+
+## v12 Compendium Build (2026-05-29) — Next-Wave Critic-Proof Pass
+
+| Field | Value |
+|-------|-------|
+| Upstream | [`gHashTag/trios-mcp-rag@7bec06f`](https://github.com/gHashTag/trios-mcp-rag/commit/7bec06f) |
+| PDF | [`releases/GOLDEN_CHAIN_compendium_v12.pdf`](releases/GOLDEN_CHAIN_compendium_v12.pdf) |
+| Pages | 259 (A4) |
+| Size | 3.37 MB |
+| SHA-256 | `6d2e29ed32cc92b4aea32a0c639f7f16c646d94e1aa4adba97787869ec79293d` |
+| Audit | [`trios-mcp-rag/docs/audits/build-2026-05-29-v12.md`](https://github.com/gHashTag/trios-mcp-rag/blob/docs/agent-wake-up/docs/audits/build-2026-05-29-v12.md) |
+| Migration | [`trios-mcp-rag/docs/migrations/2026-05-29-v12-fixes.sql`](https://github.com/gHashTag/trios-mcp-rag/blob/docs/agent-wake-up/docs/migrations/2026-05-29-v12-fixes.sql) |
+| Runbook | [`trios-mcp-rag/docs/migrations/2026-05-29-v12-runbook.md`](https://github.com/gHashTag/trios-mcp-rag/blob/docs/agent-wake-up/docs/migrations/2026-05-29-v12-runbook.md) |
+
+## v12 Fixes (vs v11 baseline `5e19773`)
+
+The next-wave pass closed **1 P0 + 4 P1** anomaly classes:
+
+- **C15 (P0)** — `fm-13-depin-positioning`: six leaked `\tbd{real measurement pending}` macro instances inside backtick code spans rendered as live red TBD badges in the v11 PDF. Replaced with plain text `TBD: real measurement pending`.
+- **C12 (P1)** — `unified-symmetry-article`: smart quote (U+2019) inside Verilog literal `16'h47C0` flattened to ASCII apostrophe.
+- **C18 (P1)** — Inserted missing claim-status badges on 4 chapters: `gf-format-audit → Open conjecture`, `gf-numeric-formats-history → Verified`, `london-handout → Open conjecture`, `unified-symmetry-article → Empirical fit`.
+- **C27 (P1)** — Appended `## References {.unnumbered}` sections to `unified-symmetry-article` and `gf-numeric-formats-history`, sourced from the DOI / arXiv anchors already cited in body.
+- **C31 (P1)** — Appended `## References {.unnumbered}` sections to `p2-02-epistemic-boundary`, `p2-03-math-preliminaries`, `p2-04-e8-toda`.
+
+QA gates (all green): zero `\tbd` literal leaks, zero `\status` literal leaks, zero U+2019 smart-quote leaks in `16'h47C0`, visual QA clean on pp. 46 / 118 / 151 / 221 / 226.
+
+Wave 22 still ships **zero new physics or proofs**. v12 is a derived-artefact rebuild that closes the next set of anomalies a reviewer could exploit against v11.