MachLib Pulse
Live verification status from agent-maestro/machlib@status-data, animated with the critically-damped spring kernel from MachLib.Applications.SpringCriticallyDamped. Every particle is one Forge @verify obligation. The kernel's sign-preservation theorem guarantees no overshoot — no spurious bounce in the animation window.
fetching status.json from agent-maestro/machlib@status-data…
spring ω (natural frequency)3.00 rad/s
verified kernel (EML)
critically_damped(A, ω, t) = A · (1 + ω·t) · exp(−ω·t)EML cost (positive domain):
9n · general: 17n · naive baseline: 7nproven:
spring_critical_signpreserving — amplitude ≥ 0, ω > 0, t ≥ 0 ⇒ result ≥ 0.