Struct RedeemSuccess 

pub struct RedeemSuccess {
    pub subject: SubjectId,
    pub grant: Option<String>,
    /* private fields */
}

A successfully completed code redemption.

The claim proof certifies that exactly one concurrent caller won the atomic race. The caller must not issue a session or perform host-side effects without this proof (RFC-013 §5, RFC-005 §14.5).

Fields

subject: SubjectId

The authenticated subject returned by the host callback (or passed directly in the two-step flow).

grant: Option<String>

Opaque grant payload from the code record. Passed to the host callback; not interpreted by codlet.

Trait Implementations

impl Debug for RedeemSuccess

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

Formats the value using the given formatter.