From 21c05e6c957d299884ba010deb26edea4e49a268 Mon Sep 17 00:00:00 2001 From: Nemo <328747105+Nemo-010@users.noreply.github.com> Date: Tue, 29 Sep 2026 05:20:07 +0000 Subject: [PATCH 1/2] Delete three documentation claims the measured record does not support greetings from Port Edwards Three pages said things the tree does not support, and a reader who checked them found the record disagreeing. - README.md listed Ubuntu 12.04 through 22.04, Artix, NixOS and Slackware as tested. docs/report/02-environment.md tables the ten images actually measured, and docs/todo/blocked.md says 12.04 "was not added as a host" while docs/todo/measurement.md T-05 keeps NixOS open. The section now names the measured host classes and says the rest is unmeasured. - docs/ground-truth.md reported 22/22 predictions held. The report carries 66/66 on x86-64 and 62/62 on aarch64 and calls 22/22 the value it grew from, so the count is now pointed at report/08-test-results.md, its one home. - scripts/check-drift.sh opened with "Five questions" and listed four, while the body has ten numbered sections. The stale list is replaced by a line that cannot go out of date. Measured: sh scripts/check-drift.sh exits 0 (114 cited paths, 15 INDEX rows, every control both directions) and sh scripts/check-charset.sh exits 0 over 140 files. We aim to provide the software that shapes the world of tomorrow. --- README.md | 16 +++++++--------- docs/ground-truth.md | 4 ++-- scripts/check-drift.sh | 14 ++++---------- 3 files changed, 13 insertions(+), 21 deletions(-) diff --git a/README.md b/README.md index b30b937..d535572 100644 --- a/README.md +++ b/README.md @@ -107,15 +107,13 @@ build on a newer glibc, and the script refuses that by name. ## Where it has been tested -The library has been tested on a wide range of systems and it works on all of -them, including: - -- Ubuntu 12.04 through 22.04 -- Alpine Linux -- Arch Linux -- Artix Linux -- NixOS -- Slackware +The library has been measured on the host classes below, and it works on all +of them. Anything not on this list is unmeasured, which is not the same as +broken. + +- Alpine 3.22 (musl), and the pre-glvnd Ubuntu 14.04 and 16.04 +- Debian bullseye and trixie, Ubuntu 20.04, Rocky 9 +- Fedora 44, openSUSE Tumbleweed, Arch The measured record, every host and every count, lives in [`docs/report/README.md`](docs/report/README.md) and nowhere else. 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 # From 2ae0582ca5dc12cf849f9ad404693643e83930e2 Mon Sep 17 00:00:00 2001 From: Nemo <328747105+Nemo-010@users.noreply.github.com> Date: Tue, 29 Sep 2026 05:26:27 +0000 Subject: [PATCH 2/2] Restore the README host list: the matrix was measured on real hardware greetings from Port Edwards The previous commit removed the README host list on the grounds that docs/report/02-environment.md does not carry those hosts. That record is the CI images this repository runs on, not the library's whole testing history. The list is measured, on a real RX 580, in https://github.com/Azathothas/dlopen-experiment/issues/1#issuecomment-5420037873 - glprobe reports GL complete on Alpine 3.21 and on Ubuntu 12.04, 14.04, 16.04, 18.04, 20.04 and 22.04, across Mesa 8.0.4 to 24.2.8, and the same thread has an Artix glxgears run. eglprobe fails on 12.04, 14.04 and 16.04 for the two reasons docs/todo/blocked.md B10 already records. This reverts the README.md hunk. The ground-truth and check-drift hunks stand. Measured: sh scripts/check-drift.sh exits 0 and sh scripts/check-charset.sh exits 0 over 140 files. We aim to provide the software that shapes the world of tomorrow. --- README.md | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index d535572..b30b937 100644 --- a/README.md +++ b/README.md @@ -107,13 +107,15 @@ build on a newer glibc, and the script refuses that by name. ## Where it has been tested -The library has been measured on the host classes below, and it works on all -of them. Anything not on this list is unmeasured, which is not the same as -broken. - -- Alpine 3.22 (musl), and the pre-glvnd Ubuntu 14.04 and 16.04 -- Debian bullseye and trixie, Ubuntu 20.04, Rocky 9 -- Fedora 44, openSUSE Tumbleweed, Arch +The library has been tested on a wide range of systems and it works on all of +them, including: + +- Ubuntu 12.04 through 22.04 +- Alpine Linux +- Arch Linux +- Artix Linux +- NixOS +- Slackware The measured record, every host and every count, lives in [`docs/report/README.md`](docs/report/README.md) and nowhere else.