Module coverage_gate 

Coverage gate for the NotPresent verdict.

Posterior alone is insufficient evidence. Even when the Bayesian aggregate falls below the NotPresent threshold, the verdict should only be issued when the endpoint has been meaningfully tested — multiple contradictory techniques across enough independent strategies, with at least one technique that actually probes the oracle-relevant boundary.

Constants

MIN_CONTRADICTORY_TECHNIQUES

Minimum number of distinct Contradictory technique firings required to claim NotPresent.

STRONG_THRESHOLD

Minimum weight for a Contradictory event to count as a “Strong” technique. Matches the Strong bucket from the bucketed-prior calibration: low_privilege / auth_strip / scope_manipulation all fire at 0.25.

Functions

passes_not_present_gate

Returns true iff the events satisfy the gate for NotPresent.