» Tag
software-verification
2 posts6–Jul 12, 2026
From Prompt to Loop Engineering: The Verifier Is the Bottleneck
Prompt engineering became context engineering, now loop engineering: same unit-of-work shift, but the newest bottleneck is the verifier, not the model.
Refactyl's verifier had more bugs than the code it checked
Refactyl's Vue 3 migration gate silently rejected valid code due to an AST reuse bug. A case study on why verifiers must check the exact artifact that ships.