Module factcheck 

Offline fact-checking against KG triples + entity registry (P9-A).

Given a text blob, detect three contradiction classes:

1. SimilarNameConflict — mentioned name ≤2 edit distance from known entity
2. RelationContradiction — KG has incompatible predicate for same (subject, object)
3. StaleFact — text asserts a triple whose KG row has valid_to < now

Zero LLM, zero network, deterministic. Time is Unix seconds (String) to match the existing KG storage convention (no chrono dep).

Modules

contradictions

KG-backed contradiction + staleness detection for extracted triples.

names

Name candidate extraction + Levenshtein-based similar-name detection.

relations

Heuristic text → (subject, predicate, object) extraction.

Structs

FactCheckReport

Enums

FactCheckError

FactIssue

Functions

check

Run fact check against the KG.

resolve_now

validate_scope