Last released Oct 7, 2026
SMT-checked premises, verified revision proposals, and independent calibration instruments for agents.