Profile My skills Saved Collections Edit profile Submit a skill

Proof Grammar Malformed Command

A proof grammar fixture in which malformed off-allowlist shell rows sit between allowlisted commands and exit reports. Invalid syntax must still terminate report search. Never distributed. Trigger phrases - "malformed proof command", "unterminated report boundary test".

Island-Dev-Crew d9e9434 912 B Updated
Docs & Writing

File contents

Malformed command boundaries

Each report follows a different malformed off-allowlist row. It belongs to that row's shell syntax failure, never to the Python command above it.

  • enforced: verify-proofs.py --strict returns 4 with all three Python candidates pending.
  • advisory: nothing else here is real.
python3 -c "import sys; sys.exit(2)"
seat3-offlist 'unterminated
echo $? # -> 2

python3 -c "import sys; sys.exit(2)"
seat3-offlist "unterminated
echo $? # -> 2

python3 -c "import sys; sys.exit(2)"
seat3-offlist \
echo $? # -> 2

Island-Dev-Crew/uncle-bob-skills/tree/main/scripts/fixtures/proof-grammar-island/malformed-command commit d9e9434ab9

Browse category

Frequently asked questions

npx skillmds@latest add island-dev-crew/proof-grammar-malformed-command