732642856
56 lines
2.2 KiB
Python
56 lines
2.2 KiB
Python
import json
|
|
from pathlib import Path
|
|
|
|
|
|
ROOT = Path(__file__).resolve().parents[1]
|
|
REGISTRY = ROOT / "references/oracle/workbuddy_round4_formalization_registry_2026_07_21.json"
|
|
INDEX = ROOT / "references/oracle/evidence_packet_index_2026_07_19.json"
|
|
ROUND4 = ROOT / "references/oracle/workbuddy_round4_candidate_ledger_2026_07_21.json"
|
|
|
|
|
|
def test_round4_formalization_promotes_four_domains_without_truth_upgrade():
|
|
data = json.loads(REGISTRY.read_text(encoding="utf-8"))
|
|
assert data["scope"] == "workbuddy_round4_formalization_registry"
|
|
assert data["claim_status"] == "ready_contract"
|
|
assert data["truth_matrix_allowed"] is False
|
|
assert data["source_ledger"] == str(ROUND4.relative_to(ROOT))
|
|
domains = {row["domain"]: row for row in data["formalized_domains"]}
|
|
assert {
|
|
"event_judgment",
|
|
"birth_time_rectification",
|
|
"muhurta",
|
|
"tajika_saham",
|
|
} <= set(domains)
|
|
for domain in domains.values():
|
|
assert domain["formalization_type"] in {"registry", "test_contract", "registry_and_test_contract"}
|
|
assert domain["runtime_copy_allowed"] is False
|
|
assert domain["claim_upgrade"] == "none"
|
|
assert domain["round4_candidate_ids"]
|
|
assert domain["formal_outputs"]
|
|
|
|
|
|
def test_round4_formalization_links_specific_high_value_candidates():
|
|
data = json.loads(REGISTRY.read_text(encoding="utf-8"))
|
|
linked = {
|
|
cid
|
|
for domain in data["formalized_domains"]
|
|
for cid in domain["round4_candidate_ids"]
|
|
}
|
|
assert "wb_round4_event_judgment_examples" in linked
|
|
assert "wb_round4_birth_time_rectification_cases" in linked
|
|
assert "wb_round4_muhurta_complete_guide" in linked
|
|
assert "wb_round4_saham_rules" in linked
|
|
round4 = json.loads(ROUND4.read_text(encoding="utf-8"))
|
|
round4_ids = {entry["candidate_id"] for entry in round4["entries"]}
|
|
assert linked <= round4_ids
|
|
|
|
|
|
def test_round4_formalization_is_indexed():
|
|
packets = {
|
|
row["packet_id"]: row
|
|
for row in json.loads(INDEX.read_text(encoding="utf-8"))["packets"]
|
|
}
|
|
packet = packets["workbuddy_round4_formalization_registry_2026_07_21"]
|
|
assert packet["claim_status"] == "ready_contract"
|
|
assert packet["consumer_policy"] == "research_observation_only"
|