Profile My skills Saved Collections Edit profile Submit a skill

Proof Grammar Comment Lexing

A proof grammar fixture whose data contains hashes protected by ANSI-C quoting and an escaped space. The verifier must not truncate either command into a false match. Never distributed. Trigger phrases - "proof comment lexer", "escaped hash proof test".

Island-Dev-Crew 4fa85d7 867 B Updated
Coding & Dev Tools

File contents

Shell comment boundaries

Both commands really exit 7. The deliberately wrong annotations capture the old false green: the verifier truncated each row at a data hash, executed a different prefix, and matched 2 or 0.

  • enforced: verify-proofs.py returns 1, never 0; both complete commands are mismatches, not verified proofs of the truncated fragments.
  • advisory: nothing else here is real.
printf '%s\n' $'' #' | python3 -c 'import sys; sys.exit(7)' # exit 2
printf '%s\n' foo\ #bar | python3 -c 'import sys; sys.exit(7)' # exit 0

Island-Dev-Crew/uncle-bob-skills/tree/main/scripts/fixtures/proof-grammar-island/comment-lexing commit 4fa85d7db5

Browse category

Frequently asked questions

npx skillmds@latest add island-dev-crew/proof-grammar-comment-lexing