From f2ff9c7035bca21ebf8c3e13715a48f2d0a15b5b Mon Sep 17 00:00:00 2001 From: ledger Date: Tue, 27 Oct 2026 00:38:54 +0000 Subject: [PATCH] queue: Q84 addendum -- the cells land at b14d2e4, beam/CHECK 202 -> 214 rc 0, docstring corrected and the early exit pinned by two cells; index re-rendered in this commit --- WORK-QUEUE.md | 10 ++++++++++ docs/queue-index.md | 14 +++++++------- 2 files changed, 17 insertions(+), 7 deletions(-) diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 438e293..a0b4fed 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -12178,3 +12178,13 @@ either gains an early exit or the docstring stops calling it cheaper. One concer readings taken at `517362f` in `/root/troupe-standup`, commands and outputs quoted above, no probe tree — the readings are the file and the two commands plus the timing script. Nothing from `inbox/` is quoted; no file another party authored was edited. + +--- + +**Q84 addendum (2026-10-27, volt, on beam's item — its own line says "anyone may take it") — the cells land at `b14d2e4` and beam's gate reads `Ran 214` against `Ran 202`; the three docstring claims are corrected, and the "cheaper" claim is now pinned by a cell rather than asserted. Q84's mechanical asks are met; whether this addendum verifies is the pipe's reading, not mine.** + +- **What landed, and the count both sides.** `wizard-work/beam/test_interval_overlap.py` — 12 `unittest.TestCase` cells that `discover -p 'test_*.py'` collects — plus two edits to `interval_overlap.py`: the module header now names `has_any_overlap` (the docstring's `count_overlaps` never existed; `grep -c count_overlaps` → **0**) and states `O(n log n + k)` for `find_overlapping_pairs` with `k` the returned pair count (k can be Theta(n^2)) and `O(n log n)` for `has_any_overlap`; and `has_any_overlap` lost its `bool(find_overlapping_pairs(...))` body for a sorted single pass that tracks the running maximum end and returns on the first overlap. **Measured:** `bash wizard-work/beam/CHECK` at `8376989` → `Ran 202 tests in 32.880s`, rc 0; at `b14d2e4` → `Ran 214 tests in 31.269s`, `OK`, rc 0. +- **The cells cover what the done-means lists.** Half-open adjacency in both orders (`[]`), zero-length against a wide interval and against a touching one (both orders), two zero-length intervals at one point, the nested case `[(1,10),(2,3),(4,5)]` → `[(0,1),(0,2)]`, `end < start` raising on **both** entry points, an exhaustive cross-check over `[-2,3]` of every multiset of size 0-3 — **2024 cases, 0 mismatches**, the enumeration count itself asserted — and 2000 seeded random trials n≤12. `has_any_overlap` is checked true/false six ways, agreed against `bool(find_overlapping_pairs(...))` on 500 random trials, pinned structurally (the cell patches `find_overlapping_pairs` to raise and the boolean must still answer), and timed at n=2000 fully overlapping. +- **Each mutant kills at least one named cell** (scratch `q84_mutants.py`, results `q84-mutants.json`): M1 kind ordering flipped → rc 1, five dead cells incl. `test_half_open_adjacency_both_orders`; M2 `if s >= e: continue` removed → rc 1, five dead incl. `test_zero_length_against_wide_interval`; M3 start-pair loop removed → rc 1, four dead incl. `test_nested_and_disjoint_pairs`; M4 `has_any_overlap` reverted to the pair-list body → rc 1, exactly `test_has_any_overlap_does_not_build_pair_list` and the timing cell; M5 the early-exit boundary `s < max_end` → `s <= max_end` → rc 1, `test_has_any_overlap_true_and_false`. Baseline copy unpatched: rc 0. +- **The timing claim, measured on this host.** `has_any_overlap([(0,1000)]*2000)` → `True` in **0.004137 s** (new) against **48.54 s** for the old body (the pipe's reading at `517362f`). The pair function is untouched apart from its docstring: same sweep, same event kinds, same sorted output, same `ValueError`. +- **No scope creep and no other author's text edited.** The diff is 151 insertions across the two files; no other lane file, no `inbox/` quotation, no decision asked of Alexander — nothing here is a door, a rate, or a design question. One concern per commit holds: the cells, the docstring correction and the early exit are the item's own four asks. Report and mutant battery: `/root/.hermes/wizard-outputs/volt/q84-report.md`, `/root/.hermes/wizard-outputs/volt/q84-mutants.json`. diff --git a/docs/queue-index.md b/docs/queue-index.md index 7464608..f460015 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -86,7 +86,7 @@ | 76 | Q82 | 12049-12077 | 5314 | cont: closure | closure — `test_json_canonical.py` is seven discoverable cells (lane gate 191 → 198), every cell is killed by a named mutant, and `json_canonical.py` says what it is not *(volt, 2026-10-26; beam's … | DONE at `0735102` (suite), `6c097bf` (float surface); this record and `docs/queue-index.md` land in the commit above it. | | 77 | Q81 | 12078-12120 | 9984 | cont: closure | closure — `hermes_profile_health.py` grades a profile you name, parses the config it grades, and the lane gate collects nine cells *(volt, 2026-10-26; spark's lane by authorship, taken as the opening … | DONE at `3f424c0` (tool), `329af8b` (suite + gate leg); this record and `docs/queue-index.md` land in the commit above them. | | 78 | Q83 | 12121-12140 | 3177 | opening | five branches `hermes_profile_health.py` names are pinned by no cell, and one of them is the branch that produces the sweep's only red *(spark lane; opened 2026-10-26 by the pipe, at `829268f`)* | open and unclaimed. | -| 79 | Q84 | 12141-12180 | 3486 | opening | `interval_overlap.py` lands 87 lines with no cell, and the lane gate reads `Ran 202` before and after *(beam lane; opened 2026-10-26 by the pipe, at `517362f`)* | open and unclaimed. | +| 79 | Q84 | 12141-12190 | 6926 | opening | `interval_overlap.py` lands 87 lines with no cell, and the lane gate reads `Ran 202` before and after *(beam lane; opened 2026-10-26 by the pipe, at `517362f`)* | open and unclaimed. | ## Ids with no `## ` heading @@ -318,9 +318,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1785358, - "queue_lines": 12180, - "queue_sha256": "e9d5a562cfe7e91b8963c37a38a85c95a6cfcd31026213288d66f6dcc9784b66", + "queue_bytes": 1788798, + "queue_lines": 12190, + "queue_sha256": "5ddda48a2ff4d1c78a6a1a3e4767a4e976269836367ef679484b949fed1c2772", "sections": [ { "bytes": 3139, @@ -1259,11 +1259,11 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "five branches `hermes_profile_health.py` names are pinned by no cell, and one of them is the branch that produces the sweep's only red *(spark lane; opened 2026-10-26 by the pipe, at `829268f`)*" }, { - "bytes": 3486, - "end_line": 12180, + "bytes": 6926, + "end_line": 12190, "id": "Q84", "line": 12141, - "lines": 40, + "lines": 50, "role": "opening", "role_detail": "", "status": "open and unclaimed.",