Repository navigation

Retire v2.std.algebra filter/any onto the collection roster's callback form (ruling B') - #13541

Closed

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

mainfrom

session/silent-wren-814-filter-any

Commits on Oct 7, 2026
- WIP filter/any onto the roster callback form (ruling B'): arms, rows, delete v2.std.algebra filter/any, retirement rows; discovery probe
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9243f0b
- Drop v2.std.algebra filter/any from every import list (generated: tools.source_reference_repoint retire-member; pending report empty)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  40e28af
- retire member: a newline ends a brace-less import, so the next line's statement is scanned on its own (two retired members were missed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bc60e14
- Host text inhabits the free monoid over Char on the seed route (ruling B, S1): filter/any rows on the String profile, generator Char, interp Str arms, emitter .chars(); controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cb81b28
- Drop the two v2.std.algebra filter/any imports the fixed retire-member scan now finds (generated)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7b4bc61
- Regenerate std_algebra, infer_types and emit_rust mirrors (fixed point at round 2; text's any resolves on the regenerated seed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e586ba8
- WIP discovery probe (removed before ready)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4e52fbb
- WIP discovery probe: plain forms (removed before ready)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a302938
- host-text controls and probe: escape braces in fixture source strings (a bare { in a .dag string is interpolation)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dc7cf96
- WIP: discovery fn in the host-text witness (removed before ready); drop the separate probe
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8b3a071
- host-text generator is std.types.Char, qualified (a bare template name resolves at the call site); debug fn returns ProcessExit
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  11b47a8
- emitter: the .chars() branch fires for HOST text only, decided by provenance (is_host_text_carrier_type); v2.std.text's structural String keeps the list path (E0599 on Rc<Vector<i64>>)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2b64925
- seed: a method callback's element over host text is the profile's generator (Char), not a one-char String (callback_element_type_node); for over a String unchanged
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1bd9922
- Regenerate the four seed mirrors (fixed point at round 2); host-text controls pass 5/5; the declared-any control becomes a RED (the roster owns the name); drop the discovery fn
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e393930
- collection callback test: remove a stray brace from the control conversion
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a2bd99f
- Two seed-route fixes the floor found: cause_assertion_census types its candidate list (a match with a bare [] arm leaves the receiver unresolved for the method bridge); the census test passes its f…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c131354
Commits on Oct 9, 2026
- WIP: XL-2: adopt #13284 + filter/any/first roster (successor to stern-swift-2
  gunbc-ci-auto-heal
  committed
  4b8875d

Navigation Menu

Repository navigation

Retire v2.std.algebra filter/any onto the collection roster's callback form (ruling B') - #13541

Retire v2.std.algebra filter/any onto the collection roster's callback form (ruling B')#13541
gunbai-bot[bot] wants to merge 17 commits into
mainfrom
session/silent-wren-814-filter-any

Commits on Oct 7, 2026

WIP filter/any onto the roster callback form (ruling B'): arms, rows, delete v2.std.algebra filter/any, retirement rows; discovery probe

Drop v2.std.algebra filter/any from every import list (generated: tools.source_reference_repoint retire-member; pending report empty)

retire member: a newline ends a brace-less import, so the next line's statement is scanned on its own (two retired members were missed)

Host text inhabits the free monoid over Char on the seed route (ruling B, S1): filter/any rows on the String profile, generator Char, interp Str arms, emitter .chars(); controls

Drop the two v2.std.algebra filter/any imports the fixed retire-member scan now finds (generated)

Regenerate std_algebra, infer_types and emit_rust mirrors (fixed point at round 2; text's any resolves on the regenerated seed)

WIP discovery probe (removed before ready)

WIP discovery probe: plain forms (removed before ready)

host-text controls and probe: escape braces in fixture source strings (a bare { in a .dag string is interpolation)

WIP: discovery fn in the host-text witness (removed before ready); drop the separate probe

host-text generator is std.types.Char, qualified (a bare template name resolves at the call site); debug fn returns ProcessExit

emitter: the .chars() branch fires for HOST text only, decided by provenance (is_host_text_carrier_type); v2.std.text's structural String keeps the list path (E0599 on Rc<Vector<i64>>)

seed: a method callback's element over host text is the profile's generator (Char), not a one-char String (callback_element_type_node); for over a String unchanged

Regenerate the four seed mirrors (fixed point at round 2); host-text controls pass 5/5; the declared-any control becomes a RED (the roster owns the name); drop the discovery fn

collection callback test: remove a stray brace from the control conversion

Two seed-route fixes the floor found: cause_assertion_census types its candidate list (a match with a bare [] arm leaves the receiver unresolved for the method bridge); the census test passes its f…

Commits on Oct 9, 2026

WIP: XL-2: adopt #13284 + filter/any/first roster (successor to stern-swift-2