Repository navigation

char_at is quadratic and unroutable: the ascii-aware repair's precomputed flag names an RcStr carrier that does not exist - #9212

Merged

briansrls merged 3 commits into

mainfrom

session/gentle-owl-527

Aug 25, 2026

Commits on Aug 25, 2026
- char_at's ascii-aware split has no producer on main: delete it and bound the ASCII test by pos
  Brian Searls
  committed
  d5ff343
- Regen: converge v1_compiler_runtime_rust.rs with the edited runtime_rust.dag authority (pass 1)
  Brian Searls
  committed
  1e9c9b9
- Drop the substring assertion: its RED was never observed, so it is not coverage
  Brian Searls
  committed
  bd272ef