stored-verification.json

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

924 bytes, as of the version from 2026-10-16 07:55. Recorded here, not run.

{
  "generator_verify": "<VerifyReport T457: 392/392 matched, 0 differing, 0 missing, 0 extra>",
  "stored_checks": {
    "entries": 392,
    "controls": 4,
    "closed_form_checks": 42,
    "printed_reference_checks": 56,
    "printed_rounding_discrepancies": [
      {
        "nu": 1,
        "k": 2,
        "p": "99/100",
        "printed": "90.03"
      }
    ],
    "independent_endpoint_brackets": 392,
    "shifted_interval_rejections": 392,
    "upper_tail_checks": 392,
    "scipy_cdf_checks": 392,
    "worst_scipy_cdf_absolute_error": 1.8174350913113813e-13,
    "worst_scipy_at": {
      "nu": "10",
      "k": "2",
      "p": "1/2"
    },
    "minimum_check_accuracy_bits": 2034,
    "monotonicity_in_p": true,
    "stochastic_order_in_k": true,
    "elapsed_seconds": 6.64
  },
  "versions": {
    "sage": "10.9",
    "scipy": "1.17.1",
    "mpmath": "1.4.1",
    "working_bits": 525
  },
  "success": true
}