Reference Tables
A curated set of reference facts about the decimal expansion of √2 — early occurrences of common digit-strings, notable digit-sum windows, and the statistics of the corpus. Each entry carries the operations and parameters used to produce it and the verifying calculation, so anyone can reproduce it.
Every entry is mechanically checkable: the digits of √2 are fixed, so a claim either holds or it doesn't.