sol: queue status reconciliation — 28/18/10 open census + CHECK

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.

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