{
  "status": "PASS",
  "checks": 17310,
  "groups": {
    "sqrt_outward_square": 200,
    "exp_reciprocal_identity": 41,
    "normal_reflection_identity": 41,
    "pi_decimal_bracket": 1,
    "binomial_reflection": 11,
    "binomial_exact_rejection_set": 1,
    "binomial_component_p": 1,
    "binomial_size": 1,
    "binomial_size_grid_crosscheck": 42,
    "valid_dependent_rejection_table": 7661,
    "IUT_intersection_bound": 7661,
    "union_null_global_level": 820,
    "OR_independent_error_inflation": 1,
    "projected_noncentrality": 1,
    "beta_component_cdf_range": 25,
    "F_closed_inside_independent_mixture": 1,
    "Poisson_omitted_mass_budget": 1,
    "F_power_decimal_bracket": 1,
    "central_t4_integrated_density_identity": 25,
    "signed_nct_reflection": 100,
    "nct_cdf_range": 100,
    "TOST_n5_certified": 1,
    "TOST_exact_formula": 1,
    "tolerance_lower_factor_rejected": 1,
    "tolerance_upper_factor_certified": 1,
    "central_t95_bracket": 1,
    "mean_and_prediction_different_scale": 1,
    "normal_z95_bracket": 1,
    "known_scale_minimum_sample_size_35": 1,
    "z99_less_than_three": 1,
    "upper_normal_tail_7": 1,
    "two_sided_z75_upper": 1,
    "two_sided_z95_upper": 1,
    "two_sided_z55_lower": 1,
    "two_sided_conservative_factor_15": 1,
    "two_probe_quantile_bracket": 560
  },
  "arithmetic": "220-bit outward dyadic rational intervals; alternating arctangent/normal integral and positive exponential Taylor remainders",
  "TOST_n5_p": {
    "lo": "0.044504671250042839",
    "hi": "0.044504671250042840"
  },
  "binomial": {
    "rejection_set": [
      5
    ],
    "component_p": "320249/9765625",
    "size": "258048/9765625"
  },
  "F_2_4_lambda2_tail_at3": {
    "lo": "0.340405074700930928",
    "hi": "0.340405074700930929"
  },
  "Poisson_tail_upper": {
    "lo": "0.00000000000000000000000002466568486",
    "hi": "0.00000000000000000000000002466568487"
  },
  "normal_tolerance_n5_p_Phi1_gamma95": {
    "factor_open_bracket": [
      "2809/1000",
      "281/100"
    ],
    "cdf_at_lower": {
      "lo": "0.949993619275252915",
      "hi": "0.949993619275252916"
    },
    "cdf_at_upper": {
      "lo": "0.950051632666963031",
      "hi": "0.950051632666963032"
    },
    "safe_upper_limit_for_S_point1": "281/1000"
  },
  "mean_90_halfwidth": {
    "lo": "0.095339051471220333",
    "hi": "0.095339096192579884"
  },
  "prediction_90_halfwidth": {
    "lo": "0.233532028665431671",
    "hi": "0.233532138209943173"
  },
  "known_scale_TOST_power": {
    "25": {
      "lo": "0.607529880004125938",
      "hi": "0.607529880557661649"
    },
    "34": {
      "lo": "0.796136957571747785",
      "hi": "0.796136957927673978"
    },
    "35": {
      "lo": "0.810879808808459894",
      "hi": "0.810879809145342610"
    }
  },
  "scope": [
    "Normal model and IUT theorems are proved in the pages, not inferred from finite checks.",
    "General noncentral-t integrals and two-sided tolerance inversions have analytic algorithms in the pages; this executable certifies the displayed four-degree and finite examples.",
    "The Poisson omitted mass, not a comparison of floating-point library outputs, encloses the F mixture."
  ]
}