diff --git a/tools/re/check-capture-citations b/tools/re/check-capture-citations index ffeb757b..46fc73fa 100755 --- a/tools/re/check-capture-citations +++ b/tools/re/check-capture-citations @@ -82,10 +82,16 @@ def committed() -> tuple[set[str], set[str]]: if fn == ".gitignore": continue files.add(os.path.join(dirpath, fn).replace(os.sep, "/")) + # 🔴 START AT 3, NOT 4 — 3 is `docs/re/captures` ITSELF. Starting at 4 built + # every sub-directory and never the root, so the eight pages that cite the + # directory as a whole ("evidence lives in `docs/re/captures/`") each looked + # like a citation of a file that does not exist, and the gate was red on a + # clean, correct tree. The selftest could not see it either: it took an + # arbitrary member of `dirs`, which is always a sub-directory. dirs = set() for f in files: parts = f.split("/") - for i in range(4, len(parts)): # docs/re/captures/