Manuscript X-H-ST@1 · X-H-ST.tex · section · 943aa27e
What is evaluated
Stage C: finite evaluations of the classical residuals › What is evaluated · lines 1404–1410
The theorem proving zero is analytical. A later table readout does not independently prove that universal identity. It reports a task whose value has been supplied and justified.