Struct Proof 

pub struct Proof {
    pub session_id: Option<String>,
    pub ledger: ChainCheck,
    pub audit: ChainCheck,
    pub tokens_baseline: u64,
    pub tokens_saved: u64,
    pub tokens_bounced: u64,
    pub ledger_evidence: Evidence,
    pub security: SecurityCounts,
    pub audit_evidence: Evidence,
    pub live: Option<ValueSnapshot>,
    pub active_days: BTreeSet<String>,
}

Fields

session_id: Option<String>

None = lifetime (every session).

ledger: ChainCheck

audit: ChainCheck

tokens_baseline: u64

✓ measured: counterfactual input tokens of the attributed tool results.

tokens_saved: u64

✓ measured: tokens kept out of the model’s context.

tokens_bounced: u64

✓ measured: tokens the agent spent re-reading (netted out).

ledger_evidence: Evidence

security: SecurityCounts

✓ measured: security events committed to the audit trail.

audit_evidence: Evidence

live: Option<ValueSnapshot>

The live display counters, for comparison only — not proof.

active_days: BTreeSet<String>

UTC days (YYYY-MM-DD) with at least one attributed ledger event — the evidence behind streak milestones.

Implementations

impl Proof

pub fn tampered(&self) -> bool

pub fn net_saved(&self) -> u64

pub fn saved_pct(&self) -> Option<f64>

≈ derived: share of the attributed input kept out of context.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Proof

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

Formats the value using the given formatter.

impl Serialize for Proof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.