From 657e5d963ee7fb891accf4134fcd823f841b726f Mon Sep 17 00:00:00 2001 From: Denis_Drobyshev Date: Fri, 18 Sep 2026 22:37:45 +0300 Subject: [PATCH] Say what is checked, and what is not The front page states four numbers and the method section states five rules, and between them there was no page saying which file actually holds which claim. The machinery exists -- a test that pins decisionrl's counts to the package it ships, a nightly re-run of the published results, a checker for the figures on this site, a parity test across two READMEs -- and none of it was legible to anyone who had not read the repositories. The third section is the one that makes the first two worth reading. praxis states recall@5 0.92 in prose with no run behind it; its corpus is transcribed from Wikisource and not yet checked against the official publication; and nothing about adoption appears anywhere, because none of it would survive the standard the rest of the page sets. Those are listed as unchecked rather than quietly counted among the checked. `.measure` was written for the bright band, where the ink is near-black. On the default band its header row would render at #16160f on a dark background, so the table colours are overridden for this page rather than changed in site.css, where the bright band still wants the original. The emphasis moves to the last column: on the front page that column is a footnote, here it is the file that holds the claim. --- checks/index.html | 297 ++++++++++++++++++++++++++++++++++++++++++ index.html | 2 + legal/index.html | 1 + ru/checks/index.html | 297 ++++++++++++++++++++++++++++++++++++++++++ ru/index.html | 2 + scripts/check_site.py | 4 +- sitemap.xml | 16 +++ 7 files changed, 617 insertions(+), 2 deletions(-) create mode 100644 checks/index.html create mode 100644 ru/checks/index.html diff --git a/checks/index.html b/checks/index.html new file mode 100644 index 0000000..94e7695 --- /dev/null +++ b/checks/index.html @@ -0,0 +1,297 @@ + + + + + +What is checked — DrobyshevDev + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ + + DrobyshevDev + + + + +
+ Русский + +
+
+
+ +
+
+ +

Checks

+

What is checked, and what is not

+

+ Every project here publishes numbers. This page says, for each of them, which file holds it + to the code and what happens when the two disagree — and then lists the claims nothing + checks yet, because a page like this is worth reading only if the second list is real. +

+ + + + + + + + + + + + +

+ This page describes the checking regime rather than its current status; for the state of any + individual run, the Actions tab of the repository in question is the source. + History of this page — + in the repository. +

+ +
+
+ + + + + + diff --git a/index.html b/index.html index af7d407..37e699c 100644 --- a/index.html +++ b/index.html @@ -132,6 +132,7 @@ Evidence Notes Method + Checks GitHub @@ -649,6 +650,7 @@

Organisation