Repository navigation

Before trusting an empty sweep, break something the sweep should catch - #9139

Closed

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

mainfrom

session/bright-wren-428

Closed

Before trusting an empty sweep, break something the sweep should catch#9139
gunbai-bot[bot] wants to merge 7 commits into
mainfrom
session/bright-wren-428

Commits on Aug 24, 2026
- The header sweep returns empty, and the empty is uninformative: 33 imports deleted, still 0 blocking
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f2d8f62
- Merge origin/main (docs/probes bankruptcy, #9132)
  gunbc-ci-auto-heal
  committed
  eea06ae
- Rehome the finding as a qualitative brief, and delete the census the bankruptcy ruling forbids
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9d96d49
- Correct the brief: the header IS load-bearing, and the regime is decided by presence not contents
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  383858e
- Name the boundary on the whole-pool row: green means resolution succeeded, not that it was correct
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  96414f2
- Add the empty-instrument rule, and the near-miss where an instrument's silence was nearly filed as a compiler defect
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  524fe09
- State the filter corollary as a mechanism: the filter IS the instrument
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0f0d2b3