Skip to content

[PROOF-P1-S4] Write the proof command - #36

Closed
d6veteran wants to merge 1 commit into
mainfrom
proof/P1-S4-proof-command
Closed

d6veteran wants to merge 1 commit into
mainfrom
proof/P1-S4-proof-command

Conversation

@d6veteran

Copy link
Copy Markdown
Contributor

Stage P1-S4 of docs/plan/2026-10-12-any-document-as-a-proof.md.

What changed

  • skills/proof/SKILL.md, new: the /ck:proof command. For a request it reads with a fixed list of read-only commands, writes one document to the doc-artifact contract at docs/<kind>/<date>-<slug>.md, counts its words with the contract's command, and reviews it per proof-loop. For a file that exists, or for the plan this session wrote in plan mode when nothing follows the command, it runs scripts/proof-guard.py, says one line with the file, its word count, and its first heading, waits for yes, and publishes. Asked for a plan it writes nothing and names /ck:plan. Only approved, typed in the session, locks a document; the command then stops with one next action and builds nothing.
  • tests/checks/P1-S4.sh: moved from tests/pending/, header updated. No check was loosened; none was added.

Checks

bash tests/run.sh: 566 passed, 0 failed, 6 waiting (P1-S5 only). The resume listing runs under bash and zsh, prints nothing in an empty project, and does not take annual-pricing into pricing.

For the author

The plan from plan mode lives outside the repository (~/.claude/plans/), and the guard refuses a file outside it. The skill therefore asks once, copies the plan to docs/note/<date>-<slug>.md on yes, and runs the guard on the copy. If you would rather it refuse, or copy elsewhere, say so.

🤖 Generated with Claude Code

…s (P1-S4)

skills/proof/SKILL.md: for a request it reads with a fixed list of read-only
commands, writes one document to the doc-artifact contract under
docs/<kind>/<date>-<slug>.md, counts its words, and reviews it per proof-loop.
For a file that exists, or for the plan this session wrote in plan mode when
nothing follows the command, it runs scripts/proof-guard.py, says one line with
the file, its word count, and its first heading, waits for yes, and publishes.
Asked for a plan it writes nothing and names /ck:plan. Only approved, typed in
the session, locks a document; it then stops with one next action and builds
nothing.

tests/checks/P1-S4.sh: moved from tests/pending/, every check passing.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
@d6veteran

Copy link
Copy Markdown
Contributor Author

Closed unmerged, per D5 of the approved proposal "the smallest proof" (2026-10-17): /ck:proof is cut to four steps and one stage replaces this one. The branch proof/P1-S4-proof-command stays for reference.

@d6veteran d6veteran closed this Oct 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant