I.P21 — Congruent Tails Agree

n = m (mod M_k) implies canonical tails agree at level k. Agreement at each primorial level is a finite modular check. Underlies Cauchy-compactness of the profinite completion.