core/tests/test_workbench_logos.py

from __future__ import annotations

import ast
import hashlib
import json
import shutil
from pathlib import Path
from typing import Any, Callable

from workbench import logos
from workbench.schemas import LogosMorphologyLinkIssue, SafetyVerdict, to_data


REPO_ROOT = Path(__file__).resolve().parent.parent
DATA_ROOT = REPO_ROOT / "packs" / "data"
LOGOS_PACK_IDS = [
    "grc_logos_cognition_v1",
    "grc_logos_micro_v1",
    "he_core_cognition_v1",
    "he_logos_micro_v1",
]


def _copy_language_pack_root(tmp_path: Path) -> Path:
    root = tmp_path / "packs_data"
    shutil.copytree(DATA_ROOT, root)
    return root


def _rewrite_first_jsonl_object(
    path: Path, mutator: Callable[[dict[str, Any]], None]
) -> None:
    lines = path.read_text(encoding="utf-8").splitlines()
    for idx, line in enumerate(lines):
        if not line.strip():
            continue
        payload = json.loads(line)
        mutator(payload)
        lines[idx] = json.dumps(payload, ensure_ascii=False, sort_keys=True)
        break
    path.write_text("\n".join(lines) + "\n", encoding="utf-8")


def _refresh_lexicon_checksum(pack_dir: Path) -> None:
    manifest_path = pack_dir / "manifest.json"
    manifest = json.loads(manifest_path.read_text(encoding="utf-8"))
    manifest["checksum"] = hashlib.sha256(
        (pack_dir / "lexicon.jsonl").read_bytes()
    ).hexdigest()
    manifest_path.write_text(
        json.dumps(manifest, ensure_ascii=False, indent=2, sort_keys=True) + "\n",
        encoding="utf-8",
    )


def test_list_logos_packs_filters_to_the_readonly_logos_universe() -> None:
    packs = logos.list_logos_packs()

    assert [pack.pack_id for pack in packs] == LOGOS_PACK_IDS
    assert "en_core_relations_v3" not in {pack.pack_id for pack in packs}
    assert all(pack.holonomy_case_count == 0 for pack in packs)


def test_overview_counts_and_honest_absent_holonomy() -> None:
    overview = logos.logos_pack_overview("he_logos_micro_v1")

    assert overview.lexicon_count == 9
    assert overview.gloss_count == 9
    assert overview.morphology_count == 9
    assert overview.alignment_edge_count == 11
    assert overview.holonomy_case_count == 0
    assert overview.safety_status is SafetyVerdict.UNKNOWN

    contents = logos.logos_pack_contents("he_logos_micro_v1")
    payload = to_data(contents)
    assert payload["holonomy_cases"] == []
    assert "success" not in payload
    assert "proof" not in payload


def test_contents_project_lexicon_gloss_morphology_and_alignment_rows() -> None:
    contents = logos.logos_pack_contents("he_logos_micro_v1")

    davar = next(row for row in contents.lexicon if row.entry_id == "he-001")
    assert davar.lemma == "דבר"
    assert davar.morphology_id == "he-morph-001"
    assert davar.epistemic_status == "speculative"

    davar_gloss = next(row for row in contents.glosses if row.lemma == "דבר")
    assert davar_gloss.gloss == "word, matter, or spoken thing"
    assert davar_gloss.entry_ids == ["he-001", "he-008"]

    devarim = next(
        row for row in contents.morphology if row.morphology_id == "he-morph-008"
    )
    assert devarim.prefix_chain == []
    assert devarim.stem == "דבר"
    assert devarim.suffix_chain == ["ים"]

    edge = contents.alignment_edges[0]
    expected_edge_id = hashlib.sha256(
        b"he-001|grc-001|cross_lang.logos.utterance"
    ).hexdigest()[:16]
    assert edge.edge_id == expected_edge_id
    assert edge.invalid_target is False
    assert edge.target_pack_id == "grc_logos_micro_v1"


def test_safety_reports_unknown_holonomy_without_calling_it_clear() -> None:
    report = logos.logos_pack_safety("he_logos_micro_v1")

    assert report.checksum_status is SafetyVerdict.CLEAR
    assert report.domain_contract_status is SafetyVerdict.CLEAR
    assert report.missing_holonomy_refs is SafetyVerdict.UNKNOWN
    assert report.verdict is SafetyVerdict.UNKNOWN
    assert report.verdict is not SafetyVerdict.CLEAR
    assert report.dangling_morphology_links == []
    assert report.invalid_alignment_targets == []


def test_dangling_morphology_link_is_listed_without_checksum_noise(
    tmp_path: Path,
) -> None:
    data_root = _copy_language_pack_root(tmp_path)
    pack_dir = data_root / "he_logos_micro_v1"
    _rewrite_first_jsonl_object(
        pack_dir / "lexicon.jsonl",
        lambda row: row.__setitem__("morphology_id", "missing-morph-001"),
    )
    _refresh_lexicon_checksum(pack_dir)

    report = logos.logos_pack_safety("he_logos_micro_v1", data_root=data_root)

    assert report.checksum_status is SafetyVerdict.CLEAR
    assert report.verdict is SafetyVerdict.WARNING
    assert report.dangling_morphology_links == [
        LogosMorphologyLinkIssue(
            entry_id="he-001",
            morphology_id="missing-morph-001",
        )
    ]


def test_checksum_mismatch_is_failed_and_not_clear(tmp_path: Path) -> None:
    data_root = _copy_language_pack_root(tmp_path)
    pack_dir = data_root / "he_logos_micro_v1"
    _rewrite_first_jsonl_object(
        pack_dir / "lexicon.jsonl",
        lambda row: row.__setitem__("surface", "דבר-corrupted"),
    )

    report = logos.logos_pack_safety("he_logos_micro_v1", data_root=data_root)

    assert report.checksum_status is SafetyVerdict.FAILED
    assert report.verdict is SafetyVerdict.FAILED
    assert report.verdict is not SafetyVerdict.CLEAR
    assert any(
        "lexicon_checksum:mismatch" in error for error in report.checksum_errors
    )


def test_invalid_alignment_target_is_listed_without_touching_engine_validators(
    tmp_path: Path,
) -> None:
    data_root = _copy_language_pack_root(tmp_path)
    pack_dir = data_root / "he_logos_micro_v1"
    _rewrite_first_jsonl_object(
        pack_dir / "alignment.jsonl",
        lambda row: row.__setitem__("target_id", "ghost-target"),
    )

    report = logos.logos_pack_safety("he_logos_micro_v1", data_root=data_root)

    assert report.checksum_status is SafetyVerdict.CLEAR
    assert report.verdict is SafetyVerdict.WARNING
    assert [
        (issue.source_id, issue.target_id, issue.relation)
        for issue in report.invalid_alignment_targets
    ] == [("he-001", "ghost-target", "cross_lang.logos.utterance")]


def test_every_collapse_anchor_target_resolves_to_a_declared_entry() -> None:
    """Every ``cross_lang.no_english_collapse`` target across the logos packs
    resolves to a real declared lexicon entry — the substrate genuinely links,
    not suppressed.

    Reconciliation fix: the anchor pack (``en_collapse_anchors_v1``) now declares
    the full referenced anchor set (covenant_love/shalom/tzedek +
    heart/soul/breath/holy/time), so no edge dangles. This is the geometry
    resolving, not the check being bypassed — the relation/prefix carve-out
    stays removed. See docs/handoff/logos-collapse-anchor-reconciliation-2026-06-14.md.
    """
    for pack_id in ("grc_logos_cognition_v1", "he_core_cognition_v1"):
        rows = logos.logos_pack_alignment(pack_id)
        collapse = [r for r in rows if r.relation == "cross_lang.no_english_collapse"]
        assert collapse, f"{pack_id} should declare collapse edges"
        unresolved = [r.target_id for r in collapse if r.invalid_target]
        assert unresolved == [], f"{pack_id} has unresolved collapse anchors: {unresolved}"

        report = logos.logos_pack_safety(pack_id)
        assert report.invalid_alignment_targets == []
        # Resolved, but never CLEAR while holonomy proof is absent (honest ceiling).
        assert report.verdict is not SafetyVerdict.CLEAR

    # A previously-dangling anchor (breath) and a source-concept anchor
    # (covenant_love) both resolve to the anchor pack now.
    by_target = {
        r.target_id: r
        for r in logos.logos_pack_alignment("he_core_cognition_v1")
        if r.relation == "cross_lang.no_english_collapse"
    }
    for anchor in ("en-collapse-breath", "en-collapse-covenant_love"):
        assert by_target[anchor].invalid_target is False
        assert by_target[anchor].target_pack_id == "en_collapse_anchors_v1"


def test_no_algebra_imports_in_workbench_logos_module() -> None:
    tree = ast.parse((REPO_ROOT / "workbench" / "logos.py").read_text(encoding="utf-8"))

    imported: list[str] = []
    for node in ast.walk(tree):
        if isinstance(node, ast.Import):
            imported.extend(alias.name for alias in node.names)
        elif isinstance(node, ast.ImportFrom) and node.module:
            imported.append(node.module)

    assert not any(
        name == "algebra" or name.startswith("algebra.") for name in imported
    )