Function verify 

pub async fn verify(
    input: &str,
    telemetry: &TelemetryResult,
    soul: &Soul,
    engine: &dyn InferenceEngine,
    mode: &VerifyMode,
) -> (VerificationReport, Vec<TraceEntry>)

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.