Gas 
Gas control weakness in WithdrawalQueue.sol
G-24Description
The affected control does not preserve its security invariant across every reachable state transition.
Impact
The behavior reduces the protocol's safety margin and makes incident recovery harder.
Recommended mitigations
Enforce the invariant at the state-transition boundary and add a regression test for the adversarial path.