repair-checks.json

back to table · edit · history · where entries came from · files · download

3538 bytes, as of the version from 2026-10-16 07:34 (current). Recorded here, not run.

{
  "table": "T456",
  "ok": true,
  "checked": 14,
  "bits": 600,
  "product_terms": 600,
  "known_controls": true,
  "entries": [
    {
      "p": "1/200",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "4.6601519e-153",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "1/100",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "2.9282873e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "1/40",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "1.1412864e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "1/20",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "2.3102356e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "1/10",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "5.4488132e-153",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "1/4",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "3.3051666e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "1/2",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "3.2460243e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "3/4",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "8.7427194e-153",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "9/10",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "2.245281e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "19/20",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "1.1379214e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "39/40",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "3.8933995e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "99/100",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "2.050898e-152",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "199/200",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "9.3141857e-153",
      "cdf_width_bound": "1e-170"
    },
    {
      "p": "999/1000",
      "product_bracket": true,
      "shift_controls_rejected": true,
      "upper_tail_without_halving": true,
      "theta_series_discrepancy": "2.2178367e-152",
      "cdf_width_bound": "1e-170"
    }
  ],
  "programs": {
    "program-mpmath": {
      "error_in_last_place": "0.207935997016"
    },
    "program-scipy": {
      "absolute_error": 2.220446049250313e-16
    }
  }
}