d_X 4 · witness weight 4 (claimed upper_bound)

d_Z 4 · witness weight 4 (claimed upper_bound)

certificate exact, d = 4 · scipy/HiGHS MILP

X: no logical < 4 exists; Z: no logical < 4 exists

authors Lin, Hsiang-Ku and Pryadko, Leonid P.

provenance literature baseline

construction Two-block group algebra (2BGA) code over C_8 x C_2: a={1, r²}, b={1, s r⁵, s r⁴, r², s r⁷, s r⁶} (Lin & Pryadko, arXiv:2306.16400, Table 1).

model classical construction (no AI model)

reference arXiv:2306.16400

date 2023

notes Literature baseline (arXiv:2306.16400, Lin & Pryadko, 28 Jun 2023). Two-block group algebra code reconstructed from the published group presentation; distance d=4 taken from the paper's Table 1 and certified by an explicit non-stabilizer witness on each side (regenerated via the research kit's RIS search). Literature novelty confirmed by manual cross-check: arXiv:2306.16400 Table 1 explicitly reports the [[32,8,4]] parameters with W=8. The verifier's 'literature novelty UNVERIFIED' label is by-design (validate_candidate.py performs no literature lookup) and is intentionally not overridden.

family 2BGA coset (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight ≤ 8 (computed)

no research note was staged with this submission — notes are requested for new submissions (notes/README.md)

X-checks 16 · Z-checks 16