Module pipeline 

The verification pipeline (SIGNATIF §14).

An ordered sequence of checks classified as hard or soft. Any hard failure short-circuits to the scheme’s rejected label; soft results accumulate into the CoverageReport. Inputs are the artifact, the trust anchor bundle, the trust graph, the registries, a revocation view, and the classification/acceptance policies — everything an offline verifier holds or caches.

Structs

FreshnessWindow

The freshness window applied to time attestations (§14 time-freshness-window): attestations inside the window are fresh; inside grace but outside the window they downgrade; older reject.

Pipeline

The ordered verification pipeline.

SignerScopeSummary

The scope of the signer on the (first) verified path — policy input for downstream decisions.

TransparencyInputs

Soft-check inputs the pipeline cannot derive on its own.

VerificationOutcome

The outcome of a pipeline run.