skills/vcsdd-traceability/SKILL.md
Use this skill when creating or querying VCSDD Chainlink bead traceability. Provides bead creation patterns, chain traversal, and completeness validation.
npx skillsauth add sc30gsw/vcsdd-claude-code vcsdd-traceabilityInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
| 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
documentation
Use this skill when writing Phase 1b verification architecture documents. Provides purity boundary mapping, proof obligation design, and tier assignment guidance.
data-ai
Display the full traceability chain for a VCSDD bead. Traverses the Chainlink graph from the given bead ID and shows all connected artifacts with status.
development
Run Phase 2a (test generation, Red phase) for the active VCSDD feature. Invokes vcsdd-builder to generate failing tests for all spec requirements. Records red phase evidence.
testing
Display the current VCSDD pipeline status for the active (or specified) feature. Shows phase, mode, sprint count, open findings, pending proofs, and the traceability summary.