{
  "status": "PASS",
  "checks": 10839,
  "groups": {
    "ate_joint_complete_extrema": 329,
    "ate_width_and_zero": 329,
    "convolution_matches_enumeration": 36,
    "distribution_normalization": 36,
    "gamma_attained_corner_extrema": 236,
    "gamma_interior_tail_bounds": 228,
    "gamma_uniform_pvalue_validity": 5640,
    "invalid_contract_rejected": 5,
    "lee_component_normalization": 360,
    "lee_full_table_effect": 2,
    "lee_full_table_observation": 2,
    "lee_observation_reconstruction": 360,
    "lee_population_monotonicity": 10,
    "main_fractional_atom": 1,
    "main_lee_effect": 1,
    "main_lee_means": 1,
    "missing_complete_extrema": 1092,
    "missing_identification_width": 1092,
    "repeated_support_entries": 1,
    "six_positive_gamma_one": 1,
    "six_positive_gamma_three_halves": 1,
    "six_positive_gamma_two": 1,
    "terminal_acceptance_closed_endpoint": 1,
    "terminal_candidate_breakpoints": 1,
    "terminal_coarsened_support": 1,
    "terminal_heterogeneous_support": 1,
    "terminal_pooled_bounds": 1,
    "terminal_reverse_selection": 1,
    "terminal_target_stratum_weights": 1,
    "terminal_true_table_complete_coverage": 16,
    "trim_independent_vertex_extrema": 210,
    "trim_mass_certificate": 420,
    "trim_objective_certificate": 420,
    "two_sided_bound_not_sharp": 1,
    "weighted_main_tail": 1
  },
  "models": {
    "missing_tables": 1092,
    "ate_observation_histograms": 329,
    "trimming_models": 210,
    "weighted_tail_models": 36
  },
  "main": {
    "heterogeneous_support_bounds": [
      "2/3",
      "3/2"
    ],
    "lee_low": [
      "5/4",
      [
        "1/4",
        "5/12",
        "0"
      ]
    ],
    "lee_high": [
      "7/2",
      [
        "0",
        "5/12",
        "1/4"
      ]
    ],
    "stratified_lee": [
      "2/3",
      "4/3"
    ],
    "pooled_lee": [
      "-2",
      "4/3"
    ],
    "weighted_gamma_two": [
      "1/27",
      "8/27"
    ],
    "candidate_deltas": [
      -1,
      0,
      "1/2",
      1,
      "3/2",
      2,
      3
    ],
    "candidate_results": [
      {
        "nonzero": 4,
        "positive": 4,
        "upper": "16/81"
      },
      {
        "nonzero": 3,
        "positive": 3,
        "upper": "8/27"
      },
      {
        "nonzero": 4,
        "positive": 3,
        "upper": "16/27"
      },
      {
        "nonzero": 2,
        "positive": 1,
        "upper": "8/9"
      },
      {
        "nonzero": 4,
        "positive": 1,
        "upper": "80/81"
      },
      {
        "nonzero": 3,
        "positive": 0,
        "upper": "1"
      },
      {
        "nonzero": 4,
        "positive": 0,
        "upper": "1"
      }
    ]
  },
  "scope": "Exact finite certificates; general sharpness, arbitrary distributions, and coverage theorems are proved in the text. No empirical interval is promoted to a confidence interval."
}