{
 "schema_version": "0.1",
 "name": "[[13,7,1]]",
 "code_type": "CSS",
 "n": 13,
 "k": 7,
 "checks": {
  "X": [
   [
    1,
    3,
    7,
    9
   ]
  ],
  "Z": [
   [
    3,
    5,
    7,
    8
   ],
   [
    7,
    9,
    10,
    12
   ],
   [
    0,
    1,
    7,
    12
   ],
   [
    1,
    3,
    4,
    11
   ],
   [
    2,
    5,
    6,
    10
   ]
  ]
 },
 "distance": {
  "d": 1,
  "X": {
   "value": 2,
   "confidence": "upper_bound",
   "witness": [
    2,
    6
   ]
  },
  "Z": {
   "value": 1,
   "confidence": "upper_bound",
   "witness": [
    0
   ]
  }
 },
 "provenance": {
  "authors": [
   "@MathysRennela"
  ],
  "construction": "Priced construction calculus (code-calculus-dev): C-DELETE-CHECK/E-PEEL depth-3 chain over small CSS parent, witness propagated by DistanceLedger",
  "origin": "submission",
  "date": "2026-10-29",
  "model": "Beam 1.0",
  "notes": "Generated by the priced construction calculus. Distance is reported only with witness-backed upper bounds; lower interval bounds are kept in the separate local ledger. The layout is inherited from the parent and restricted to the qubits the child kept."
 },
 "family": "other",
 "locality": {
  "coordinates": [
   [
    0.0,
    6.0
   ],
   [
    0.0,
    5.0
   ],
   [
    1.0,
    3.0
   ],
   [
    1.0,
    2.0
   ],
   [
    0.0,
    2.0
   ],
   [
    0.0,
    0.0
   ],
   [
    1.0,
    0.0
   ],
   [
    0.0,
    4.0
   ],
   [
    1.0,
    1.0
   ],
   [
    1.0,
    4.0
   ],
   [
    0.0,
    3.0
   ],
   [
    1.0,
    5.0
   ],
   [
    1.0,
    6.0
   ]
  ],
  "layers": 1
 }
}