Inverse contracts on a Bitcoin-native venue — one-click signup, no email, testnet sats from the faucet, and a ledger that itemizes to zero.
Every order produces a receipt that itemizes to zero. Margin, fee, impact, PnL — every line accounted, every balance derivable from your own history.
Fail-closed by design — on stale prices the venue pauses orders, never improvises. “Prices stale — orders paused.”
The trading API is public — live on the testnet gateway today. Self-serve signup with no email and no CAPTCHA, faucet funding, market data, WebSocket streams, orders, delegated keys, withdrawals: the whole loop is plain curl, verified end to end against the live gateway.
Machine-readable by design: the OpenAPI 3.1 spec is generated from the gateway's own contracts — CI fails if they drift — the docs ship as llms.txt, and every money field crosses the wire as a decimal string with a declared unit. Integer millisats, never floats.
Customer liabilities are reconciled against holdings continuously, and the result is published — drift included. Every proof surface follows one doctrine: a live figure is live, or it looks dead.