跳到正文
cccskills
免费在 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.

中文简介正在准备中。当前显示原文说明。

查看安装方法

包含的文件(1)

  • SKILL.md2.7 KB

SKILL.md(原文)

安装前可以查看交给 AI 代理的指令内容。

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]

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

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.

中文简介正在准备中。当前显示原文说明。

sc30gsw/vcsdd-claude-code272026年4月5日 更新

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.

中文简介正在准备中。当前显示原文说明。

sc30gsw/vcsdd-claude-code272026年4月5日 更新

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

中文简介正在准备中。当前显示原文说明。

sc30gsw/vcsdd-claude-code272026年4月5日 更新

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/`.

中文简介正在准备中。当前显示原文说明。

sc30gsw/vcsdd-claude-code272026年4月5日 更新

Run Phase 6 (convergence check) for the active VCSDD feature. Validates four-dimensional convergence: finding diminishment, finding specificity, criteria coverage, and duplicate detection.

中文简介正在准备中。当前显示原文说明。

sc30gsw/vcsdd-claude-code272026年4月5日 更新

Use this skill during Phase 6 convergence checks. Provides four-dimensional convergence analysis, hallucination detection, and duplicate finding identification.

中文简介正在准备中。当前显示原文说明。

sc30gsw/vcsdd-claude-code272026年4月5日 更新

查看 sc30gsw 的全部技能

报告此技能的问题