{
  "generated_at_utc": "2026-10-08T22:53:45.483713+00:00",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "status": "passed",
  "checks": 586,
  "passed": 586,
  "public_examples": [
    {
      "name": "r-tea-tasting",
      "fixture": "research/fixtures/contingency-r-tea-tasting-2026-10-09-v1.json",
      "fixture_sha256": "d35a7d57e093f7b7b1a9311da3ba789b41c7b1db9c61c5d102f43b025a14e392",
      "exact_intended_probability": "17/70",
      "live_scipy_event_probability": 0.24285714285714288,
      "live_scipy_fisher_pvalue": 0.24285714285714283,
      "exact_candidate_probability": "2/5",
      "exact_constraint_event_mass": "1",
      "live_constraint_event_mass": 0.9999999999999999,
      "bound_operation": "unrestricted"
    },
    {
      "name": "scipy-fisher-two-sided",
      "fixture": "research/fixtures/contingency-scipy-fisher-two-sided-2026-10-09-v1.json",
      "fixture_sha256": "27bb2ea27f8d62cd3006db39dedfc3b3f743ed0af1e6aa68835e3e6c6ee9fff5",
      "exact_intended_probability": "4/39",
      "live_scipy_event_probability": 0.10256410256410262,
      "live_scipy_fisher_pvalue": 0.10256410256410256,
      "exact_candidate_probability": "1/2",
      "exact_constraint_event_mass": "1",
      "live_constraint_event_mass": 1.0000000000000053,
      "bound_operation": "unrestricted"
    },
    {
      "name": "scipy-fisher-threshold",
      "fixture": "research/fixtures/contingency-scipy-fisher-threshold-2026-10-09-v1.json",
      "fixture_sha256": "af40174f0c1420c21d3f01102ae0bddcd57d1f48f3305fddabec01e7693a5aba",
      "exact_intended_probability": "5/143",
      "live_scipy_event_probability": 0.03496503496503497,
      "live_scipy_fisher_pvalue": 0.034965034965034975,
      "exact_candidate_probability": "3/7",
      "exact_constraint_event_mass": "1",
      "live_constraint_event_mass": 0.9999999999999968,
      "bound_operation": "unrestricted"
    },
    {
      "name": "scipy-random-table",
      "fixture": "research/fixtures/contingency-scipy-random-table-2026-10-09-v1.json",
      "fixture_sha256": "85d7f45a266d1b11538e8f74b2f03dd805df4d1e35cf1c6abf207604c62b1e9f",
      "exact_intended_probability": "1",
      "live_scipy_event_probability": 1.0,
      "live_scipy_fisher_pvalue": null,
      "exact_candidate_probability": "1",
      "exact_constraint_event_mass": "1",
      "live_constraint_event_mass": 1.0000000000000002,
      "bound_operation": "unrestricted"
    },
    {
      "name": "explicit-bound-conditioning",
      "fixture": "research/fixtures/contingency-explicit-bound-conditioning-2026-10-09-v1.json",
      "fixture_sha256": "2a2e8eeaaba5a903354f98bf80f5bd5df1a29fd15be6d6606990b275750f9dda",
      "exact_intended_probability": "1/17",
      "live_scipy_event_probability": 0.058823529411764684,
      "live_scipy_fisher_pvalue": null,
      "exact_candidate_probability": "1/2",
      "exact_constraint_event_mass": "17/70",
      "live_constraint_event_mass": 0.24285714285714285,
      "bound_operation": "explicit user-defined renormalization of SciPy base pmf"
    }
  ],
  "exhaustive_small_two_by_two": {
    "totals": "1 through 8",
    "margin_pairs": 284,
    "observed_tables": 494
  },
  "floating_comparison": {
    "relative_tolerance": 2e-12,
    "absolute_tolerance": 2e-14,
    "exact_reference_uses_rational_arithmetic": true
  },
  "environment": {
    "executable": "/tmp/openai-math-scipy118-20261009-7NE4AZ/bin/python3",
    "python": "3.12.14 (main, Aug 25 2026, 13:50:33) [Clang 22.1.3 ]",
    "platform": "macOS-27.2-arm64-arm-64bit",
    "scipy": "1.18.1",
    "numpy": "2.5.3",
    "isolation": "fresh preserved venv; existing and failed fresh 1.15.3 environments untouched",
    "install_command": "python3 -m pip install --only-binary=:all: 'scipy==1.18.1'",
    "package_wheel_hashes_captured_at_install": false
  },
  "file_hashes": [
    {
      "path": "/Users/bradleymutemi/Documents/ultimate/research/tools/validate_scipy_law_2026_10_09.py",
      "sha256": "d6a10125dbfbdf4aa84552a8b63a26b7860bfd97bcc516583f2858abc36c15ba"
    },
    {
      "path": "/Users/bradleymutemi/Documents/ultimate/research/tools/audit_contingency_law.py",
      "sha256": "4472435a8b361677d985fa905e5f3edacf167eef5c251d42628a62d8328c1026"
    },
    {
      "path": "/Users/bradleymutemi/Documents/ultimate/research/tools/contingency_reference.py",
      "sha256": "dad73793563a82b842c895648713e53bd8f45ba99668579a6ec50317bea291e2"
    },
    {
      "path": "/tmp/openai-math-scipy118-20261009-7NE4AZ/lib/python3.12/site-packages/scipy/stats/_stats_py.py",
      "sha256": "bfd5ab202427ec19ad39a7d985b8fe3a5b283718ae1adec0bd8fc42f605e5988"
    },
    {
      "path": "/tmp/openai-math-scipy118-20261009-7NE4AZ/lib/python3.12/site-packages/scipy/stats/_multivariate.py",
      "sha256": "9c4073ff8ed8d46628552431a0928be062d1e1c89203c2d7d0cbb17d5a7c202c"
    }
  ],
  "limitations": [
    "Finite agreement with live SciPy is not proof verification or experimental-design validation.",
    "No R execution, RNG distribution certification, large-support scaling, or source FPRAS execution.",
    "Bounds use an explicit conditioning calculation; no automatic structural-zero model is inferred."
  ]
}