# Traceability Matrix
## Deliverables to docs mapping
| Rust lib + CLI | `ARCHITECTURE.md`, `ROADMAP.md` | build/test/CLI fixture checks |
| Language packs | `specs/symbol-extraction.md` | language fixture + snapshot tests |
| Dependency graph + SCC | `specs/graph-model.md`, `rfcs/0004-graph-representation-and-scc.md`, `rfcs/0008-graph-module.md`, `rfcs/0009-cross-file-dependency-mapping.md` | graph fixture SCC assertions |
| Deployment Unit annotation | `specs/graph-model.md`, `rfcs/0004-graph-representation-and-scc.md` | SCC classification fixture tests |
| Dataflow (stretch) | `specs/graph-model.md`, `rfcs/0007-dgraph-integration-scope.md` | optional feature tests |
| Dgraph sink | `rfcs/0007-dgraph-integration-scope.md` + `specs/graph-model.md` | export contract validation |
| Deploy Manifests (`metacall-deploy`) | `specs/requirements.md` FR-9 | fixture manifest comparison tests |
| Mesh Annotation (`metacall-deploy`) | `specs/requirements.md` FR-10 | SCC unit classification tests |
## Acceptance criteria mapping
| Parse all supported languages | `specs/requirements.md` FR-1 | per-language fixture parsing tests |
| Correct SCC identification | `specs/graph-model.md` | graph fixture SCC assertions |
| Deployment Unit classification | `specs/requirements.md` FR-4 | independent vs. co-deploy fixture assertions |
| Incremental update target | `ARCHITECTURE.md` + `rfcs/0003-incremental-parsing-strategy.md` | benchmark harness and thresholds |
| Linux/macOS/Windows portability | `CI_CD.md` | CI matrix status |
| Deploy Manifest fixture match | `specs/requirements.md` FR-9 | `tests/fixtures/mixed/` manifest comparison |
| Mesh Annotation correctness | `specs/requirements.md` FR-10 | `auth-function-mesh` unit classification |
## Decision traceability
| Language loading model | `rfcs/0001-language-loading-model.md` |
| Error semantics | `rfcs/0002-error-semantics-and-recovery.md` |
| Incremental strategy | `rfcs/0003-incremental-parsing-strategy.md` |
| Graph representation | `rfcs/0004-graph-representation-and-scc.md` |
| Output contract policy | `rfcs/0005-output-contract-policy.md` |
| Type inference scope | `rfcs/0006-type-inference-scope.md` |
| Dgraph scope | `rfcs/0007-dgraph-integration-scope.md` |
| Graph module design | `rfcs/0008-graph-module.md` |
| Cross-file dependency mapping | `rfcs/0009-cross-file-dependency-mapping.md` |