{
  "scope": "All 4096 maps F2^2 x F2^2 -> F2^3, rank budget one; exact enumeration of 106 candidate approximants. Not a test of the uniform Reed-Muller conjecture.",
  "maps": 4096,
  "rank_one_or_zero_approximants": 106,
  "approximation_sandwich": "passed",
  "generalized_weight_identification": "passed",
  "same_image_different_distribution": {
    "coefficient_rows": [
      [
        1,
        2,
        4,
        8
      ],
      [
        1,
        9,
        6,
        11
      ]
    ],
    "advice": "span of first output unit vector",
    "mean_distances": [
      "3/4",
      "9/8"
    ]
  },
  "not_verified": [
    "arbitrary dimensions",
    "universal rank-controlled repair",
    "RM-family deletion inequality",
    "new query lower bound"
  ]
}