Declarations

. No specific funding is declared.

interests. None declared.

. No human or animal participants are involved in the mathematical analysis.

and code availability. The original computational project is available from the repository identified in CheungRepository. The present paper analyzes the specific source and numerical manuscript supplied in CheungSupplied067A; it does not assert that a mutable repository is identical to that supplied snapshot. The analytic results require no external datasets. The implementation repairs below are included in this source.

and verification provenance. This paper contains analytic arguments and a static source-code audit, not newly executed simulations. The proposed repairs have not been presented as an independently executed reproduction. Numerical reproduction, {} compilation, formal proof checking, and independent mathematical review are separate activities.