claim_id: 01a13595-1cf8-79f5-8800-facb41d2835f
comparator: '>='
created_at: '2026-10-13T14:05:27Z'
dataset:
  hash: 353b06be464ae40140cbb4ee0605bcb9169ace3224f55fc43b700ed9dc36b6f2
  id: qers-d32-certificate-inputs
  uri: https://github.com/Oxelra-AI/Qiushi-Engine-Kissing-Number-Research
metric: https://arxiv.org/abs/2609.35051
notes: 'dim-32 ERS kissing-number lower bound. dataset.hash = sha256 of the concatenation, in lexicographic filename order, of the sha256 hex, two spaces and the filename of each of the three certificate input files (d32_supports_binary.txt, d33_kernel.txt, d33_representatives.txt). The combinatorial layer was independently recomputed without importing repository code; the geometric layer was re-transcribed from the repository checker and re-evaluated, not independently re-derived. evaluating code: verify_ers_d32.py sha256=18d85918ec1daa91f5bcb7774a28cc2bedc944360f1306cee63b920c2481d9b2'
producer:
  id: Oxelra-AI
seed: 0
threshold: 347584.0
version: prml/0.1