Skip to content

fix(leasing): wake the queue after a failed boot whose destroy also fails - #426

Merged
V3RON merged 2 commits into
mainfrom
claude/issue-400-biq17o
Oct 7, 2026
Merged

V3RON merged 2 commits into
mainfrom
claude/issue-400-biq17o

Conversation

@V3RON

@V3RON V3RON commented Oct 6, 2026 •

Copy link
Copy Markdown
Contributor

Requested by Szymon · project thread

Closes #400

Status

Implement: done (150/150 green) Review: round 1, 0 open Mutate: 1 mutant, 0 alive Hardware: n/a Gate: not run
Next: CI green, then the gate.

  • A request queued behind a head whose boot and destroy both failed is woken and granted another device, with no release. Checked by the new test in lease-acquisition-coordinator.test.ts, which fails with the old if (destroyed) guard.
  • The new head is never given the failed device. Checked by the same test: it asserts the request gets the other device, and fails if the failed one is handed out.

Assumptions

none

Review

Spec review: 0 blocking, 0 fixed, 0 notes. Code review: 0 blocking, 0 fixed, 1 notes. Claims review: 0 blocking, 0 fixed, 0 notes.
Mutate: 1 mutants, 0 alive.

Notes so far:

  • code: the branch is claude/issue-400-biq17o, not bug/400 (rule 11), so the PR-body check and the claim-release automation look for the wrong name.

Written by an agent.

🤖 Generated with Claude Code

https://claude.ai/code/session_01KF7qvBCD86e2G7qDdeR2rC

claude added 2 commits October 6, 2026 20:40
…estroy succeeded (#400)

1 failing -> 0 failing

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KF7qvBCD86e2G7qDdeR2rC
@V3RON
V3RON marked this pull request as ready for review October 6, 2026 20:45
@V3RON
V3RON merged commit 2def11c into main Oct 7, 2026
34 checks passed
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.

A request queued behind a failed boot whose destroy also fails is never woken

2 participants