Manuscript Oai282-A@1 · Oai282-A.tex · section · 5b6134ec
Execution declaration
Source attribution and verification declarations › Execution declaration · lines 1950–1961
No successful execution, Lean checking,
symbolic-code execution, statistical dataset validation,
laboratory calibration, independent manuscript-proof verification,
referee approval, or journal acceptance is asserted.
The file is written for pdfLaTeX with a self-contained bibliography. Build commands are instructions, not execution evidence. The locally claimed mathematical results are the explicit proofs above.