truth-firewall 0.1.0__py3-none-any.whl

truth_firewall/__init__.py

@@ -0,0 +1,7 @@
+"""Truth Firewall: unsupported claims are not presented as verified."""
+
+__version__ = "0.1.0"
+
+from truth_firewall.pipeline import CheckResult, check_response
+
+__all__ = ["CheckResult", "check_response", "__version__"]

truth_firewall/__main__.py

@@ -0,0 +1,4 @@
+from truth_firewall.cli import main
+
+if __name__ == "__main__":
+    raise SystemExit(main())

truth_firewall/audit.py

@@ -0,0 +1,30 @@
+"""Local audit artifacts for one check, with contained exclusive run storage."""
+
+from __future__ import annotations
+
+import json
+from pathlib import Path
+from typing import Any
+
+from truth_firewall.storage import ensure_directory, ensure_root, write_text
+
+
+def write_audit(directory: Path, artifacts: dict[str, Any], *, permitted_root: Path | None = None) -> None:
+    configured = permitted_root if permitted_root is not None else directory.parent
+    relative = directory.relative_to(configured)
+    root = ensure_root(configured)
+    directory = ensure_directory(root, root / relative, exclusive=True)
+    mapping = {
+        "meta.json": artifacts.get("meta", {}),
+        "claims.json": artifacts.get("claims", []),
+        "evidence.json": artifacts.get("evidence", []),
+        "candidates.json": artifacts.get("candidates", {}),
+        "assessments.json": artifacts.get("assessments", []),
+        "decisions.json": artifacts.get("decisions", []),
+        "coverage.json": artifacts.get("coverage", []),
+        "errors.json": artifacts.get("errors", []),
+    }
+    for name, payload in mapping.items():
+        write_text(root, directory / name, json.dumps(payload, indent=2, ensure_ascii=False, default=str))
+    write_text(root, directory / "response.txt", str(artifacts.get("response", "")))
+    write_text(root, directory / "grounded.txt", str(artifacts.get("grounded", "")))

truth_firewall/claims/__init__.py

@@ -0,0 +1,6 @@
+"""Claim extraction."""
+
+from truth_firewall.claims.deterministic import DeterministicFallbackExtractor
+from truth_firewall.claims.semantic import SemanticClaimExtractor
+
+__all__ = ["DeterministicFallbackExtractor", "SemanticClaimExtractor"]

truth_firewall/claims/coverage.py

@@ -0,0 +1,40 @@
+"""Find assertive residual source text that no extracted claim covers."""
+
+from __future__ import annotations
+
+import re
+
+from truth_firewall.claims.deterministic import may_contain_unextracted_fact
+from truth_firewall.schemas import Claim
+
+_CONNECTOR_ONLY = re.compile(r"[\W_]*(?:(?:and|but|or|while|although|because|therefore|then|also)[\W_]*)*", re.I)
+
+
+def uncovered_assertive_spans(response_text: str, claims: list[Claim]) -> list[tuple[int, int]]:
+    """A partial extraction must not disable the zero-claim safety principle."""
+    covered: list[tuple[int, int]] = []
+    for claim in claims:
+        start, end = claim.source_start, claim.source_end
+        if (start is None or end is None or start < 0 or end > len(response_text)
+                or response_text[start:end] != claim.raw_text):
+            continue
+        covered.append((start, end))
+    if not covered:
+        return []  # The pipeline's existing zero-claim guard handles this case.
+    covered.sort()
+    merged = [covered[0]]
+    for start, end in covered[1:]:
+        left, right = merged[-1]
+        if start <= right:
+            merged[-1] = (left, max(right, end))
+        else:
+            merged.append((start, end))
+    gaps: list[tuple[int, int]] = []
+    cursor = 0
+    for start, end in [*merged, (len(response_text), len(response_text))]:
+        if cursor < start:
+            gap = response_text[cursor:start]
+            if _CONNECTOR_ONLY.fullmatch(gap) is None and may_contain_unextracted_fact(gap):
+                gaps.append((cursor, start))
+        cursor = end
+    return gaps