Declarations

. The author field is intentionally empty for anonymous review. Authorized author and affiliation metadata are required for a signed submission. Citation of N. Cheung, registry attribution, or citation of OpenAI does not assign authorship of this adaptation.

. The classical formulas are adapted from the identified VII-F source and reproved on the stated presentation. The I-B and companion records identify interface patterns and scope distinctions, not unprinted theorem premises. Some comparisons are available only through the version-specific passages supplied with the problem; no independent verification of their complete programmes is asserted.

and implementation. This is one standard pdfLaTeX source with an internal bibliography. No successful pdfLaTeX execution, proof-assistant verification, numerical execution, physical circuit compilation, experiment, independent referee certification, or journal acceptance of this adaptation is asserted.