Repository navigation

XL-2: named conversions for every non-String interpolation hole (std.nat / std.integer decimal renderers), stacked on #13405 - #13436

Closed

gunbai-bot[bot] wants to merge 21 commits into

mainfrom

session/deep-newt-14-conv

Commits on Oct 5, 2026
- XL-2 step 2: interpolation hole-type census (gunbc test //gunbc/instruments:interpolation-hole-census), v1 oracle
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4ea80e6
- Census: recover v1-fused adjacent holes; spell holes from the node; print fixture rows
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1a2349f
- Census: corpus completeness gates the exit; name every expression kind and v1's error text
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  12ff967
- WIP conversions
  gunbc-ci-auto-heal
  committed
  0baeb25
- Merge census head
  gunbc-ci-auto-heal
  committed
  2cf9a0e
- WIP: move decimal renderers to std.nat / std.integer
  gunbc-ci-auto-heal
  committed
  91a7389
- Merge origin/main
  gunbc-ci-auto-heal
  committed
  b6fa8ec
- Merge census head + origin/main
  gunbc-ci-auto-heal
  committed
  3f55d3c
- XL-2: named conversions for every non-String interpolation hole; decimal renderers move to std.nat / std.integer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f06abea
- WIP: cron witness, fusion RFM row, grounding imports
  gunbc-ci-auto-heal
  committed
  dd9aede
- contributor_onboarding_path: keep the historical renderer name; cite std.integer int_to_decimal_string (review 76681)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a1603c0
Commits on Oct 8, 2026
- Merge origin/main into #13436 (retargeted to main after #13405 landed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6c3662b
- Seed bootstrap: #13436's own std_integer/std_nat/semver mirrors (they carry the moved renderers)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f777bec
- Regenerate stage0 mirrors after the main merge (required-regen drift was exactly these three)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b3875e9
- Digits by construction: Nat split yields a DecimalDigit; Int units digit exact for every Int; renderer never negates (review 77969)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3cbc3fa
- Regenerate std_nat/std_integer stage0 mirrors for the digit construction
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2fa50c5
- Nat rendering back to O(digits): divide by the declared nat_div_rem_by_succ, construct only the remainder's digit (review 77976)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9528758
- Regenerate std_nat stage0 mirror for the O(digits) renderer
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f1ce785
- grounding: import layer_prefix_from_dotted_qualified_name from its new home v2.std.layer (moved on main)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f1e47f0
Commits on Oct 9, 2026
- Merge origin/main into session/deep-newt-14-conv
  Brian Searls
  committed
  0f14618
- Close the post-main census: drop the Map interpolation hole, concat the spatial cast.
  
  Brian Searls
  and
  cursoragent
  committed
  82da0e4

Navigation Menu

Repository navigation

XL-2: named conversions for every non-String interpolation hole (std.nat / std.integer decimal renderers), stacked on #13405 - #13436

XL-2: named conversions for every non-String interpolation hole (std.nat / std.integer decimal renderers), stacked on #13405#13436
gunbai-bot[bot] wants to merge 21 commits into
mainfrom
session/deep-newt-14-conv

Commits on Oct 5, 2026

XL-2 step 2: interpolation hole-type census (gunbc test //gunbc/instruments:interpolation-hole-census), v1 oracle

Census: recover v1-fused adjacent holes; spell holes from the node; print fixture rows

Census: corpus completeness gates the exit; name every expression kind and v1's error text

WIP conversions

Merge census head

WIP: move decimal renderers to std.nat / std.integer

Merge origin/main

Merge census head + origin/main

XL-2: named conversions for every non-String interpolation hole; decimal renderers move to std.nat / std.integer

WIP: cron witness, fusion RFM row, grounding imports

contributor_onboarding_path: keep the historical renderer name; cite std.integer int_to_decimal_string (review 76681)

Commits on Oct 8, 2026

Merge origin/main into #13436 (retargeted to main after #13405 landed)

Seed bootstrap: #13436's own std_integer/std_nat/semver mirrors (they carry the moved renderers)

Regenerate stage0 mirrors after the main merge (required-regen drift was exactly these three)

Digits by construction: Nat split yields a DecimalDigit; Int units digit exact for every Int; renderer never negates (review 77969)

Regenerate std_nat/std_integer stage0 mirrors for the digit construction

Nat rendering back to O(digits): divide by the declared nat_div_rem_by_succ, construct only the remainder's digit (review 77976)

Regenerate std_nat stage0 mirror for the O(digits) renderer

grounding: import layer_prefix_from_dotted_qualified_name from its new home v2.std.layer (moved on main)

Commits on Oct 9, 2026

Merge origin/main into session/deep-newt-14-conv

Close the post-main census: drop the Map interpolation hole, concat the spatial cast.