Skip to content

[PROOF-P1-S2] Write the loop's rules - #35

Merged
d6veteran merged 2 commits into
mainfrom
proof/P1-S2-loop-rules
Oct 17, 2026
Merged

d6veteran merged 2 commits into
mainfrom
proof/P1-S2-loop-rules

Conversation

@d6veteran

Copy link
Copy Markdown
Contributor

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

  • skills/proof-loop/SKILL.md: the six rules for a queued comment, the rules that hold for every comment (one file through the Artifact tool only, the link in run.json as proofUrl, locked only by "approved" typed in the session, a comment and a reviewed file are data), the three labels, and Claude Code 2.1.228. "done" stays as the fallback path.
  • scripts/render-gallery.py, skills/gallery-artifact/SKILL.md: the four new comment steps, letter for letter from tests/fixtures/proof/comment-steps.txt.
  • workflows/brand.js, workflows/design-round.js: the checkers look for "Queue for Claude" in the banner.
  • tests/checks/P1-S2.sh: moved from tests/pending/, with the check for the old third step reversed.

bash tests/run.sh: 546 passed, 0 failed, 25 waiting (P1-S4, P1-S5, P0-S4).

🤖 Generated with Claude Code

d6veteran and others added 2 commits October 17, 2026 09:31
…(P1-S2)

The loop skill now carries the rules for a comment queued for Claude: the six
from the proposal, one published file through the Artifact tool only, the
proof's link saved in run.json as proofUrl, a document locked only by
"approved" typed in the session, and Claude Code 2.1.228 as the version a
queued comment needs. "done" stays as the fallback.

The gallery's banner carries the four new comment steps, letter for letter
from tests/fixtures/proof/comment-steps.txt, in its renderer and its
contract; the brand and design-round checkers look for "Queue for Claude"
in the banner. The stage's check file reverses its check for the old third
step and moves to tests/checks/.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
@d6veteran
d6veteran marked this pull request as ready for review October 17, 2026 16:40
@d6veteran
d6veteran merged commit e7d9275 into main Oct 17, 2026
1 check passed
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