vc
Verifiable credentials: portable, signed, attenuating delegations that carry authority between DIDs and verify offline (the §22.2 delegation transport, counterpart to `did` for identity). An issuer signs a credential conveying a claim to a subject; a verifier checks its signature, validity window, and non-revocation; a holder presents it to a verifier; and revocation is recorded as an append-only journal whose events fold into a revoked set.
vc:issue
[$vc:issue] -> element — Sign a credential conveying a claim (a §22.2 delegation) from an issuer DID and key to a subject DID.
vc:verify
[$vc:verify] -> element — Check a credential's signature, validity window, and non-revocation as of a given time, returning a [vc-verification status=…] element.
vc:present
[$vc:present] -> element — Package a verifiable credential for presentation to a verifier (holder proof-of-possession applied later).
vc:revoke
[$vc:revoke] -> element — Append a revoke event for the given credential id to a revocation journal.
vc:revoked-set
[$vc:revoked-set] -> element — Fold a revocation journal's events into the current set of revoked credential ids.