Static grep proves code exists, not that it works

Static verification gates — 'the file contains this string' — confirm that code was written, not that the feature works at runtime. A loop can pass every grep check and ship a broken feature because the checks verify the wrong thing.