vcsdd-traceability

name	vcsdd-traceability
description	Use this skill when creating or querying VCSDD Chainlink bead traceability. Provides bead creation patterns, chain traversal, and completeness validation.
origin	VCSDD

VCSDD Traceability (Chainlink Beads)

When to Activate

• Creating new artifacts (specs, tests, code, findings)
• Running /vcsdd-trace command
• Validating chain completeness before Phase 6

Bead Types and Creation Points

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

Traceability Chain

REQ-001 (spec-requirement)
  -> PROP-001 (verification-property)
  -> TEST-001 (test-case)
  -> IMPL-001 (implementation)
  -> FIND-001 (adversary-finding, if issue found)

Creating Beads

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
});

Chain Display (/vcsdd-trace)

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