Repository navigation
numeric: paper_claims.t27 no longer states the withdrawn GF16 clock in claim 10 (Closes #10418) - #10422
Merged
Conversation
…k in claim 10 (Closes #10418) The testbench row stays not checkable; its text now points at RESEARCH_CLAIMS.md, Retraction 2026-08-18. t27c 0.5.2 test-report on the Railway lab: 10 of 10 pass, 0 vacuous; t27c fmt leaves it unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
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.
Closes #10418
What
Claim 10 of
specs/numeric/paper_claims.t27(merged in #10401) quoted the GoldenFloat abstract's testbench line along with its clock frequency.docs/nona-03-manifest/RESEARCH_CLAIMS.md, Retraction 2026-08-18, withdrew that frequency: it is a ring-oscillator toggle rate, not a GF16 path. After the merge, thewithdrawn-livegate failed on that line.The claim text now reads "35 of 35 testbench vectors pass; the clock printed beside them is withdrawn (RESEARCH_CLAIMS.md, Retraction 2026-08-18)". The verdict stays not checkable, so the totals are unchanged at 34 / 8 / 3. This is a one-string change.
Checked (Railway lab, t27c 0.5.2, zig 0.16.0)
t27c test-report specs/numeric/paper_claims.t27: 10 pass, 0 fail, 0 of 10 vacuoust27c fmtoutput is byte-identical to the fileThe other red checks on #10401 were already red before this change and are not touched here: count-invariant (tnf*.t27 lost
former_name) and claw-sarif (a GitHub App permissions 422).🤖 Generated with Claude Code