Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/ground-truth.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
14 changes: 4 additions & 10 deletions scripts/check-drift.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
#
Expand Down
Loading