Module credentials 

Format-owner dependencies of every authenticated original credential.

Reuses the original-artifact/coverage LTV core. Authentication receipts are borrowed, never reconstructed from a public boolean or replayed signature.

Structs

Entry

Actual authenticated credential, including all negative material facts.

Finding

One original dependency’s unavailable required material.

Report

Same complete credential receipt under one whole/archive source scope.

Scope

Optional archive proof. Whole mode cannot impersonate a preceding archive; construction retains the actual token’s private mathematical receipt.

Enums

Completeness

Completed format interpretation, independent of incorporated availability.

Error

A source/handler/resource failure never returns a successful partial report.

Missing

Missing and incorporated-but-uncovered are distinct negative facts.

VisitError

Original handler failure versus its supplied visitor’s unchanged refusal.

Traits

Provider

Same format owner as authentication, using its actual retained evidence. It discovers ALL credential-specific validation material, including the credential’s own status, using current Work before decoding/copy/allocation or arithmetic. Certificate-free authentication does not waive this step. EN319122-1 §§5.2.6.1, 5.4 and 6.3 require credential validation data in addition to the issuer’s X.509 path/status. https://www.etsi.org/deliver/etsi_en/319100_319199/31912201/01.03.01_60/en_31912201v010301p.pdf

Functions

check

Check the complete original credential scope, using actual format receipts and the shared exact-artifact index. A swallowed callback failure remains terminal; later provider success cannot turn it into an empty complete set.

Type Aliases

Need

One dependency established by the credential’s actual format owner.