{
  "status": "passed",
  "example": {
    "budget": [
      8,
      12
    ],
    "guarantee": "2/3",
    "allocation": [
      [
        "2/3",
        "4/3"
      ],
      [
        "2",
        "4/3"
      ],
      [
        "8/3",
        "8/3"
      ],
      [
        "8/3",
        "16/3"
      ]
    ]
  },
  "grid": {
    "input_instances": 576,
    "feasible_grid_candidates": 3730
  },
  "governance": {
    "quorum_sets": 5,
    "ordered_quorum_pairs": 25,
    "permutations": 24
  },
  "scope": "Finite exact-arithmetic checks; not proof-assistant verification"
}