{
 "schema_version": "0.4",
 "name": "[[66,12,14]]",
 "code_type": "stabilizer",
 "n": 66,
 "k": 12,
 "checks": {
  "S": [
   {
    "X": [
     4,
     27,
     33,
     38,
     41,
     43,
     44,
     47,
     48,
     49,
     52,
     53,
     55,
     58,
     63
    ],
    "Z": [
     34,
     35,
     36,
     39,
     41,
     44,
     46,
     47,
     49,
     50,
     52,
     55,
     57,
     60,
     61,
     62,
     65
    ]
   },
   {
    "X": [
     34,
     35,
     36,
     39,
     41,
     44,
     46,
     47,
     49,
     50,
     52,
     55,
     57,
     60,
     61,
     62,
     65
    ],
    "Z": [
     4,
     27,
     33,
     34,
     35,
     36,
     38,
     39,
     43,
     46,
     48,
     50,
     53,
     57,
     58,
     60,
     61,
     62,
     63,
     65
    ]
   },
   {
    "X": [
     5,
     28,
     34,
     39,
     42,
     44,
     45,
     48,
     49,
     50,
     53,
     54,
     56,
     59,
     64
    ],
    "Z": [
     35,
     36,
     37,
     40,
     42,
     45,
     47,
     48,
     50,
     51,
     53,
     56,
     58,
     61,
     62,
     63,
     65
    ]
   },
   {
    "X": [
     35,
     36,
     37,
     40,
     42,
     45,
     47,
     48,
     50,
     51,
     53,
     56,
     58,
     61,
     62,
     63,
     65
    ],
    "Z": [
     5,
     28,
     34,
     35,
     36,
     37,
     39,
     40,
     44,
     47,
     49,
     51,
     54,
     58,
     59,
     61,
     62,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     21,
     27,
     32,
     35,
     37,
     38,
     41,
     42,
     43,
     46,
     47,
     49,
     52,
     57,
     63
    ],
    "Z": [
     28,
     29,
     30,
     33,
     35,
     38,
     40,
     41,
     43,
     44,
     46,
     49,
     51,
     54,
     55,
     56,
     65
    ]
   },
   {
    "X": [
     28,
     29,
     30,
     33,
     35,
     38,
     40,
     41,
     43,
     44,
     46,
     49,
     51,
     54,
     55,
     56,
     65
    ],
    "Z": [
     21,
     27,
     28,
     29,
     30,
     32,
     33,
     37,
     40,
     42,
     44,
     47,
     51,
     52,
     54,
     55,
     56,
     57,
     63,
     65
    ]
   },
   {
    "X": [
     22,
     28,
     33,
     36,
     38,
     39,
     42,
     43,
     44,
     47,
     48,
     50,
     53,
     58,
     64
    ],
    "Z": [
     29,
     30,
     31,
     34,
     36,
     39,
     41,
     42,
     44,
     45,
     47,
     50,
     52,
     55,
     56,
     57,
     65
    ]
   },
   {
    "X": [
     29,
     30,
     31,
     34,
     36,
     39,
     41,
     42,
     44,
     45,
     47,
     50,
     52,
     55,
     56,
     57,
     65
    ],
    "Z": [
     22,
     28,
     29,
     30,
     31,
     33,
     34,
     38,
     41,
     43,
     45,
     48,
     52,
     53,
     55,
     56,
     57,
     58,
     64,
     65
    ]
   },
   {
    "X": [
     1,
     27,
     28,
     29,
     30,
     31,
     32,
     33,
     37,
     48,
     49,
     50,
     53,
     54,
     55,
     58,
     59,
     60,
     62
    ],
    "Z": [
     27,
     28,
     29,
     31,
     34,
     36,
     37,
     40,
     43,
     47,
     49,
     50,
     55,
     57,
     58,
     59,
     60,
     62,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     31,
     34,
     36,
     37,
     40,
     43,
     47,
     49,
     50,
     55,
     57,
     58,
     59,
     60,
     62,
     63,
     64,
     65
    ],
    "Z": [
     1,
     30,
     32,
     33,
     34,
     36,
     40,
     43,
     47,
     48,
     53,
     54,
     57,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     2,
     29,
     32,
     33,
     37,
     38,
     39,
     43,
     45,
     46,
     47,
     50,
     51,
     53,
     54,
     56,
     58,
     59,
     60,
     62,
     63,
     64
    ],
    "Z": [
     27,
     28,
     29,
     31,
     36,
     37,
     39,
     41,
     45,
     47,
     50,
     51,
     53,
     54,
     57,
     58,
     59,
     62,
     63,
     64
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     31,
     36,
     37,
     39,
     41,
     45,
     47,
     50,
     51,
     53,
     54,
     57,
     58,
     59,
     62,
     63,
     64
    ],
    "Z": [
     2,
     27,
     28,
     31,
     32,
     33,
     36,
     38,
     41,
     43,
     46,
     56,
     57,
     60
    ]
   },
   {
    "X": [
     3,
     27,
     31,
     32,
     33,
     34,
     35,
     36,
     40,
     45,
     46,
     51,
     52,
     53,
     55,
     56,
     59,
     62,
     63,
     64,
     65
    ],
    "Z": [
     27,
     29,
     30,
     34,
     35,
     36,
     40,
     42,
     43,
     44,
     49,
     51,
     52,
     56,
     57,
     59,
     63,
     65
    ]
   },
   {
    "X": [
     27,
     29,
     30,
     34,
     35,
     36,
     40,
     42,
     43,
     44,
     49,
     51,
     52,
     56,
     57,
     59,
     63,
     65
    ],
    "Z": [
     3,
     29,
     30,
     31,
     32,
     33,
     42,
     43,
     44,
     45,
     46,
     49,
     53,
     55,
     57,
     62,
     64
    ]
   },
   {
    "X": [
     12,
     27,
     28,
     29,
     30,
     33,
     38,
     40,
     44,
     45,
     46,
     47,
     48,
     49,
     52,
     53,
     54,
     57,
     60,
     63
    ],
    "Z": [
     27,
     28,
     30,
     35,
     36,
     38,
     41,
     45,
     47,
     48,
     56,
     58,
     59,
     62,
     63,
     64
    ]
   },
   {
    "X": [
     27,
     28,
     30,
     35,
     36,
     38,
     41,
     45,
     47,
     48,
     56,
     58,
     59,
     62,
     63,
     64
    ],
    "Z": [
     12,
     29,
     33,
     35,
     36,
     40,
     41,
     44,
     46,
     49,
     52,
     53,
     54,
     56,
     57,
     58,
     59,
     60,
     62,
     64
    ]
   },
   {
    "X": [
     13,
     29,
     37,
     41,
     43,
     48,
     50,
     54,
     62
    ],
    "Z": [
     27,
     28,
     29,
     30,
     32,
     35,
     37,
     38,
     42,
     44,
     45,
     46,
     47,
     49,
     53,
     54,
     56,
     59,
     61,
     62,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     30,
     32,
     35,
     37,
     38,
     42,
     44,
     45,
     46,
     47,
     49,
     53,
     54,
     56,
     59,
     61,
     62,
     63,
     64,
     65
    ],
    "Z": [
     13,
     27,
     28,
     30,
     32,
     35,
     38,
     41,
     42,
     43,
     44,
     45,
     46,
     47,
     48,
     49,
     50,
     53,
     56,
     59,
     61,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     14,
     28,
     31,
     34,
     37,
     38,
     39,
     42,
     43,
     44,
     45,
     46,
     47,
     51,
     53,
     58,
     61,
     62,
     63,
     64
    ],
    "Z": [
     27,
     28,
     29,
     32,
     33,
     35,
     43,
     44,
     46,
     50,
     53,
     55,
     56,
     61,
     63,
     64
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     32,
     33,
     35,
     43,
     44,
     46,
     50,
     53,
     55,
     56,
     61,
     63,
     64
    ],
    "Z": [
     14,
     27,
     29,
     31,
     32,
     33,
     34,
     35,
     37,
     38,
     39,
     42,
     45,
     47,
     50,
     51,
     55,
     56,
     58,
     62
    ]
   },
   {
    "X": [
     23,
     27,
     28,
     29,
     32,
     35,
     36,
     38,
     39,
     40,
     45,
     46,
     51,
     55,
     56,
     57,
     58,
     59,
     60,
     64,
     65
    ],
    "Z": [
     28,
     32,
     34,
     35,
     39,
     40,
     42,
     47,
     48,
     49,
     51,
     55,
     56,
     57,
     61,
     62,
     64,
     65
    ]
   },
   {
    "X": [
     28,
     32,
     34,
     35,
     39,
     40,
     42,
     47,
     48,
     49,
     51,
     55,
     56,
     57,
     61,
     62,
     64,
     65
    ],
    "Z": [
     23,
     27,
     29,
     34,
     36,
     38,
     42,
     45,
     46,
     47,
     48,
     49,
     58,
     59,
     60,
     61,
     62
    ]
   },
   {
    "X": [
     24,
     27,
     28,
     29,
     31,
     32,
     33,
     35,
     37,
     38,
     40,
     41,
     44,
     45,
     46,
     48,
     52,
     53,
     54,
     58,
     59,
     62
    ],
    "Z": [
     27,
     28,
     29,
     32,
     33,
     34,
     37,
     38,
     40,
     41,
     44,
     46,
     50,
     52,
     54,
     55,
     60,
     62,
     63,
     64
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     32,
     33,
     34,
     37,
     38,
     40,
     41,
     44,
     46,
     50,
     52,
     54,
     55,
     60,
     62,
     63,
     64
    ],
    "Z": [
     24,
     31,
     34,
     35,
     45,
     48,
     50,
     53,
     55,
     58,
     59,
     60,
     63,
     64
    ]
   },
   {
    "X": [
     25,
     29,
     31,
     32,
     33,
     36,
     37,
     38,
     41,
     42,
     43,
     54,
     58,
     59,
     60,
     61,
     62,
     63,
     64
    ],
    "Z": [
     27,
     28,
     29,
     31,
     32,
     33,
     34,
     36,
     41,
     42,
     44,
     48,
     51,
     54,
     55,
     57,
     60,
     62,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     31,
     32,
     33,
     34,
     36,
     41,
     42,
     44,
     48,
     51,
     54,
     55,
     57,
     60,
     62,
     63,
     64,
     65
    ],
    "Z": [
     25,
     27,
     28,
     34,
     37,
     38,
     43,
     44,
     48,
     51,
     55,
     57,
     58,
     59,
     61,
     65
    ]
   },
   {
    "X": [
     0,
     27,
     28,
     32,
     34,
     35,
     36,
     37,
     38,
     43,
     44,
     46,
     48,
     49,
     54,
     55,
     56,
     57,
     58,
     60,
     64,
     65
    ],
    "Z": [
     28,
     30,
     31,
     34,
     37,
     39,
     43,
     45,
     46,
     47,
     49,
     53,
     55,
     58,
     61,
     62,
     64
    ]
   },
   {
    "X": [
     28,
     30,
     31,
     34,
     37,
     39,
     43,
     45,
     46,
     47,
     49,
     53,
     55,
     58,
     61,
     62,
     64
    ],
    "Z": [
     0,
     27,
     30,
     31,
     32,
     35,
     36,
     38,
     39,
     44,
     45,
     47,
     48,
     53,
     54,
     56,
     57,
     60,
     61,
     62,
     65
    ]
   },
   {
    "X": [
     7,
     27,
     29,
     30,
     32,
     33,
     34,
     36,
     39,
     41,
     43,
     44,
     45,
     48,
     51,
     52,
     54,
     55,
     56,
     58,
     59,
     60,
     64
    ],
    "Z": [
     28,
     29,
     30,
     32,
     34,
     35,
     40,
     42,
     43,
     45,
     47,
     48,
     52,
     54,
     56,
     59,
     60,
     61,
     65
    ]
   },
   {
    "X": [
     28,
     29,
     30,
     32,
     34,
     35,
     40,
     42,
     43,
     45,
     47,
     48,
     52,
     54,
     56,
     59,
     60,
     61,
     65
    ],
    "Z": [
     7,
     27,
     28,
     33,
     35,
     36,
     39,
     40,
     41,
     42,
     44,
     47,
     51,
     55,
     58,
     61,
     64,
     65
    ]
   },
   {
    "X": [
     9,
     27,
     28,
     30,
     33,
     34,
     35,
     36,
     37,
     38,
     41,
     43,
     45,
     46,
     47,
     48,
     49,
     55,
     56,
     57,
     59,
     61
    ],
    "Z": [
     27,
     28,
     29,
     30,
     32,
     40,
     42,
     43,
     44,
     45,
     54,
     55,
     56,
     57,
     59,
     60,
     61,
     64
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     30,
     32,
     40,
     42,
     43,
     44,
     45,
     54,
     55,
     56,
     57,
     59,
     60,
     61,
     64
    ],
    "Z": [
     9,
     29,
     32,
     33,
     34,
     35,
     36,
     37,
     38,
     40,
     41,
     42,
     44,
     46,
     47,
     48,
     49,
     54,
     60,
     64
    ]
   },
   {
    "X": [
     10,
     29,
     30,
     35,
     36,
     38,
     42,
     43,
     44,
     45,
     48,
     50,
     53,
     55,
     56,
     57,
     60,
     61,
     64
    ],
    "Z": [
     27,
     28,
     29,
     32,
     33,
     35,
     36,
     38,
     39,
     41,
     43,
     46,
     47,
     48,
     53,
     54,
     55,
     58,
     65
    ]
   },
   {
    "X": [
     27,
     28,
     29,
     32,
     33,
     35,
     36,
     38,
     39,
     41,
     43,
     46,
     47,
     48,
     53,
     54,
     55,
     58,
     65
    ],
    "Z": [
     10,
     27,
     28,
     30,
     32,
     33,
     39,
     41,
     42,
     44,
     45,
     46,
     47,
     50,
     54,
     56,
     57,
     58,
     60,
     61,
     64,
     65
    ]
   },
   {
    "X": [
     16,
     27,
     30,
     31,
     34,
     35,
     36,
     38,
     41,
     43,
     46,
     47,
     48,
     49,
     53,
     55,
     56,
     61,
     62
    ],
    "Z": [
     33,
     36,
     37,
     38,
     43,
     44,
     45,
     48,
     50,
     52,
     53,
     55,
     56,
     58,
     59,
     62,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     33,
     36,
     37,
     38,
     43,
     44,
     45,
     48,
     50,
     52,
     53,
     55,
     56,
     58,
     59,
     62,
     63,
     64,
     65
    ],
    "Z": [
     16,
     27,
     30,
     31,
     33,
     34,
     35,
     37,
     41,
     44,
     45,
     46,
     47,
     49,
     50,
     52,
     58,
     59,
     61,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     17,
     30,
     32,
     34,
     35,
     36,
     42,
     43,
     44,
     45,
     46,
     48,
     50,
     53,
     54,
     55,
     56,
     57,
     58,
     61,
     63,
     64
    ],
    "Z": [
     27,
     30,
     31,
     32,
     34,
     35,
     36,
     37,
     46,
     47,
     48,
     49,
     51,
     59,
     61,
     62,
     63,
     64
    ]
   },
   {
    "X": [
     27,
     30,
     31,
     32,
     34,
     35,
     36,
     37,
     46,
     47,
     48,
     49,
     51,
     59,
     61,
     62,
     63,
     64
    ],
    "Z": [
     17,
     27,
     31,
     37,
     42,
     43,
     44,
     45,
     47,
     49,
     50,
     51,
     53,
     54,
     55,
     56,
     57,
     58,
     59,
     62
    ]
   },
   {
    "X": [
     19,
     27,
     31,
     32,
     33,
     35,
     36,
     37,
     39,
     40,
     43,
     46,
     47,
     48,
     50,
     52,
     55,
     57,
     58,
     59,
     61,
     62,
     64
    ],
    "Z": [
     30,
     31,
     32,
     35,
     37,
     39,
     43,
     44,
     46,
     48,
     49,
     51,
     56,
     57,
     59,
     61,
     62,
     63,
     65
    ]
   },
   {
    "X": [
     30,
     31,
     32,
     35,
     37,
     39,
     43,
     44,
     46,
     48,
     49,
     51,
     56,
     57,
     59,
     61,
     62,
     63,
     65
    ],
    "Z": [
     19,
     27,
     30,
     33,
     36,
     40,
     44,
     47,
     49,
     50,
     51,
     52,
     55,
     56,
     58,
     63,
     64,
     65
    ]
   },
   {
    "X": [
     26,
     27,
     31,
     33,
     34,
     35,
     36,
     37,
     42,
     43,
     45,
     47,
     48,
     53,
     54,
     55,
     56,
     57,
     59,
     63,
     64,
     65
    ],
    "Z": [
     27,
     29,
     30,
     33,
     36,
     38,
     42,
     44,
     45,
     46,
     48,
     52,
     54,
     57,
     60,
     61,
     63
    ]
   },
   {
    "X": [
     27,
     29,
     30,
     33,
     36,
     38,
     42,
     44,
     45,
     46,
     48,
     52,
     54,
     57,
     60,
     61,
     63
    ],
    "Z": [
     26,
     29,
     30,
     31,
     34,
     35,
     37,
     38,
     43,
     44,
     46,
     47,
     52,
     53,
     55,
     56,
     59,
     60,
     61,
     64,
     65
    ]
   },
   {
    "X": [
     6,
     27,
     28,
     29,
     32,
     34,
     36,
     37,
     38,
     40,
     44,
     45,
     48,
     50,
     51,
     56,
     58,
     64,
     65
    ],
    "Z": [
     28,
     30,
     31,
     34,
     36,
     38,
     39,
     41,
     45,
     47,
     48,
     51,
     52,
     53,
     54,
     55,
     57,
     58,
     59,
     61,
     63,
     65
    ]
   },
   {
    "X": [
     28,
     30,
     31,
     34,
     36,
     38,
     39,
     41,
     45,
     47,
     48,
     51,
     52,
     53,
     54,
     55,
     57,
     58,
     59,
     61,
     63,
     65
    ],
    "Z": [
     6,
     27,
     29,
     30,
     31,
     32,
     37,
     39,
     40,
     41,
     44,
     47,
     50,
     52,
     53,
     54,
     55,
     56,
     57,
     59,
     61,
     63,
     64
    ]
   },
   {
    "X": [
     8,
     27,
     30,
     31,
     32,
     33,
     36,
     38,
     40,
     42,
     43,
     45,
     48,
     52,
     53,
     54,
     58,
     59,
     61,
     64,
     65
    ],
    "Z": [
     28,
     29,
     33,
     34,
     35,
     36,
     37,
     39,
     41,
     44,
     45,
     47,
     48,
     57,
     58,
     60,
     64,
     65
    ]
   },
   {
    "X": [
     28,
     29,
     33,
     34,
     35,
     36,
     37,
     39,
     41,
     44,
     45,
     47,
     48,
     57,
     58,
     60,
     64,
     65
    ],
    "Z": [
     8,
     27,
     28,
     29,
     30,
     31,
     32,
     34,
     35,
     37,
     38,
     39,
     40,
     41,
     42,
     43,
     44,
     47,
     52,
     53,
     54,
     57,
     59,
     60,
     61
    ]
   },
   {
    "X": [
     11,
     27,
     28,
     30,
     31,
     32,
     34,
     35,
     38,
     39,
     45,
     48,
     51,
     55,
     60,
     61,
     62,
     64,
     65
    ],
    "Z": [
     29,
     31,
     33,
     36,
     40,
     42,
     43,
     44,
     45,
     46,
     48,
     53,
     54,
     56,
     58,
     59,
     61,
     62,
     64,
     65
    ]
   },
   {
    "X": [
     29,
     31,
     33,
     36,
     40,
     42,
     43,
     44,
     45,
     46,
     48,
     53,
     54,
     56,
     58,
     59,
     61,
     62,
     64,
     65
    ],
    "Z": [
     11,
     27,
     28,
     29,
     30,
     32,
     33,
     34,
     35,
     36,
     38,
     39,
     40,
     42,
     43,
     44,
     46,
     51,
     53,
     54,
     55,
     56,
     58,
     59,
     60
    ]
   },
   {
    "X": [
     15,
     27,
     29,
     30,
     31,
     36,
     40,
     43,
     46,
     52,
     53,
     56,
     57,
     59,
     60,
     61,
     63,
     64,
     65
    ],
    "Z": [
     27,
     29,
     30,
     32,
     33,
     35,
     37,
     38,
     43,
     45,
     46,
     47,
     48,
     49,
     51,
     55,
     58,
     60,
     62,
     65
    ]
   },
   {
    "X": [
     27,
     29,
     30,
     32,
     33,
     35,
     37,
     38,
     43,
     45,
     46,
     47,
     48,
     49,
     51,
     55,
     58,
     60,
     62,
     65
    ],
    "Z": [
     15,
     31,
     32,
     33,
     35,
     36,
     37,
     38,
     40,
     45,
     47,
     48,
     49,
     51,
     52,
     53,
     55,
     56,
     57,
     58,
     59,
     61,
     62,
     63,
     64
    ]
   },
   {
    "X": [
     18,
     27,
     30,
     32,
     33,
     37,
     38,
     39,
     43,
     46,
     48,
     49,
     51,
     53,
     55,
     58,
     59,
     60,
     61,
     64,
     65
    ],
    "Z": [
     27,
     31,
     33,
     34,
     43,
     44,
     46,
     47,
     50,
     52,
     54,
     55,
     56,
     57,
     58,
     62,
     63,
     65
    ]
   },
   {
    "X": [
     27,
     31,
     33,
     34,
     43,
     44,
     46,
     47,
     50,
     52,
     54,
     55,
     56,
     57,
     58,
     62,
     63,
     65
    ],
    "Z": [
     18,
     30,
     31,
     32,
     34,
     37,
     38,
     39,
     44,
     47,
     48,
     49,
     50,
     51,
     52,
     53,
     54,
     56,
     57,
     59,
     60,
     61,
     62,
     63,
     64
    ]
   },
   {
    "X": [
     20,
     27,
     33,
     35,
     40,
     41,
     43,
     46,
     47,
     51,
     53,
     54,
     55,
     57,
     59,
     62,
     63,
     64,
     65
    ],
    "Z": [
     28,
     30,
     32,
     33,
     34,
     36,
     37,
     38,
     39,
     40,
     43,
     44,
     46,
     50,
     52,
     53,
     55,
     57,
     60,
     61,
     63,
     65
    ]
   },
   {
    "X": [
     28,
     30,
     32,
     33,
     34,
     36,
     37,
     38,
     39,
     40,
     43,
     44,
     46,
     50,
     52,
     53,
     55,
     57,
     60,
     61,
     63,
     65
    ],
    "Z": [
     20,
     27,
     28,
     30,
     32,
     34,
     35,
     36,
     37,
     38,
     39,
     41,
     44,
     47,
     50,
     51,
     52,
     54,
     59,
     60,
     61,
     62,
     64
    ]
   }
  ]
 },
 "distance": {
  "d": 14,
  "P": {
   "value": 14,
   "confidence": "upper_bound",
   "witness": {
    "X": [
     15,
     25,
     28,
     38,
     54,
     64
    ],
    "Z": [
     0,
     8,
     18,
     20,
     33,
     35,
     45,
     53
    ]
   }
  }
 },
 "provenance": {
  "authors": [
   "@MathysRennela"
  ],
  "construction": "Grassl additive-table quantum code; quantum code over GF(2^2) as tabulated at codetables.de: stored stabilizer matrix for cell [[66,12]] (table bounds 14-19, https://codetables.de/QECC.php?q=4&n=66&k=12) read as binary symplectic rows [x | z]; rank(A|B) < rank(A) + rank(B), so the group has no pure-X/pure-Z basis and the entry is typed stabilizer; generators reduced here to the lightest independent subset ordered by Pauli weight, k = n - rank S, n/k/check weight recomputed from those rows; distance.P witness from this submission's own search.",
  "origin": "submission",
  "date": "2026-09-28",
  "model": "MiMo v2.6 Flash",
  "notes": "Not equivalent to any entry on the board: validate_candidate fingerprint and WL-signature dedup came back clean on 2026-09-27 against main@fc36aafe, and no committed entry is typed stabilizer to share the cell."
 }
}