732642856
60 lines
2.3 KiB
Python
60 lines
2.3 KiB
Python
import json
|
|
import subprocess
|
|
from pathlib import Path
|
|
|
|
|
|
ROOT = Path(__file__).resolve().parents[1]
|
|
ARTIFACT = ROOT / "references/oracle/shadbala_component_closure_ledger_2026_07_19.json"
|
|
INDEX = ROOT / "references/oracle/evidence_packet_index_2026_07_19.json"
|
|
|
|
|
|
def test_closure_ledger_builds_from_same_unit_matrix():
|
|
data = json.loads(
|
|
subprocess.check_output(
|
|
["python3", "scripts/shadbala_component_closure_ledger.py"],
|
|
cwd=ROOT,
|
|
text=True,
|
|
)
|
|
)
|
|
assert data["scope"] == "shadbala_component_closure_ledger"
|
|
assert data["claim_status"] == "partial"
|
|
assert data["truth_matrix_allowed"] is False
|
|
assert data["summary"]["row_count"] == 42
|
|
assert data["source_matrix_hash"]
|
|
assert data["ledger_hash"]
|
|
|
|
|
|
def test_closure_ledger_classifies_every_row_without_truth_upgrade():
|
|
data = json.loads(ARTIFACT.read_text(encoding="utf-8"))
|
|
summary = data["summary"]
|
|
assert summary["closed_observation_same_unit_count"] == 7
|
|
assert summary["closed_as_method_variant_count"] == 8
|
|
assert summary["open_formula_or_unit_mismatch_count"] == 27
|
|
assert summary["open_insufficient_numeric_sources_count"] == 0
|
|
assert (
|
|
summary["closed_observation_same_unit_count"]
|
|
+ summary["closed_as_method_variant_count"]
|
|
+ summary["open_formula_or_unit_mismatch_count"]
|
|
+ summary["open_insufficient_numeric_sources_count"]
|
|
) == 42
|
|
assert "does not assert absolute formula truth" not in data["boundary"]
|
|
assert "worked examples" in data["boundary"]
|
|
|
|
|
|
def test_open_rows_keep_next_evidence_requirements():
|
|
data = json.loads(ARTIFACT.read_text(encoding="utf-8"))
|
|
open_rows = [row for row in data["rows"] if row["closure_state"].startswith("open_")]
|
|
closed_rows = [row for row in data["rows"] if row["closure_state"].startswith("closed_")]
|
|
assert open_rows
|
|
assert closed_rows
|
|
assert all(row["required_next_evidence"] for row in open_rows)
|
|
assert all(row["required_next_evidence"] == [] for row in closed_rows)
|
|
|
|
|
|
def test_evidence_index_registers_closure_ledger():
|
|
packets = {
|
|
row["packet_id"]: row
|
|
for row in json.loads(INDEX.read_text(encoding="utf-8"))["packets"]
|
|
}
|
|
assert packets["shadbala_component_closure_ledger"]["claim_status"] == "partial"
|