Module transparency 

Opt-in transparency corroboration during verification: the RFC-ACDP-0012 §9 log-inclusion verdict and the RFC-ACDP-0015 §8 witness-quorum verdict. Both are reachable from VerificationPolicy, and each is reported separately from the body, receipt and revocation verdicts.

RFC-ACDP-0012 §9.3: “Log-proof failure invalidates nothing else”. The log and witness verdicts are therefore reported by default and fail verification only when the caller opts in:

• LogInclusionPolicy::Require for the log;
• a WitnessEnforcement other than Report for witnesses.

Structs

WitnessQuorumPolicy

Witness corroboration of the checkpoint carried in log_inclusion (RFC-ACDP-0015 §8).

Enums

CannotVerifyReason

Why a served inclusion proof could not be checked (spec #78 L1, RFC-ACDP-0012 §9.1 step 1). Each names the receipt state, which is reported in full by the receipt verdict.

LogInclusionPolicy

How verification treats a retrieval’s log_inclusion member (RFC-ACDP-0012 §10). Default Self::Ignore: corroboration is opt-in.

LogInclusionVerdict

The RFC-ACDP-0012 §9 log-inclusion verdict, reported separately from the body, receipt and revocation verdicts (§9.3).

WitnessEnforcement

When a witness-quorum shortfall fails verification (RFC-ACDP-0015 §8.1).

Constants

DEFAULT_LOG_MAX_CLOCK_SKEW_SECONDS

RFC-ACDP-0012 §9.3 step 4 forward clock-skew allowance applied to the checkpoint carried in log_inclusion (RECOMMENDED 120 s, the RFC-ACDP-0011 §7 step 6 allowance).