Skip to content

chore: fix rivet traceability gaps for implemented requirements#93

Merged
avrabe merged 1 commit intomainfrom
fix/rivet-traceability-gaps
Apr 2, 2026
Merged

chore: fix rivet traceability gaps for implemented requirements#93
avrabe merged 1 commit intomainfrom
fix/rivet-traceability-gaps

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented Apr 2, 2026

Summary

  • Eliminate all 40 lifecycle coverage gaps by adding missing satisfies and verifies links
  • Reduce rivet validate warnings from 83 to 65
  • Remaining 65 warnings are all planned/not-implemented requirements (SOLVER-REQ-, STPA-SEC-REQ-) — expected

Changes

  • artifacts/architecture.yaml — added links from ARCH-PARSER, ARCH-HIR-DEF, ARCH-ANALYSIS, ARCH-CLI, ARCH-CODEGEN-001
  • artifacts/verification.yaml — added links from TEST-PARSER, TEST-HIR-DEF, TEST-ANALYSIS, TEST-TRANSFORM, TEST-CLI, TEST-WORKSPACE, VAL-CODEGEN-001

Test plan

  • rivet validate passes with 65 warnings (was 83), 0 lifecycle gaps (was 40)
  • All links are semantically correct (design decisions satisfy requirements, features verify requirements)

🤖 Generated with Claude Code

Eliminate all 40 lifecycle coverage gaps by adding missing satisfies
and verifies links from existing design decisions and features to
implemented requirements.

- ARCH-PARSER → REQ-PARSER-001
- ARCH-HIR-DEF → REQ-MODEL-003/004, REQ-INST-002, REQ-PROP-003,
  REQ-RESOLVE-001/002, COVERAGE-CH4/8/11/14
- ARCH-ANALYSIS → REQ-SOLVER-003, COVERAGE-CH items, STPA-REQ-020/024-031
- ARCH-CODEGEN-001 → STPA-SEC-REQ-001
- TEST-* features → corresponding REQ-* requirements

Reduces rivet validate warnings from 83 to 65. Remaining 65 are all
planned/not-implemented requirements (SOLVER-REQ-*, STPA-SEC-REQ-*)
which correctly lack downstream links.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 2, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@avrabe avrabe merged commit 6467127 into main Apr 2, 2026
11 checks passed
@avrabe avrabe deleted the fix/rivet-traceability-gaps branch April 2, 2026 17:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant