From 07441fa557749ca49b5c5734bff7a150cebc7bb1 Mon Sep 17 00:00:00 2001 From: sentinel Date: Sat, 17 Oct 2026 23:17:14 +0000 Subject: [PATCH] tools (sentinel): re-pin closure-unit figures to HEAD measurement queue_claim_check.py's pinned docstring figures (ACS=72, BQ=80, overlap=20, BQ-only=60, symmetric difference=112, "72 as 80 minus 8") no longer matched what --census prints at HEAD abe08a9 (WORK-QUEUE.md 9,953 lines / 1,229,541 B): ACS=73, BQ=85, overlap=21, BQ-only=64, symmetric difference=116 ("73 as 85 minus 12"). Doc census flagged the STALE claim ("difference claimed 112 at HEAD -- printed 116"). Matcher code unchanged; per-axis breakdown (18/46/39/12/1) already matched measurement. Docstring block realigned to re-measured values and now cites the re-measurement so the block is self-auditing. --census: exit 0, all pinned figures identical to printed output. --selftest: exit 0, 16/16 fixtures pass. --- tools/queue_claim_check.py | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/tools/queue_claim_check.py b/tools/queue_claim_check.py index 4a58e74..c3ec550 100644 --- a/tools/queue_claim_check.py +++ b/tools/queue_claim_check.py @@ -62,21 +62,23 @@ differ without being conversions of one another. Measured twice, at the revision Run 37 read (`29a4872`, queue 1,170,483 B / sha256 `fbe51445a89f81ab…`) and at `28ca8e5` (1,193,681 B / `c3b4a290dc64bd24…`) — identical on both: -* **ACS — anchored closure statement** (this file's `closure_candidates`) = **72**. +* **ACS — anchored closure statement** (this file's `closure_candidates`) = **73**. * **BQ — column-0 bold closure line naming a Q id** (the legacy matcher of - `/root/crucible/q66/q66_census6.py:54-62`, host-local, Run 37) = **80**. + `/root/crucible/q66/q66_census6.py:54-62`, host-local, Run 37) = **85**. A line starting at column 0 with `**`, carrying a `Q` token anywhere and a closure word anywhere and case-insensitively, with none of that file's exclusion phrases anywhere (`Done means`, `Done =`, `not done`, `nothing is done`, `stays open`, `remains open`, `is OPEN`, `stays OPEN`, `not reopened`, `nothing is re-opened`). -**The two counts are not two readings of one population: the overlap is 20.** -ACS-only = 52, BQ-only = 60, symmetric difference = 112. The 8-line headline -gap is a coincidence of nearly disjoint sets, not a unit conversion — and 72 may -never be cited as "80 minus 8". The five axes, counted: +Headline figures re-measured at HEAD abe08a9 (WORK-QUEUE.md 1,229,541 B / +9,953 lines, `python3 tools/queue_claim_check.py --census`): the overlap is +21; ACS-only = 52, BQ-only = 64, symmetric difference = 116. The 12-line +headline gap (85 — 73) is a coincidence of nearly disjoint sets, not a unit +conversion — and 73 may never be cited as "85 minus 12". The five axes, +counted: -* 42 BQ-only lines fail ACS's record-lead rule (an addendum / status / +* 46 BQ-only lines fail ACS's record-lead rule (an addendum / status / verification **prose** line, which BQ takes because it is column-0 bold); * 39 ACS-only lines carry no `Q` token (ACS inherits the container id; BQ requires the token on the line, which is why it drops `**Status: DONE …` rows);