Web Playground SDD Verification

Verify integrity across SDD artifacts and recover from gaps.

Verification Types

Instructions

1. Alignment Check (Foundation <-> Requirements)

For each requirement, verify:

Run check:

# Extract all anchors from foundation
grep -E "^\*\*[A-Z]+-" spec/foundation.md

# Extract all @aligns-to from requirements
grep "@aligns-to:" spec/requirements.md

2. Traceability Check (Requirements <-> Design)

For each design item, verify:

3. Consistency Check

Handling Results

Pass

Update document status in frontmatter to status: verified.

Fail - Self-Resolvable

After fix: re-verify, then mark verified.

Fail - Requires Escalation

Escalate when:

• Foundation-level conflict
• Conflicting interpretations
• Missing artifact (not just link)
• User intent ambiguity

Create escalation in .sdd/state.yaml:

escalations:
  - id: ESC-001
    type: interpretation  # or: scope_decision, contradiction
    description: "REQ-003 and REQ-005 appear to conflict"
    items_affected: [REQ-003, REQ-005]
    status: pending

Set affected items to blocked and transfer ownership to human.

Gap Documentation

Add gaps to .sdd/state.yaml:

gaps:
  - id: GAP-001
    severity: major          # critical | major | minor
    type: missing_requirement  # or: missing_design, broken_link, contradiction
    location: spec/foundation.md#QUALITY-MINIMAL
    description: "QUALITY-MINIMAL anchor has no requirements"
    blocking: [design.dependencies]
    owner: unassigned
    created: 2025-01-15

Severity Definitions

Recovery Procedures

Orphan Design (missing @derives)

1. Find matching REQ in requirements doc
2. If found: add @derives link
3. If not found: create GAP for missing requirement, or remove design item

Orphan Requirement (missing @aligns-to)

1. Find matching anchor in foundation
2. If found: add @aligns-to link
3. If not found: question if REQ belongs, escalate

Broken Link

Contradiction

1. Identify authority (Foundation > Requirements > Design)
2. If lower-level wrong: update lower-level
3. If higher-level wrong: escalate
4. Propagate: re-verify dependents

State Update

After verification:

documents:
  requirements: { status: verified, owner: human }
  design: { status: draft, owner: claude }
gaps:
  - { id: GAP-001, severity: major, description: "..." }
escalations:
  - { id: ESC-001, status: pending }  # if any

Verification

• All anchors have coverage in requirements
• All REQs have valid @aligns-to
• All design items have valid @derives
• Non-obvious choices have @rationale
• Gaps documented with severity/type/owner
• State file updated with verification results

Reference

For full details: .claude/skills/sdd-guidelines/reference/guidelines-v4.4.md sections 3, 6