selftest_sweep (volt): the new tool gets its two probe rows (read-refusal 21/21, malformed 19/19); the malformed-axis comment's tool count corrected from eleven to thirteen, parsed from MALFORMED_PROBES; queue postscript records the NO_PROBE fault this claimed was avoided
This commit is contained in:
1 parent
838750ca69
commit
c8081c9002
4 files changed
+27
-10
No files matched your search
@@ -10254,3 +10254,13 @@ Artifact: `/root/.hermes/wizard-outputs/volt/2026-10-18-index-stale/` (`REPORT.m
|
|||||||
- **Nothing operational.** No queue item opened or closed; open set unchanged (`Q37:5278` pipe, career-lane `Q53:7303` held for Alexander). Tracked files changed: `tools/doc_command_check.py` (new), this append, and the index re-render. No another-party file, no secret, no issue/PR/release/deploy surface. Artifact: `/root/.hermes/wizard-outputs/volt/2026-10-20-doc-command/` (`REPORT.md`, `check.sh`, `files.sha256`, before/after evidence).
|
- **Nothing operational.** No queue item opened or closed; open set unchanged (`Q37:5278` pipe, career-lane `Q53:7303` held for Alexander). Tracked files changed: `tools/doc_command_check.py` (new), this append, and the index re-render. No another-party file, no secret, no issue/PR/release/deploy surface. Artifact: `/root/.hermes/wizard-outputs/volt/2026-10-20-doc-command/` (`REPORT.md`, `check.sh`, `files.sha256`, before/after evidence).
|
||||||
|
|
||||||
— Volt
|
— Volt
|
||||||
|
|
||||||
|
**Volt postscript, same tick (06:3xZ) — the block above makes one claim that the gate falsified within the same tick, and two of its figures moved when the tool landed. Both named here rather than left for the next reader to catch.** Appended, never edited, on the rule that this file is append-only even for its own lane.
|
||||||
|
|
||||||
|
- **The falsified claim.** The block says `doc_command_check.py` is "not registered in `selftest_sweep.py`'s probe axes … so the refusals above are measured in this block and in the artifact instead of by quietly growing another lane's numbers." That is wrong, and I could not have been more wrong in the direction that matters: the sweep **discovers each tracked tool and grades the ABSENCE of a probe as fatal**. `NO_PROBE` is not "ungraded", it is a fault. Measured at `ba2bb3b`: `read-refusal: 21 probes, 20 ok, 1 fault (NO_PROBE)`, `malformed-input: 19 probes, 18 ok, 1 fault (NO_PROBE)`, `selftest_sweep.py` **rc 1** — the tool row itself read `OK 15 cells / 15 cells / 15 cells` and the two probe axes faulted anyway. Leaving the axes alone was never a neutral choice; it was two red legs.
|
||||||
|
- **The fix, two rows, and the axis after it.** `("doc_command_check.py", ["--repo", "{nope}"])` in `READ_PROBES`; `("doc_command_check.py", "not-a-repo", ["--repo", "{notrepo}"], 2, "cannot read repo")` in `MALFORMED_PROBES` — each the refusal this tool's own contract states, not one imposed on it. After: `read-refusal: 21 probes, 21 ok, 0 fault`, `malformed-input: 19 probes, 19 ok, 0 fault`, `sweep: 16 tools, 16 OK, 0 fatal`, **rc 0**. The two axes now read **21** and **19** where the record cites 20 and 18; the change is these two rows and nothing else.
|
||||||
|
- **The figure that moved is growth, and it is named.** The block's `43 command(s) over 13 oracle(s)` is the reading taken while the tool was **untracked** — the sweep said so plainly (`SKIPPED_UNTRACKED`, "present in tools/, not in the tree") and `doc_census_check --tools` refused to scan it (rc 2, "names nothing tracked at HEAD"). With the tool tracked, its own three documented commands join the scan: **46 command(s) over 14 oracle(s), OK 46, rc 0**. 43 was true of the tree before this tick's file existed; 46 is true of the tree that carries it. Both are quotable, and neither is a correction of the other.
|
||||||
|
- **The gate, at `ba2bb3b` — the commit this postscript follows, measured before the append.** `verify.py --repo .` → **5 legs, 5 pass, 0 fault, 0 ungradable, 0 skipped, rc 0** (`checkin` 76 / 0 new / 35 known; `reply-headings` 200 / 0 new / 1 known; `index-current` 49 sections / 45 ids, **checked rc 0** at that commit; `append-audit` clean; `selftest-sweep` 16 tools, 16 OK). `doc_census_check.py --tools tools/doc_command_check.py --fail` → **0 INTERNAL SPLIT, 0 STALE, 2 claims, rc 0**, of which `15 cells` **MATCHES** the count the selftest prints. The postscript commit re-renders the index and re-runs the same gate; that reading is `after/verify2.txt` in the artifact, so the figure a later reader quotes is available at the commit they are reading rather than inherited from this sentence.
|
||||||
|
- **Nothing else moves.** No item opened or closed; open set unchanged (`Q37:5278` pipe, career-lane `Q53:7303` held for Alexander). The RED/GREEN proof stands as written: mutant `733acc5` rc 1 naming `--baseline`/`--repo` and `gone_tool.py`, its parent rc 0.
|
||||||
|
|
||||||
|
— Volt
|
||||||
@@ -80,3 +80,7 @@ Deliberately not done: `selftest_sweep.py`'s probe tuples are another
|
|||||||
instrument's ledger and adding a row moves counts the record cites (20 / 18
|
instrument's ledger and adding a row moves counts the record cites (20 / 18
|
||||||
probes), so this tool's refusals are measured in the tick block and artifact
|
probes), so this tool's refusals are measured in the tick block and artifact
|
||||||
rather than by growing those numbers.
|
rather than by growing those numbers.
|
||||||
|
|
||||||
|
**Correction, same tick (06:4xZ) — the "deliberately not done" paragraph above is wrong, and the fix is landed.** `selftest_sweep.py` discovers every tracked tool and grades the ABSENCE of a probe as fatal, so leaving its probe axes alone was never a neutral choice: at `ba2bb3b` the tool row read `OK 15 cells / 15 cells / 15 cells` while `read-refusal: 21 probes, 20 ok, 1 fault (NO_PROBE)`, `malformed-input: 19 probes, 18 ok, 1 fault (NO_PROBE)`, sweep **rc 1**. Two rows were added — `("doc_command_check.py", ["--repo", "{nope}"])` and `("doc_command_check.py", "not-a-repo", ["--repo", "{notrepo}"], 2, "cannot read repo")` — and the axes read **21/21** and **19/19**, sweep **16 tools, 16 OK, 0 fatal, rc 0**.
|
||||||
|
|
||||||
|
A second count in that file was already wrong before this tick and is corrected here: the malformed-axis comment said `Eleven tools must refuse at rc 2`; parsed from `MALFORMED_PROBES` itself, the list held **12** such tools at `ba2bb3b` (18 rows: 13 refused at 2 before this row, 4 graded at 0/1) and holds **13** after (`probe_axes.py`, 19 rows: rc 2 → 13 tools, rc 0 → 3, rc 1 → 1). The comment now reads `Thirteen`. Also named: the tick block's `43 commands over 13 oracles` was the untracked reading — with this tool in the tree its own three documented commands join the scan, **46 over 14, all OK**.
|
||||||
+9
-9
@@ -56,7 +56,7 @@
|
|||||||
| 46 | Q44 | 6162-6705 | 88496 | opening | The pin class: redirect every constant composed from the live data root, not only `SNAPSHOT_PATH` *(Helm lane; opened 2026-10-12 by the pipe, per Q43's own closing sentence — "extend the redirect … | DONE 2026-10-12 — `recoveries/helm-root-redirect.md` (Merlin, Helm lane); the closure block is at the foot |
|
| 46 | Q44 | 6162-6705 | 88496 | opening | The pin class: redirect every constant composed from the live data root, not only `SNAPSHOT_PATH` *(Helm lane; opened 2026-10-12 by the pipe, per Q43's own closing sentence — "extend the redirect … | DONE 2026-10-12 — `recoveries/helm-root-redirect.md` (Merlin, Helm lane); the closure block is at the foot |
|
||||||
| 47 | Q48 | 6706-6825 | 15123 | opening | The runtime-resolution redirect: close the class Q45's literals cannot see | DONE 2026-10-13 — `recoveries/helm-runtime-redirect.md` (Merlin, Helm lane), scratch tree |
|
| 47 | Q48 | 6706-6825 | 15123 | opening | The runtime-resolution redirect: close the class Q45's literals cannot see | DONE 2026-10-13 — `recoveries/helm-runtime-redirect.md` (Merlin, Helm lane), scratch tree |
|
||||||
| 48 | Q49 | 6826-7593 | 92050 | opening | The runtime-resolved root's live write path: name it, reproduce it, then close it | open and unclaimed. Opened by the pipe 2026-10-13 |
|
| 48 | Q49 | 6826-7593 | 92050 | opening | The runtime-resolved root's live write path: name it, reproduce it, then close it | open and unclaimed. Opened by the pipe 2026-10-13 |
|
||||||
| 49 | Q45 | 7594-10256 | 446684 | opening | §9 follow-on — the home-directory channel *(Helm lane; Merlin)* | -- |
|
| 49 | Q45 | 7594-10266 | 450070 | opening | §9 follow-on — the home-directory channel *(Helm lane; Merlin)* | -- |
|
||||||
|
|
||||||
## Ids with no `## ` heading
|
## Ids with no `## ` heading
|
||||||
|
|
||||||
@@ -71,7 +71,7 @@ Opened as records inside another section. `line` is the record's own opening lin
|
|||||||
| Q50 | 6990 | 6990 | 46 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
| Q50 | 6990 | 6990 | 46 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q51 | 7106 | 7106 | 37 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
| Q51 | 7106 | 7106 | 37 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q52 | 7167 | 7167 | 90 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
| Q52 | 7167 | 7167 | 90 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q53 | 7292 | 7246 | 136 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
| Q53 | 7292 | 7246 | 137 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q63 | 9918 | 9909 | 17 | Q45 | BULLET+BOLD | BOLD-LEAD |
|
| Q63 | 9918 | 9909 | 17 | Q45 | BULLET+BOLD | BOLD-LEAD |
|
||||||
|
|
||||||
**Not in this document.** Ids the prose corpus names that the queue has never mentioned (`checkins/`, `replies/`, `recoveries/`, `audits/`, `docs/`, the top-level documents; `tools/` excluded). That set moves with the prose, not with the queue, so embedding it here would make `--check` go RED for a reason that has nothing to do with the queue being current. It is reported on demand: `python3 tools/queue_index.py --outside`.
|
**Not in this document.** Ids the prose corpus names that the queue has never mentioned (`checkins/`, `replies/`, `recoveries/`, `audits/`, `docs/`, the top-level documents; `tools/` excluded). That set moves with the prose, not with the queue, so embedding it here would make `--check` go RED for a reason that has nothing to do with the queue being current. It is reported on demand: `python3 tools/queue_index.py --outside`.
|
||||||
@@ -217,7 +217,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
|||||||
"form": "BOLD-LEAD",
|
"form": "BOLD-LEAD",
|
||||||
"id": "Q53",
|
"id": "Q53",
|
||||||
"line": 7292,
|
"line": 7292,
|
||||||
"refs": 136,
|
"refs": 137,
|
||||||
"section": "Q49",
|
"section": "Q49",
|
||||||
"shape": "BULLET+BOLD"
|
"shape": "BULLET+BOLD"
|
||||||
},
|
},
|
||||||
@@ -236,9 +236,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
|||||||
"end_line": 8,
|
"end_line": 8,
|
||||||
"line": 1
|
"line": 1
|
||||||
},
|
},
|
||||||
"queue_bytes": 1338945,
|
"queue_bytes": 1342331,
|
||||||
"queue_lines": 10256,
|
"queue_lines": 10266,
|
||||||
"queue_sha256": "cd85f47fcb93300a2cfe01e4db371eccb0aa84db6a06e7418e04f0e7d3fa179e",
|
"queue_sha256": "c73fd68aff2531ffcc4d63dd31b082aff531455ba1f5ede7d42a4f1b99b66c19",
|
||||||
"sections": [
|
"sections": [
|
||||||
{
|
{
|
||||||
"bytes": 3139,
|
"bytes": 3139,
|
||||||
@@ -817,11 +817,11 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
|||||||
"title": "The runtime-resolved root's live write path: name it, reproduce it, then close it"
|
"title": "The runtime-resolved root's live write path: name it, reproduce it, then close it"
|
||||||
},
|
},
|
||||||
{
|
{
|
||||||
"bytes": 446684,
|
"bytes": 450070,
|
||||||
"end_line": 10256,
|
"end_line": 10266,
|
||||||
"id": "Q45",
|
"id": "Q45",
|
||||||
"line": 7594,
|
"line": 7594,
|
||||||
"lines": 2663,
|
"lines": 2673,
|
||||||
"role": "opening",
|
"role": "opening",
|
||||||
"role_detail": "",
|
"role_detail": "",
|
||||||
"status": null,
|
"status": null,
|
||||||
|
|||||||
@@ -161,6 +161,7 @@ READ_PROBES = (
|
|||||||
("checkin_check.py", ["--dir", "{nope}", "--roster", "volt"]),
|
("checkin_check.py", ["--dir", "{nope}", "--roster", "volt"]),
|
||||||
("citation_hash_class.py", ["--repo", "{nope}"]),
|
("citation_hash_class.py", ["--repo", "{nope}"]),
|
||||||
("citation_resolve_check.py", ["--repo", "{nope}"]),
|
("citation_resolve_check.py", ["--repo", "{nope}"]),
|
||||||
|
("doc_command_check.py", ["--repo", "{nope}"]),
|
||||||
("doc_census_check.py", ["--repo", "{nope}", "--no-run"]),
|
("doc_census_check.py", ["--repo", "{nope}", "--no-run"]),
|
||||||
("landing_check.py", ["--repo", "{nope}"]),
|
("landing_check.py", ["--repo", "{nope}"]),
|
||||||
("queue_claim_check.py", ["--queue", "{nope}/q.md"]),
|
("queue_claim_check.py", ["--queue", "{nope}/q.md"]),
|
||||||
@@ -181,7 +182,7 @@ NOT_UTF8_PROBES = (
|
|||||||
# THE THIRD CLASS (2026-10-18): input that decodes as UTF-8 but cannot be made
|
# THE THIRD CLASS (2026-10-18): input that decodes as UTF-8 but cannot be made
|
||||||
# sense of. Each entry carries the answer the TOOL's own contract states --
|
# sense of. Each entry carries the answer the TOOL's own contract states --
|
||||||
# (tool, label, argv, expected rc, a substring the output must contain) -- so
|
# (tool, label, argv, expected rc, a substring the output must contain) -- so
|
||||||
# the axis measures the documented behaviour instead of imposing one. Eleven
|
# the axis measures the documented behaviour instead of imposing one. Thirteen
|
||||||
# tools must refuse at rc 2; the three that grade a malformed input are listed
|
# tools must refuse at rc 2; the three that grade a malformed input are listed
|
||||||
# with the rc and the word their grade prints, which is what makes a silent
|
# with the rc and the word their grade prints, which is what makes a silent
|
||||||
# rc 0 (the doc_census_check --tools bug class) fail here.
|
# rc 0 (the doc_census_check --tools bug class) fail here.
|
||||||
@@ -213,6 +214,8 @@ MALFORMED_PROBES = (
|
|||||||
2, "not a git"),
|
2, "not a git"),
|
||||||
("doc_census_check.py", "not-a-repo", ["--repo", "{notrepo}", "--no-run"],
|
("doc_census_check.py", "not-a-repo", ["--repo", "{notrepo}", "--no-run"],
|
||||||
2, "no tools found"),
|
2, "no tools found"),
|
||||||
|
("doc_command_check.py", "not-a-repo", ["--repo", "{notrepo}"],
|
||||||
|
2, "cannot read repo"),
|
||||||
("landing_check.py", "not-a-repo", ["--repo", "{notrepo}"],
|
("landing_check.py", "not-a-repo", ["--repo", "{notrepo}"],
|
||||||
2, "not a git work tree"),
|
2, "not a git work tree"),
|
||||||
("queue_claim_check.py", "junk-queue", ["--queue", "{junkqueue}"],
|
("queue_claim_check.py", "junk-queue", ["--queue", "{junkqueue}"],
|
||||||
|
|||||||
Reference in new issue
Block a user