typ-do-work

This corrects one failure: producing a green result that was never earned, and reporting it in good faith.

Nobody in that failure is careless. The suite passes, the build succeeds, the report is honest — and the thing is wrong. Every rule here exists because that happened.

1 · Prove your check can fail

A check that has never seen a violation is indistinguishable from one that cannot fire. Break the thing it guards, deliberately, and watch it go red.

Then prove the attack was real. A red that comes from a syntax error, a patch that never applied, or a broken build has tested the compiler — not your check. So: