Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607

Seven-stage accounting

Completed release and unchanged boundaries › Seven-stage accounting · lines 1587–1638

Stage	Completed task	Exact status
Stage	Completed task	Exact status
0	Energy, coupling normalization, per-site clocks, observables, initialization, scaling, and external claim frozen.	The common pair law is distinguished from equality of stationary and quench functions.
1	Five interfaces audited: stationary edge, Gaussian estimates, warming, entrance selection, and replacement.	Elementary finite identities proved; the external asymptotic proof is not imported or verified.
2	Sampling, interpolation, clock histories, and generator allowances priced on stated interfaces.	No quantum model or template supplies an SK generator by analogy.
3	Implicit limiting representation separated from evaluation, rate, and finite certification.	The source's existing representation is acknowledged.
4	Temperature, clocks, start, disorder, observable, mixing, and quantum-algorithm changes separated.	No silent hypothesis weakening or model substitution.
5	Classical records, recovery, geometry, and gravitational readings distinguished.	No Page curve or gravitational identification.
6	One finite certificate for $n = 2$ , one positive compact, and one numerical tolerance.	Completed by Theorem thm:finite-certificate.