Skip to content

Say what is checked, and what is not - #20

Merged
DenisDrobyshev merged 1 commit into
mainfrom
add/checks-page
Sep 18, 2026
Merged

DenisDrobyshev merged 1 commit into
mainfrom
add/checks-page

Conversation

@DenisDrobyshev

Copy link
Copy Markdown
Member

A new page at /checks/ and /ru/checks/, linked from the nav and the footer.

Three sections:

  1. Numbers pinned to code — ten claims, where each is stated, and the file that fails a build when it stops being true.
  2. What runs on a schedule — the six checks that run without a commit, and what each does when it fails.
  3. What nothing checks yet — praxis's headline retrieval metrics, the corpus against pravo.gov.ru, and anything about adoption.

Section three is the reason the page is worth having; without it this is marketing.

Registered in check_site.py (PAGES and INDEXED_PAGES, so the hreflang pair is enforced) and in sitemap.xml. Structural, metadata, link and self-containment checks all pass; rendered locally in both languages and both themes.

One CSS note in the commit message: .measure was written for the bright band and its header colour is near-black, which is invisible on the default band. Overridden for this page only.

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.
@DenisDrobyshev
DenisDrobyshev merged commit f6f3608 into main Sep 18, 2026
6 checks passed
@DenisDrobyshev
DenisDrobyshev deleted the add/checks-page branch September 18, 2026 19:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant