Module map¶
The file → module ownership record required by REQ-REPO-008: every file belongs to exactly one module. The authoritative module inventory, layering, and dependency rules live in PRD 02 §5–§6; this page tracks the concrete mapping as the repository grows and is updated in every PR that adds files.
State at M3: MOD-CORE, MOD-CPU, MOD-DISPATCH, MOD-KCOMMON, MOD-K1…K6 (scalar backends), MOD-TESTKIT, and MOD-BENCH are live; Tier B families arrive at M6, SIMD backends at M4/M5/M7. Rows below marked predetermined describe ownership fixed by the PRD for files that do not exist yet; they become live at the listed milestone.
Live¶
| Path | Module | Notes |
|---|---|---|
LICENSE, README.md, CONTRIBUTING.md, CHANGELOG.md, SECURITY.md |
process (maintainer) | governance |
.clang-format, .clang-tidy, .gitignore, .gitattributes |
process (maintainer) | REQ-STD-002/-007 |
CMakeLists.txt, CMakePresets.json, cmake/** |
build system | PRD 03 |
.github/** |
MOD-CI | workflows, templates, repo-lint assets |
docs/** |
per docs/README.md directory map | REQ-DOC-001 |
include/quiver/{quiver,core}.h, include/quiver/detail/{config,extern_decls}.h |
MOD-CORE | live since M1 |
include/quiver/dispatch.h, src/dispatch/{dispatch_internal.h,dispatch_tables.cpp,version.cpp} |
MOD-DISPATCH | live since M1 |
src/cpu/{cpu_features.h,cpu_features.cpp} |
MOD-CPU | live since M1 |
tests/CMakeLists.txt, tests/unit/{test_main,test_core,test_dispatch}.cpp |
test suites (MOD-CORE/MOD-DISPATCH validation) | live since M1 |
tests/testkit/{generators.h,generators.cpp,reference.h,assertions.h,drift_check.cpp}, tests/unit/test_testkit.cpp |
MOD-TESTKIT | live since M2 |
bench/CMakeLists.txt, bench/harness/**, bench/micro/** |
MOD-BENCH | live since M2/M3 |
src/kernels/common/** |
MOD-KCOMMON | live since M3 |
include/quiver/{compare,filter,select,mask,take,reduce}.h, src/kernels/<family>/** |
MOD-K1…MOD-K6 | live since M3 (scalar; AVX2 M4, NEON M5, AVX-512 M7) |
tests/{unit,property,differential,invariant}/** (family suites) |
owning family | live since M3 |
Predetermined (from PRD 02 §3/§8; 73 production files total)¶
| Path pattern | Module | Arrives |
|---|---|---|
include/quiver/{hash,unpack,arith}.h, src/kernels/{hash,unpack,arith,arith_guarded}/** |
MOD-K7…MOD-K10 | M6 (Tier B) |
src/kernels/<family>/<family>_{avx2,neon,avx512}.cpp |
owning family | M4 / M5 / M7 |
tests/{unit,property,differential,invariant,fuzz,regression}/** |
owning kernel family / MOD-DISPATCH / MOD-CORE | M1–M7 |
bench/baselines/**, bench/micro/**, bench/pipeline/** |
MOD-BENCH | M3–M8 |
ledger/** |
MOD-LEDGER | M5 |
tools/amalgamate/** |
MOD-AMALG | M8 |
examples/** |
MOD-EXAMPLES | M8 |
Cross-module rules in force from M0: no kernel family includes another family's internals (REQ-REPO-009); dev trees never become dependencies of shipped code (REQ-REPO-007); the dependency graph stays acyclic (REQ-REPO-005).