Four locked components. Justified before scored. Built once per domain. Re-used forever.
Truth Unit
Locked subgraph
entities + edges
Justification J(n)
justified · partial · retired
Frozen scoring function
P × D × C × A · sort key over J(n)
Provenance object
claim → source → chain