{
  "scope": "Finite RM(2,4) restriction and affine-flat checks; no formal or asymptotic query verification.",
  "coordinates": 16,
  "dimension": 11,
  "codewords": 2048,
  "minimum_weight": 4,
  "affine_flats": 140,
  "pair_probability": "1/5",
  "nonempty_retained_sets": 65535,
  "small_full_restrictions": 26332,
  "proper_restrictions": 5307,
  "proper_block_aspect_lower_bound": "10/3",
  "dimension_checks": [
    {
      "k": 1,
      "dimension": 11,
      "advice_budget": 32
    },
    {
      "k": 2,
      "dimension": 211,
      "advice_budget": 1024
    },
    {
      "k": 3,
      "dimension": 4526,
      "advice_budget": 32768
    },
    {
      "k": 4,
      "dimension": 102091,
      "advice_budget": 1048576
    },
    {
      "k": 5,
      "dimension": 2369936,
      "advice_budget": 33554432
    },
    {
      "k": 6,
      "dimension": 56049058,
      "advice_budget": 1073741824
    },
    {
      "k": 7,
      "dimension": 1342967840,
      "advice_budget": 34359738368
    },
    {
      "k": 8,
      "dimension": 32490460747,
      "advice_budget": 1099511627776
    },
    {
      "k": 9,
      "dimension": 791908666289,
      "advice_budget": 35184372088832
    },
    {
      "k": 10,
      "dimension": 19415908147836,
      "advice_budget": 1125899906842624
    }
  ],
  "not_checked": [
    "all containing codes or partitions by enumeration",
    "adaptive algorithms",
    "unbounded theorem",
    "general correction lemma"
  ]
}