the credential
Optionalopts: { atTime?: number; enveloped?: boolean; where?: string }
atTime (ms) to check the validity window too, as a verifier
does; enveloped to accept an EnvelopedVerifiableCredential's shape;
where to name it in problems
{ ok, problems, warnings }
Checks a credential against the data model's MUSTs.