Finite-Distinguishability Closure (FDC) v5: A Constructive Derivation of Non-Arbitrary Numerical Residues from Minimal Axioms | Synapse