diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 16 insertions, 7 deletions
@@ -88,13 +88,22 @@ check-templates: build ## typeset every shipped template (needs pdflatex/groff; # docs/research/LT.txt line it was transcribed from, so a claim can be # checked, not just trusted. tools/check_citations.py re-derives that check # mechanically: for every "LT.txt:<n>" citation outside a PATTERN-marked -# block, it confirms a +-2-line window around line n actually contains the -# Latin text the citation claims -- see that script's own docstring for the -# exact rule and its known limits (a heuristic, not a proof). docs/ is -# gitignored, so a fresh clone has no docs/research/LT.txt at all: the same -# "SKIPPED, loudly, exit 0" discipline check-schema/check-templates already -# use above -- a silent skip reads as a pass, which this project has hit -# the cost of before. +# block, it confirms the EXACT cited line (or an explicit "n-m" range, for +# a heading that genuinely wraps -- no automatic +-2-line tolerance any +# more, see the script's own docstring for why) contains the Latin text the +# citation claims, scoped to that citation's own entry only, never to +# prose quoted elsewhere in the surrounding comment. A citation whose pool +# of candidate words is too thin to discriminate a right line from a wrong +# nearby one (a heuristic, not a proof) is reported CANNOT VERIFY, not +# silently passed, and fails the target exactly like a genuine mismatch -- +# a human adjudicates it. The script has its own self-test +# (tools/test_check_citations.py, wired into `dune test`/`make test` as +# well as this target) after an earlier version of this exact check was +# found to be self-poisoning: see either docstring for the full account. +# docs/ is gitignored, so a fresh clone has no docs/research/LT.txt at +# all: the same "SKIPPED, loudly, exit 0" discipline check-schema/ +# check-templates already use above -- a silent skip reads as a pass, +# which this project has hit the cost of before. check-citations: ## verify lang/la.ini's LT.txt:<n> citations (needs docs/research/LT.txt, gitignored; SKIPPED if absent) @if command -v python3 >/dev/null 2>&1; then \ python3 tools/check_citations.py; \ |