Skip to content

chore(zenodo): PASS-8 Appendix F→M rename completion + image-gate#763

Open
gHashTag wants to merge 1 commit into
mainfrom
chore/zenodo-pass8-appendix-m-rename
Open

chore(zenodo): PASS-8 Appendix F→M rename completion + image-gate#763
gHashTag wants to merge 1 commit into
mainfrom
chore/zenodo-pass8-appendix-m-rename

Conversation

@gHashTag
Copy link
Copy Markdown
Owner

Closes #762

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

Follow-up to PASS-7 (#757, merged at 3bd9536). PASS-8 ran a 10-dimension audit across the 5-repo Trinity hive after PASS-7 merges; this PR lands the trios-side fixes for 6 anomalies (4 fixed here, 1 observation tracked, plus a companion PR in t27#601).

Anomalies fixed

ID Severity Class Fix
A3 πŸ”΄ HIGH Appendix rename incomplete M-fpga-bitstream.tex β€” TOC entry, 13 section headers F.xβ†’M.x, 12 labels sec:appF-*β†’sec:appM-*, 25 internal \S F.xβ†’\S M.x refs. Verified zero external references to old labels.
A4 πŸ”΄ HIGH Image-gate (silent-drop) + thematic mismatch F-coq-citation-map.tex:15 β€” removed broken \includegraphics{app-f-bitstream-archive.png} (FPGA figure in Coq Citation Map appendix + PNG only on feat/illustrations). Added R5 audit comment + TODO(LD).
A5 πŸ”΄ HIGH Image-gate (silent-drop) M-fpga-bitstream.tex:9 β€” removed same broken \includegraphics. Added R5 audit comment + TODO(LD).
A6 🟑 MED Filename drift git mv appendix-F-fpga-expansion-audit.md β†’ appendix-M-fpga-expansion-audit.md + banner; updated cross-refs in appendix-G-expansion-audit.md and AUDIT_REPORT.md.

Tracked, not fixed

ID Severity Class Note
A7 🟠 OBSERV Image-gate wide miss 44 \includegraphics refs in docs/phd/ vs zero matching PNGs on main β€” architectural naming-scheme mismatch (ch01-introduction.png refs vs 00-monad.png actuals on feat/illustrations). Requires operator decision on canonicalisation; tracked in #762.

Verified clean (PASS-8 probe results)

  • βœ… Community trinity-s3ai live: 12 records, no drift
  • βœ… All 12 canonical DOIs return HTTP 200
  • βœ… Bibliography .bib + 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 (PASS-7 t27 fix holds)

Cross-refs

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

Closes #762

R5-honest deep-sweep PASS-8 follow-up to PASS-7 (#757, merged).

Fixes:
- A3 (HIGH): M-fpga-bitstream.tex — TOC entry, 13 section headers F.x→M.x,
  12 labels sec:appF-*→sec:appM-*, 25 internal \S F.x→\S M.x refs.
  Verified zero external references to the old labels (local rename).
- A4 (HIGH): F-coq-citation-map.tex β€” removed broken \includegraphics
  pointing at app-f-bitstream-archive.png (thematic mismatch: belongs in
  App.M; PNG only exists on feat/illustrations). Added R5 audit comment
  + TODO(LD).
- A5 (HIGH): M-fpga-bitstream.tex β€” removed same broken \includegraphics
  (image-gate silent-drop). Added R5 audit comment + TODO(LD).
- A6 (MED): git mv appendix-F-fpga-expansion-audit.md β†’
  appendix-M-fpga-expansion-audit.md; updated cross-refs in
  appendix-G-expansion-audit.md and AUDIT_REPORT.md; added banner.

Tracked, not fixed:
- A7 (OBSERV): full image-gate sweep finds 44 \includegraphics refs in
  docs/phd/ with zero matching PNGs on main β€” architectural naming-scheme
  mismatch (ch01-introduction.png refs vs 00-monad.png actuals on
  feat/illustrations). Requires operator decision; tracked in #762.

phi^2 + phi^-2 = 3 . TRINITY . R5-HONEST . PASS-8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

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

1 participant