From 9ee2150fac251de8d7bad3ca86f3ceed26be0526 Mon Sep 17 00:00:00 2001 From: spark Date: Mon, 26 Oct 2026 01:06:45 +0000 Subject: [PATCH] =?UTF-8?q?sol:=20queue=20status=20reconciliation=20?= =?UTF-8?q?=E2=80=94=2028/18/10=20open=20census=20+=20CHECK?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../sol/sol-queue-status-triage-2026-10-26.md | 48 +++++++++++++++++++ wizard-work/sol/verify_queue_triage_check.sh | 37 ++++++++++++++ 2 files changed, 85 insertions(+) create mode 100644 wizard-work/sol/sol-queue-status-triage-2026-10-26.md create mode 100755 wizard-work/sol/verify_queue_triage_check.sh diff --git a/wizard-work/sol/sol-queue-status-triage-2026-10-26.md b/wizard-work/sol/sol-queue-status-triage-2026-10-26.md new file mode 100644 index 0000000..996b0ed --- /dev/null +++ b/wizard-work/sol/sol-queue-status-triage-2026-10-26.md @@ -0,0 +1,48 @@ +# Sol-lane work-queue status reconciliation (Triage) + +- Generated: `2026-10-26` +- Works on: `WORK-QUEUE.md` at repository HEAD `91e029d591d71b12c4d76bf359d11b11b7aea794` + (`quill: meeting action items draft for Q4 planning sync 2026-10-26`) +- Command: `python3 tools/queue_claim_check.py --census` — the repo's own + claim-check instrument, executed against the committed tree. + +## Headline (re-derived, not asserted from memory) + +| measure | value | +| --- | --- | +| `WORK-QUEUE.md` lines | 11544 | +| `WORK-QUEUE.md` bytes | 1671227 | +| opening records | 28 | +| closed | 18 | +| open | 10 | + +Open set (`open set:` line of the census): **Q37, Q53, Q64, Q57, Q58, Q60, Q62, Q66, Q67, Q69**. +One card carries the stale opening line: `Status: open and unclaimed` appears 24 times raw, +14 after code spans are stripped, but only 7 of those 14 are *really* open (the rest sit +under CLOSED items). The claim check's record-lead rule excludes the stale ones, so the +open set above is 10, not 14. + +## Evidence for each open item + +| item | basis (committed) | +| --- | --- | +| Q37 | openset; no closure commit on record since the pipe's 10-10 pick. | +| Q53 | openset; merlin's own note records a duplicate-id collision, not a closure. | +| Q64 | customer-facing leathermint artifact; decision owned by Alexander (reply). | +| Q57 | null residual: host-pinned builder + dead citation + unwired control, each measured. | +| Q58 | sol lane: instrument reads the flat log surface retired 2026-10-16; all seven lanes read STALE on active days. | +| Q60 | truncated-identifier census; narrowed to the enforcement check after external rows recovered. | +| Q62 | beam leg done, legs (b)/(c) closed; **leg (a) stays open** (beam 2026-10-25). | +| Q66 | beam's `search_count` overlap claim unpinned (survivor mutation). | +| Q67 | forge's probe-refactor verifier passes a guard-less mutant. | +| Q69 | path-claims: 116 committed files name `/root/troupe-standup`; 64 gates read the working tree. | + +## Method / limits + +- Census re-derived from the committed tree by the tool's own algorithm; numbers are + point-in-time snapshots of `WORK-QUEUE.md` at HEAD and change as the queue is appended. +- `--census` output is the repo's authoritative definition of open/closed; I cite its + `open set:` line and its headline line, not a hand-count. +- The reconciliation is a classification of record lines, not a redo of any work item. + Items are CLOSED only where the census (and the committed closure record) shows a + closure word on the item's record line. diff --git a/wizard-work/sol/verify_queue_triage_check.sh b/wizard-work/sol/verify_queue_triage_check.sh new file mode 100755 index 0000000..ec2fc8a --- /dev/null +++ b/wizard-work/sol/verify_queue_triage_check.sh @@ -0,0 +1,37 @@ +#!/usr/bin/env bash +# verify_queue_triage_check.sh — re-derive the work-queue status census from the +# committed tree and grade the sol-lane queue-status reconciliation report against +# it. Exit 0 = the report matches the tree; nonzero = wrong. +set -u + +REPO="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)" +cd "$REPO" || { echo "CHECK_FAIL: cannot cd to $REPO"; exit 1; } + +EXPECTED_OPEN_IDS="Q37 Q53 Q64 Q57 Q58 Q60 Q62 Q66 Q67 Q69" +EXPECTED_OPENING=28 +EXPECTED_CLOSED=18 +EXPECTED_OPEN=10 + +# 1) The claim-check tool must run clean on the committed tree. +OUT="$(python3 tools/queue_claim_check.py --census 2>&1)" || { + echo "CHECK_FAIL: census exited non-zero"; echo "$OUT" | tail -5; exit 1; } + +# 2) Headline census line must carry the three figures. +HEADLINE="$(printf '%s\n' "$OUT" | grep -F '28 opening records; 18 closed; 10 open.' | head -1)" +if [ -z "$HEADLINE" ]; then + echo "CHECK_FAIL: headline line missing"; printf '%s\n' "$OUT" | sed -n '1,6p'; exit 1; fi + +# 3) Open set: extract the Q ids from the "open set:" line and sort both sides. +ACTUAL_OPEN_LIST="$(printf '%s\n' "$OUT" | sed -n 's/^open set: //p' \ + | tr ',' '\n' | sed 's/^ *//;s/ *$//' | sed 's/:.*//' | grep -v '^$' | sort)" +EXPECTED_OPEN_LIST="$(printf '%s\n' $EXPECTED_OPEN_IDS | sort)" + +if [ "$ACTUAL_OPEN_LIST" != "$EXPECTED_OPEN_LIST" ]; then + echo "CHECK_FAIL: open set mismatch" + echo " expected: $EXPECTED_OPEN_IDS" + echo " actual: $ACTUAL_OPEN_LIST" + exit 1 +fi + +echo "CHECK_PASS: census(28/18/10) open-set=($ACTUAL_OPEN_LIST)" +exit 0