Struct Freshness 

pub struct Freshness {
    pub project_root: String,
    pub project_hash: String,
    pub imports: Vec<String>,
    pub session_id: String,
    pub lean_toolchain: String,
    /* private fields */
}

The project freshness snapshot a producer builds.

Built by [crate::project]’s freshness and crate::error::WorkerUnavailable::freshness. Not serialized directly: Response::ok splits it into the always-emitted FreshnessIdentity and the verbosity-gated Telemetry block.

Fields

project_root: String

project_hash: String

imports: Vec<String>

session_id: String

lean_toolchain: String

Trait Implementations

impl Clone for Freshness

fn clone(&self) -> Freshness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Freshness

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

Formats the value using the given formatter.