code-migration

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.