Math-Ground AI · Swap-2C
A controller traced to a Lyapunov certificate: stability is proven, not hoped for — and every call carries a picojoule cost.