Δ ≤ R + C invariant — bounded risk, instant finality. Local BFT settlement. No global latency. Scalability of CEX with security of DEX.