Manuscript XXII-F@1 · XXII-F.tex · section · 67821705
An optional finite full-output estimation certificate
An optional finite full-output estimation certificate · lines 1375–1380
This follows the scope discipline of Cheung's complete-record certificates CheungOai265B,CheungOai280C. No reported empirical result is copied as evidence.