Verify implementation

Map every AC item in a ticket against observable diff evidence — a named file, a changed block, a new function — and emit a binary verdict: pass (all AC met) or fail (at least one unmet, one finding per gap).