Built a local verification-first code generation loop for Lua 5.4 from a hackathon brief — and it turned into a practical prototype. I approached it as a systems problem: take a natural-language task, ...