From vcsdd
Creates and manages VCSDD Chainlink beads for traceability across spec-requirements, verification-properties, test-cases, implementations, and adversary-findings; supports linking, traversal via /vcsdd-trace, and completeness validation.
npx claudepluginhub sc30gsw/vcsdd-claude-code --plugin vcsddThis skill uses the workspace's default tool permissions.
- Creating new artifacts (specs, tests, code, findings)
Traces full VCSDD bead traceability chains via Chainlink graph BFS traversal, displaying connected specs, tests, implementations, proofs, findings with status, paths, and completeness warnings. Use to check spec-to-test-to-impl coverage or code origins.
Tracks multi-session issues via git-backed bd/br CLI dependency graphs and triages priorities with bv PageRank analysis.
Provides Beads (bd CLI) reference for issue types, statuses, priorities, dependencies, hierarchies, and commands. Use when creating, editing, or managing git-backed beads issues via bd.
Share bugs, ideas, or general feedback.
| Type | Created In Phase | ID Prefix | Status Lifecycle |
|---|---|---|---|
| spec-requirement | 1a | REQ-XXX | draft -> active -> superseded |
| verification-property | 1b | PROP-XXX | draft -> active -> proved/failed |
| test-case | 2a | TEST-XXX | draft -> red -> green -> passing/failing |
| implementation | 2b | IMPL-XXX | draft -> implemented |
| adversary-finding | 3 | FIND-XXX | open -> resolved |
| contract-criterion | 2a | CRIT-XXX | draft -> active -> resolved |
REQ-001 (spec-requirement)
-> PROP-001 (verification-property)
-> TEST-001 (test-case)
-> IMPL-001 (implementation)
-> FIND-001 (adversary-finding, if issue found)
const { createBead, linkBeads } = require('./scripts/lib/vcsdd-traceability');
// Create spec requirement bead
const req = createBead('my-feature', {
type: 'spec-requirement',
artifactPath: 'specs/behavioral-spec.md#REQ-001',
status: 'active',
externalId: 'REQ-001',
createdInPhase: '1a',
});
// Create test case and link it
const test = createBead('my-feature', {
type: 'test-case',
artifactPath: 'tests/test_parser.py::test_empty_input',
status: 'red',
externalId: 'TEST-001',
linkedBeads: [req.beadId], // automatically creates bidirectional link
});
BEAD-001 [spec-requirement] active
Path: specs/behavioral-spec.md#REQ-001
Links: BEAD-003, BEAD-010
+-- BEAD-003 [test-case] passing
| Path: tests/test_parser.py::test_empty_input
| Links: BEAD-001, BEAD-005
| +-- BEAD-005 [implementation] implemented
| Path: src/parser.py:42-58
+-- BEAD-010 [verification-property] proved
Path: verification/proof-harnesses/parser_empty.py