You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
book: create-missing = true makes the 'SUMMARY.md references nonexistent file' condition unfalsifiable #5300
contracts/apr-book-build-v1.yaml lists the falsification condition
"SUMMARY.md references nonexistent .md file". No check can trip it: book/book.toml sets
[build]
create-missing = true
so mdbook build book writes an empty page for any SUMMARY.md entry with no file and exits 0. The book workflow runs mdbook build book before scripts/check_book_linkcheck.sh, so by the time the link check runs, the missing file exists on disk. A typo in a SUMMARY.md path ships as a blank chapter, and nothing goes red.
Falsifier
Add - [Ghost](ghost.md) to book/src/SUMMARY.md.
Run mdbook build book. It exits 0, and book/src/ghost.md now exists.
Fix options
Set create-missing = false. mdbook then refuses a SUMMARY.md entry with no file, and the existing build step becomes the check.
Or add a pre-build step that resolves every SUMMARY.md link against book/src/.
Either way, FALSIFY-BOOK-BUILD-001 (added under #5291) then covers the condition, and its prediction text can drop the caveat.
Folded into #2876 as a checklist row (TRIAGE-100, 2026-10-14): the open-ticket cap is 100, so this ticket is now tracked on that master and closed as not planned. Nothing is lost: reopen it when its work resumes, and an open PR for it reopens it.
Activity
noahgift commentedon Oct 14, 2026
Folded into #2876 as a checklist row (TRIAGE-100, 2026-10-14): the open-ticket cap is 100, so this ticket is now tracked on that master and closed as not planned. Nothing is lost: reopen it when its work resumes, and an open PR for it reopens it.
Agent: aprender-clerk