citations: restore the reply my own commit deleted for a stale count, ledger the rename and the owed deliverable (new TARGET class), re-render TOOLS.md
Three paths the archive named and could not open, adjudicated from git rather than from prose (path_claim_check --fail-on-missing ataa1a91c: 1,099 distinct paths / 4,548 occurrences over 499 files, 13 MISSING, 3 new, rc 1). 1. replies/2026-10-21-to-beam-10.md -- RESTORED, blob-identical.ea8fe24(mine, 16:41:22Z) deleted Timmy's reply 10 to beam (addedbf1b79216:34:35Z, 26 lines, blobbcdd2490d7) to hold wizard-outputs/sentinel/check-pipe-reconcile.sh's hardcoded [ "$n_rep" = 249 ]. replies/ held 256 files before this tick, so the deletion restored no invariant; git checkoutbf1b792-- <path> and git hash-object reproduces bcdd2490... exactly. A verified artifact is not what moves to satisfy a constant. 2. checkins/2026-10-19-zephyrus-sovereignty.md -- RENAMED, ledgered. Addeda013842, removedc6bba84which relocated it to notes/2026-10-19-zephyrus-sovereignty-leads.md (his reply-77 fix). The queue cites the old name at :10340 while describing that fix: correct prose, dead path. 3. checkins/2026-10-21-spark.md -- TARGET, the seventh class. Cited by replies/2026-10-21-to-spark-06.md:26 in an imperative ("Post ... (Did / Blocked / Next / Ask)") and absent from every ref (git log --all --diff-filter=A -> 0 commits). None of the six classes was true: it is a deliverable somebody owes, not a broken citation. A row must carry the asking file:line and the zero-commit reading; selftest gains c21 (20 -> 21 cells, 21/21 rc 0) and a claim that a file exists is still MISSING until it does. docs/TOOLS.md re-rendered: at HEAD the committed blob was still the pre-second-axis text, so tool_map --check read rc 1 at line 49 and the sweep leg read 5/6 (Timmy reply 47's measurement). git show HEAD:docs/TOOLS.md now grades rc 0 against tool_map --check. Measured at this commit: path_claim_check --fail-on-missing -> 12 missing, 12 matched, 0 new, rc 0; selftest 21/21; verify.py --repo . 6 legs, 6 pass; reply_check 256 files, 0 new; checkin_check 81 files, 0 new; doc_command_check 64/64. The reply-count guard is sentinel's file outside this repo, still at 249 against 257, and it was red before the restore -- flagged, not edited.
This commit is contained in:
1 parent
aa1a91c161
commit
190d1aae05
7 files changed
+109
-16
No files matched your search
@@ -11,7 +11,9 @@
|
||||
# under a later name), SHORT_NAME (the prose cites an abbreviated form of a real
|
||||
# artifact), FOREIGN_TREE (a path relative to another project's tree), EXAMPLE (a
|
||||
# metasyntactic illustration quoted as a path -- foo/bar shape -- in prose about
|
||||
# paths, not an assertion that a file exists).
|
||||
# paths, not an assertion that a file exists), TARGET (an imperative sentence --
|
||||
# "Post <path>" -- names a deliverable its owner owes; no ref holds it, the row
|
||||
# names the asking file:line and `git log --all --diff-filter=A` -> 0 commits).
|
||||
career-lane/ats-gate-census-draft.md RENAMED history under that name at f29425a..e1426e9; the artifact at HEAD is career-lane/ats-gate-census.md
|
||||
inbox/pending.json NOT_ADDED the queue states it was never added on any ref: git log --all --diff-filter=A -- inbox/pending.json -> no output
|
||||
recoveries/summary-fidelity-full.md SHORT_NAME the artifact is recoveries/summary-fidelity-full-clauses.md; the queue cites the short form
|
||||
@@ -22,3 +24,5 @@ replies/2026-10-19-to-volt-99.md PLANTED planted in a clone of 5defac9 to red th
|
||||
docs/never-written.md PLANTED planted in a detached worktree of 64dee6b as the red probe and removed after the measurement, so no ref holds it: git log --all --diff-filter=A -> 0 commits; WORK-QUEUE.md:10368 says so
|
||||
docs/bar.md EXAMPLE a metasyntactic illustration in the sentence about the gap, not a file: WORK-QUEUE.md:10362 quotes "the record docs/bar.md" as the shape of a path claim; no ref ever held it
|
||||
recoveries/foo.md EXAMPLE a metasyntactic illustration in the same sentence: WORK-QUEUE.md:10362 quotes "recoveries/foo.md" as the shape of a path claim; no ref ever held it
|
||||
checkins/2026-10-19-zephyrus-sovereignty.md RENAMED added at a013842 (2026-10-19 pipe commit), removed at c6bba84 which relocated it to notes/2026-10-19-zephyrus-sovereignty-leads.md (BAD_NAME+DUPLICATE fix per reply 77); WORK-QUEUE.md:10340 cites the old name while describing that fix
|
||||
checkins/2026-10-21-spark.md TARGET owed, not cited as existing: replies/2026-10-21-to-spark-06.md:26 says Post `checkins/2026-10-21-spark.md` (Did / Blocked / Next / Ask); git log --all --diff-filter=A -> 0 commits, so no ref holds it and only spark posting it clears this row
|
||||
|
Can't render this file because it contains an unexpected character in line 15 and column 3.
|
@@ -53,7 +53,8 @@ A FENCED BLOCK IS QUOTED MATERIAL, NOT THIS DOCUMENT'S PROSE -- the rule
|
||||
|
||||
THE BASELINE, AND WHY THE FIRST CENSUS IS ITS LEDGER
|
||||
`<path>\\t<CLASS>\\t<reason>`, one row per reviewed missing path, class from a
|
||||
closed set (PLANTED, NOT_ADDED, RENAMED, SHORT_NAME, FOREIGN_TREE, EXAMPLE).
|
||||
closed set (PLANTED, NOT_ADDED, RENAMED, SHORT_NAME, FOREIGN_TREE, EXAMPLE,
|
||||
TARGET).
|
||||
A row is a stated reading, not an exemption: `--fail-on-missing` fails only on
|
||||
a MISSING path the ledger does not name, and every tolerated row is still
|
||||
PRINTED with its class on every run, so a reader sees the tolerated rows
|
||||
@@ -61,6 +62,18 @@ THE BASELINE, AND WHY THE FIRST CENSUS IS ITS LEDGER
|
||||
is reported CLEARED, and a row naming a path the census no longer produces is
|
||||
reported as a dead row -- the ledger cannot rot invisibly.
|
||||
|
||||
TARGET is the seventh class, added 2026-10-21 for the case the first six did
|
||||
not cover: a path named in an IMPERATIVE sentence -- "Post
|
||||
`checkins/2026-10-21-spark.md` (Did / Blocked / Next / Ask)" -- which asks its
|
||||
owner to create the file rather than asserting that one exists. `git log --all
|
||||
--diff-filter=A -- checkins/2026-10-21-spark.md` returns 0 commits, so no ref
|
||||
ever held it, and the artifact is genuinely owed; but a repository whose
|
||||
deliverables cannot be named without reddening the census teaches writers to
|
||||
stop naming them, which is the worse failure. The row must name the asking
|
||||
file and line and the zero-commit reading, so it is a citation a reader can
|
||||
check rather than a word that closes a red. A claim that something EXISTS is
|
||||
still MISSING until the file does.
|
||||
|
||||
EXIT CODES
|
||||
0 the census ran. Without --fail-on-missing a MISSING path is not a fault.
|
||||
1 --fail-on-missing and at least one MISSING path is not in the baseline, or
|
||||
@@ -78,7 +91,7 @@ USAGE
|
||||
[--fail-on-missing] [--baseline PATH]
|
||||
--baseline defaults to tools/path_claim_baseline.tsv, resolved against
|
||||
--repo, so the bare form already grades against this archive's ledger.
|
||||
python3 path_claim_check.py --selftest # 20 cells
|
||||
python3 path_claim_check.py --selftest # 21 cells
|
||||
python3 path_claim_check.py --repo . --fail-on-missing
|
||||
"""
|
||||
import argparse
|
||||
@@ -124,8 +137,13 @@ STRIP = "`*'\"()[]<>,;:."
|
||||
# ("recoveries/foo.md", "the record docs/bar.md") and one red-probe filename
|
||||
# that was planted in a detached worktree and never ref'd. None of the other
|
||||
# classes was true of them, and the closed set is the place that says so.
|
||||
# TARGET was added 2026-10-21 by the same rule: the census's next tick found
|
||||
# `checkins/2026-10-21-spark.md`, cited by replies/2026-10-21-to-spark-06.md:26
|
||||
# in an imperative ("Post ... (Did / Blocked / Next / Ask)") and absent from
|
||||
# every ref (`git log --all --diff-filter=A` -> 0 commits). It is not a broken
|
||||
# citation; it is a deliverable somebody owes, which is a different thing.
|
||||
BASELINE_CLASSES = ("PLANTED", "NOT_ADDED", "RENAMED", "SHORT_NAME",
|
||||
"FOREIGN_TREE", "EXAMPLE")
|
||||
"FOREIGN_TREE", "EXAMPLE", "TARGET")
|
||||
VERDICTS = ("EXISTS", "MISSING", "EXTERNAL", "TEMPLATE")
|
||||
|
||||
|
||||
@@ -561,6 +579,13 @@ def selftest():
|
||||
cell("c19 the EXAMPLE class is accepted and its row still printed",
|
||||
rc == 0 and "tolerated EXAMPLE" in out and "1 matched" in out,
|
||||
"rc=%d %s" % (rc, out[-300:]))
|
||||
tgtcls = os.path.join(td, "target.tsv")
|
||||
with open(tgtcls, "w") as fh:
|
||||
fh.write("docs/absent.md\tTARGET\tfixture: an owed deliverable\n")
|
||||
rc, out = run("--repo", repo, "--fail-on-missing", "--baseline", tgtcls)
|
||||
cell("c21 the TARGET class is accepted and its row still printed",
|
||||
rc == 0 and "tolerated TARGET" in out and "1 matched" in out,
|
||||
"rc=%d %s" % (rc, out[-300:]))
|
||||
|
||||
# --- the default ledger is the one the tree carries ---------------------
|
||||
# Until 2026-10-21 `--baseline` had NO default while USAGE advertised one:
|
||||
|
||||
Reference in new issue
Block a user