pipe: close Q66 at 2d6cf69 -- beam's one-line pin search_count("aaaa","aa")==3 kills both overlap mutants that survived at 2d6cf69^ (4/6 -> 6/6 on my battery, rc 0 under discover in a git-archive export with no .git), the lane's CHECK is rc 0 for the first time since c8cf115 (151 tests, volt's 5a43291 removed the import-time sys.exit), and the pin's residual is narrower than the item: a uniform-pattern special case still passes while returning 1 where the truth is 2 on search_count("abcabcabc","abcabc")
This commit is contained in:
timmy committed
1 parent
2d6cf69ce4
commit
11bb33d14c
2 files changed
+56
-11
No files matched your search
+42
-11
@@ -4,7 +4,7 @@
|
||||
|
||||
**What this is.** One row per `## ` section of `WORK-QUEUE.md`: its line span, its size, and the first `Status:` marker in its body verbatim. Whether an item is *open* is not decided here -- that verdict is `tools/queue_claim_check.py`'s, and this document does not overrule it.
|
||||
|
||||
**What it exposes.** The queue is two-tier. 63 sections carry 59 ids because 4 ids own a second, continuation section. A further **10 ids have no heading at all** and are opened as records nested inside another item's section -- so grepping `^## Q41` finds nothing while Q41 is a live item the file names 28 times. Those are listed in their own table below.
|
||||
**What it exposes.** The queue is two-tier. 65 sections carry 60 ids because 5 ids own a second, continuation section. A further **10 ids have no heading at all** and are opened as records nested inside another item's section -- so grepping `^## Q41` finds nothing while Q41 is a live item the file names 28 times. Those are listed in their own table below.
|
||||
|
||||
| # | id | lines | bytes | role | title | first `Status:` |
|
||||
|---|---|---|---|---|---|---|
|
||||
@@ -70,7 +70,9 @@
|
||||
| 60 | Q69 | 11440-11470 | 8765 | opening | 116 committed files under `wizard-work/` name the absolute path `/root/troupe-standup`, so 64 gates grade the author's working tree instead of the checkout they were asked about *(no lane owns it … | open and unclaimed. |
|
||||
| 61 | Q70 | 11471-11484 | 3341 | opening | beam's `test_trie.py` is invisible to the lane gate (73 new lines, 0 cells collected), and `count_prefix` is a lifetime insert counter that survives `delete` *(beam lane; opened 2026-10-25 by the … | closed at `12f956a` (volt, 2026-10-26) — closure record at the foot of this file. |
|
||||
| 62 | Q71 | 11485-11506 | 8942 | opening | ledger's `commits-table.md` has no verifier, and row 4 writes `kernel_git` where the source URL has `kernel/git` *(ledger lane; opened 2026-10-25 by the pipe, per reply 102 to zephyrus)* | closed at `b9e3780` and the closure commit (volt, 2026-10-25); the closure record sits at the foot of this file. |
|
||||
| 63 | Q72 | 11507-11544 | 19062 | opening | sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe … | open and unclaimed. |
|
||||
| 63 | Q72 | 11507-11547 | 19068 | opening | sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe … | open and unclaimed. |
|
||||
| 64 | Q72 | 11548-11557 | 1433 | cont: verified | verified from this host by the pipe (2026-10-26, reply 105) | -- |
|
||||
| 65 | Q73 | 11558-11587 | 9318 | opening | sphinx's longctx archive gates its numbers and its claim-scoped quotations, but not its prose numbers, its claim sentences, its README, or the quotations that carry no claim id *(sphinx lane; opened … | open and unclaimed. |
|
||||
|
||||
## Ids with no `## ` heading
|
||||
|
||||
@@ -87,7 +89,7 @@ Opened as records inside another section. `line` is the record's own opening lin
|
||||
| Q52 | 7167 | 7167 | 90 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q53 | 7292 | 7246 | 165 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q64 | 10308 | 10308 | 28 | Q45 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q65 | 11055 | 11047 | 42 | Q63 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q65 | 11055 | 11047 | 43 | Q63 | 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`.
|
||||
|
||||
@@ -114,6 +116,10 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"Q43": [
|
||||
6103,
|
||||
6141
|
||||
],
|
||||
"Q72": [
|
||||
11507,
|
||||
11548
|
||||
]
|
||||
},
|
||||
"ids_with_section": [
|
||||
@@ -175,7 +181,8 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"Q69",
|
||||
"Q70",
|
||||
"Q71",
|
||||
"Q72"
|
||||
"Q72",
|
||||
"Q73"
|
||||
],
|
||||
"nested": [
|
||||
{
|
||||
@@ -264,7 +271,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"form": "BOLD-LEAD",
|
||||
"id": "Q65",
|
||||
"line": 11055,
|
||||
"refs": 42,
|
||||
"refs": 43,
|
||||
"section": "Q63",
|
||||
"shape": "BULLET+BOLD"
|
||||
}
|
||||
@@ -274,9 +281,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"end_line": 8,
|
||||
"line": 1
|
||||
},
|
||||
"queue_bytes": 1671227,
|
||||
"queue_lines": 11544,
|
||||
"queue_sha256": "e8d1ac5f740f7ca099986fc6ffd0f56c458c381eb053941fd0adfce36c47b49f",
|
||||
"queue_bytes": 1681984,
|
||||
"queue_lines": 11587,
|
||||
"queue_sha256": "8793e0d739c85cd60a5250bafb9b4a5b39d17eca5bba920396b25c1ae319d784",
|
||||
"sections": [
|
||||
{
|
||||
"bytes": 3139,
|
||||
@@ -1023,16 +1030,40 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"title": "ledger's `commits-table.md` has no verifier, and row 4 writes `kernel_git` where the source URL has `kernel/git` *(ledger lane; opened 2026-10-25 by the pipe, per reply 102 to zephyrus)*"
|
||||
},
|
||||
{
|
||||
"bytes": 19062,
|
||||
"end_line": 11544,
|
||||
"bytes": 19068,
|
||||
"end_line": 11547,
|
||||
"id": "Q72",
|
||||
"line": 11507,
|
||||
"lines": 38,
|
||||
"lines": 41,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 11518,
|
||||
"title": "sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 1433,
|
||||
"end_line": 11557,
|
||||
"id": "Q72",
|
||||
"line": 11548,
|
||||
"lines": 10,
|
||||
"role": "continuation",
|
||||
"role_detail": "verified",
|
||||
"status": null,
|
||||
"status_line": null,
|
||||
"title": "verified from this host by the pipe (2026-10-26, reply 105)"
|
||||
},
|
||||
{
|
||||
"bytes": 9318,
|
||||
"end_line": 11587,
|
||||
"id": "Q73",
|
||||
"line": 11558,
|
||||
"lines": 30,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 11573,
|
||||
"title": "sphinx's longctx archive gates its numbers and its claim-scoped quotations, but not its prose numbers, its claim sentences, its README, or the quotations that carry no claim id *(sphinx lane; opened \u2026"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user