pub const MAX_MODULUS: u64 = _; // 65_536u64
The most residue classes one value may be split over: the wire’s collection bound, so every value a program holds can travel.