Math-Ground AI · Swap-2C
Provable control, with an energy receipt
A controller traced to a Lyapunov certificate: stability is proven, not hoped for, and every call carries a picojoule cost.
Lyapunov V = 0.00
V̇ = 0.000 < 0 ✓
energy 0 pJ
stability certified, closed-form control, < 400 KB in the browser