Overview

The Math Engine derives the Exchange's mathematics directly from its own implementation, rather than describing it by hand: every expression on these pages is extracted from the Exchange's source code, adversarially checked against it and its own test suite, and versioned with a changelog whenever the underlying mathematics genuinely changes.

Pages

• engine.md — the engine itself, formalized: how expressions are derived and verified, what each stage guarantees, and what is not yet verified.
• global.md — the global state-space model composed across all systems.
• system.md — the cross-model relationship graph: how expressions in one system feed, bound, or trigger expressions in another.
• closed-loop.md — the oracle-endogenous closed loop.
• funding-rate.md, margin-math.md, liquidation-engine.md, oracle.md, order-book.md, position-tracker.md, insurance-fund.md, settlement.md — per-system derived mathematics: expressions, invariants, and citations into the source.
• performance.md — analytical performance/scaling model fitted to benchmark data.

How this is produced

Each expression is derived from the Exchange's implementation, then checked by an independent adversarial pass whose only goal is to try to disprove it against the code and the code's own tests. See engine.md for the full trust model and its known limits.