From 787df5ca71833a512f8dbef140f5fb4e6c68c195 Mon Sep 17 00:00:00 2001 From: CuriousOne23 Date: Thu, 8 Oct 2026 21:54:10 +0000 Subject: [PATCH] Qualify the coverage map and name the replay for each covered row. The map is an extensible inventory, not an exhaustive ontology. Covered rows cite claim_ledger_replay.py and the utterance. Pipeline is not a decisive writer. --- .../notes/program/coverage_map.md | 28 ++++++++++--------- 1 file changed, 15 insertions(+), 13 deletions(-) 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.