Never let the LLM be the judge of its own output

The verification script's first operational rule is explicit: it does not trust the synthesis LLM's own grep verification. A separate, deterministic Python script re-reads the source file and checks every quote independently.