# 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".

- Skill: `island-dev-crew/proof-grammar-report-compound` (Agent Skill)
- Install (CLI): `npx skillmds@latest add island-dev-crew/proof-grammar-report-compound`
- Raw SKILL.md: https://api.skillmd.com/api/skills/island-dev-crew/proof-grammar-report-compound/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Docs & Writing
- Author: Island-Dev-Crew (https://skillmd.com/u/island-dev-crew)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/island-dev-crew/proof-grammar-report-compound

---


# 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.

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

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

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

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