{
 "schema_version": "0.1",
 "name": "[[16,6,3]]",
 "code_type": "CSS",
 "n": 16,
 "k": 6,
 "checks": {
  "X": [
   [
    6,
    8,
    9,
    11,
    12,
    14
   ],
   [
    1,
    3,
    4,
    7,
    10,
    11
   ],
   [
    2,
    3,
    4,
    5,
    9,
    14
   ],
   [
    8,
    9,
    10,
    12,
    13,
    15
   ],
   [
    0,
    1,
    2,
    4,
    8,
    13
   ]
  ],
  "Z": [
   [
    0,
    1,
    6,
    7,
    8,
    13
   ],
   [
    1,
    2,
    3,
    5,
    6,
    14
   ],
   [
    1,
    5,
    9,
    10,
    12,
    13
   ],
   [
    4,
    8,
    11,
    12,
    14
   ],
   [
    3,
    7,
    10,
    11,
    14,
    15
   ]
  ]
 },
 "distance": {
  "d": 3,
  "X": {
   "value": 3,
   "confidence": "upper_bound",
   "witness": [
    1,
    6,
    9
   ]
  },
  "Z": {
   "value": 3,
   "confidence": "upper_bound",
   "witness": [
    6,
    8,
    13
   ]
  }
 },
 "provenance": {
  "authors": [
   "@mathysrennela"
  ],
  "construction": "SAT search (local_sat, n_side=4, G=5, max_weight=6, t=2 detection, radius 2.0, shared_t3) over 2D-local CSS codes on a 4x4 grid; found a weight-6 code with k=6, d>=3.",
  "origin": "submission",
  "date": "2026-09-18",
  "model": "DeepSeek V4 Flash 0731",
  "notes": "Checked against the current board: the trusted gate's dedup found no exact duplicate and no WL-equivalent existing entry; this is a new SAT-found code, not equivalent to a prior submission."
 },
 "family": "other",
 "locality": {
  "coordinates": [
   [
    0.0,
    0.0
   ],
   [
    1.0,
    0.0
   ],
   [
    2.0,
    0.0
   ],
   [
    3.0,
    0.0
   ],
   [
    0.0,
    1.0
   ],
   [
    1.0,
    1.0
   ],
   [
    2.0,
    1.0
   ],
   [
    3.0,
    1.0
   ],
   [
    0.0,
    2.0
   ],
   [
    1.0,
    2.0
   ],
   [
    2.0,
    2.0
   ],
   [
    3.0,
    2.0
   ],
   [
    0.0,
    3.0
   ],
   [
    1.0,
    3.0
   ],
   [
    2.0,
    3.0
   ],
   [
    3.0,
    3.0
   ]
  ],
  "layers": 1
 }
}