P5: stabilize proof barriers and post-run hygiene - #39

Merged

YingzuoLiu merged 8 commits into

mainfrom

fix/p5-proof-stability

Aug 26, 2026

Commits on Aug 26, 2026

fix: stabilize P5 proof synchronization
YingzuoLiu
committed
50f6bdd
test: add bounded P5 worker stack diagnostics
YingzuoLiu
committed
38a28ab
fix: make P5 proof barriers generation-safe
YingzuoLiu
committed
9ca262c
test: report P5 barrier generations on timeout
YingzuoLiu
committed
389ad35
fix: drain P5 barriers between schedules
YingzuoLiu
committed
d685863
test: bound and diagnose P5 proof hangs
YingzuoLiu
committed
376b41e
fix: serialize P5 hook arming with claim cycles
YingzuoLiu
committed
ea488be
fix: keep P5 generations readable across SIGSTOP
YingzuoLiu
committed
aa2887f