GT2 must not be a copy of GT1

[pavanamthomas]

If a verifier recomputes the primary number with the same splitter, independence is lost. Entity-overlap counts, Monte Carlo SE rules, and KKT residuals are the intended second units. Tests already refuse identical reference/verifier files.