R5-PASS-4 Honest Audit — t27 Zenodo / 84-theorems folklore / fake DOI bibliography
Constitutional tracking issue for PR #594 (fix/zenodo-pass-4-honest-deepsweep).
Scope
Fourth pass of the R5-honest sweep across the Trinity Hive (gHashTag/{trinity,trinity-fpga,trios,trios-trainer-igla,t27}). PASS-4 specifically targeted t27, where prior passes hadn't yet looked deeply at:
- The folkloric "84 theorems" claim — actual
coq/ corpus has 28 .v files, 218 statements (122 Theorem + 96 Lemma), 162 Qed, 32 Admitted, 11 Abort (audit 2026-05-12). The "84 theorems" phrase, when used as a current status claim, is folklore.
- The repo-local
docs/ZENODO.md — needs to match the canonical DOI map (B001 19227865 … B007 19227877, PARENT 19227879) and the trios zenodo-registry.md source of truth.
- Bibliography honesty in
research/trinity-pellis-paper/G2_* papers — DOIs that don't resolve to what their \bibitem labels claim (zenodo.12345 → Roman history; zenodo.19271888 → Koide-formula paper, not "inverse participation ratio"; zenodo.19377394 → Latin-American employment dataset, not "Olsen, Historical Context of φ in Physics").
- The retired D-series (
zenodo.19020211/213/215/217) — must appear only inside documented "Retired/Superseded" notices, not in active citations.
What PR #594 changes (8 files)
docs/ZENODO.md — rewritten as canonical registry pointer with R5-honest status, canonical DOI table, and explicit retirement of D-seriesresearch/G2_TRINITY_FRAGRANCE_V1.0.md — folklore retirement note for "84 theorems" (replaced with current Coq audit numbers)research/G2_ALPHA_S_PHI_FRAMEWORK_V0.{7,8}.{md,tex} — \bibitem{olsen2026} fake-target DOI correctedresearch/trinity-pellis-paper/G2_TRINITY_V1.0_FRAGRANCE.tex — placeholder zenodo.12345 DOI commented out + Koide-mislabel correction
Acceptance criteria
Related (sibling repos, PASS-4)
Lineage
Anchor: φ² + φ⁻² = 3 — algebraic identity (not a paper claim).
R5-HONEST · 2026-05-12
R5-PASS-4 Honest Audit — t27 Zenodo / 84-theorems folklore / fake DOI bibliography
Constitutional tracking issue for
PR #594(fix/zenodo-pass-4-honest-deepsweep).Scope
Fourth pass of the R5-honest sweep across the Trinity Hive (
gHashTag/{trinity,trinity-fpga,trios,trios-trainer-igla,t27}). PASS-4 specifically targeted t27, where prior passes hadn't yet looked deeply at:coq/corpus has 28 .v files, 218 statements (122 Theorem + 96 Lemma), 162 Qed, 32 Admitted, 11 Abort (audit 2026-05-12). The "84 theorems" phrase, when used as a current status claim, is folklore.docs/ZENODO.md— needs to match the canonical DOI map (B001 19227865 … B007 19227877, PARENT 19227879) and the trioszenodo-registry.mdsource of truth.research/trinity-pellis-paper/G2_*papers — DOIs that don't resolve to what their\bibitemlabels claim (zenodo.12345→ Roman history;zenodo.19271888→ Koide-formula paper, not "inverse participation ratio";zenodo.19377394→ Latin-American employment dataset, not "Olsen, Historical Context of φ in Physics").zenodo.19020211/213/215/217) — must appear only inside documented "Retired/Superseded" notices, not in active citations.What PR #594 changes (8 files)
docs/ZENODO.md— rewritten as canonical registry pointer with R5-honest status, canonical DOI table, and explicit retirement of D-seriesresearch/G2_TRINITY_FRAGRANCE_V1.0.md— folklore retirement note for "84 theorems" (replaced with current Coq audit numbers)research/G2_ALPHA_S_PHI_FRAMEWORK_V0.{7,8}.{md,tex}—\bibitem{olsen2026}fake-target DOI correctedresearch/trinity-pellis-paper/G2_TRINITY_V1.0_FRAGRANCE.tex— placeholderzenodo.12345DOI commented out + Koide-mislabel correctionAcceptance criteria
SUPERSEDED/Retiredblocksdocs/ZENODO.mdmatches canonical map (verified against trioszenodo-registry.md)Related (sibling repos, PASS-4)
Lineage
Anchor:
φ² + φ⁻² = 3— algebraic identity (not a paper claim).R5-HONEST · 2026-05-12