{
  "status": "PASS",
  "checks": 22323,
  "groups": {
    "terminal density": 1,
    "changed counts merge all": 1,
    "partition maximizer heights unique": 1734,
    "PAVA versus all partitions": 1734,
    "density area and order": 1734,
    "likelihood multipliers": 1734,
    "left version and CDF majorant": 6993,
    "zero tail": 1734,
    "positive scaling": 1734,
    "uniform likelihood bound": 1734,
    "terminal nonuniform regression": 1,
    "naive slope pooling loses": 1,
    "reversed-constraint candidate refused": 1,
    "zeroed multiplier fails stationarity": 1,
    "pair feasibility and complementarity": 3,
    "pair height stationarity": 3,
    "pair slope stationarity": 3,
    "repeated input aggregation": 1,
    "aggregation preserves objective up to constant": 1,
    "singleton exact interpolation": 1,
    "terminal two-dimensional fit": 1,
    "distinct in-hull extensions": 1,
    "outside-hull refusal": 1,
    "projection feasible": 530,
    "projection complementarity": 530,
    "projection stationarity": 530,
    "affine residual moments": 390,
    "firm nonexpansion": 390,
    "affine response equivariance": 390,
    "all Jensen versus adjacent slopes": 260,
    "Jensen interpolation values": 140,
    "invalid input refused": 11
  },
  "density_cases": 1734,
  "one_dimensional_cases": 390,
  "general_Jensen_cases": 400,
  "terminal_density": {
    "x": [
      "1",
      "2",
      "4",
      "5"
    ],
    "counts": [
      1,
      3,
      1,
      3
    ],
    "gaps": [
      "1",
      "1",
      "2",
      "1"
    ],
    "p": [
      "1/8",
      "3/8",
      "1/8",
      "3/8"
    ],
    "q": [
      "1/4",
      "1/4",
      "1/6",
      "1/6"
    ],
    "blocks": [
      [
        0,
        1,
        "2",
        "1/2"
      ],
      [
        2,
        3,
        "3",
        "1/2"
      ]
    ],
    "eta": [
      "1/2",
      "0",
      "5/4",
      "0"
    ]
  },
  "changed_density": {
    "x": [
      "1",
      "2",
      "4",
      "5"
    ],
    "counts": [
      1,
      1,
      1,
      5
    ],
    "gaps": [
      "1",
      "1",
      "2",
      "1"
    ],
    "p": [
      "1/8",
      "1/8",
      "1/8",
      "5/8"
    ],
    "q": [
      "1/5",
      "1/5",
      "1/5",
      "1/5"
    ],
    "blocks": [
      [
        0,
        3,
        "5",
        "1"
      ]
    ],
    "eta": [
      "3/8",
      "3/4",
      "17/8",
      "0"
    ]
  },
  "terminal_nonuniform": {
    "theta": [
      "24/19",
      "20/19",
      "12/19"
    ],
    "multipliers": [
      "12/19"
    ],
    "constraints": [
      [
        "-2",
        "3",
        "-1"
      ]
    ],
    "loss": "36/19"
  },
  "terminal_square": {
    "theta": [
      "2/5",
      "2/5",
      "2/5",
      "2/5",
      "2/5"
    ],
    "multipliers": [
      "4/5",
      "4/5"
    ],
    "constraints": [
      [
        "-1/2",
        "0",
        "0",
        "-1/2",
        "1"
      ],
      [
        "0",
        "-1/2",
        "-1/2",
        "0",
        "1"
      ]
    ],
    "loss": "8/5"
  },
  "terminal_pair_multipliers": [
    [
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "2/5",
      "2/5",
      "2/5",
      "2/5",
      "0"
    ]
  ],
  "scope": "Exact finite data and certificates; exponential small-instance reference, not a generalization guarantee or fast production optimizer."
}