Repository navigation
spec(port): verify_precision as .t27 - #6283
Merged
Merged
Conversation
…n.t27 (Closes #5620) Ports what the script decides and computes: exit 1 without mpmath, the default of 100 digits, and the closed forms of the phi identity, the trinity identity and the Pellis expression in f64 (arbitrary precision, argparse, JSON and file output stay plumbing). The Pellis value 137.21633905226457 was checked against the original formula in Python. Checked with t27c from this tree and Zig 0.16.0: typecheck OK, spec-status IMPLEMENTED, gen 83 lines with no "not yet implemented", test-report 7/7. Co-Authored-By: Claude Sonnet 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 #5620
Adds
specs/port/scripts/verify_precision.t27, the port ofscripts/verify_precision.py. One file, nothing else.Ported: the refusal to run without mpmath (exit 1), the default of 100 digits, and the closed forms of the phi identity, the trinity identity (phi^2 + phi_inv^2 = 3) and the Pellis expression, in f64. Arbitrary-precision arithmetic, argparse, JSON and file output are plumbing and stay an
undefined;main. The Pellis value (137.21633905226457) was checked against the original formula in Python double precision; f64 cannot reproduce the 100-digit output of the original.Checks from this branch with
t27cbuilt from the same tree and Zig 0.16.0: typecheck OK, spec-status IMPLEMENTED, gen 83 lines with 0 xnot yet implemented, test-report 7 tests, 7 pass, 0 BLOCKED, dupe_scan ok.Not checked: CI result is pending.
🤖 Generated with Claude Code