§1
Generation, Depth & Trust
mandatory
2 decisions1 evidence rule
validators: generation_timestamp_and_query_basis_present · trace_depth_declared_and_cited · no_hand_authored_row_without_rationale
A hand-maintained matrix is dead within a sprint. This one is a query over
links the workspace records already carry, frozen with a timestamp; the only authored rows
are exceptions with rationale, and the matrix says when it can no longer be trusted.
Generated September 18, 2026, 16:45
Query basis: statement↔story-row links, row↔case links, statement↔entity links, and the screen inventory's requirement map (one source of links, two views). Regenerates at milestones, on FRD change requests, and on audit demand.
Decision · trace depth: mid
Story and test maps run full, the level a union-audited pilot must defend (
constraints[2]). Entity map full: contested job ownership (
data architecture[3]). Screen map
mirrored from the inventory. Agreed with E. Sandoval.
Manual exception: one, with rationale
FR-013's certification-data quality is partially assured by the Meridian HR data-governance control outside Specira, asserted by N. Duval; indexed once in the rollup, restated nowhere.
§2
Requirement ↔ Story Map
mandatory
validator: every_map_bidirectional_zero_unexplained_orphans
Header: 13 of 13 statements covered or dispositioned · 0 orphan stories. Forward finds missing coverage; backward finds orphans; both ran.
| Statement | Stories | Backward check |
|---|
| FR-010 | US-1 · US-2 |
Every story resolves to ≥1 statement.
SP-1 is a spike: knowledge outcome, flagged as such, not an orphan. |
| FR-011 | US-1 |
| FR-012 | US-3 |
| FR-013 | US-1 |
| ERR-01 · 06 / ERR-02 · 03 / ERR-04 |
US-7 / US-8 / US-1 |
| ERR-05 |
deferred to the cutover slice; disposition cited (decision[6]) |
§3
Requirement ↔ Entity Map
conditional · engaged: contested job ownership
validator: zero_coverage_rows_explicit_with_disposition
Header: every entity justified · 0 orphans · statements with no data touch: none (stated).
| Statement group | Reads | Writes |
|---|
| FR-010 · FR-012 |
Job · Technician |
Assignment |
| FR-011 | Position | none |
| ERR catalog | same set | none |
Backward: ReasonCode traces to FR-012's capture rule
(enumerations[4]); every entity justified.
§4
Requirement ↔ Screen Map
conditional · mirrored from the inventory
validator: req_screen_map_reconciles_with_inventory_map
Mirrored from the
screen inventory's bidirectional map[5]: one source of links, two views; totals reconcile (5 behavior groups ↔ 4 screens, no exploratory screens). Divergence between this map and the inventory's would be a generation defect: flagged, never edited.
§5
Requirement ↔ Test Map
mandatory
1 decision1 evidence rule
validators: req_test_map_ids_resolve_both_ways · suspect_link_surfaced_when_endpoint_newer_than_generation
Header: 13 of 13 statements carry ≥1 case · pass state at generation: 12 green, 1 deferred (ERR-05, out of scope). The caveat, stated: coverage tells you what ran; traceability tells you what it means.
| Statement / outline | Cases | State |
|---|
| AC-010 | TC-301..303 · TC-306 · TC-307 |
green |
| AC-011 | TC-301 | green |
| AC-012 | TC-311..314 | green |
| FR-013 | TC-304 | green |
| ERR catalog |
TC-305 · TC-321..323 · TC-331..332
(export[1]) |
green |
| ERR-05 | none | deferred by decision · visible |
Backward + suspect ledger
Every case resolves. The one orphan, TC-341 (exploratory feed-jitter probe), is dispositioned: mapped to its pending FRD change request; it archives if the request dies. Suspect: AC-012's note-length
clarification (July 12) flagged its links until re-verification July 14 by K. Yamada;
none suspect at this generation.
§6
Bidirectional Coverage Rollup
mandatory
validator: full_bidirectional_matches_component_map_totals
The chain per statement (requirement → story → row → case → last run) with the weakest link visible. A rollup disagreeing with its component maps is a generation defect.
| Chain example | Story | Row | Case | Last run | Weakest link |
|---|
| FR-012 | US-3 |
AT-1..4 | TC-311..314 |
pass Sep 18 (sign-off[7]) |
none · fully green |
| ERR-05 | none | none | none | none |
stops at deferral by decision · visible, dispositioned, not hidden |
Totals reconcile with all four maps. Exception register: the
FR-013 HR-control assertion, once, with N. Duval's rationale.
§7
Open Questions
mandatory1 decision
| Question | Owner | Answer by | Blocks |
|---|
| Does the union audit require run-level trace (case → individual run ids)
rather than last-run summaries? |
N. Duval | Aug 22, 2026 |
The audit-export depth only; regeneration picks it up |
Omission note, a low-stakes internal tool: "§3 and §4 collapsed into story-map notes: trace level internal, no regulated data, no audit obligation; cited in §1's depth decision. Recorded in adaptation event #1."
Refs
References & Package Contents
In this export package
package
[1] Test cases export: the frozen register view this map cites
./test-cases-recommendations.docx
package
[2] Business Requirements Document: audit constraints
./brd-dispatch-modernization.docx
In the Specira workspace
specira
[3] Architecture: data chapter (contested job ownership)
app.specira.ai/projects/dispatch-modernization/artifacts/architecture#data
specira
[4] Data model: entities and enumerations
app.specira.ai/projects/dispatch-modernization/artifacts/data-model
specira
[5] Screen inventory: the requirement↔screen source map
app.specira.ai/projects/dispatch-modernization/artifacts/screen-inventory
specira
[6] Decisions: cutover and slice plans (deferral dispositions)
app.specira.ai/projects/dispatch-modernization/decisions
specira
[7] Story set: rows, sign-off, run summaries
app.specira.ai/projects/dispatch-modernization/artifacts/user-stories