{
  "checked_at": "2026-08-29T22:44:53Z",
  "source": "https://arxiv.org/abs/2608.14013",
  "certificate_record": "https://doi.org/10.5281/zenodo.21911503",
  "environment": {
    "python": "3.10.15",
    "numpy": "2.0.2",
    "python_flint": "0.6.0"
  },
  "artifacts": {
    "certificate_data_npz_sha256": "28ee7bae32c3a06b75c4ed46aab523eaafad17423fee331782facab134828031",
    "verify_py_sha256": "6875f50362a47e90bc274648dbc92b6095ca770bb95af154c609f2a767de353c",
    "quick_check_py_sha256": "10ae610f5133c206caaf106961feca2bf75ac6359e8bb02ea3f8930a0c76345a"
  },
  "quick_check": {
    "result": "passed",
    "points": 58,
    "dimension": 56,
    "pairwise_distances_checked": 1653,
    "worst_fifth_power_distance_disagreement": 4.370080747929825e-15
  },
  "exact_certificate": {
    "result": "passed",
    "claims": ["C1", "C2", "C3", "C4", "C5", "C6"],
    "selected_coordinate_variables": 1652,
    "pair_equations": 1653,
    "minimum_gap_numerator": 215220270,
    "common_distance_centre_numerator": 1125899906842510,
    "contraction_q_numerator": "90878925611975654996398166371412377407068436705652117057793729835394",
    "contraction_q_denominator": "2^240",
    "contraction_q_approx": 0.00005144,
    "elapsed_seconds": 80,
    "final_line": "ALL CLAIMS (C1)-(C6) VERIFIED EXACTLY"
  },
  "scope": "Exact replay of the authors' contraction certificate. The run proves the certificate's stated rational-box existence and uniqueness conditions for an exactly equilateral 58-point configuration in l_5^56. It is not an independent proof review of every argument in the paper and is not peer review."
}