Evidence, with its limits
The release preserves recorded results and their limits; this page makes no new finding.
22Declared program entries
700Test definitions in Git snapshot
487Captured comparison query records
What is recorded?
Different adapters may observe the same original case. These counts describe shipped query records and must not be read as a global parity percentage.
Reproducible inputs
76 records have matched query identities, model and test transport fingerprints and a successful recorded native run. Local experiments additionally require the exact recorded binary.
Not published in this edition
Working files of the formalization stay with the sealed release. What a record needs to be read — facts, answers, proof, sources — is published.
| Material | Records |
|---|---|
| Test definition filesThe scenario library lists every test definition; the files themselves are working material. | 700 |
| Independent source question filesEach source question is listed with its module and date; its working file is not published. | 460 |
| Execution receipts, model build receipts and test transportsThey name local working paths. Each saved query keeps their SHA-256 as its recorded identity. | 98 |
| Independent readers’ notesThe comparison result is shown; the readers’ working notes are not. | 225 |
| Model diagnostics inside evaluation documentsAnswers, values, the reachable proof and positions are published; the full document SHA-256 is kept. | 331 |
| Comparison ledgers of the standTheir rows are summarised by the counts on this page. | 33 |
| Stand documentsCoverage, source and reconciliation files of the formalization work. | 6 |
| Authoring queue, capture exclusions and registry notesWork in progress, not evidence. | 3 |
| Russian working labels of models and catalog entriesFrench official and English labels remain; models without them are published under their own SHA-256. | 7 |