Struct Receipt 

pub struct Receipt {
    pub tx_id: Bytes32,
    pub block_height: u64,
    pub tx_index: u32,
    pub status: ReceiptStatus,
    pub fee_charged: u64,
    pub post_state_root: Bytes32,
    pub cumulative_fees: u64,
}

Result of executing one transaction inside a block (RCP-002, SPEC §2.9).

Field semantics

• tx_id: Transaction hash this receipt attests to (often spend-bundle / tx commitment — exact preimage in HSH-*).
• tx_index: Zero-based position in block body (RCP-002 implementation notes).
• post_state_root: State trie root after this tx; enables per-tx light-client checkpoints.
• cumulative_fees: Running sum of fee_charged for receipts 0..=tx_index in the same block; execution must keep this consistent when appending receipts (RCP-002 implementation notes).

Serialization: Serialize / Deserialize for bincode (SER-001).

Fields

tx_id: Bytes32

Hash identifying the executed transaction.

block_height: u64

Block height containing this transaction.

tx_index: u32

Zero-based transaction index within the block.

status: ReceiptStatus

Execution outcome (ReceiptStatus, RCP-001).

fee_charged: u64

Fee debited for this transaction.

post_state_root: Bytes32

State root after applying this transaction.

cumulative_fees: u64

Sum of fee_charged for all receipts up to and including this one in the block.

Implementations

impl Receipt

pub fn new( tx_id: Bytes32, block_height: u64, tx_index: u32, status: ReceiptStatus, fee_charged: u64, post_state_root: Bytes32, cumulative_fees: u64, ) -> Self

Construct a receipt with all NORMATIVE fields (RCP-002).

Note: Callers must ensure cumulative_fees matches the monotonic fee aggregate for the block; this crate does not recompute it here (single-receipt constructor only).

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 Eq for Receipt

impl StructuralPartialEq for Receipt