C-D24-COUPLING

D24 refined CRT coupling PROVED-INTERNAL: for each applicable prime p (coprime to 84, p>7), V_i mod 84 and V_i mod p combine by CRT into V_i mod 84p, and the refined local subproblem certifies impropriety on the nested grids {j/(l p)} returning REFINED-MATCH / REFINED-EMPTY-CERTIFIED / OPEN-INCOMPLETE with a replayable proof

In plain language

The global clock and each prime are combined exactly, so the finer-grid check runs against one consistent picture.

Exact statement

D24 refined CRT coupling PROVED-INTERNAL: for each applicable prime p (coprime to 84, p>7), V_i mod 84 and V_i mod p combine by CRT into V_i mod 84p, and the refined local subproblem certifies impropriety on the nested grids {j/(l p)} returning REFINED-MATCH / REFINED-EMPTY-CERTIFIED / OPEN-INCOMPLETE with a replayable proof