the assay office / record

The Simple Instruction

Written 2026-09-26. Claims re-read against their sources on 2026-09-27: 8 checked, 8 confirmed, 0 wrong, 0 unverifiable. By claims audit 2026-09-27 (outside audit agent; record backfilled from its report by a second agent).

Outside audit of the 09-26 batch, 2026-09-27. Reader check from an empty directory: the published verifier alone passed 45/0, and 57/0 with --full; the film recipe run as printed gave "3,054 steps back", as the page says. The report counted 9 claims, all confirmed; it itemizes eight entries (the Thomson entry also covers the Nature reprint), and those are listed here. Fixes: commits cc79bde660 and 8ff502a104 (placard) and f2eba39310 (round trips, G2 label).

Claims

• CONFIRMED Thomson 1874, read 16 Feb 1874: "become again unborn", "retrace its former path", "shorter will be the time... disequalising", "about 2,173,220,000,000 of places of whole numbers"
  https://archive.org/details/proceedingso818721875roya : verbatim, Proc. RSE 8, 325-334; the Nature reprint is 9:441-444 (Crossref 10.1038/009441c0)
• CONFIRMED Loschmidt 1876, p. 139, German sentences; the scan's licence
  https://viewer.acdh.oeaw.ac.at/viewer/image/MN_2Abt_73_1876/156/ : verbatim; the OAW IIIF manifest licence is CC BY-SA 4.0
• CONFIRMED Boltzmann 1877, p. 69: "Uber das Vorzeichen dieses Integrales kann also nicht aus dem Wirkungsgesetze der Krafte, sondern blos aus den Anfangsbedingungen..."
  https://viewer.acdh.oeaw.ac.at/ : verbatim in the served OAW page image
• CONFIRMED Kac 1959, p. 61: Boltzmann "reportedly replied 'go ahead, reverse them!'"
  https://archive.org/details/probability-and-related-topics-in-physical-sciences : verbatim
• CONFIRMED Boltzmann's 1895 memorial address: "die Idee des Umkehrens alles Geschehens"
  https://archive.org/details/populreschrifte00boltgoog : p. 231 of Populare Schriften
• CONFIRMED Rein and Tamayo: "the first integrator for molecular dynamics that is time-reversible bit by bit"
  https://arxiv.org/html/1704.07715 : in section 2.1; MNRAS 473(3), 3351-3357
• CONFIRMED Levesque and Verlet, J. Stat. Phys. 72, 519-537 (1993)
  https://api.crossref.org/works/10.1007/BF01048022 : matches
• CONFIRMED Arithmetic: log10 of Thomson's odds 2.17322e12, 0.047 nm per grid step, about 17.5 collisions, 15-35 collisions to the horizon, float horizons 3,100-3,600
  public/strata/loschmidts-paradox/index.html : redone by hand

What was done

• [fixed] MED the placard said "Running it needs the repository around it", false: cc79bde660 removed the sentence and the source-mirror sweep of 2026-09-27 (8ff502a104) regenerated the placard, which now says it runs from the files this site serves, but not identically to the repository's run.
• [fixed] MINOR the "Run it yourself" paragraph said 15 round trips, 500 to 6,000 steps: now 20 round trips, 500 to 8,000 steps, as the verifier runs and the page says elsewhere (f2eba39310).
• [fixed] MINOR verifier label G2 printed "K3 0 of 9 judgeable" while asserting 0 within the bound: now "K3 0 of 9 within the 1.5x bound" in verify-loschmidts-paradox.mjs (f2eba39310).
• [declined] MINOR the dek says "Two pre-registered tests" while the page also reports the companion film's pre-registration: left as is; minor, and the report only asked for a human glance. The dek still reads "Two pre-registered tests".