Skip to content

Trace covered rows on the coverage map #186

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
CuriousOne23 merged 1 commit into from
Oct 8, 2026
Merged

Trace covered rows on the coverage map #186

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 15 additions & 13 deletions ...s_20/system_playground/simulation/pathA_short_sim/notes/program/coverage_map.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand All @@ -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 |
Expand All @@ -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 |
Expand All @@ -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.
Loading