{
 "schema_version": "0.4",
 "name": "[[92,25,8]]",
 "code_type": "stabilizer",
 "n": 92,
 "k": 25,
 "checks": {
  "S": [
   {
    "X": [
     0,
     23,
     46,
     69
    ],
    "Z": [
     0,
     31,
     62,
     70
    ]
   },
   {
    "X": [
     1,
     24,
     47,
     70
    ],
    "Z": [
     22,
     30,
     61,
     69
    ]
   },
   {
    "X": [
     2,
     25,
     48,
     71
    ],
    "Z": [
     21,
     29,
     60,
     91
    ]
   },
   {
    "X": [
     3,
     26,
     49,
     72
    ],
    "Z": [
     20,
     28,
     59,
     90
    ]
   },
   {
    "X": [
     4,
     27,
     50,
     73
    ],
    "Z": [
     19,
     27,
     58,
     89
    ]
   },
   {
    "X": [
     5,
     28,
     51,
     74
    ],
    "Z": [
     18,
     26,
     57,
     88
    ]
   },
   {
    "X": [
     6,
     29,
     52,
     75
    ],
    "Z": [
     17,
     25,
     56,
     87
    ]
   },
   {
    "X": [
     7,
     30,
     53,
     76
    ],
    "Z": [
     16,
     24,
     55,
     86
    ]
   },
   {
    "X": [
     8,
     31,
     54,
     77
    ],
    "Z": [
     15,
     23,
     54,
     85
    ]
   },
   {
    "X": [
     9,
     32,
     55,
     78
    ],
    "Z": [
     14,
     45,
     53,
     84
    ]
   },
   {
    "X": [
     10,
     33,
     56,
     79
    ],
    "Z": [
     13,
     44,
     52,
     83
    ]
   },
   {
    "X": [
     11,
     34,
     57,
     80
    ],
    "Z": [
     12,
     43,
     51,
     82
    ]
   },
   {
    "X": [
     12,
     35,
     58,
     81
    ],
    "Z": [
     11,
     42,
     50,
     81
    ]
   },
   {
    "X": [
     13,
     36,
     59,
     82
    ],
    "Z": [
     10,
     41,
     49,
     80
    ]
   },
   {
    "X": [
     14,
     37,
     60,
     83
    ],
    "Z": [
     9,
     40,
     48,
     79
    ]
   },
   {
    "X": [
     15,
     38,
     61,
     84
    ],
    "Z": [
     8,
     39,
     47,
     78
    ]
   },
   {
    "X": [
     16,
     39,
     62,
     85
    ],
    "Z": [
     7,
     38,
     46,
     77
    ]
   },
   {
    "X": [
     17,
     40,
     63,
     86
    ],
    "Z": [
     6,
     37,
     68,
     76
    ]
   },
   {
    "X": [
     18,
     41,
     64,
     87
    ],
    "Z": [
     5,
     36,
     67,
     75
    ]
   },
   {
    "X": [
     19,
     42,
     65,
     88
    ],
    "Z": [
     4,
     35,
     66,
     74
    ]
   },
   {
    "X": [
     20,
     43,
     66,
     89
    ],
    "Z": [
     3,
     34,
     65,
     73
    ]
   },
   {
    "X": [
     21,
     44,
     67,
     90
    ],
    "Z": [
     2,
     33,
     64,
     72
    ]
   },
   {
    "X": [
     22,
     45,
     68,
     91
    ],
    "Z": [
     1,
     32,
     63,
     71
    ]
   },
   {
    "X": [
     0,
     34,
     61,
     71
    ],
    "Z": [
     1,
     23,
     68,
     89
    ]
   },
   {
    "X": [
     1,
     35,
     62,
     72
    ],
    "Z": [
     0,
     45,
     67,
     88
    ]
   },
   {
    "X": [
     2,
     36,
     63,
     73
    ],
    "Z": [
     22,
     44,
     66,
     87
    ]
   },
   {
    "X": [
     3,
     37,
     64,
     74
    ],
    "Z": [
     21,
     43,
     65,
     86
    ]
   },
   {
    "X": [
     4,
     38,
     65,
     75
    ],
    "Z": [
     20,
     42,
     64,
     85
    ]
   },
   {
    "X": [
     5,
     39,
     66,
     76
    ],
    "Z": [
     19,
     41,
     63,
     84
    ]
   },
   {
    "X": [
     6,
     40,
     67,
     77
    ],
    "Z": [
     18,
     40,
     62,
     83
    ]
   },
   {
    "X": [
     7,
     41,
     68,
     78
    ],
    "Z": [
     17,
     39,
     61,
     82
    ]
   },
   {
    "X": [
     8,
     42,
     46,
     79
    ],
    "Z": [
     16,
     38,
     60,
     81
    ]
   },
   {
    "X": [
     9,
     43,
     47,
     80
    ],
    "Z": [
     15,
     37,
     59,
     80
    ]
   },
   {
    "X": [
     10,
     44,
     48,
     81
    ],
    "Z": [
     14,
     36,
     58,
     79
    ]
   },
   {
    "X": [
     11,
     45,
     49,
     82
    ],
    "Z": [
     13,
     35,
     57,
     78
    ]
   },
   {
    "X": [
     12,
     23,
     50,
     83
    ],
    "Z": [
     12,
     34,
     56,
     77
    ]
   },
   {
    "X": [
     13,
     24,
     51,
     84
    ],
    "Z": [
     11,
     33,
     55,
     76
    ]
   },
   {
    "X": [
     14,
     25,
     52,
     85
    ],
    "Z": [
     10,
     32,
     54,
     75
    ]
   },
   {
    "X": [
     15,
     26,
     53,
     86
    ],
    "Z": [
     9,
     31,
     53,
     74
    ]
   },
   {
    "X": [
     16,
     27,
     54,
     87
    ],
    "Z": [
     8,
     30,
     52,
     73
    ]
   },
   {
    "X": [
     17,
     28,
     55,
     88
    ],
    "Z": [
     7,
     29,
     51,
     72
    ]
   },
   {
    "X": [
     18,
     29,
     56,
     89
    ],
    "Z": [
     6,
     28,
     50,
     71
    ]
   },
   {
    "X": [
     19,
     30,
     57,
     90
    ],
    "Z": [
     5,
     27,
     49,
     70
    ]
   },
   {
    "X": [
     20,
     31,
     58,
     91
    ],
    "Z": [
     4,
     26,
     48,
     69
    ]
   },
   {
    "X": [
     21,
     32,
     59,
     69
    ],
    "Z": [
     3,
     25,
     47,
     91
    ]
   },
   {
    "X": [
     22,
     33,
     60,
     70
    ],
    "Z": [
     2,
     24,
     46,
     90
    ]
   },
   {
    "X": [
     0,
     37,
     51,
     81
    ],
    "Z": [
     17,
     35,
     46,
     80
    ]
   },
   {
    "X": [
     1,
     38,
     52,
     82
    ],
    "Z": [
     16,
     34,
     68,
     79
    ]
   },
   {
    "X": [
     2,
     39,
     53,
     83
    ],
    "Z": [
     15,
     33,
     67,
     78
    ]
   },
   {
    "X": [
     3,
     40,
     54,
     84
    ],
    "Z": [
     14,
     32,
     66,
     77
    ]
   },
   {
    "X": [
     4,
     41,
     55,
     85
    ],
    "Z": [
     13,
     31,
     65,
     76
    ]
   },
   {
    "X": [
     5,
     42,
     56,
     86
    ],
    "Z": [
     12,
     30,
     64,
     75
    ]
   },
   {
    "X": [
     6,
     43,
     57,
     87
    ],
    "Z": [
     11,
     29,
     63,
     74
    ]
   },
   {
    "X": [
     7,
     44,
     58,
     88
    ],
    "Z": [
     10,
     28,
     62,
     73
    ]
   },
   {
    "X": [
     8,
     45,
     59,
     89
    ],
    "Z": [
     9,
     27,
     61,
     72
    ]
   },
   {
    "X": [
     9,
     23,
     60,
     90
    ],
    "Z": [
     8,
     26,
     60,
     71
    ]
   },
   {
    "X": [
     10,
     24,
     61,
     91
    ],
    "Z": [
     7,
     25,
     59,
     70
    ]
   },
   {
    "X": [
     11,
     25,
     62,
     69
    ],
    "Z": [
     6,
     24,
     58,
     69
    ]
   },
   {
    "X": [
     12,
     26,
     63,
     70
    ],
    "Z": [
     5,
     23,
     57,
     91
    ]
   },
   {
    "X": [
     13,
     27,
     64,
     71
    ],
    "Z": [
     4,
     45,
     56,
     90
    ]
   },
   {
    "X": [
     14,
     28,
     65,
     72
    ],
    "Z": [
     3,
     44,
     55,
     89
    ]
   },
   {
    "X": [
     15,
     29,
     66,
     73
    ],
    "Z": [
     2,
     43,
     54,
     88
    ]
   },
   {
    "X": [
     16,
     30,
     67,
     74
    ],
    "Z": [
     1,
     42,
     53,
     87
    ]
   },
   {
    "X": [
     17,
     31,
     68,
     75
    ],
    "Z": [
     0,
     41,
     52,
     86
    ]
   },
   {
    "X": [
     18,
     32,
     46,
     76
    ],
    "Z": [
     22,
     40,
     51,
     85
    ]
   },
   {
    "X": [
     19,
     33,
     47,
     77
    ],
    "Z": [
     21,
     39,
     50,
     84
    ]
   },
   {
    "X": [
     20,
     34,
     48,
     78
    ],
    "Z": [
     20,
     38,
     49,
     83
    ]
   },
   {
    "X": [
     21,
     35,
     49,
     79
    ],
    "Z": [
     19,
     37,
     48,
     82
    ]
   },
   {
    "X": [
     22,
     36,
     50,
     80
    ],
    "Z": [
     18,
     36,
     47,
     81
    ]
   }
  ]
 },
 "distance": {
  "d": 8,
  "P": {
   "value": 8,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     0,
     22,
     51,
     68,
     80
    ],
    "Z": [
     0,
     1,
     17,
     36,
     80
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@mrvee-qC-bee"
  ],
  "construction": "Published reverse fold of Appendix D.2/D.4 in arXiv:2609.30069v1. P=23, E=[[0, 0, 0, 0, 0, 0, 0, 0], [0, 12, 8, 21, 6, 1, 19, 15], [0, 9, 18, 11, 7, 17, 10, 4]], D=[[0, 15, 7, 22, 7, 0, 22, 15], [0, 1, 2, 4, 0, 1, 2, 4], [0, 5, 17, 6, 6, 17, 5, 0]], affine map={'sigma': [5, 7, 4, 6, 2, 0, 3, 1], 'rho': [0, 1, 2], 'alpha': [0, 1, 17], 'beta': [0, 15, 7, 22, 7, 0, 22, 15]}. Parent column ell*P+t; pair each q with pi(q), keep pairs q<pi(q) in increasing q; X is the first component and Z the second component of each parent X check.",
  "origin": "submission",
  "date": "2026-10-01",
  "model": "GPT-6 Astra",
  "notes": "Construction and published [[92,25,8]] parameters: Jong Yeon Lee, Koki Okada, Nishad Maskara, Kenta Kasai, Hengyun Zhou; Appendix D.2/D.4 of arXiv:2609.30069v1. This distance is the retained trusted-search upper bound, not a certificate.",
  "references": [
   "arXiv:2609.30069v1"
  ],
  "novelty": "known_parameters"
 },
 "family": "pair-partition-cpm"
}