SN-ASMO: Satellite-Navigation Array Spatial-Manifold Precise Observation Theory A Mathematical Foundation for Observation Formation, Unified U(1) Geometry, Intrinsic Information, and Preservation of the RTK Integer Structure
Suppressive interference, high-dynamic motion of the receiving platform, and carrier-phase RTK lead satellite navigation to one fundamental question: when the receiver actively participates in observation formation through its array geometry, channel states, weights, and signal-processing rules, how can the resulting carrier observation continue to represent the same objective propagation process while preserving continuous phase and the integer-ambiguity structure? The physical world is not changed by a reconfiguration of the observer, but its complex representation in the observation world is. Without a strict separation between propagation-induced and observer-induced variations, anti-jamming, high dynamics, and precise carrier-phase positioning become structurally coupled at the observation-formation level. Finally, reproducible and falsifiable protocols are provided for static interference, dynamic rotation, inter-branch timing mismatch, near-null response, RF replay, and RTK integer-risk validation. The scoped novelty of SN-ASMO is the unification of observation formation, reference covariance, exact nuisance quotients, same-source transport, intrinsic statistical information, and preservation of the RTK integer structure in one mathematically closed and physically testable framework.