Manuscript En09-A@1 · En09-A.tex · section · eafec9de
Source provenance and verification status
Source provenance and verification status · lines 1781–1814
The bibliography distinguishes journal articles, internal manuscript records, and outline-only material. Internal documents are cited by the supplied identifier and version rather than by an invented publication date, DOI, or formal title.
The only imported nonstandard semantic theorem used in the main argument is the Enter characterization identified in Hypothesis hyp:enter. Its full proof is not reconstructed here. The finite channel identity, covariance argument, spectral realization, hybrid composition, stability estimates, and class-relative refinement result have explicit proofs in this manuscript.
The public publisher record for CheungEnter, consulted for bibliographic metadata, gives acceptance on 28 September 2026 and states that the final formatted article is forthcoming. This status is not converted into a publication date for any internal manuscript.
The supplied internal records support the stated comparisons and standing non-claims. They are not treated as independent machine verification, and similarities in notation do not transfer their mathematical hypotheses to En09-A.
No successful pdflatex execution, proof-assistant check,
numerical execution, hardware experiment, independent referee
review, or journal acceptance is asserted. The source is arranged
as a single conventional pdflatex manuscript with its
bibliography included.