Skip to content
cccskills
FreePublished on GitHub

vcsdd-spec-crystallization

Use this skill when writing Phase 1a behavioral specifications in VCSDD. Provides EARS format requirements writing, purity boundary analysis, edge case enumeration, and spec quality validation patterns.

The English summary is being prepared. Showing the original description.

See how to install

Files included (1)

  • SKILL.md2.7 KB

SKILL.md (original)

Review the instructions the agent will receive before you install.

VCSDD Spec Crystallization

When to Activate

  • Phase 1a of VCSDD pipeline (behavioral specification)
  • Writing EARS-format requirements
  • Identifying edge cases for a feature
  • Reviewing a behavioral spec for completeness

EARS Requirement Format

Every requirement MUST use EARS (Easy Approach to Requirements Syntax):

PatternSyntaxExample
UbiquitousTHE SYSTEM SHALL [action]THE SYSTEM SHALL log all authentication attempts
Event-drivenWHEN [trigger] THE SYSTEM SHALL [action]WHEN user submits empty form THE SYSTEM SHALL return ErrorCode.EMPTY
State-drivenWHILE [state] THE SYSTEM SHALL [action]WHILE user is authenticated THE SYSTEM SHALL display dashboard
ConditionalIF [condition] THEN THE SYSTEM SHALL [action]IF retry count exceeds 3 THEN THE SYSTEM SHALL lock account
OptionalWHERE [feature] THE SYSTEM SHALL [action]WHERE audit mode enabled THE SYSTEM SHALL record all reads

Spec Completeness Checklist

  • Every requirement has a unique ID (REQ-001, REQ-002, ...)
  • Every requirement uses EARS syntax
  • Every requirement is testable (can be pass/fail verified)
  • Edge case catalog includes: empty inputs, boundary values, concurrent access, error conditions
  • Non-functional requirements specified (performance bounds, security constraints)
  • Purity boundary identified: pure core vs effectful shell

Purity Boundary Analysis

Separate code into:

  • Pure Core: deterministic functions, no side effects, same input → same output always
    • Example: parsing logic, business rules, validation, calculations
    • Formally verifiable with Kani/hypothesis/fast-check
  • Effectful Shell: I/O, database, network, time, randomness
    • Example: file readers, HTTP clients, database queries
    • Tested with integration tests and mocks at the boundary

Edge Case Catalog Template

## Edge Cases

### Input Edge Cases
- Empty input: [expected behavior]
- Maximum length input: [expected behavior]
- Special characters / unicode: [expected behavior]
- Null / undefined: [expected behavior]

### State Edge Cases
- First-time run (no state): [expected behavior]
- Concurrent modification: [expected behavior]
- Interrupted operation: [expected behavior]

### Error Edge Cases
- External dependency unavailable: [expected behavior]
- Partial failure: [expected behavior]
- Timeout: [expected behavior]

Reviews

No reviews yet. Tell others what you thought.

Comments

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.

Comments are published right away. Do not include personal information such as email addresses or phone numbers. Up to 2 URLs.

0 / 1,000 characters

This form is protected by reCAPTCHA, and the Google Privacy Policy and Terms of Service apply.

More skills from this repository

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.

sc30gsw/vcsdd-claude-code27Updated Apr 5, 2026

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.

sc30gsw/vcsdd-claude-code27Updated Apr 5, 2026

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.

sc30gsw/vcsdd-claude-code27Updated Apr 5, 2026

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.

sc30gsw/vcsdd-claude-code27Updated Apr 5, 2026

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.

sc30gsw/vcsdd-claude-code27Updated Apr 5, 2026

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.

sc30gsw/vcsdd-claude-code27Updated Apr 5, 2026

See all skills by sc30gsw

Report a problem with this skill