Struct ProgressLedger 

pub struct ProgressLedger {
    pub session_id: String,
    pub goal: String,
    pub confidence: f32,
    /* private fields */
}

Compact, durable progress signal for one session.

This is the harness’s externalized memory of “are we getting closer to done?” It is intentionally small so it can be loaded every turn without touching the event log. Includes handoff metadata so cross-session continuity is explicit in the ledger itself.

Fields

session_id: String

Owning session id.

goal: String

The objective the agent is pursuing.

confidence: f32

Agent’s confidence in eventual completion, 0.0..=1.0.

Implementations

impl ProgressLedger

pub fn new(session_id: &str, goal: &str) -> Self

Create a fresh ledger for a session with an initial goal.

pub fn completion_ratio(&self) -> f32

Fraction of milestones in a terminal (Done) state, 0.0..=1.0. Returns 1.0 when there are no milestones (nothing tracked yet).

pub fn is_complete(&self) -> bool

Whether every tracked milestone is complete (or none are tracked).

pub fn is_stalled(&self) -> bool

Whether the ledger currently reports a stall.

pub fn note_advance(&mut self)

Record forward progress: clears any stall marker and refreshes the timestamp. Confidence is nudged upward (bounded at 1.0).

pub fn note_stall(&mut self)

Record a stall: sets stalled_since on first occurrence and refreshes the timestamp. Confidence is nudged downward (bounded at 0.0).

pub fn set_milestones(&mut self, milestones: Vec<Milestone>)

Replace the milestone set and refresh the timestamp.

pub fn set_goal(&mut self, goal: &str)

Set the session goal and refresh the timestamp.

pub fn to_markdown(&self) -> String

Render a compact, human-readable progress summary for durable memory (e.g. <workspace>/memories/progress.md). Survives compaction and gives a resumed session an accurate picture of what is done. Includes handoff metadata when present so the next session can orient from this alone.

Trait Implementations

impl Clone for ProgressLedger

fn clone(&self) -> ProgressLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgressLedger

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProgressLedger

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProgressLedger

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProgressLedger

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProgressLedger