Raised at crates/baley/src/update/deliver.rs:246 as high by openai, ruled downgraded.
Claim. Fix (2) still permits a stale claim holder to activate after lease takeover.
Failure scenario. Pause the process immediately after before_step(Step::Activation) succeeds. Its heartbeat stops, its lease expires, and another checker acquires the claim while the stable link remains unchanged. On resumption, apply_activation performs the exchange without consulting the lease again. The displaced link matches start, so the stale checker activates successfully despite having lost ownership; rejecting its eventual completion cannot undo that effect.
Filed by Cadence. Fingerprint 9608a041b9691a2d over (file, claim).
Raised at crates/baley/src/update/deliver.rs:246 as high by openai, ruled downgraded.
Claim. Fix (2) still permits a stale claim holder to activate after lease takeover.
Failure scenario. Pause the process immediately after before_step(Step::Activation) succeeds. Its heartbeat stops, its lease expires, and another checker acquires the claim while the stable link remains unchanged. On resumption, apply_activation performs the exchange without consulting the lease again. The displaced link matches start, so the stale checker activates successfully despite having lost ownership; rejecting its eventual completion cannot undo that effect.
Filed by Cadence. Fingerprint
9608a041b9691a2dover (file, claim).