The documents' checks, apart from the compiler check (check.nix), so a docs or theory edit reruns only these: every predicate, module, link and concept reference in the documents dterm draws (packages/site's dtermDocs) and the concepts resolves, as does every [[concept]] in a Prolog or Rocq comment, and each prolog output has its terms (web/dterm_guide.pl), including links to any file under nanofil, so it reads the whole tree; and the guide's example outputs (docs/guide.md, README.md) are what the compiler now produces (tests/guide.sh).