Skip to content

fix(spawn): recovery lock wait bound to the live owner, with guarded Herdr lifecycle stress evidence - #80

Merged
quinnbot-ai merged 6 commits into
mainfrom
fm/fm-pure-kun-herdr-stress
Aug 2, 2026
Merged

quinnbot-ai merged 6 commits into
mainfrom
fm/fm-pure-kun-herdr-stress

Conversation

@quinnbot-ai

Copy link
Copy Markdown
Owner

Completes the Herdr lifecycle stress validation left from the pure-Kun reconciliation. Exercised spawn, restart-binding recovery, husk replacement, and teardown in a named isolated lab; the reproduced defect - a fixed 5s contention budget that false-refuses concurrent recovery while a valid peer legitimately holds the lock - is fixed by waiting on the live lock owner at the shared acquisition boundary (PID-aware), not a larger timeout.

Review round hardened: deterministic pre-fix-failing regression synchronized on the contender's first failed lock attempt, and the background recovery process tracked in cleanup_all. Guarded real-Herdr E2E passed with captured transcript and logs; validation evidence recorded per docs/verification conventions.

Full no-mistakes pipeline green through push (9197081); PR opened manually on the known token limitation (signature check false-red expected).

🤖 Generated with Claude Code

@quinnbot-ai
quinnbot-ai force-pushed the fm/fm-pure-kun-herdr-stress branch from a0bf966 to 1bfef8f Compare August 2, 2026 22:00
@quinnbot-ai
quinnbot-ai merged commit ffa3723 into main Aug 2, 2026
10 of 11 checks passed
quinnbot-ai added a commit that referenced this pull request Aug 10, 2026
…Herdr lifecycle stress evidence (#80)

* docs(verification): record Herdr lifecycle stress

* no-mistakes(review): Fix exact recovery locking and deterministic regression cleanup

* no-mistakes(document): Clarify Herdr recovery lock and stress evidence

* chore: retrigger CI

* test(herdr): cover live-owner recovery lock wait

* fix(spawn): accept wrapped delivery markers

---------

Co-authored-by: QuinnBot <quinnbot@proton.me>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant