Workstreams A–E implement against this tag. Contract changes require
re-tagging (contracts-v0.x) and rebasing the worktrees per START-HERE.md.

Contracts (init-only `required` properties throughout):

  Tessio.Verifier.Core
    ICredentialVerifier.VerifyAsync(PresentedCredential, VerificationContext, CT)
    PresentedCredential, VerificationContext, VerificationResult,
    IssuerInfo, VerificationError

  Tessio.Verifier.Trust
    ITrustListResolver.ResolveAsync(string issuer, ReadOnlyMemory<byte>[] x5c, CT)
    IssuerTrustStatus

  Tessio.Verifier.OpenId4Vp
    IPresentationRequestBuilder.BuildAsync(PresentationRequestOptions, CT)
    IPresentationResponseParser.ParseAsync(WalletResponseData, CT)
    PresentationRequestOptions, PresentationRequest (ByValue / ByReference),
    WalletResponseData, ResponseMode

  Tessio.Verifier.AspNetCore
    ISessionStore.CreateAsync / GetAsync / CompleteAsync
    VerificationSession, VerificationSessionStatus