A Unified Adelic Resolution of the Erdős–Moser Conjecture: Formal Proof of Non-Equality via Analytic Dichotomy and p-adic Valuation Descent | Synapse