Module verifier 

Functions

compute_disagreement_score

Compute a structured disagreement score from the verification result.

verify

Run the full verification stage. Returns a (report, traces) pair. Deterministic checks always run unless mode is None. LLM pass runs when mode is Llm or Reconcile. Reconcile adds a third adjudicator pass when the disagreement structure matches a high-risk injection fingerprint.