Quotient-Weighted Type II Reductions and Product-Modulus Targets | Synapse