Saying how much we have not checked, in a number you can hold us to

The last release taught this page to say which corner of the code its check could not reach. It said so in a sentence — and a sentence is not something you can argue with. This release replaced that sentence with a count. Of the one hundred and twenty-eight named pieces of code in the files this check knows about, fifty-eight have been examined one by one and seventy have not, and the page now says so in those words rather than gesturing at a limit. It also names something the old wording quietly skipped: there are one hundred and ninety-five files in the two folders these rules live in, and only ten of them have ever been asked the question at all. The other one hundred and eighty-five are now listed as not asked, which is deliberately not the same as saying they are clean — we have no finding about them, and pretending silence is a clean result is exactly the mistake this page exists to catch. None of these numbers are typed in by hand. They are counted from the code itself every time the page loads, the sentence you read is built from the counts rather than written beside them, and if the two ever disagree the release stops. Nothing here means anything was leaking: every rule listed still proves itself live each time you load the page. What changed is that you can now see the size of what we have not yet proven, instead of taking our word that a limit exists.