The 26 invariants
Each promise, in plain language.
Atlas ships with 26 invariants. Each one is a promise that holds no matter what strategy is loaded, what model is in use, or what venue is being routed to. This page lists every invariant in plain language with the on-chain check that enforces it.