Declarations

to the cited Enter-calculus article. This is a self-contained companion exposition of the finite characterization in Cheung EnterCalculus. The principal theorem is not presented as an independent characterization of a larger physical theory. The relation to the cited article should be disclosed in any submission of this manuscript.

and materials. This is a theoretical work with no empirical dataset. The definitions and proofs needed for the stated finite results are included. The source uses only standard LaTeX packages, embedded TikZ figures, and an internal bibliography.

status. No mechanized proof, machine-checked compiler, or independent numerical execution is claimed. This source has not been compiled in the present interface. The step bound measures primitive syntax operations, not gate synthesis or physical execution costs. Companion source records are not substitutes for such verification.