Add compact oracle and local env closure packs

tests/test_oracle_batch_closure_pack.py

@@ -0,0 +1,18 @@
+#!/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