🧹 L-DOI-HONEST: add DOI_PROVENANCE.md disambiguation (R5)#137
Open
gHashTag wants to merge 1 commit into
Open
Conversation
…aim implication
The Rust anchor markers across this repo carry the line:
// Anchor: φ²+φ⁻²=3 · DOI 10.5281/zenodo.19227877
A reasonable reader might infer that the DOI hosts the proof or a paper.
It does not. Audit 2026-05-12 confirmed Zenodo 10.5281/zenodo.19227877 is
'Trinity B007: VSA Operations for Ternary Computing v5.0' — a 1968-byte
markdown description stub (1 download, 49 views), licensed CC-BY-4.0, not
peer-reviewed.
Rather than mass-rewriting every comment (which would break audit grep
patterns in trios artifact gates and tooling), this patch:
1. Adds docs/DOI_PROVENANCE.md — the canonical R5-honest reading of the
anchor marker, including the actual Coq corpus stats from gHashTag/t27
(48 statements / 35 Proven / 0 Admitted across 10 .v files).
2. Updates README.md so the anchor badge links to DOI_PROVENANCE.md
instead of the Zenodo record, and adds a one-line honest summary.
3. Documents the forbidden phrasings ('84 theorems', 'Trinity paper anchor')
so they do not regrow in future code or docs.
The literal anchor strings remain unchanged so:
- trios/artifact/acm-ae-check witness substring grep keeps passing,
- L-R14 trace through assertions/igla_assertions.json is preserved,
- existing PR ledgers and audit rows stay byte-stable.
R5-honest. ICA-DOI-2026-05-12-T22:00. Throne trios#264. Sibling PR in
trios: fix/l-doi-honest.
This was referenced May 12, 2026
Merged
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
🧹 L-DOI-HONEST — Add DOI_PROVENANCE.md disambiguation (R5)
Sibling of gHashTag/trios#fix/l-doi-honest. Closes overclaim flagged in ICA-DOI-2026-05-12-T22:00.
Why this is a docs-only patch (not a mass sed)
This repo carries the line
// Anchor: φ²+φ⁻²=3 · DOI 10.5281/zenodo.19227877in 20+ Rust files. A reasonable reader might infer the DOI hosts a paper or a proof. It does not — Zenodo audit 2026-05-12 confirms it is
Trinity B007: VSA Operations for Ternary Computing v5.0, a 1968-byte markdown description stub (1 download, 49 views, no peer review).Mass-rewriting the comment markers would:
acm-ae-checksubstring grep patterns ingHashTag/trios/artifact/,This patch solves the actual root cause — reader misinterpretation — without touching the audited literal strings:
docs/DOI_PROVENANCE.md(new) — the canonical R5-honest reading of the anchor marker, with the actualgHashTag/t27/coqaudit numbers (48 statements, 35 Proven, 0 Admitted across 10.vfiles) and a forbidden-phrasings list ("84 theorems", "Trinity paper anchor").README.md— anchor badge now links todocs/DOI_PROVENANCE.mdinstead of the Zenodo record; one-line honest summary added next to "Anchor: phi^2 + phi^-2 = 3".Falsifiability gate
H: After merge,
cat README.md docs/DOI_PROVENANCE.md | grep -c "NOT a peer-reviewed paper"≥ 2 ANDgrep -rn "84 theorem\|84-theorem\|84 Coq" docs/ README.mdreturns 1 (the explicit anti-claim inDOI_PROVENANCE.md).Refuted iff: the doc fails to label the DOI as a software stub OR the "84 theorems" anti-claim is removed.
Constitutional compliance
Coordination
φ² + φ⁻² = 3 · TRINITY · R5-HONEST · NEVER STOP