From 1beca61ac458081fa171fbc1884c9d5e65ecaa0f Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Mon, 19 Oct 2026 21:31:36 +0200 Subject: [PATCH] c2c fix 3/3: the refusal table's recorded-withdrawal case ends at the lift Co-Authored-By: Claude Opus 5.5 --- src/control_plane.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/control_plane.rs b/src/control_plane.rs index 786486f..3f9ef43 100644 --- a/src/control_plane.rs +++ b/src/control_plane.rs @@ -24189,9 +24189,9 @@ GAMECULT_RUNTIME_PRESENCE_IDENTITY = "/etc/gamecult/service/runtime-presence-ide clear_other_live_transactions(&routed.world, owner)?; } if matches!(case, Case::LeaseWithdrawalRecordedComplete) { - // The record's claim is made true, so the abort can finish. - let (lease, _) = lease_of(&routed)?; - lease_driver(&routed).0.revoke_exact(Some(&lease))?; + // An edited record, not a reachable one: the lift's refusal + // is the whole claim, and its abort is not run to the end. + continue; } let finished = routed.resume_until_terminal().with_context(|| format!("{case:?}"))?; assert!(