Skip to content

numeric: paper_claims.t27 recomputes 45 numbers printed in the GoldenFloat, Golden Ruler and TNF papers; tri papers (Closes #10392) - #10401

Merged
gHashTag merged 1 commit into
masterfrom
claude/papers-check
Oct 18, 2026
Merged

numeric: paper_claims.t27 recomputes 45 numbers printed in the GoldenFloat, Golden Ruler and TNF papers; tri papers (Closes #10392)#10401
gHashTag merged 1 commit into
masterfrom
claude/papers-check

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 18, 2026

Copy link
Copy Markdown
Owner

Closes #10392

What

  • specs/numeric/paper_claims.t27 (module NumericPaperClaims): 45 numbers printed in arXiv:2606.05017v5 (GoldenFloat), arXiv:2606.09686v3 (Golden Ruler) and the TNF paper, plus 2 sums over the repo's own format tables. Each is recomputed with exact u64 arithmetic and gets a verdict.
  • scripts/tri: tri papers runs the spec's test report. Net zero foreign lines: +1 usage line, +1 dispatch line, -1 duplicated comment, -1 double blank line.

Result

paper fits does not fit not checkable
GoldenFloat (2606.05017) 9 0 1
Golden Ruler (2606.09686) 8 1 1
TNF paper 15 7 1
repo tables 2 0 0
all 34 8 3

The 8 misfits:

  1. Golden Ruler: it prints 12 clusters, but the catalog has 13.
  2. TNF Table 1: the M column matches the stated rule in 2 of 8 rows.
  3. TNF16, Eq. (1): M recomputes to 11; the paper prints 9 (2^9).
  4. kappa ratio: printed 1.683, exact arithmetic gives 1.682.
  5. TNF Table 24: the GF-T golden split holds in 1 of 9 rows.
  6. "8 of 9 identical": recomputes to 1.
  7. TNF Table 24: the E+M sums hold in 3 of 9 rows.
  8. BNF8: the paper prints E = 3; the repo's table has E = 5.

Checked

  • Railway lab, t27c 0.5.2 + zig 0.16.0: tri papers passes 10 of 10 tests, 0 vacuous. The spec has no fmt diff and is ASCII only.
  • t27b was not run: its JIT is arm64-only and the lab is x86.
  • The MCP side is gHashTag/t27-mcp t27_paper_claims: wasm generated from this spec, smoke passed on the lab.

🤖 Generated with Claude Code

@gHashTag @claude
numeric: paper_claims.t27 recomputes 45 numbers printed in the Golden…
9257679 
…Float, Golden Ruler and TNF papers; tri papers runs it (Closes #10392)

Exact u64 arithmetic only. 34 fit, 8 do not fit, 3 not checkable.
10 of 10 tests pass, 0 vacuous (t27c 0.5.2 on the Railway lab).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 18, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 11:03:31 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 50
PRs with All Checks Green 0
READY 0
FAILING 50
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 11:04
@gHashTag
gHashTag merged commit d7183d8 into master Oct 18, 2026
30 of 35 checks passed
This was referenced Oct 18, 2026
Open
Open
Closed
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

numeric: recompute the numbers printed in the GoldenFloat, Golden Ruler and TNF papers (paper_claims.t27, tri papers)

1 participant

@gHashTag