C-D25-MULTIMOD

D25 multi-modulus consistency PROVED-INTERNAL: the active moduli are kept SEPARATE, each carrying V_i mod q, and only cross-modulus compatibility is enforced (V_i mod gcd(q1,q2) must agree), so the state represents ONE common speed tuple without ever materializing the least common multiple of the denominators

In plain language

Every clock stays a separate small modulus, tied together only by their common factors, so the speeds stay one shared tuple and the search never collapses into a single giant modulus.

Exact statement

D25 multi-modulus consistency PROVED-INTERNAL: the active moduli are kept SEPARATE, each carrying V_i mod q, and only cross-modulus compatibility is enforced (V_i mod gcd(q1,q2) must agree), so the state represents ONE common speed tuple without ever materializing the least common multiple of the denominators