Requirements traceability¶
Generated by tools/lint_requirements.py. Do not edit by hand; continuous
integration regenerates it and fails when the committed copy differs.
backlog is not a defect. It is a requirement nothing implements yet, which is
the normal state of most of this table today.
implemented, uncovered never reaches the default branch: an implementation
site with no covering test fails the check that produces this page.
| ID | Verification | Defined in | Implemented at | Covered by | State |
|---|---|---|---|---|---|
CON-001 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
CON-002 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
CON-003 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
CON-004 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
CON-005 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
CON-006 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
CON-007 |
— | docs/spec/00-scope-and-goals.md | — | — | backlog |
FR-ACT-001 |
Unit, Integration, Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-002 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-003 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-004 |
Manual, Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-005 |
Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-006 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-007 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-ACT-008 |
Lint, Manual | docs/spec/01-requirements.md | — | tools/check_call_sites.py:46 |
backlog |
FR-CFG-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-CFG-002 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-CFG-003 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-CTX-001 |
Unit, Bench | docs/spec/01-requirements.md | — | — | backlog |
FR-CTX-002 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-CTX-003 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-CTX-004 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-CTX-005 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-001 |
Corpus | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-002 |
Corpus | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-003 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-004 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-005 |
Corpus, Bench | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-006 |
Unit, Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-007 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-GND-008 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-GUI-001 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-GUI-002 |
Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-GUI-003 |
Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-GUI-004 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-GUI-005 |
Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-001 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-002 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-003 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-004 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-005 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-006 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-007 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-LOOP-008 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-MODEL-001 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-MODEL-002 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
FR-MODEL-003 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-MODEL-004 |
Bench, Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-MODEL-005 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-OBS-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-OBS-002 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
FR-OBS-003 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-OBS-004 |
Review | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-001 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-002 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-003 |
Unit, Bench | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-004 |
Corpus | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-005 |
Corpus | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-006 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-007 |
Corpus | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-008 |
Unit, Bench | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-009 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-PERC-010 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-001 |
Manual, Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-002 |
Integration, Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-003 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-004 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-005 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-006 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-SAFE-007 |
Manual | docs/spec/01-requirements.md | — | — | backlog |
FR-SKILL-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-SKILL-002 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-SKILL-003 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
FR-SKILL-004 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
FR-SKILL-005 |
Unit, Manual | docs/spec/01-requirements.md | — | — | backlog |
INV-ACT-001 |
Unit, Integration | docs/spec/01-requirements.md | — | — | backlog |
INV-ACT-002 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
INV-ACT-003 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-CFG-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-CTX-001 |
Unit, review | docs/spec/01-requirements.md | — | — | backlog |
INV-CTX-002 |
Review | docs/spec/01-requirements.md | — | — | backlog |
INV-GND-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-GND-002 |
Unit, Lint | docs/spec/01-requirements.md | — | — | backlog |
INV-GUI-001 |
Integration | docs/spec/01-requirements.md | — | — | backlog |
INV-LOOP-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-LOOP-002 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-MODEL-001 |
Review | docs/spec/01-requirements.md | — | — | backlog |
INV-OBS-001 |
Replay | docs/spec/01-requirements.md | — | — | backlog |
INV-PERC-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-PERC-002 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-SAFE-001 |
Review, Unit | docs/spec/01-requirements.md | — | — | backlog |
INV-SAFE-002 |
Integration, Manual | docs/spec/01-requirements.md | — | — | backlog |
INV-SKILL-001 |
Unit | docs/spec/01-requirements.md | — | — | backlog |
NFR-ACT-001 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
NFR-GUI-001 |
Manual | docs/spec/01-requirements.md | — | — | backlog |
NFR-LOOP-001 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
NFR-MODEL-001 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
NFR-OBS-001 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
NFR-PERC-001 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
NFR-PERC-002 |
Bench | docs/spec/01-requirements.md | — | — | backlog |
NFR-SAFE-001 |
Bench, Manual | docs/spec/01-requirements.md | — | — | backlog |