Struct ReductionLog 

pub struct ReductionLog {
    pub reductions: Vec<Reduction>,
    pub expanded: Vec<Reduction>,
    pub read_log: Vec<ReadLogEntry>,
    pub attribution: Option<ReductionAttribution>,
}

The persisted index of every reduction applied to a session, plus the A8 read-log. This is the <name>.reduction.json sidecar-family file (D1); invert needs it (with the sidecar) to reconstruct the full view.

Fields

reductions: Vec<Reduction>

Every reduction applied so far, in application order.

expanded: Vec<Reduction>

Reductions explicitly rehydrated by the user. They remain persisted so a later projection/restart can distinguish “deliberately expanded” from “never reduced” without re-stubbing the address.

read_log: Vec<ReadLogEntry>

Every file read observed during projection (A8), independent of whether that particular read ended up elided.

attribution: Option<ReductionAttribution>

Optional content-free pass attribution captured by a driving surface. Older logs omit it and remain fully compatible.

Trait Implementations

impl Clone for ReductionLog

fn clone(&self) -> ReductionLog

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionLog

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

Formats the value using the given formatter.

impl Default for ReductionLog

fn default() -> ReductionLog

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ReductionLog

fn deserialize<__D>( __deserializer: __D, ) -> Result<ReductionLog, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ReductionLog

impl PartialEq for ReductionLog

fn eq(&self, other: &ReductionLog) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ReductionLog

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ReductionLog