{
  "status": "passed",
  "scope": "finite corroboration, not formal verification",
  "full_consistent_spaces": [
    {
      "n": 1,
      "dimension": 1,
      "F_L": "1/4"
    },
    {
      "n": 2,
      "dimension": 3,
      "F_L": "3/4"
    },
    {
      "n": 3,
      "dimension": 5,
      "F_L": "27/16"
    },
    {
      "n": 4,
      "dimension": 7,
      "F_L": "39/16"
    }
  ],
  "cut_codes": [
    {
      "n": 1,
      "dimension": 0,
      "F_K": "0"
    },
    {
      "n": 2,
      "dimension": 1,
      "F_K": "1/8"
    },
    {
      "n": 3,
      "dimension": 2,
      "F_K": "1/4"
    },
    {
      "n": 4,
      "dimension": 3,
      "F_K": "3/8"
    },
    {
      "n": 5,
      "dimension": 4,
      "F_K": "1/2"
    },
    {
      "n": 6,
      "dimension": 5,
      "F_K": "5/8"
    }
  ],
  "common_linear_repairs": [
    {
      "n": 3,
      "family": "row",
      "dimension": 3,
      "rho": "0",
      "common_h": 0,
      "mean_score": "9/8"
    },
    {
      "n": 3,
      "family": "row_with_column_defect",
      "dimension": 3,
      "rho": "8/81",
      "common_h": 1,
      "mean_score": "7/8"
    },
    {
      "n": 3,
      "family": "generic",
      "dimension": 3,
      "rho": "16/81",
      "common_h": 3,
      "mean_score": "51/64"
    },
    {
      "n": 4,
      "family": "row",
      "dimension": 4,
      "rho": "0",
      "common_h": 0,
      "mean_score": "3/2"
    },
    {
      "n": 4,
      "family": "row_with_column_defect",
      "dimension": 4,
      "rho": "9/128",
      "common_h": 1,
      "mean_score": "11/8"
    },
    {
      "n": 4,
      "family": "generic",
      "dimension": 4,
      "rho": "35/128",
      "common_h": 8,
      "mean_score": "129/128"
    },
    {
      "n": 4,
      "family": "half_square",
      "dimension": 1,
      "rho": "1/8",
      "common_h": 4,
      "mean_score": "1/4"
    }
  ]
}