Struct ProgressLedger 

pub struct ProgressLedger {
    pub session_id: String,
    pub goal: String,
    pub milestones: Vec<Milestone>,
    pub confidence: f32,
    pub stalled_since: Option<String>,
    pub updated_at: String,
    pub previous_session_id: Option<String>,
    pub handoff_summary: Option<String>,
    pub known_issues: Vec<String>,
    pub git_checkpoint: Option<String>,
}

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.

milestones: Vec<Milestone>

Tracked milestones; empty when the agent has no explicit tracker.

confidence: f32

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

stalled_since: Option<String>

RFC3339 timestamp of the first turn where no forward progress was detected, or None if progress is currently being made.

updated_at: String

RFC3339 timestamp of the last ledger update.

previous_session_id: Option<String>

The session id of the predecessor session that handed off to this one. None for the first session in a chain.

handoff_summary: Option<String>

Summary communicated by the previous session at handoff time.

known_issues: Vec<String>

Issues carried forward from the previous session.

git_checkpoint: Option<String>

Git commit hash at the time of handoff (the “checkpoint”).

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 set_handoff( &mut self, previous_session_id: &str, summary: &str, git_checkpoint: Option<String>, )

Record handoff metadata from a previous session.

pub fn add_known_issue(&mut self, issue: &str)

Add a known issue carried forward from a previous session.

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