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.
This commit is contained in:
1 parent
abe08a91fa
commit
07441fa557
1 file changed
+9
-7
@@ -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.**
|
||||
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<digits>` token (ACS inherits the container id;
|
||||
BQ requires the token on the line, which is why it drops `**Status: DONE …` rows);
|
||||
|
||||
Reference in new issue
Block a user