732642856
19 lines
841 B
Python
19 lines
841 B
Python
#!/usr/bin/env python3
|
|
"""Regression tests for the batched oracle closure pack."""
|
|
|
|
from __future__ import annotations
|
|
|
|
from scripts.oracle_batch_closure_pack import build_report
|
|
|
|
|
|
def test_oracle_batch_closure_pack_combines_dasha_and_shadbala_truth() -> None:
|
|
report = build_report("references/oracle/dasha_shadbala_oracle_cases.json")
|
|
|
|
assert report["scope"] == "oracle_batch_closure_pack"
|
|
assert report["summary"]["dasha_can_claim_closure"] is True
|
|
assert report["summary"]["shadbala_case_count"] >= 2
|
|
assert report["summary"]["shadbala_within_tolerance_case_count"] <= report["summary"]["shadbala_case_count"]
|
|
assert any(item["kind"] == "dasha" for item in report["rows"])
|
|
assert any(item["kind"] == "shadbala" for item in report["rows"])
|
|
assert report["summary"]["global_oracle_closure_blocked"] is True
|