Use this skill when writing Phase 1b verification architecture documents. Provides purity boundary mapping, proof obligation design, and tier assignment guidance.
The English summary is being prepared. Showing the original description.
See how to installReview the instructions the agent will receive before you install.
A function belongs in the pure core if:
A function belongs in the effectful shell if:
+---------------------------------+
| Effectful Shell |
| (HTTP handlers, DB adapters) |
| |
| +---------------------+ |
| | Pure Core | |
| | (business rules, | |
| | parsing, calcs) | |
| +---------------------+ |
+---------------------------------+
Each proof obligation should specify:
Good proof obligations:
PROP-001: Parse(Serialize(x)) == x (round-trip property)PROP-002: Validate(x) == false implies Transform(x) raises an errorPROP-003: Token budget never goes negativePoor proof obligations (too vague):
PROP-004: Code is correctPROP-005: No errors occurNo reviews yet. Tell others what you thought.
No login needed. Share how it worked for you, ask a question, or note where it did not run.
No comments yet. Be the first to write one.
Use this skill when running or interpreting VCSDD adversarial reviews. Provides calibration guidance for the Adversary agent, finding severity classification, and anti-leniency enforcement patterns.
The English summary is being prepared. Showing the original description.
Run Phase 3 (adversarial review) for the active VCSDD feature. Spawns a fresh vcsdd-adversary agent with zero Builder context to review implementation against spec. Produces binary PASS/FAIL verdict per dimension.
The English summary is being prepared. Showing the original description.
Create a git commit for the current VCSDD phase. Auto-generates a conventional commit message from state.json including phase, sprint, gate verdict, and affected bead IDs. Tags with vcsdd/<feature>/phase-<id>.
The English summary is being prepared. Showing the original description.
Run the strict-mode sprint contract review after Phase 2c. Spawns a fresh vcsdd-adversary instance to review `contracts/sprint-N.md` and writes a PASS/FAIL verdict under `reviews/contracts/sprint-N/output/`.
The English summary is being prepared. Showing the original description.
Run Phase 6 (convergence check) for the active VCSDD feature. Validates four-dimensional convergence: finding diminishment, finding specificity, criteria coverage, and duplicate detection.
The English summary is being prepared. Showing the original description.
Use this skill during Phase 6 convergence checks. Provides four-dimensional convergence analysis, hallucination detection, and duplicate finding identification.
The English summary is being prepared. Showing the original description.