Repository navigation

Pin the String character-count contract for .length()/.count(), and resolve the char_at probe's disposition contradiction toward Scaffold - #8436

Merged

briansrls merged 4 commits into

mainfrom

session/bright-otter-592

Aug 18, 2026

Merged

Pin the String character-count contract for .length()/.count(), and resolve the char_at probe's disposition contradiction toward Scaffold#8436
briansrls merged 4 commits into
mainfrom
session/bright-otter-592

Commits on Aug 18, 2026
- WIP: LIST-CARRIER-0: the interpreted list_push materializes a free-monoid acc
  gunbc-ci-auto-heal
  committed
  4862283
- Address review 53431: correct the witness coverage claim and the probe's contradictory scaffold naming
  gunbc-ci-auto-heal
  committed
  bbf1e21
- Withdraw the .size() cases: the spelling is registered but UNREACHABLE, and CI proved it
  gunbc-ci-auto-heal
  committed
  e261193
- Resolve the char_at probe's disposition contradiction toward Scaffold, not Terminal (review 53457)
  gunbc-ci-auto-heal
  committed
  e2cab19