fix(R5): rewrite CITATION.cff abstract to drop unverifiable claims

[gHashTag]

🔴 R5-HONEST · Phase 3 of L-DOI-HONEST sweep

Companion to PR #739 (trios), PR #137 (trainer), and ZENODO-REHAB report.

Context

Phase 2 (Zenodo metadata rehab, 2026-05-12) made all canonical Trinity Zenodo records R5-honest: "software description stub, not a peer-reviewed paper", linked to gHashTag/t27/coq witness (48 statements, 35 Proven, 0 Admitted).

Phase 3 (this PR) fixes the matching repo-side overclaims that survived the previous sweep — found via deep-grep across gHashTag/{trios,trinity,trinity-fpga,trios-trainer-igla} (279 files touched 10.5281/zenodo.*, 7 carried R5 violations).

Witness

• See companion PRs in sibling repos under branch fix/zenodo-repo-honest-deepsweep.
• Coq audit reproduction: grep -rE '^\s*(Theorem|Lemma|Qed|Admitted)\s+' coq --include='*.v' in gHashTag/t27.

Anchor

phi^2 + phi^-2 = 3 (algebraic identity, not an empirical claim).

[gHashTag]

🌀 PASS-2 push — this PR now contains an additional commit closing R5 violations the original Phase-3 sweep missed.

What's new in PASS-2:

• The Phase-3 Coq counts (48 statements / 35 Proven / 0 Admitted) were a SUBSET of trios/docs/phd/theorems/Kernel/* + /Theorems/*. The authoritative gHashTag/t27 corpus (./coq + ./proofs) on 2026-05-12 is 28 .v files, 218 statements, 162 Qed, 32 Admitted, 11 Abort. Every place that quoted the old subset is now updated.
• Additional R5 sweep across *.rs, *.cff, artifact/CLAIMS.md, tools/acm_ae_check/src/lib.rs, trinity-clara/proofs/README.md, docs/research/coq-invariants-strategy.md.
• docs/golden-sunflowers/app-b-golden-ledger-297-qed-canonical-sha-1.md describes a t27/proofs/canonical/_Manifest.json infrastructure that does NOT exist — prepended [SUPERSEDED] banner with the audited counts.
• CITATION.cff (trinity + trinity-fpga): unjustified "statistical rigor" keyword dropped; abstract refined to say per-experiment statistical results are not asserted by the cite-card.

📜 Full NASA mission report: ZENODO-REPO-AUDIT-PASS-2-2026-05-12-T23:50

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

[gHashTag]

🔥 PASS-3 update — three new anomaly classes purged

This PR was expanded with PASS-3 fixes discovered after PASS-2 was declared complete. R5 honesty gate triggered a third iterative deep sweep.

Three new anomaly classes found and fixed:

1. Self-DOI errors in 5 of 8 deposition templates (CRITICAL) — B003-B007 .zenodo.*_v{8,9}.0.json claimed wrong canonical DOIs (one pointed at HTTP 404, another at a "Motor Vehicles" paper).
2. Hallucinated / unrelated DOIs in related_identifiers — 19227779 and 19227841 do not exist on Zenodo; 19227835/839/843/845 resolve but to completely unrelated work (verified via Zenodo public API).
3. D-series superseded DOIs — Zenodo's 2026-05-12 D-series republication retired 19020211/13/15/17 in favour of canonical 19020270/75/80/82; 35+ doc references updated.

See full NASA PASS-3 report: trios#264 — NASA PASS-3 RVR-003 comment

R5 verification (post-PASS-3): 0 hallucinated / 0 superseded / 0 self-DOI errors remain across all three repos.

Anchor: phi^2 + phi^-2 = 3 · R5-HONEST · 2026-05-12T16:30:00Z