sdd-verify

SDD Verification

docs/sdd-guidelines.md §3: "Integrity = Traceability + Testing"

Two Dimensions

Both required. Traceability alone confirms links exist; Testing confirms code works.

Quick Reference

Link Types

Test Types

Instructions

Full Verification

Run both dimensions:

1. Traceability Check
   └── Alignment (Foundation ↔ Requirements)
   └── Derivation (Requirements ↔ Design)
   └── Consistency

2. Test Check
   └── @verifies coverage
   └── Abstraction matching
   └── Test execution status

Partial Verification

Verification Triggers

Results Handling

Pass

# Update item status
items:
  REQ-001:
    status: verified
    verified_at: 2025-01-17T10:00:00Z

Fail — Self-Resolvable

After fix: re-verify → mark verified.

Fail — Escalate

escalations:
  - id: ESC-001
    type: interpretation
    description: "REQ-003 and REQ-005 conflict"
    items_affected: [REQ-003, REQ-005]
    status: pending

Gap Documentation

gaps:
  - id: GAP-001
    severity: critical | major | minor
    type: missing_requirement | missing_design | missing_rationale | missing_test | broken_link | contradiction
    location: spec/requirements.md#REQ-003
    description: "No behavioral test for REQ-003"
    blocking: [implementation]
    owner: unassigned

Scope Direction

Foundation → Requirements → Design → Implementation
   (Why)        (What)       (How)     (Code)

State Update

After verification:

# .sdd/state.yaml
documents:
  requirements:
    status: verified
    items:
      REQ-001: { status: verified, test: passing }
      REQ-002: { status: verified, test: passing }
      REQ-003: { status: draft, test: missing }

verification:
  traceability:
    alignment: passed
    derivation: passed
  tests:
    requirements:
      REQ-001: passing
      REQ-002: passing
      REQ-003: missing
    design:
      data_model: passing

Checklist

• All anchors have ≥1 REQ (@aligns-to coverage)
• All design items have @derives
• All REQs have behavioral tests (@verifies)
• Non-obvious choices have @rationale
• Tests match abstraction level
• Gaps documented with severity/owner
• State file updated

References

• reference/traceability.md — Link verification details
• reference/testing.md — Test verification details
• docs/sdd-guidelines.md §3 for full specification