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