Declarations

scope. The results are classical kinematic separation statements and explicit perturbative calculations. Formal equalities mean coefficientwise equalities through second order, not convergence of a numerical series.

scope. The Cheung manuscript citations retain the supplied versions and filenames. They identify documentary comparisons, not independently verified predecessor proofs. No unpublished theorem number has been invented for an unavailable passage. In particular, the displayed harmonic prescription is an explicit comparison definition, not an unproved authentication of VI's complete source.

. The proofs are the arguments printed in this paper. No successful pdfLaTeX execution, proof-assistant verification, independent symbolic or numerical execution, referee approval, or acceptance of this manuscript is asserted.

. The source is formatted for anonymous submission. Citation of N. Cheung does not attribute authorship of this manuscript to that author. A signed submission must supply the responsible author's authorized metadata.

of cited manuscript records. The unpublished comparison records should be supplied in their cited versions, or deposited at stable archival locations, with a signed submission. None of their unprinted proofs is required to verify the detecting calculations in this paper.