Repository navigation

MAIN-H3: heal's SupersededByHealedHead exit rests on a premise refuted at n=4 — does the design still hold, and annotate the retired rung_drop row - #10212

Closed

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

mainfrom

session/cool-koi-623

Closed

MAIN-H3: heal's SupersededByHealedHead exit rests on a premise refuted at n=4 — does the design still hold, and annotate the retired rung_drop row#10212
gunbai-bot[bot] wants to merge 7 commits into
mainfrom
session/cool-koi-623

Commits on Sep 3, 2026
- heal: the SupersededByHealedHead exit is right and the mechanism it was justified by is false
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9adb1ce
- Scope the corrected clause to exit time, revert the fenced ci_spec edit, and leave the class's trigger honestly undetermined
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8dc4c14
- Merge remote-tracking branch 'origin/main' into session/cool-koi-623
  gunbc-ci-auto-heal
  committed
  690dec6
- Review fix: the class ranks an in-repo authoring act, so it gets a derived ceiling and a named trigger
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  408cc53
- Merge remote-tracking branch 'origin/main' into session/cool-koi-623
  gunbc-ci-auto-heal
  committed
  1664bc3
- Merge remote-tracking branch 'origin/main' into session/cool-koi-623
  gunbc-ci-auto-heal
  committed
  647ff7c
- Merge remote-tracking branch 'origin/main' into session/cool-koi-623
  gunbc-ci-auto-heal
  committed
  c217dfc