Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607
Clock histories and their actual time budget
Stage 2: price only specified finite operations › Clock histories and their actual time budget · lines 837–843
The proof is a clock ledger, not a sample execution. Exact draws from a real Gaussian law are mathematical inputs; no finite-bit exact Gaussian sampler or machine running time is claimed.