ERC-20 CFMM DEX

Secondary xy=k pools over outcome tokens. Swaps reassign ownership; they do not rewrite LMSR inventory.

A constant-function secondary market for outcome tokens (and collateral) issued by the ERC-20 prediction market.

Swaps move who holds claims; they do not call the primary LMSR. Primary pricing and mint/burn stay with the market venue.

Demonstrates composability in practice: a separate venue that only needs standard ERC-20 interfaces.