Seven contracts. One mathematics.

No storage, no owner, no upgrade path — only functions. The Eightfold Dispatcher Ω, Deterministic Derivation 𝒟, Iron Law Φ and Vitality Field Ψ live here as pure computations. Ω is Eightfold by house name: the kind enumeration it dispatches over now carries nine entries, and three of the numbers — 2, 3 and 7 — are absent by deliberate excision, which is a security decision and not a gap. Imported by the other four; no math is redefined anywhere else.

Holds the Self-Healing Registry — 16 packed slots per pair, one Monoslot per pool, one SLOAD to read it — plus the vitality field’s persistent state and the bridge-token set. Entries are coherence-checked on the way in and namespaced under ERC-7201, so its storage can never collide with a consumer’s slots.

A pure read-path optimiser that maximises the meta-equation over routes and touches no state it cannot derive. It splits across venues in proportion to depth under a capacity clamp, and collapses back to a single leg the moment splitting stops paying. It decides; it never settles.

The single contract that moves value, and it moves it atomically. It measures what actually arrived rather than assuming, runs each leg through the venue-appropriate primitive — the One-Callback Doctrine for V3-shaped venues, the unlock dance for V4 — then recounts its real balance deltas and re-derives both the Iron Law floor and the fee base from measured execution, so a poisoned frontend can lower neither. Holds nothing at rest.

Mirrors the Solver’s selection for off-chain callers over eth_call, and can take a pool-exact reading by dry-run revert-extraction — the Exact Pass, the venue’s own swap run and rolled back. The preview is advisory by design: what binds is what the Router re-derives in-frame, so an integrator sets its minimum from its own price expectation, never from a preview field.

The full 512-bit multiply-then-divide every proportion flows through, plus rawBalanceOf — the staticcall that lets the contract read its OWN backing. All-internal, so it is inlined into the engine’s bytecode (no separate address), exactly as the Core is to the aggregator.

One contract doing what most protocols split across three — vault, lending market and lock-boost — reconciled through a single UserInfo record and two accumulators, every value-moving path wrapped in the conserves guard. 180M BZPX on a biennial halving curve over sixteen years; solvency is a revert condition, not a dashboard reading.