verification-and-tests

Definition-of-Done workflow using `verify-loop` plus Bun formatting, typecheck, and tests; includes placement rules and reporting expectations.