Fix doc reference lint for auto-generated pages

Register auto-generated page IDs (parameters, case_constraints, examples,
cli) in lint_docs.py so the pre-commit doc reference check does not flag
them as missing. These pages are created by ./mfc.sh generate and only
exist after generation.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: sbryngelson

toolchain/mfc/lint_docs.py

@@ -322,7 +322,8 @@ def check_page_refs(repo_root: Path) -> list[str]:
         return []
 
     # Collect all @page identifiers
-    page_ids = {"citelist"}  # Doxygen built-in
+    # Include Doxygen built-ins and auto-generated pages (created by ./mfc.sh generate)
+    page_ids = {"citelist", "parameters", "case_constraints", "examples", "cli"}
     for md_file in doc_dir.glob("*.md"):
         text = md_file.read_text(encoding="utf-8")
         m = re.search(r"^\s*@page\s+(\w+)", text, flags=re.MULTILINE)