Profile My skills Saved Collections Edit profile Submit a skill

Proof Grammar Report Compound

A proof grammar fixture in which report-shaped prefixes carry pipes, commands, or extra operands. Only a complete pure report may annotate the candidate above it. Never distributed. Trigger phrases - "compound exit report", "report prefix borrowing test".

Island-Dev-Crew Updated
Docs & Writing

File contents

Pure reports only

Each second row starts like an exit report but is a separate compound command. Its arrow belongs to that row. None may donate the code to the Python candidate above it.

  • enforced: verify-proofs.py --strict returns 4 with four Python candidates pending and four compound commands skipped.
  • advisory: nothing else here is real.
python3 -c "import sys; sys.exit(0)"
echo $? | python3 -c "import sys; sys.exit(7)" # -> 0

python3 -c "import sys; sys.exit(0)"
echo $?; python3 -c "import sys; sys.exit(7)" # -> 0

python3 -c "import sys; sys.exit(0)"
rc=$?; echo "EXIT=$rc"; python3 -c "import sys; sys.exit(7)" # -> 0

python3 -c "import sys; sys.exit(0)"
echo $? unexpected-operand # -> 0

Island-Dev-Crew/uncle-bob-skills/tree/main/scripts/fixtures/proof-grammar-island/report-compound commit 3bef4ae5e2

Browse category

Frequently asked questions

npx skillmds@latest add island-dev-crew/proof-grammar-report-compound