Struct Receipt 

pub struct Receipt {
    pub id: String,
    pub timestamp: DateTime<Utc>,
    pub agent: String,
    pub dat: String,
    pub action: ActionDetails,
    pub context: Option<ReceiptContext>,
    pub chain: ChainLink,
    pub signature: String,
}

A single action receipt in the hash chain.

Fields

id: String

Unique receipt identifier.

timestamp: DateTime<Utc>

Timestamp of the action.

agent: String

Agent DID that performed the action.

dat: String

DAT JTI that authorized the action.

action: ActionDetails

Action details.

context: Option<ReceiptContext>

Optional context.

chain: ChainLink

Hash chain linkage.

signature: String

Agent’s signature over this receipt.

Implementations

impl Receipt

pub fn signing_payload_bytes(&self) -> Vec<u8>

Returns the canonical signing payload bytes (excludes signature field).

This is the data that is (or should be) signed to produce self.signature, and the data used as input to compute_hash().

pub fn compute_hash(&self) -> String

Compute the BLAKE3 hash of this receipt (for chain linking).

Uses signing_payload_bytes() (i.e., excludes the signature field) so the hash is stable regardless of whether the receipt is signed yet.

pub fn verify_signature(&self, public_key_bytes: &[u8; 32]) -> Result<()>

Verify this receipt’s signature against the agent’s public key.

Security: fix S2 (receipt signatures never verified)

The signature field is hex-encoded Ed25519 signature over signing_payload_bytes().

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 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.