Default entailment verifier: verification OFF. Every clause is reported supported, so the D4 gate is inert until a real verifier is configured — no new cost, latency, or change to the honest baseline unless explicitly opted in.
Default entailment verifier: verification OFF. Every clause is reported supported, so the D4 gate is inert until a real verifier is configured — no new cost, latency, or change to the honest baseline unless explicitly opted in.