interval_buffer_isr: The Tiny Motion-Control Engine That Won’t Lose Its Phase
A stepper-motor ISR planner that carries sub-step position across frames, survives direction flips, and uses formal verification to prove the error stays bounded.
8 min read · Apr 6, 2026