Proof library
Audits, assumptions, wins and losses
Release evidence is timestamped. Worked examples show the calculation shape and are labeled modeled unless tied to a reconciled account ledger.
Current audit in progress. Ten listed routes are closed in production; this is not a claim that the site-wide review is complete. Each number above belongs to the 21 August 2026 checkpoint.
Archived audit · 7 August 2026Revision 9e706b0
Historical release evidence retained for comparison, not a claim about current markets or later deployments.
$1,000 per leg
- Basis convergence captured
- +$12.00
- Settled 7d funding
- +$15.00
- Four 0.10% orders
- −$4.00
- Exit slippage
- −$2.00
- Transfer / gas
- −$1.00
- Modeled net
- +$20.00
This assumes the shown basis was captured between matched entry and exit. Opening basis alone is not PnL. Borrow, conversion, tax and market movement remain separate inputs.
A headline APR that flips
- Basis convergence captured
- +$5.00
- Funding reversal
- −$8.00
- Trading costs
- −$4.00
- Exit slippage
- −$6.00
- Modeled net
- −$13.00
Partial basis convergence can still be overwhelmed by reversed funding and adverse execution.
What each release audit must prove
- Fresh canonical route and source timestamps.
- Matched-size prices and formula parity.
- Funding settlement and cadence parity.
- Identity and shared-network rules.
- Desktop and mobile rendering without overflow or dead controls.
- Authentication, account scope, CSRF, billing signatures, and disabled execution.