gHashTag
diff --git a/‎docs/audits/build-2026-05-29-v12.md‎
Lines changed: 205 additions & 0 deletions b/‎docs/audits/build-2026-05-29-v12.md‎
Lines changed: 205 additions & 0 deletions
@@ -0,0 +1,205 @@
+# GOLDEN CHAIN Build Audit — v12 (Next-Wave Critic-Proof Pass)
+
+**Date:** 2026-05-29
+**Scope:** SSOT `ssot_brochure.chapters` + derived `GOLDEN_CHAIN_2026-05-29.pdf`
+**Predecessor:** v11 audit — `docs/audits/build-2026-05-29-v11.md`
+**Trigger:** maintainer requested another forensic pass after v11
+("критикуй и еще подумай что улучшить чтобы критики не доебались …
+next wave") to surface and close any remaining anomalies a reviewer
+could exploit.
+**Outcome:** 1 P0 + 4 P1 anomalies fixed in the SSOT; PDF rebuilt
+cleanly with the same page count and a slightly larger byte size due
+to the additional References blocks and status badges.
+
+## Headline Numbers (Before → After)
+
+| Metric                                     | v11 (5e19773) | v12 (this build) |
+|--------------------------------------------|---------------|------------------|
+| `\tbd` macro leaks in PDF text             | 6             | **0**            |
+| `\status` literal leaks in PDF text        | 0             | **0**            |
+| Smart quotes inside code spans (`16'h47C0`)| 1             | **0**            |
+| Real chapters missing claim-status badge   | 4             | **0**            |
+| Long chapters missing `## References`      | 5             | **0**            |
+| Pages                                      | 259           | 259              |
+| File size                                  | 3.36 MB       | 3.36 MB (3530837 B) |
+| SHA-256                                    | `25dd2b18…`   | `6d2e29ed32cc92b4aea32a0c639f7f16c646d94e1aa4adba97787869ec79293d` |
+
+## Anomaly Catalogue (v12 Audit, Post-v11)
+
+Each finding lists its origin probe (`C{n}`), severity, target row(s)
+in `ssot_brochure.chapters`, the failure mode, and the chosen fix. The
+classes here are numbered C1–C32, continuing the v11 series.
+
+### P0 — Critical (must fix)
+
+#### C15 — `\tbd{real measurement pending}` macro leak (`fm-13-depin-positioning`)
+
+- **Probe.** Search for `\tbd{` outside `\providecommand` blocks in
+  the SSOT. The macro is defined in `chapter.template.tex` line 125
+  (`\providecommand{\tbd}[1]{\hspace{0.25em}\fcolorbox{red!50}{red!5}
+  {\textsf{\scriptsize TBD:\,#1}}}`) and is intentionally available for
+  rare uses inside raw-LaTeX blocks. In `fm-13-depin-positioning` the
+  string `` `\tbd{real measurement pending}` `` appears six times
+  *inside markdown backtick code spans*. The author's intent was to
+  show the macro **as code** — a placeholder reminding the reader of
+  the field that needs a real measurement. Pandoc's default backtick
+  handling escaped most of the body but the backslash-prefixed macro
+  identifier still leaked through, so the tectonic pass rendered six
+  live red TBD badges scattered through the chapter.
+- **Impact.** Visible red boxes in body prose, reviewer-bait, and a
+  rule-5 violation (claim-status framing is reserved for the explicit
+  badge set; ad-hoc `\tbd` boxes inside prose dilute the discipline).
+- **Fix.** Migration `2026-05-29-v12-fixes.sql` — replace the six
+  occurrences of the literal string `\tbd{real measurement pending}`
+  with the plain text `TBD: real measurement pending`. The backticks
+  are preserved so the placeholder still reads as a code-style field
+  marker; no badge box is emitted.
+- **Verification.** `pdftotext generated/out/GOLDEN_CHAIN_2026-05-29.pdf -`
+  | `grep -c '\\tbd'` → 0. SQL `DO` block in the migration also
+  asserts zero rows match the leak pattern.
+
+### P1 — Quality / Reviewer-Bait
+
+#### C12 — Smart quote inside Verilog literal (`unified-symmetry-article`)
+
+- **Probe.** Search for U+2019 (right single quotation mark) inside
+  backtick code spans. Found once at body offset 35007:
+  `` `16’h47C0` `` (assertion `{uio_out, uo_out} == 16'h47C0`). The
+  Verilog literal must use an ASCII apostrophe; the smart-quote form
+  is invalid Verilog and looks unprofessional in code style.
+- **Fix.** Targeted `replace(body_md, '16’h47C0', "16'h47C0")` scoped
+  to that one slug.
+- **Verification.** SQL `DO` block asserts no row in
+  `unified-symmetry-article` contains the smart-quote variant.
+
+#### C18 — Claim-status badge missing on 4 real chapters
+
+- **Probe.** For every chapter whose `kind` is `article`, `audit`,
+  `handout`, or `unified`, the body should open with a raw-LaTeX
+  block that emits a status badge (`\statusVerified`,
+  `\statusEmpirical`, `\statusOpen`, `\statusHighRisk`, or
+  `\statusRetracted`). Four chapters had no badge:
+  `gf-format-audit`, `gf-numeric-formats-history`, `london-handout`,
+  `unified-symmetry-article`.
+- **Status assignments (rule 5).**
+  - `gf-format-audit` → **Open conjecture** — audit catalogue of
+    GoldenFloat formats; many entries are still "Proposal" or
+    "Experimental".
+  - `gf-numeric-formats-history` → **Verified** — historical survey
+    of established formats (IEEE 754, posit, FP8) anchored entirely
+    by external DOIs / arXiv IDs.
+  - `london-handout` → **Open conjecture** — talk handout collecting
+    programmatic claims, not yet independently validated.
+  - `unified-symmetry-article` → **Empirical fit** — long article
+    reporting partial empirical fit (symbolic regression + φ-grammar)
+    with explicit open questions in §7.
+- **Fix.** Migration inserts `` ```{=latex}\n\statusXxx\n``` `` after
+  the H1 in three chapters and prepends it to the body of
+  `unified-symmetry-article` (which has no leading H1; the pipeline
+  injects `# {title}` at render time, so the badge lands immediately
+  under the injected H1).
+- **Verification.** SQL `DO` block asserts all four targets now match
+  the `\\status(Verified|Empirical|Open|HighRisk|Retracted)` regex.
+  Visual QA — page 226 shows the **Empirical fit** badge on
+  `unified-symmetry-article`; page 221 shows the **Open conjecture**
+  badge on `gf-format-audit`.
+
+#### C27 — `## References` missing on two long chapters
+
+- **Probe.** Any chapter with body length > 25 KB and no `## References`
+  section is suspect. Two hits:
+  - `unified-symmetry-article` (48 KB, no references section despite
+    citing the Coq proof base, Trinity Clara, Tiny Tapeout, Fring &
+    Korff (2005), and Coldea et al. (2010)).
+  - `gf-numeric-formats-history` (30 KB, no references section despite
+    inline citations of IEEE 754, Gustafson, Jacob et al., Micikevicius
+    et al., Sun et al., Spallanzani et al.).
+- **Fix.** Append a properly-formatted `## References {.unnumbered}`
+  section to each chapter, with every external anchor that already
+  appears in body extracted into a markdown bullet list with clickable
+  DOI / arXiv links.
+- **Verification.** SQL `DO` block asserts both rows now contain the
+  pattern `## References`. Visual QA — page 221 shows the new
+  `gf-numeric-formats-history` References block (8 entries).
+
+#### C31 — `## References` missing on three P2 chapters with badges
+
+- **Probe.** Paper-2 chapters carrying `\statusEmpirical` or
+  `\statusVerified` (citation-bearing labels) but no `## References`
+  section: `p2-02-epistemic-boundary`, `p2-03-math-preliminaries`,
+  `p2-04-e8-toda`.
+- **Fix.** Same approach as C27 — append `## References {.unnumbered}`
+  with the actual DOIs / arXiv IDs that already appear in body
+  (Fring & Korff 2005, Coldea et al. 2010, Zamolodchikov 1997, Popper
+  1963, Zenodo 19227877).
+- **Verification.** SQL `DO` block asserts all three rows now match
+  `## References`.
+
+### Deferred (intentional)
+
+- **C5** — `authority-outreach-templates` `Dear Professor [NAME]` is
+  an intentional outreach template placeholder. Recorded so a future
+  audit does not flag it.
+- **C24** — early false positive on math-mode escapes; on re-check,
+  every `\xx` escape resolves to a defined LaTeX macro.
+
+### Clean (probed, no actionable issue)
+
+C1, C2, C4, C6, C7, C8, C9, C10, C11, C13, C14, C19, C20, C21, C22,
+C23, C26, C28, C32 all returned negative. The probe set is
+deliberately broad — it includes orphan citations, hyperref anchor
+drift, URL wrapping, HTML entity leaks, trailing whitespace, code
+fence balancing, blank-line runs, paren balance in headers, ASCII
+arrows in prose, empty list items, malformed table cells, zombie
+section references, all-caps shouting, abbreviation consistency,
+duplicate slugs / titles, invalid `\xx` escapes, abnormal line
+density, footnote / citation mixing, and status-badge placement.
+
+## Deferred to v13+
+
+These were noted but intentionally not changed in this pass — each is
+listed with the v-number at which the cost / benefit is expected to
+become favourable.
+
+- **B17** heroes absent — `illustration_url` is NULL on all 69 rows;
+  the image manifest needs population before re-enabling hero blocks
+  (`TRIOS_PHD_NO_IMAGE_TRAIN` rule applies). Target v13.
+- **B18** PDF/UA-2 tagging — accessibility metadata is not yet
+  emitted. Requires Lua filter for tagged structure. Target v13.
+- **B19** `\statusNonClaim` macro for `p1-acknowledgments` and
+  `p2-13-phd-provenance` — these chapters intentionally carry no
+  claim, but the audit script currently has to special-case them.
+  Cleaner to introduce a `\statusNonClaim` badge with a neutral
+  colour. Target v13.
+- **B20** `\nicefrac` migration — replace ad-hoc `1/φ` notation with
+  `\nicefrac{1}{\varphi}` for typographic consistency. Target v14.
+- **B21** Pellis Definition A.1+ ASCII math wrap — long Definition
+  blocks in the Pellis appendix render with ragged math. Target v14.
+- **B8(v9)** `S³AI` → `S3 AI` flatten in three `\addcontentsline`
+  entries to silence a tectonic hyperref warning. Target v13.
+- **B3** sub-3pt overfull `hbox` in longtable paragraphs — `\hfuzz`
+  does not silence paragraph-mode overfull warnings in longtable
+  cells. Target v14.
+
+## Build Provenance
+
+- Build host: linux sandbox, tectonic via `cargo build --release`
+  binary `target/release/trios-mcp-rag` (SHA matches v11).
+- Database: read-only fetch from `ssot_brochure.chapters` on
+  `127.0.0.1:5433/railway` (local Postgres 17 mirror of Railway SSOT).
+  All writes for this audit happened under the v12 migration's single
+  transaction; rollback path documented in
+  `docs/migrations/2026-05-29-v12-runbook.md`.
+- Reproducibility: `pandoc --version` and `tectonic --version` pinned
+  by `Cargo.lock` workspace. Migration SQL is idempotent (every probe
+  is a `replace()` or `regexp_replace()` that produces no further
+  change when re-applied to the post-v12 state).
+
+## Backups
+
+- `/tmp/pgbackup/all_chapters_pre_v12_20260529T135422Z.tsv` (566 KB)
+- `/tmp/pgbackup/chapter.template.tex.pre_v12_20260529T135422Z` (9.0 KB)
+- `/tmp/pgbackup/GOLDEN_CHAIN_v11_20260529T135422Z.pdf` (3.4 MB)
+
+Restore procedure is in
+`docs/migrations/2026-05-29-v12-runbook.md` §"Rollback".