Skip to main content

Module verifier

Module verifier 

Source

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.