Struct ReceiptExplain 

pub struct ReceiptExplain {
    pub phase_name: &'static str,
    pub compat_label: &'static str,
    pub policy_name: &'static str,
    pub mutation_summary: &'static str,
    pub integrity_summary: &'static str,
    pub cpi_summary: &'static str,
    pub changed_field_count: u16,
    pub segment_count: u8,
    pub fingerprint_changed: bool,
    pub segment_role_names: [&'static str; 8],
    pub segment_role_count: u8,
}

Human-readable explanation of a decoded receipt.

Produced by DecodedReceipt::explain(). Every field is a semantic label, not a raw number-designed for operator dashboards, CLI output, and audit logs.

Fields

phase_name: &'static str

Phase name (“Update”, “Init”, “Close”, “Migrate”, “ReadOnly”).

compat_label: &'static str

Compatibility impact label (“None”, “Append”, “Migration”, “Breaking”).

policy_name: &'static str

Policy pack name that governed this instruction (“unknown” when not embedded).

mutation_summary: &'static str

One-sentence description of what mutation occurred.

integrity_summary: &'static str

One-sentence description of invariant check result.

cpi_summary: &'static str

One-sentence CPI summary.

changed_field_count: u16

Number of individual fields changed (popcount of changed_fields mask).

segment_count: u8

Number of segments that were modified.

fingerprint_changed: bool

Whether the before/after fingerprints differ.

segment_role_names: [&'static str; 8]

Role names for modified segments (up to 8). Use segment_role_count to know how many entries are valid.

segment_role_count: u8

Number of valid entries in segment_role_names.

Implementations

impl ReceiptExplain

pub const fn with_policy_name(self, name: &'static str) -> ReceiptExplain

Return a copy with the given policy name injected.

The receipt wire format does not carry the policy pack name-only a bitmask of flags. Call this after constructing an explain from the decoded receipt when you know which policy pack governed the instruction (e.g. from the program manifest).

pub const fn with_segment_role( self, idx: u8, name: &'static str, ) -> ReceiptExplain

Inject a segment role name at the given index.

Call once per modified segment, using the SegmentRole::name() output for each bit set in segment_changed_mask. This enriches the explain with human-readable role labels.

pub const fn summary(&self) -> &'static str

One-line human-readable summary combining phase, mutation, and integrity status.