Struct PirReceipt 

#[non_exhaustive]
pub struct PirReceipt {
    pub schema_version: u32,
    pub source_identity: Option<String>,
    pub lowering_mode: PirLoweringMode,
    pub node_count: usize,
    pub edge_count: usize,
    pub operation_counts: BTreeMap<&'static str, usize>,
    pub context_counts: BTreeMap<&'static str, usize>,
    pub source_anchor_coverage: PirAnchorCoverage,
    pub dynamic_boundary_counts: BTreeMap<&'static str, usize>,
    pub unsupported_construct_counts: BTreeMap<&'static str, usize>,
    pub ambient_inputs: Vec<String>,
    pub provider_behavior_changed: bool,
}

A PIR lowering receipt.

Receipts explain what lowered, what fell back, and what was blocked. They are the proof surface for PIR work and assert that provider behavior did not change.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

schema_version: u32

Receipt schema version.

source_identity: Option<String>

Caller-supplied source file or workspace fixture identity.

lowering_mode: PirLoweringMode

Lowering mode that produced the graph.

node_count: usize

Number of PIR nodes.

edge_count: usize

Number of control-flow edges.

operation_counts: BTreeMap<&'static str, usize>

Lowered operation counts, keyed by operation-family name.

context_counts: BTreeMap<&'static str, usize>

Context counts, keyed by context name.

source_anchor_coverage: PirAnchorCoverage

Source-anchor coverage summary.

dynamic_boundary_counts: BTreeMap<&'static str, usize>

Dynamic-boundary counts, keyed by boundary-kind name.

unsupported_construct_counts: BTreeMap<&'static str, usize>

HIR constructs PIR v0 did not lower, keyed by HIR kind name.

ambient_inputs: Vec<String>

Stale or ambient inputs that affected lowering.

provider_behavior_changed: bool

Whether provider behavior changed. Always false under PIR v0.

Trait Implementations

impl Clone for PirReceipt

fn clone(&self) -> PirReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PirReceipt

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

Formats the value using the given formatter.

impl Eq for PirReceipt

impl PartialEq for PirReceipt

fn eq(&self, other: &PirReceipt) -> 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 StructuralPartialEq for PirReceipt