Struct Receipt 

pub struct Receipt {
    pub version: u32,
    pub session: Session,
    pub projections: Vec<Projection>,
    pub root_hash_hex: String,
    pub signature_b64: String,
}

The colimit envelope. Holds a session + any subset of its projections, signed with the issuer’s Ed25519 key.

Verifiers re-canonicalize the signing input (session + projections

• issued-at), recompute the BLAKE3 root hash, and re-verify the signature. Each projection MAY ADDITIONALLY be re-checked by the lifter that produced it; the lifter’s per-kind verifier is independent of this top-level signature check.

Fields

version: u32

session: Session

projections: Vec<Projection>

root_hash_hex: String

BLAKE3 over canonical_signing_bytes.

signature_b64: String

Ed25519 signature over the same canonical bytes.

Implementations

impl Receipt

pub fn sign( session: Session, projections: Vec<Projection>, signing_key: &SigningKey, ) -> Self

Build + sign a fresh receipt with the supplied issuer key.

pub fn verify(&self, verifying_key_bytes: &[u8; 32]) -> Result<(), ReceiptError>

Verify this receipt against the supplied 32-byte Ed25519 verifying key (as found in the issuer’s JWKS x field). Re-canonicalizes + re-hashes independently of how the receipt was built.

Trait Implementations

impl Clone for Receipt

fn clone(&self) -> Receipt

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Receipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Receipt

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Receipt

fn eq(&self, other: &Receipt) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Receipt

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Receipt