Reconcile server reservations from runner-reported session identities and free capacity #675

Merged
toasterson merged 7 commits from claude/wi-019fe0f0-reconcile-server-reservations-from-runne into main 2026-09-10 19:30:17 +00:00
Owner

Anima work item 019fe0f0-e254-7522-b9b0-f3860bf30597.

Final bounded replacement for WI-371. Depends on 019fe0f0-e16e-79f0-b407-a04af93eae0e and the audited reconcile-session item 019fe0e9-90bc-7d03-8dd2-298dfdd5097b.

Extend runner heartbeat or attach state with the identities behind occupied slots, not only an aggregate free count. Compare that authoritative runner view with live database sessions and server reservations. Heal missing or stale reservations idempotently and emit a structured discrepancy event; never mark an actually-running runner session dead from a count mismatch alone.

Acceptance induces both divergence directions and proves they converge within two heartbeats without restarting the runner or editing Postgres.

Anima work item `019fe0f0-e254-7522-b9b0-f3860bf30597`. Final bounded replacement for WI-371. Depends on 019fe0f0-e16e-79f0-b407-a04af93eae0e and the audited reconcile-session item 019fe0e9-90bc-7d03-8dd2-298dfdd5097b. Extend runner heartbeat or attach state with the identities behind occupied slots, not only an aggregate free count. Compare that authoritative runner view with live database sessions and server reservations. Heal missing or stale reservations idempotently and emit a structured discrepancy event; never mark an actually-running runner session dead from a count mismatch alone. Acceptance induces both divergence directions and proves they converge within two heartbeats without restarting the runner or editing Postgres.
toasterson force-pushed claude/wi-019fe0f0-reconcile-server-reservations-from-runne from 6163514308 to 90429cc04a 2026-09-02 16:13:58 +00:00 Compare
toasterson force-pushed claude/wi-019fe0f0-reconcile-server-reservations-from-runne from ac00a47b9a to 1325f43b92 2026-09-08 19:42:46 +00:00 Compare
toasterson changed title from WIP: Reconcile server reservations from runner-reported session identities and free capacity to Reconcile server reservations from runner-reported session identities and free capacity 2026-09-08 22:01:13 +00:00
toasterson force-pushed claude/wi-019fe0f0-reconcile-server-reservations-from-runne from 8b713bb2a6 to ba0fb714fe 2026-09-09 06:23:21 +00:00 Compare
toasterson force-pushed claude/wi-019fe0f0-reconcile-server-reservations-from-runne from ba0fb714fe to fb789f0d59 2026-09-09 10:52:56 +00:00 Compare
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
toasterson/Anima!675
No description provided.