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

- Skill: `island-dev-crew/proof-grammar-malformed-command` (Agent Skill)
- Install (CLI): `npx skillmds@latest add island-dev-crew/proof-grammar-malformed-command`
- Raw SKILL.md: https://api.skillmd.com/api/skills/island-dev-crew/proof-grammar-malformed-command/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-malformed-command

---


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

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

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

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