Repository navigation
XL-2 named Nat/Int decimal conversions (#13436 fixed, folded onto v1-closeout) - #13668
Merged
Merged
Conversation
Integrate current main after #13388; keep named hole conversions on std.nat / std.integer.
…he spatial cast.
Merging main reintroduced one implicit stringify (Map Display in the canonical-order witness) and left the spatial_dimension `{o as String}` template as a v1 span mismatch. Named Int/Nat/Symbol routes stay; the Map hole is deleted rather than given a fourth renderer.
Co-authored-by: Cursor <cursoragent@cursor.com>
…session/royal-lynx-855
…able; no D9 default for out-of-range Int
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
Author
This was referenced Oct 10, 2026
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.
Folds #13436 (origin/session/deep-newt-14-conv merged by name) onto integration/v1-closeout and fixes review 5477170528's blocking defect.
Defect: decimal_digit_of_reduced_units mapped every out-of-range Int to D9 (fail-open, DESIGN §5).
Fix (construction, not validation): the lookup and its default arm are deleted. decimal_digit_of_units now constructs the digit by walking the one std.nat decimal_digit_successor table (carry wraps to D0 = the units digit of ten); no Int-to-digit selection exists to be out of range. Because every Int now has a correct answer, there is no refusal arm: -1 -> D1, 10 -> D0, 99 -> D9 (units digit of magnitude), 9 -> D9.
Controls: decimal_digit_of_units_is_constructed_not_defaulted in peano_nat_structural_realization_test.dag (9, 0, -1, 10, 99, -10).
Mirror: src/v1/stage0/src/std_integer.rs taken from a remote required-regen candidate (BuildBuddy 60GB; srv1 not reachable from this session), not hand-merged. The required-regen reported drift only in std_integer.rs; CI build lane is the fixed-point check.
🤖 Generated with Claude Code