Struct Clauses 

pub struct Clauses<T> { /* private fields */ }

A verified mandate’s clauses. Constructible only by the verifier terminals, so its existence is proof the mandate authenticated and decoded as canonical CBOR (the mandate-must-be-authenticated rule of the Security Considerations, §16.2; the Reserved fields section, §8).

use obsigil::{Issuer, MandateKey, NoApp, Verifier};
let token = Issuer::new(MandateKey::from_bytes([42u8; 64])?)
    .clauses(&NoApp::default())
    .exp(4_000_000_000)
    .subject("user-1")
    .mint()?;
let key = MandateKey::from_bytes([42u8; 64])?;
let clauses = Verifier::new().key(&key).now(1_000_000_000)
    .clauses::<NoApp>(&token)?;
assert_eq!(clauses.exp(), 4_000_000_000);
assert_eq!(clauses.subject(), Some("user-1"));
assert_eq!(clauses.tid().get_version_num(), 7); // UUIDv7 (the `tid` field, §8.2)

Implementations

impl<T> Clauses<T>

pub fn exp(&self) -> NumericDate

Authoritative expiry (the exp field, §8.3).

pub fn tid(&self) -> Uuid

The unique token id (UUIDv7, the tid field, §8.2).

pub fn issued_at(&self) -> NumericDate

Issue time, derived from tid (the tid field, §8.2).

pub fn issuer(&self) -> Option<&str>

Issuer, for audit (the iss field, §8.6).

pub fn iss(&self) -> Option<&str>

Short alias for issuer.

pub fn audience(&self) -> Option<&[String]>

Intended verifiers (the aud field, §8.4).

pub fn aud(&self) -> Option<&[String]>

Short alias for audience.

pub fn subject(&self) -> Option<&str>

Subject authorized (the sub field, §8.5).

pub fn sub(&self) -> Option<&str>

Short alias for subject.

pub fn app(&self) -> &T

The application clauses.

pub fn into_app(self) -> T

Consume the clauses, yielding the application value.

Trait Implementations

impl<T: Debug> Debug for Clauses<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.