Repository navigation

Delete-sweep batch: module_path_index after census cluster retires - #5993

Merged

briansrls merged 2 commits into

mainfrom

session/proud-cat-249

Jun 30, 2026

Merged

Delete-sweep batch: module_path_index after census cluster retires#5993
briansrls merged 2 commits into
mainfrom
session/proud-cat-249

Commits on Jun 30, 2026
- Delete-sweep: fold module_path_index into cli_run (#5993)
  
  briansrls
  and
  cursoragent
  committed
  3341515
- fix: import witness helpers in inert_lens_hygiene_tests
  
  briansrls
  and
  cursoragent
  committed
  fc0cea9