doctor: detect and repair daemons that lost their ownership record - #1523

Open

snimu wants to merge 7 commits into

mainfrom

Commits on Aug 18, 2026

feat(coding-agent): doctor detects and repairs daemons that lost their ownership record
snimu
committed
f6104b0
Merge remote-tracking branch 'origin/main' into eng-5302
snimu
committed
c67f1db
chore(coding-agent): trim comments to the non-obvious rationale
snimu
committed
3256eb7

Commits on Aug 19, 2026

fix(coding-agent): detect ownership loss on stale daemons and fence kills against pid reuse
snimu
committed
a42b57b
Merge main into eng-5302
snimu
committed
676e577
fix(coding-agent): only a proven identity change counts as a dead supervisor
snimu
committed
99b91c6

Commits on Aug 20, 2026

chore: merge main and convert changelog entry to fragment
snimu
committed
b4c652d