diff --git a/thought_simulator/requirements_20/system_playground/simulation/pathA_short_sim/notes/program/coverage_map.md b/thought_simulator/requirements_20/system_playground/simulation/pathA_short_sim/notes/program/coverage_map.md
index cbc724840..5c8e106fa 100644
--- a/thought_simulator/requirements_20/system_playground/simulation/pathA_short_sim/notes/program/coverage_map.md
+++ b/thought_simulator/requirements_20/system_playground/simulation/pathA_short_sim/notes/program/coverage_map.md
@@ -9,7 +9,7 @@ Door: [../../README.md](../../README.md). Status: [status.md](status.md).
 
 Path A will be criticized because this work has no settled outside result. The answer is not that the theory is finished. The answer is a map. A critic can point at a hole. The hole is already named.
 
-Human conversation space is the territory. Path A coverage space is the owner and the evidence. Completeness here means the map is known.
+Human conversation space is the territory. Path A coverage space is the owner and the evidence. Roadmap completeness means the recognized forms are named, assigned a status, and open to revision. It does not mean human conversation space is exhaustively known. The rows are a proposed, extensible inventory, not a closed ontology.
 
 ## Status words
 
@@ -20,23 +20,23 @@ Human conversation space is the territory. Path A coverage space is the owner an
 | `unsupported` | Tested, and the packet could not account for it without invention. |
 | `unknown` | No realization yet. Historical rows stay here until a later owner is exercised. |
 
-A check without a replay is not `covered`.
+A check without a replay is not `covered`. Every covered row names the executable evidence that earns that status.
 
 ## Present-only
 
 These forms use the current utterance only. History is not an input.
 
-| Form | Owner | Status | Evidence |
+| Form | Pipeline | Status | Evidence |
 |---|---|---|---|
-| Assertion / state | SOB, SROB, CnOB, SmOB, IdOB | covered | claim ledger |
-| Location | SOB, SROB, CnOB, SmOB, IdOB | covered | claim ledger |
-| Action | SOB, SROB, CnOB, SmOB, IdOB | covered | claim ledger |
-| Transfer | SOB, SROB, CnOB, SmOB, IdOB | covered | *Give me the book.* |
-| Question | SOB, SROB, CnOB, SmOB, IdOB | covered | *Where is the book?* Query against statement is unplaced, not an ID. |
-| Command | SOB, SROB, CnOB, SmOB, IdOB | covered | *Close the door.* |
-| Request | SOB, SROB, CnOB, SmOB, IdOB | covered | *Please close the door.* |
-| Reporting | SOB, SROB, CnOB, SmOB, IdOB | covered | *She said the book is on the table.* Speaker against theme is unplaced, not an ID. |
-| Relative clause | SOB, SROB, CnOB, SmOB, IdOB | covered | *The book that John bought.* |
+| Assertion / state | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *The sky is blue.* |
+| Location | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *The book is on the table.* |
+| Action | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *The cat chased the mouse.* |
+| Transfer | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *Give me the book.* |
+| Question | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *Where is the book?* Query against statement is unplaced, not an ID. |
+| Command | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *Close the door.* |
+| Request | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *Please close the door.* |
+| Reporting | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *She said the book is on the table.* Speaker against theme is unplaced, not an ID. |
+| Relative clause | SOB, SROB, CnOB, SmOB, IdOB | covered | `claim_ledger_replay.py`: *The book that John bought.* |
 | Negation | unassigned | absent | not tested |
 | Modality | unassigned | absent | not tested |
 | Comparison | unassigned | absent | not tested |
@@ -49,7 +49,7 @@ These forms use the current utterance only. History is not an input.
 
 History is on the map and out of the present sim. Owners are COB, CST, CIL, and CEx. IE and CE may feed them. The short sim does not import these rows.
 
-| Form | Owner | Status |
+| Form | Pipeline | Status |
 |---|---|---|
 | Historical reference | COB, CST, CIL, CEx | unknown |
 | Answer to an earlier question | COB, CST, CIL, CEx | unknown |
@@ -59,3 +59,5 @@ History is on the map and out of the present sim. Owners are COB, CST, CIL, and
 ## How a row changes
 
 An extension is a new row, or a status change after a replay. `absent` becomes `covered` only when a replay exists. One absent form is the next development, chosen explicitly. This page does not add that sentence.
+
+Pipeline means the form passes through those writers. The decisive writer for each form is unassigned. A later pass may name it. Partial support is not a status. A narrower form, such as simple predicate negation, gets its own row.