{
  "status": "PASS",
  "arithmetic": "Fraction for finite certificates; mpmath 90 digits for displayed roots and derivatives",
  "assertions": 39837,
  "checks_by_group": {
    "separation_certificates": 4,
    "overlap_direction_grid": 288,
    "quasi_no_strict_grid": 288,
    "cauchy_binet": 60,
    "hat_trace": 36,
    "hat_bounds": 153,
    "firth_score_derivatives": 81,
    "saturated_firth_scores": 2450,
    "saturated_finite_probabilities": 1225,
    "subset_dp_normalizer": 132,
    "subset_dp_mean": 264,
    "subset_dp_covariance": 528,
    "subset_covariance_psd": 132,
    "within_stratum_shift": 132,
    "conditional_intercept_cancellation": 4590,
    "conditional_mass": 2016,
    "tail_superuniformity": 10206,
    "equal_tail_conditional_coverage": 8064,
    "binomial_to_noncentral_family": 6048,
    "adjacent_mass_recurrence": 3087,
    "conditional_information_loss": 2,
    "capstone_vector_moments": 3,
    "capstone_newton_direction": 2,
    "common_odds_convolution": 10,
    "decimal_root_in_rational_bracket": 6,
    "rational_root_brackets": 6,
    "paired_finite_root": 1,
    "finite_wald_zero_coverage": 3,
    "fixed_interior_bias_grid": 20
  },
  "examples": {
    "single_table": {
      "coefficients": [
        1,
        9,
        9,
        1
      ],
      "observed": 2,
      "mle": {
        "decimal_approx": "3.105482616526303912184694784816668862101140540275428313562550771431943",
        "exact_bracket": {
          "lower": "3.1054826165",
          "upper": "3.1054826166",
          "value_at_lower": "777039400686222600780524304337/388519700343810355504841434779",
          "value_at_upper": "36423721909761604095725178128361/18211860954788994838576726042787"
        }
      },
      "lower": {
        "decimal_approx": "0.06740386486465817776719843488502329530735948481102578715513732096991665",
        "exact_bracket": {
          "lower": "0.0674038648",
          "upper": "0.0674038649",
          "value_at_lower": "80460475795677557791338191/3218419036733177557791338191",
          "value_at_upper": "41195763730076850618180273449/1647830547830076850618180273449"
        }
      },
      "upper": {
        "decimal_approx": "351.9974809912238771910789070447179400701073615995415039957380199265897",
        "exact_bracket": {
          "lower": "351.9974809912",
          "upper": "351.9974809913",
          "value_at_lower": "2184158236223188765645111250000000/87366329448921756048997258758564919",
          "value_at_upper": "1118289016946907143476081210000000000/44731560677885744260539636355910011497"
        }
      }
    },
    "two_strata": {
      "coefficients": [
        3,
        33,
        82,
        66,
        15,
        1
      ],
      "observed": 3,
      "mle": {
        "decimal_approx": "2.374853538484699114375364735767277012082342565513395879479034388309831",
        "exact_bracket": {
          "lower": "2.3748535384",
          "upper": "2.3748535385",
          "value_at_lower": "18132221066060032112669209683122347131666172254215/6044073688744081941956836114657700585236984450843",
          "value_at_upper": "63376706130599855732824461919315841314494036198595/21125568710163705681581511135481377216980807239719"
        }
      },
      "lower": {
        "decimal_approx": "0.1561553005187077290166342372187849736537868794742113368177883047799163",
        "exact_bracket": {
          "lower": "0.1561553005",
          "upper": "0.1561553006",
          "value_at_lower": "8330381209922542287022878817504401498445153001/333215248479942210143022878817504401498445153001",
          "value_at_upper": "813513791612612509098644516945033781167071982743/32540551629265929851348644516945033781167071982743"
        }
      },
      "upper": {
        "decimal_approx": "44.48832196612499484045942065695991324715812737863870401703876941519616",
        "exact_bracket": {
          "lower": "44.4883219661",
          "upper": "44.4883219662",
          "value_at_lower": "597518301655153186752596912870151754600000000000000000000/23900732066182881811669663624802984096559375129420762614301",
          "value_at_upper": "6224148975616097030911685120641755050000000000000000000/248965959025370507998668570239578285509508753458881852717"
        }
      }
    },
    "three_pairs": {
      "exp_beta": "2.130395434767278792875056026494061632196967953519107655110967621896822",
      "beta": "0.756307612615964773675377183715420989002931961939211219172500846466449"
    },
    "wald": {
      "maximum_upper_endpoint": "5.624955224972796983929322021506747322099263963525300822838317488991379",
      "true_beta": 6,
      "coverage": 0
    }
  },
  "vector_layer": {
    "normalizer": "95",
    "mean": [
      "184/95",
      "99/95"
    ],
    "covariance": [
      [
        "7184/9025",
        "-2256/9025"
      ],
      [
        "-2256/9025",
        "3024/9025"
      ]
    ],
    "newton_direction": [
      "-305/192",
      "-755/576"
    ]
  },
  "fixed_interior_bias_grid": [
    {
      "p": "0.2",
      "n": 50,
      "n_squared_bias": "-1.17990745471605386944631826981"
    },
    {
      "p": "0.2",
      "n": 100,
      "n_squared_bias": "-1.06069001690909032775934142596"
    },
    {
      "p": "0.2",
      "n": 200,
      "n_squared_bias": "-1.01563808496197225435474080427"
    },
    {
      "p": "0.2",
      "n": 400,
      "n_squared_bias": "-0.99545941845242719960071980083"
    },
    {
      "p": "0.35",
      "n": 50,
      "n_squared_bias": "-0.262776881445491756753728013338"
    },
    {
      "p": "0.35",
      "n": 100,
      "n_squared_bias": "-0.251333939779516026811223038015"
    },
    {
      "p": "0.35",
      "n": 200,
      "n_squared_bias": "-0.246252446722469847940522757031"
    },
    {
      "p": "0.35",
      "n": 400,
      "n_squared_bias": "-0.243844328828668828170578101526"
    },
    {
      "p": "0.5",
      "n": 50,
      "n_squared_bias": "-8.55015015533778288817725150781e-89"
    },
    {
      "p": "0.5",
      "n": 100,
      "n_squared_bias": "1.23577739917934780545987331519e-88"
    },
    {
      "p": "0.5",
      "n": 200,
      "n_squared_bias": "-2.64023549094380450695094794732e-88"
    },
    {
      "p": "0.5",
      "n": 400,
      "n_squared_bias": "5.75610005738848809066792843606e-88"
    },
    {
      "p": "0.65",
      "n": 50,
      "n_squared_bias": "0.262776881445491756753728013338"
    },
    {
      "p": "0.65",
      "n": 100,
      "n_squared_bias": "0.251333939779516026811223038015"
    },
    {
      "p": "0.65",
      "n": 200,
      "n_squared_bias": "0.246252446722469847940522757031"
    },
    {
      "p": "0.65",
      "n": 400,
      "n_squared_bias": "0.243844328828668828170578101526"
    },
    {
      "p": "0.8",
      "n": 50,
      "n_squared_bias": "1.17990745471605386944631826981"
    },
    {
      "p": "0.8",
      "n": 100,
      "n_squared_bias": "1.06069001690909032775934142596"
    },
    {
      "p": "0.8",
      "n": 200,
      "n_squared_bias": "1.01563808496197225435474080427"
    },
    {
      "p": "0.8",
      "n": 400,
      "n_squared_bias": "0.99545941845242719960071980083"
    }
  ]
}