Certora conducted a security assessment of Compound’s Comet ERC4626 Wrapper, a non-rebasing ERC-4626 wrapper designed to make Compound V3 supply positions easier to integrate with other DeFi protocols. The review covered the wrapper, factory, router functions, Permit and Permit2 flows, share conversions, rounding behavior, and key security invariants.