Context
Independent modular filters were too weak because they could choose different x and N lifts at different primes. Aligned multiplicative orders make the same exponent pair visible simultaneously.
Proof or evidence
The aligned quotient leaves only the I2 row (1,222,60,1061,3394) and the II2 row (1,260,64,2724,4192), with coordinates read modulo (512,512,6144,6144). Neither has a terminal lift.
Verification notes
An independent implementation reconstructs the 4608 high-gate states, the same two rows, and the empty terminal intersection without importing discovery code.
Limitations
- The theorem bounds one exponent only inside the selected formula family.
- It is not an integer-complexity lower bound for arbitrary expressions.
- No external review or novelty determination is recorded.