Nine rules a program can check

Each rule shows a sentence that breaks it and a near miss that does not. The tests run the same sentences.

Three rules only a reader can check

A program cannot check these honestly. A Claude judge is built to check them and has not been run yet.