PASS-8 R5-honest deep-sweep — Appendix F→M rename completion + image-gate

[gHashTag]

PASS-8 R5-honest deep-sweep — Appendix F→M rename completion + image-gate

Follow-up to PASS-7 (#757, merged). PASS-8 ran a 10-dimension audit across the 5-repo Trinity hive after PASS-7 merges; this issue tracks the trios findings.

Anomalies discovered

ID	Severity	Class	Files
A3	🔴 HIGH	Appendix rename incomplete	docs/phd/appendix/M-fpga-bitstream.tex — TOC entry, 13 section headers (F.0..F.11), 12 labels (sec:appF-*), and 25 internal \S F.x references all still carry the old F prefix despite the file being renamed M-fpga-bitstream.tex (App.F is now Coq Citation Map per main.tex:417).
A4	🔴 HIGH	Image-gate (silent-drop) + thematic mismatch	docs/phd/appendix/F-coq-citation-map.tex:15 — \includegraphics{app-f-bitstream-archive.png}. The Coq Citation Map appendix renders an FPGA-bitstream-archive figure that belongs in App.M, AND the PNG does not exist on main (only on feat/illustrations).
A5	🔴 HIGH	Image-gate (silent-drop)	docs/phd/appendix/M-fpga-bitstream.tex:9 — same missing PNG (the file app-f-bitstream-archive.png / app-m-bitstream-archive.png is not on main).
A6	🟡 MED	Filename drift	docs/phd/appendix-F-fpga-expansion-audit.md — file naming reflects pre-rename identity; the audit document tracks task 2.7 for the FPGA appendix, which is now App.M.

Out-of-scope tracking (observation, no PASS-8 fix)

ID	Severity	Class	Note
A7	🟠 OBSERV	Image-gate wide miss	The full image-gate sweep across docs/phd/ finds 44 \includegraphics references in .tex files; none of the referenced filenames exist in either of the two graphicspath directories (docs/phd/assets/ is empty; trios/assets/illustrations/ carries 34 PNGs named 00-monad.png..33-epilogue.png, not ch01-introduction.png etc.). This is an architectural gap (the .tex references and the actual illustration filenames are in completely different naming schemes), tracked here as observation only — fix requires an operator-level decision on which naming scheme to canonicalise (rename PNGs vs rewrite 44 \includegraphics).

R5-honest audit probes

• ✅ Community trinity-s3ai live-verified: 12 records, no drift
• ✅ All 12 canonical DOIs return HTTP 200
• ✅ Bibliography .bib and Coq .v DOI citations: no drift since PASS-7
• ✅ Cargo / package manifests: no DOI drift
• ✅ GitHub Actions workflows: no DOI drift
• ✅ Cross-repo ORCID drift: zero (post-PASS-7 t27 fix holds)
• 🔴 Appendix-F-or-M consistency probe → A3/A4/A5/A6 surfaced
• 🟠 Full \includegraphics image-gate probe → A7 observation

Fix plan (companion PR)

1. A3: surgical sed-rename inside M-fpga-bitstream.tex only: TOC entry, 13 section headers F.x→M.x, 12 labels sec:appF-*→sec:appM-*, 25 internal \S F.x→\S M.x references. External cross-references verified empty (no other .tex file references the renamed labels), so the rename is local and safe.
2. A4: remove broken \includegraphics block from F-coq-citation-map.tex:15 with R5-honest audit comment + TODO(LD) for a thematically-correct Coq corpus statistics blueprint figure.
3. A5: remove broken \includegraphics block from M-fpga-bitstream.tex with R5-honest audit comment + TODO(LD) for a proper bitstream-archive figure.
4. A6: git mv appendix-F-fpga-expansion-audit.md → appendix-M-fpga-expansion-audit.md with banner explaining the rename; update cross-references in appendix-G-expansion-audit.md and AUDIT_REPORT.md.
5. A7: leave in place; capture in this issue as a future operator decision.

Cross-refs

• Throne: 👑 TRINITY HIVE — Queen's Registry & ONE SHOT Dispatch #264
• PASS-7 predecessor: chore(zenodo): PASS-7 R5-honest — RAG chunks, App.H→App.N, image-gate #757 (merged)
• App.N introduction: feat(phd): Appendix F §F.7 cross-repo audit (678 theorems) + F+F/H+H collision fix #743
• Companion PASS-8 PR in t27: chore(zenodo): PASS-8 fix placeholder DOIs in t27 .bib files t27#601 (placeholder DOIs in .bib files)
• Single source of truth: https://zenodo.org/communities/trinity-s3ai/

φ² + φ⁻² = 3 · TRINITY · R5-HONEST · PASS-8