diff --git a/docs/ground-truth.md b/docs/ground-truth.md index 142f4e3..3118888 100644 --- a/docs/ground-truth.md +++ b/docs/ground-truth.md @@ -11,8 +11,8 @@ Reproduce with the commands shown; the tooling is in `tools/`. .\experiments\run.ps1 ``` -**22/22 predictions held.** E1 to E13 unchanged, E14 to E21 added by this work. -Before any change it was 14/14, so nothing here regressed the baseline. +The totals and the per-prediction table have their one home in +[`report/08-test-results.md`](report/08-test-results.md). ## The musl gap is exactly two symbols diff --git a/scripts/check-drift.sh b/scripts/check-drift.sh index ffcf63e..5101257 100644 --- a/scripts/check-drift.sh +++ b/scripts/check-drift.sh @@ -6,16 +6,10 @@ # it; a convention with a check behind it is followed by everyone. This is the # mechanical half of "documentation ships with the code it describes". # -# Five questions, each reported separately so the failure names itself: -# -# 1. Every CROSS_LIBC_DLOPEN_* control the code reads is documented, and -# every one the documents name is actually read. ⭐ This is the one that -# matters most: a switch that stops working is invisible, because the -# documented name and the read name look identical from either side. -# 2. Every repository path a document cites exists. -# 3. Every `make` target a document names exists in src/Makefile. -# 4. No dash is used as punctuation, in markdown prose or in a comment. -# See docs/conventions/prose.md. +# Each check is numbered in the body below and reported separately, so a +# failure names itself. Section 1 is the one that matters most: a switch that +# stops working is invisible, because the documented control name and the read +# name look identical from either side. # # sh scripts/check-drift.sh #