Invariants I-1 through I-26
What the protocol promises, regardless of the strategy in flight.
Atlas ships with 26 invariants — properties that always hold no matter which strategy is loaded, which model is in use, or which venue is being routed to. A few examples: capital cannot leave the vault without a verified proof (I-3); a refused inference cannot become a settled action (I-9); a rebalance is atomic across venues (I-14).