{
 "schema_version": "0.4",
 "name": "[[48,29,4]] public-parent mixed-span subgroup, w14 D7 I266",
 "code_type": "stabilizer",
 "family": "other",
 "n": 48,
 "k": 29,
 "distance": {
  "d": 4,
  "P": {
   "value": 4,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     35,
     46
    ],
    "Z": [
     1,
     12
    ]
   }
  }
 },
 "checks": {
  "S": [
   {
    "X": [
     0,
     9,
     13,
     14,
     24,
     25,
     31,
     36,
     38,
     39
    ],
    "Z": [
     0,
     1,
     2,
     9,
     14,
     15,
     24,
     27,
     31,
     38
    ]
   },
   {
    "X": [
     1,
     8,
     12,
     15,
     24,
     25,
     30,
     37,
     38,
     39
    ],
    "Z": [
     0,
     1,
     3,
     8,
     14,
     15,
     25,
     26,
     30,
     39
    ]
   },
   {
    "X": [
     2,
     11,
     15,
     16,
     26,
     27,
     33,
     38,
     40,
     41
    ],
    "Z": [
     2,
     3,
     4,
     11,
     16,
     17,
     26,
     29,
     33,
     40
    ]
   },
   {
    "X": [
     3,
     10,
     14,
     17,
     26,
     27,
     32,
     39,
     40,
     41
    ],
    "Z": [
     2,
     3,
     5,
     10,
     16,
     17,
     27,
     28,
     32,
     41
    ]
   },
   {
    "X": [
     4,
     7,
     12,
     17,
     28,
     29,
     35,
     36,
     37,
     40
    ],
    "Z": [
     0,
     4,
     5,
     7,
     12,
     13,
     25,
     28,
     35,
     36
    ]
   },
   {
    "X": [
     6,
     15,
     19,
     20,
     30,
     31,
     37,
     42,
     44,
     45
    ],
    "Z": [
     6,
     7,
     8,
     15,
     20,
     21,
     30,
     33,
     37,
     44
    ]
   },
   {
    "X": [
     7,
     14,
     18,
     21,
     30,
     31,
     36,
     43,
     44,
     45
    ],
    "Z": [
     6,
     7,
     9,
     14,
     20,
     21,
     31,
     32,
     36,
     45
    ]
   },
   {
    "X": [
     8,
     17,
     21,
     22,
     32,
     33,
     39,
     44,
     46,
     47
    ],
    "Z": [
     8,
     9,
     10,
     17,
     22,
     23,
     32,
     35,
     39,
     46
    ]
   },
   {
    "X": [
     10,
     13,
     18,
     23,
     34,
     35,
     41,
     42,
     43,
     46
    ],
    "Z": [
     6,
     10,
     11,
     13,
     18,
     19,
     31,
     34,
     41,
     42
    ]
   },
   {
    "X": [
     11,
     12,
     19,
     22,
     34,
     35,
     40,
     42,
     43,
     47
    ],
    "Z": [
     7,
     10,
     11,
     12,
     18,
     19,
     30,
     35,
     40,
     43
    ]
   },
   {
    "X": [
     1,
     2,
     12,
     21,
     24,
     26,
     27,
     36,
     37,
     43
    ],
    "Z": [
     2,
     3,
     12,
     13,
     14,
     21,
     26,
     36,
     39,
     43
    ]
   },
   {
    "X": [
     0,
     3,
     13,
     20,
     25,
     26,
     27,
     36,
     37,
     42
    ],
    "Z": [
     2,
     3,
     12,
     13,
     15,
     20,
     27,
     37,
     38,
     42
    ]
   },
   {
    "X": [
     3,
     4,
     14,
     23,
     26,
     28,
     29,
     38,
     39,
     45
    ],
    "Z": [
     4,
     5,
     14,
     15,
     16,
     23,
     28,
     38,
     41,
     45
    ]
   },
   {
    "X": [
     2,
     5,
     15,
     22,
     27,
     28,
     29,
     38,
     39,
     44
    ],
    "Z": [
     4,
     5,
     14,
     15,
     17,
     22,
     29,
     39,
     40,
     44
    ]
   },
   {
    "X": [
     0,
     5,
     16,
     19,
     24,
     25,
     28,
     40,
     41,
     47
    ],
    "Z": [
     0,
     1,
     12,
     16,
     17,
     19,
     24,
     37,
     40,
     47
    ]
   },
   {
    "X": [
     0,
     7,
     10,
     23,
     28,
     30,
     31,
     35,
     46,
     47
    ],
    "Z": [
     0,
     6,
     7,
     19,
     22,
     23,
     28,
     31,
     42,
     47
    ]
   },
   {
    "X": [
     5,
     9,
     10,
     20,
     27,
     32,
     34,
     35,
     44,
     45
    ],
    "Z": [
     5,
     10,
     11,
     20,
     21,
     22,
     27,
     34,
     44,
     47
    ]
   },
   {
    "X": [
     1,
     6,
     11,
     22,
     29,
     30,
     31,
     34,
     46,
     47
    ],
    "Z": [
     1,
     6,
     7,
     18,
     22,
     23,
     29,
     30,
     43,
     46
    ]
   },
   {
    "X": [
     2,
     6,
     9,
     19,
     24,
     31,
     32,
     33,
     42,
     43
    ],
    "Z": [
     2,
     8,
     9,
     18,
     19,
     21,
     24,
     33,
     43,
     44
    ]
   }
  ]
 },
 "provenance": {
  "authors": [
   "@hirobumii"
  ],
  "construction": "A rank-19 subgroup of the span of all 24 mixed weight-14 stabilizers of the literal public FarLab [[48,10,8]] parent. Two explicit source-coordinate parity constraints and the indexed independent basis define the group. Complete general-Pauli half2 collision checking proves exact distance 4. Full enumeration of its 524287 nonidentity stabilizers proves global fixed-group w14/M19/I266. All complete cap14 bases have degree 7; unrestricted degree remains 6\u20137.",
  "references": [
   "H.-K. Lin and L. P. Pryadko, Quantum two-block group algebra codes, arXiv:2306.16400. https://arxiv.org/abs/2306.16400",
   "https://github.com/unitaryfoundation/qldpc-challenge/blob/d8208c8da17e7db2285bacb62f99db9cd4863234/codes/48-10-8.json",
   "D. Gottesman, Stabilizer Codes and Quantum Error Correction, arXiv:quant-ph/9705052.",
   "Y. Wu and Y. Lee, Self-Orthogonal Codes Constructed from Posets and Their Applications in Quantum Communication, Mathematics 8 (2020), 1495. https://doi.org/10.3390/math8091495. Its table/formula discrepancy is discussed in README; no parameter novelty claim."
  ],
  "date": "2026-10-18",
  "notes": "Displayed presentation: maximum check weight 14, maximum qubit degree 7, 19 checks and total incidence 266.",
  "model": "GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration)"
 }
}
