Also: writing this stuff in C just begs for bugs.

LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.

The bug has been up since before the LLM shift.

I get the feeling that the bugs found in this instance can be more directly attributed to the author having zero experience operating a microcontroller