Struct ProofsSection 

pub struct ProofsSection {
    pub signature_count: u32,
    pub signatures_valid: bool,
    pub merkle_root_valid: bool,
    pub inclusion_proofs_count: u32,
    pub zk_proofs_present: bool,
    pub event_log_skipped: u32,
    pub reconcile_untracked_truncated: u32,
    pub reconcile_untracked_cap: u32,
    pub reconcile_degraded: bool,
}

Proofs section of the receipt.

Fields

signature_count: u32

signatures_valid: bool

merkle_root_valid: bool

inclusion_proofs_count: u32

zk_proofs_present: bool

event_log_skipped: u32

Count of events.jsonl lines that were skipped during read_all because they failed to deserialize. Set by session::close from EventLog::read_all_with_stats. Codex adversarial review finding #8: without this in-band signal, a receipt sealed after malformed events were silently dropped looks complete to a verifier even when it isn’t. treeship package verify surfaces this as a WARN when nonzero. Defaults to 0; absent on pre-v0.9.6 receipts so they still verify byte-identical.

reconcile_untracked_truncated: u32

reconcile_untracked_cap: u32

reconcile_degraded: bool

AUD-07: the git-diff backstop was unavailable at close even though git worked at session start (start_commit_sha was captured). A file could have changed via a non-AgentWroteFile channel and the only backstop that would have caught it was disabled (.git removed, corrupt index, PATH-poisoned git), so the “Files changed” ledger may be incomplete. package verify WARNs on this. Absent on receipts sealed before this field so they stay byte-identical.

Trait Implementations

impl Clone for ProofsSection

fn clone(&self) -> ProofsSection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofsSection

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

Formats the value using the given formatter.

impl Default for ProofsSection

fn default() -> ProofsSection

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProofsSection

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofsSection

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

where __S: Serializer,

Serialize this value into the given Serde serializer.