Repository navigation

fix(panicbot,ponsbot): review follow-ups left open when #670 merged - #673

Merged

hyperpolymath merged 8 commits into

mainfrom

fix/panicbot-ponsbot-review-followups

Nov 13, 2026

Merged

fix(panicbot,ponsbot): review follow-ups left open when #670 merged#673
hyperpolymath merged 8 commits into
mainfrom
fix/panicbot-ponsbot-review-followups

Commits on Nov 13, 2026
- fix(ponsbot): kill the whole process group on timeout and bound pipe joins
  
  HoTT-stuff
  and
  claude
  committed
  9bdca48
- fix(panicbot): process group kill, absolute binary, honest text mode, one preflight deadline
  
  HoTT-stuff
  and
  claude
  committed
  5b344a4
- fix(report-back): reject a --pons commit that differs from the ponsbot pin
  
  HoTT-stuff
  and
  claude
  committed
  9bf86b1
- fix(panicbot): adjudicate exit 1 is a valid fail; exit 2 and verdict error are errors
  
  HoTT-stuff
  and
  claude
  committed
  8086389
- fix(panicbot,ponsbot): kill process group via rustix, drop unsafe killpg
  
  HoTT-stuff
  and
  claude
  committed
  a3adcfc
- fix(panicbot,ponsbot): build the group pid with Pid::from_child
  
  HoTT-stuff
  and
  claude
  committed
  79a3f08
- Merge remote-tracking branch 'origin/main' into pr673
  HoTT-stuff
  committed
  025c380
- fix(panicbot,ponsbot): both pipe reads share one deadline
  
  HoTT-stuff
  and
  claude
  committed
  db616b7