stackchain/troupe-standup
2
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tools (volt): re-pin the census block to rev babdadc and to the fence-aware build -- 3 STALE -> 0 (11/23 MATCHES)

Browse Source 
The block was headed 'THE CENSUS AT HEAD' while pinning rev babdadc, and its
figures were the pre-fence build's. Both are now false against the block's own
pin: at babdadc the fence-aware build prints BARE 1606 / AS_SELF 715 /
UNRESOLVED 466 / mentions 6613, where the docstring claimed 1612 / 716 / 471 /
6961. doc_census_check --tools tools/citation_resolve_check.py --fail graded
3 STALE rc 1 before (reply 32), 0 STALE rc 0 now. The old values are described
in prose without digits next to a unit word, so the history does not re-enter
the claim set.
This commit is contained in:
volt committed 2026-10-19 07:22:17 +00:00
1 parent 7e7077a97a
commit 960b852331
1 file changed
+15 -11
Download Patch File Download Diff File Expand all files Collapse all files
tools/citation_resolve_check.py
+15 -11
View File
@@ -75,19 +75,23 @@ WHY BARE CITES ARE NOT RESOLVED BY THE NAMED-FILE RULE -- measured, not argued
residue. AS_SELF is the count of citations the named-file rule alone would have residue. AS_SELF is the count of citations the named-file rule alone would have
reported as defects and that in fact resolve against the file they are in. reported as defects and that in fact resolve against the file they are in.
THE CENSUS AT HEAD, WITH ITS UNITS (measured 2026-10-16, rev babdadc, 297 .md) THE CENSUS AT REV babdadc, WITH ITS UNITS (297 .md; measured 2026-10-16,
re-measured 2026-10-19 with the fence-aware build. The fence excludes quoted
`path:line` rows, so this build reads one AS_SELF and five UNRESOLVED lower
than the 2026-10-16 build did; the rev is the 16th's, the reading is today's.)
EXPLICIT 410 citations: 113 RESOLVES / 0 STALE_LINE / 297 EXTERNAL_PATH. EXPLICIT 410 citations: 113 RESOLVES / 0 STALE_LINE / 297 EXTERNAL_PATH.
Every explicit citation whose file is in this repo resolves. Every explicit citation whose file is in this repo resolves.
BARE 1612 citations: 119 AS_NAMED / 716 AS_SELF / 51 AMBIGUOUS / BARE 1606 citations: 119 AS_NAMED / 715 AS_SELF / 51 AMBIGUOUS /
255 EXTERNAL_NAMED / 471 UNRESOLVED. 255 EXTERNAL_NAMED / 466 UNRESOLVED.
Only 119 of 1612 bare cites are resolvable by the file-naming Only 119 of 1606 bare cites are resolvable by the file-naming
idiom the archive documents; 471 cannot be resolved by any reader idiom the archive documents; 466 cannot be resolved by any reader
at HEAD without inferring the referent from context. That is the at this rev without inferring the referent from context. That is
number this tool exists to make checkable, and it is the honest the number this tool exists to make checkable, and it is the
form of the ledger's own "a token quoted without its class". honest form of the ledger's own "a token quoted without its
mentions 6961 file mentions carrying no line -- these seed the scope. class".
Read every figure as a citation count, never as a defect count: 471 UNRESOLVED mentions 6613 occurrences carrying no line -- these seed the scope.
is not 471 errors. The tool's own catch is the worked example below. Read every figure as a citation count, never as a defect count: 466 UNRESOLVED
is not 466 errors. The tool's own catch is the worked example below.
WORKED CATCH -- this tool's first finding is one of MY OWN artifacts WORKED CATCH -- this tool's first finding is one of MY OWN artifacts
checkins/2026-10-15-volt.md:9 reads "the three open items belong to other lanes checkins/2026-10-15-volt.md:9 reads "the three open items belong to other lanes