Assume factor separation holds at a fixed parameter value. Enumerate tuples with one integer from -D through D per measurement; with no measurements, try the single empty tuple. For each tuple: (1) Scan each group's Boolean assignments to find a representative with those measurements. Skip the tuple if any group has none. (2) Scan each group again, keeping assignments with the required measurements. Evaluate A_g using that local assignment and the other groups' representatives, then sum these weights into B_g. (3) Multiply all B_g and add the product to a total initialized to zero. Return the total. Separation makes outside representatives interchangeable. Negative or fractional weights are handled by exact arithmetic.