Repository navigation
Brief 009: hosts ship Counts with wald alone - #12
Merged
Merged
Conversation
…imit; wald.digest, wald.score, wald.e7 - counts.realisable: a prefix falsifier may end at an ending outcome (V2.7; v0's loop checks zero mass first), and a record's end is its last draw's when that draw ends the episode. - digits.py: whole numbers of any length, 600 digits at a time; text.swap_long names a decimal literal too long for Python before ast.parse; cells and counts read it. Every number written for a reader goes through digits.rational. sys.set_int_max_str_digits is never called. - digest.py renamed canonical.py, so no submodule shadows wald.digest; ship.py gives digest, score (as a pack writes it) and e7 (a Display); __all__ has fourteen names. law: kit-v0.13. - tests: test_ship.py runs API.md's worked example as printed, a 34,486-digit Score through load_pack, and the same under -X int_max_str_digits=640. The differential allows no divergence but SURFACE K7's two-rule variants: RECORDED and the Q1, Q3/Q17, Q13 clauses go. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ns; API.md's worked example; Q10-Q17 closed Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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
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.
Brief 009 - hosts ship Counts with wald alone. Q15: a prefix falsifier may end at an ending outcome, the falsifying report being its last draw (V2.7). wald.load_pack reads integer literals of any length without touching Python's interpreter-wide limit. Public wald.digest, wald.score and wald.e7, so a host plays a plate and writes the pack that ships its Counts with no kit. wald.law names kit-v0.13. The differential's allowances for Q10-Q17 are removed: the reference now agrees with the page. Kit v0.13 green at the builder's seed and author-side at an unseen seed. Noted for SURFACE v0.3: a multiplicity too large for exact arithmetic is declarable in law and in no implementation.