Module precondition 

Precondition gate logic for evidence modifiers.

Detects when a Contradictory outcome is “phantom” — produced by a technique whose mutation never reached the layer where it would matter. Auth gates, method-level rejection, and parser failures are the most common phantom sources.

The auth check uses a two-stage classifier (see super::auth_classifier) that suppresses only non-differential same-layer auth blocks; status/body/header/location/challenge differentials are preserved as evidence.

Enums

AuthBlockLayer

Layer at which an auth block fired. Determines the operator-facing reason.

PreconditionBlock

Structured reason a Contradictory outcome was downgraded.

PreconditionDecision

Decision returned by precondition_confidence. Carries either a confidence value or a structured block reason.

Functions

precondition_confidence

Computes the precondition confidence for a technique against a probe pair.