Repository navigation

Delete the plan/walk surface nothing could reach (claim_executor 21,366 -> 11,508) - #9228

Merged

briansrls merged 7 commits into

mainfrom

session/merry-bear-547

Aug 25, 2026

Merged

Delete the plan/walk surface nothing could reach (claim_executor 21,366 -> 11,508)#9228
briansrls merged 7 commits into
mainfrom
session/merry-bear-547

Commits on Aug 25, 2026
- Delete the plan/walk surface nothing could reach, and the 27 cli_run symbols it was importing to do it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  502e3e5
- Delete the five empty impl stubs the method deletion left behind
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6314b9d
- Delete corpus-type-judgment at the root: mode, workflow, emitter and census
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5f3361a
- Delete the 542 tests whose subjects this branch deleted, and the four cli_run tests review 55847 caught
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8c7eaca
- Delete the second argv reader: the coordinator was reachable the whole time
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bda1331
- Drop the four imports the coordinator cut orphaned; CI builds with -D warnings and my check did not
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e191871
- Merge main: picks up #9205's infer_semantics_witness TypeEnv fix, which was masking this branch's test-target observation
  gunbc-ci-auto-heal
  committed
  184a056