This matrix provides traceability from User Requirements (URS) through Functional (FS) and Non-Functional (NFS) Specifications to Design Specifications (DS) and Code Plans, with implementation status tracked per item. All requirements are uniquely identified for verification and validation.
Traceability Summary
| Document |
Total Requirements |
Covered by FS/NFS |
Covered by DS |
Coverage % |
| URS (User Requirements) |
40 |
40 |
40 |
100% |
| FS (Functional Spec) |
90 |
- |
90 |
100% |
| NFS (Non-Functional Spec) |
91 |
- |
91 |
100% |
URS to FS/NFS Traceability
| URS ID |
Description |
FS IDs |
NFS IDs |
Status |
| URS-01 |
Deterministic reasoning |
FS-01, FS-06 |
NFS-19 to NFS-22 |
✓ |
| URS-02 |
Explainable proof chains |
FS-49 to FS-56 |
- |
✓ |
| URS-03 |
Contradiction detection |
FS-52 |
NFS-26 |
✓ |
| URS-04 |
Multiple reasoning types |
FS-49 to FS-56, FS-68, FS-70 |
NFS-18 |
✓ |
| URS-05 |
Confidence scores |
FS-46, FS-55 |
NFS-23 to NFS-25 |
✓ |
| URS-06 |
Domain-specific theories |
FS-17 to FS-24, FS-66 to FS-72 |
- |
✓ |
| URS-07 |
Multiple theories |
FS-19, FS-20 |
NFS-16, NFS-33, NFS-40 |
✓ |
| URS-08 |
Theory versioning |
- |
- |
Planned |
| URS-09 |
Theory persistence |
FS-24 |
NFS-48 |
✓ |
| URS-10 |
Theory validation |
FS-23 |
- |
✓ |
| URS-11 |
DSL for knowledge |
FS-08 to FS-16 |
NFS-17 |
✓ |
| URS-12 |
SVO triplets |
FS-10, FS-37, FS-67 |
- |
✓ |
| URS-13 |
Query with holes |
FS-12, FS-41 to FS-48 |
- |
✓ |
| URS-14 |
Natural language output |
FS-57 to FS-65, FS-71 |
- |
✓ |
| URS-15 |
JavaScript/TypeScript API |
FS-25 to FS-33 |
NFS-61, NFS-86 |
✓ |
| URS-16 |
Replayable DSL traces |
FS-89 |
NFS-75 |
✓ |
| URS-17 |
Summarize output |
FS-63 |
- |
✓ |
| URS-18 |
Elaborate output |
FS-64, FS-65 |
- |
✓ |
| URS-19 |
Uncertainty indication |
FS-48 |
- |
✓ |
| URS-20 |
Step-by-step proofs |
FS-54 |
- |
✓ |
| URS-21 |
Query response < 100ms |
- |
NFS-01 to NFS-08 |
✓ |
| URS-22 |
200+ facts capacity |
FS-04 |
NFS-12 to NFS-15 |
✓ |
| URS-23 |
Graceful degradation |
FS-53, FS-78 |
NFS-28, NFS-29 |
✓ |
| URS-24 |
Capacity warnings |
FS-77 |
NFS-78 |
✓ |
| URS-25 |
LLM integration |
FS-65 |
NFS-76 |
✓ |
| URS-26 |
External tool hooks |
- |
NFS-58, NFS-59 |
✓ |
| URS-27 |
Standard format export |
- |
NFS-73, NFS-74 |
✓ |
| URS-28 |
Node.js support |
- |
NFS-69, NFS-70, NFS-72 |
✓ |
| URS-29 |
Browser support |
- |
NFS-71 |
✓ |
| URS-30 |
Audit logs |
FS-86 to FS-90 |
NFS-77 to NFS-84, NFS-88, NFS-89 |
✓ |
| URS-31 |
Regulatory rules encoding |
- |
NFS-90 |
✓ |
| URS-32 |
Real-time compliance |
- |
- |
DS08 |
| URS-33 |
Compliance reports |
- |
- |
DS08 |
| URS-34 |
No sensitive data in vectors |
- |
NFS-46 |
✓ |
| URS-35 |
Theory access controls |
- |
NFS-49, NFS-50 |
✓ |
| URS-36 |
DSL input validation |
- |
NFS-42 to NFS-45 |
✓ |
| URS-37 |
API documentation |
- |
NFS-51 to NFS-57, NFS-62 |
✓ |
| URS-38 |
Example theories |
- |
NFS-63, NFS-66 to NFS-68 |
✓ |
| URS-39 |
Clear error messages |
FS-15, FS-73 to FS-78 |
NFS-64, NFS-65 |
✓ |
| URS-40 |
Debugging tools |
FS-32, FS-79 to FS-85 |
- |
✓ |
FS to DS Traceability
| FS Category |
FS IDs |
DS Documents |
Code Plans |
| Core HDC Operations |
FS-01 to FS-07 |
DS01, DS09 |
core/vector.js, core/operations.js, core/position.js |
| DSL Parser |
FS-08 to FS-16 |
DS02 |
parser/lexer.js, parser/parser.js, parser/ast.js |
| Theory Management |
FS-17 to FS-24 |
DS03, DS07 |
runtime/theory/registry.js, runtime/theory/loader.js |
| Session Management |
FS-25 to FS-33 |
DS03 |
runtime/session.js, runtime/scope.js |
| Executor |
FS-34 to FS-40 |
DS03, DS10 |
runtime/executor.js |
| Query Engine |
FS-41 to FS-48 |
DS05 |
reasoning/query.js |
| Proof Engine |
FS-49 to FS-56 |
DS05, DS06 |
reasoning/prove.js, reasoning/rules.js |
| Decoding & Phrasing |
FS-57 to FS-65 |
DS11 |
decoding/structural-decoder.js, decoding/text-generator.js |
| Core Theory Content |
FS-66 to FS-72 |
DS07 |
runtime/theory/core-theory.js |
| Error Handling |
FS-73 to FS-78 |
DS10 |
(integrated in all modules) |
| Debug Utilities |
FS-79 to FS-85 |
DS10 |
debug/dump.js, debug/inspect.js |
| Audit & Tracing |
FS-86 to FS-90 |
DS08 |
(integrated in session.js) |
NFS to DS Traceability
| NFS Category |
NFS IDs |
DS Documents |
Verification Method |
| Performance - Response Time |
NFS-01 to NFS-08 |
DS09, DS10 |
Benchmark Suite |
| Performance - Throughput |
NFS-09 to NFS-11 |
DS09 |
Benchmark Suite |
| Performance - Capacity |
NFS-12 to NFS-18 |
DS01, DS09 |
Stress Test |
| Reliability - Determinism |
NFS-19 to NFS-22 |
DS01, DS09 |
Repeated Execution Test |
| Reliability - Accuracy |
NFS-23 to NFS-26 |
DS05, DS06 |
Accuracy Benchmark |
| Reliability - Availability |
NFS-27 to NFS-29 |
DS10 |
Fault Injection Test |
| Memory & Resources |
NFS-30 to NFS-41 |
DS09 |
Memory Profiling |
| Security |
NFS-42 to NFS-50 |
DS02, DS03 |
Security Review |
| Maintainability |
NFS-51 to NFS-60 |
DS10 |
Code Analysis |
| Usability |
NFS-61 to NFS-68 |
DS03 |
User Testing |
| Compatibility |
NFS-69 to NFS-76 |
DS10 |
CI/CD Matrix |
| Operations |
NFS-77 to NFS-87 |
DS08 |
Monitoring Review |
| Compliance |
NFS-88 to NFS-91 |
DS08 |
Audit Review |
Design Specification Coverage
| DS Document |
URS Coverage |
FS Coverage |
NFS Coverage |
| DS00 - Vision |
All (Overview) |
- |
- |
| DS01 - Theoretical Foundation |
URS-01, URS-22 |
FS-01 to FS-07 |
NFS-12 to NFS-22 |
| DS02 - DSL Syntax |
URS-11 to URS-13 |
FS-08 to FS-16 |
NFS-42 to NFS-45 |
| DS03 - Architecture |
URS-06, URS-07, URS-15 |
FS-17 to FS-40 |
NFS-49, NFS-55 to NFS-57 |
| DS05 - Basic Reasoning |
URS-02 to URS-05, URS-13 |
FS-41 to FS-56 |
NFS-23 to NFS-26 |
| DS06 - Advanced Reasoning |
URS-04 |
FS-49 to FS-56 |
- |
| DS07 - Core Theory |
URS-06, URS-12 |
FS-66 to FS-72 |
- |
| DS08 - Trustworthy AI |
URS-30 to URS-33 |
FS-86 to FS-90 |
NFS-77 to NFS-91 |
| DS09 - Core HDC |
URS-01, URS-21, URS-22 |
FS-01 to FS-07 |
NFS-01 to NFS-11, NFS-30 to NFS-41 |
| DS10 - Code Plan |
All (Implementation) |
All (Implementation) |
NFS-51 to NFS-60, NFS-69 to NFS-76 |
| DS11 - Decoding Engine |
URS-14, URS-17, URS-18 |
FS-57 to FS-65 |
- |
Verification Status
| Phase |
Status |
Artifacts |
| Requirements Definition |
Complete |
URS.md, FS.md, NFS.md |
| Design Specification |
Complete |
DS00 to DS11 |
| Code Plans |
Complete |
docs/specs/src/*.md |
| Implementation |
Pending |
src/ |
| Unit Testing |
Pending |
tests/unit/ |
| Integration Testing |
Pending |
tests/integration/ |
| Validation |
Pending |
Validation Report |