v1.131.1 · Component

Formally-verified drone flight core (invariant-EKF estimator → geometric SE(3) attitude control → ADRC → mixer) as a portable WebAssembly Component. Runs the same cascade that is Kani/Verus/Rocq/Lean-verified natively and bare-metal on Cortex-M.

Version

Image Digest

sha2567e0d4c8ea9db23b233e6daf0dfd8ff7e2f7357658d4d7247dc950b1416828cc8

Revision

910e4fbb3429…

Project

Items

Dependencies

Function

run-position-hold

No description available.

run-position-hold: func() -> f32;