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

@@ -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<digits>` 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.**
+Headline figures re-measured at HEAD abe08a9 (WORK-QUEUE.md 1,229,541 B /
-ACS-only = 52, BQ-only = 60, symmetric difference = 112. The 8-line headline
+9,953 lines, `python3 tools/queue_claim_check.py --census`): the overlap is
-gap is a coincidence of nearly disjoint sets, not a unit conversion — and 72 may
+21; ACS-only = 52, BQ-only = 64, symmetric difference = 116. The 12-line
-never be cited as "80 minus 8". The five axes, counted:
+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<digits>` token (ACS inherits the container id;
   BQ requires the token on the line, which is why it drops `**Status: DONE …` rows);