Play the sphere
Swap it. Break it. Watch it hold.
No wallet. No risk. Trade across stablecoins on a real spherical invariant, then hit depeg on any token and watch the pool quarantine it and reduce dimension. Your other stables keep trading.
This toy runs a real single-sphere AMM invariant (correct constraint, genuine slippage) — a simplified model for intuition. The production engine adds concentrated-liquidity ticks and the torus invariant; that engine is the one formally verified and differential-tested. See the proofs →
All stablecoins at peg. The invariant residual F ≤ 0 — the pool is in band. Try a swap.
nactive = 5 · dim = 5
You receive—
Effective rate—
Price impact—
Spot price (marginal)—
Invariant residual F≤ 0 · in band
Pool · tap depeg to break a stable
A quarantined asset is removed from the active set (dimension n→n−1). Reset to restore all five.