Enum ReadState 

pub enum ReadState {
    Unread,
    Stale,
    FreshPartial,
    FreshFull,
}

How a path stands relative to what an agent session has already observed — the input to the read-before-edit / staleness guard (H1/F4-remainder, audit 2026-07-06).

Variants

Unread

The session has never read or written this path.

Stale

The session recorded this path, but the current on-disk content differs from what it recorded — the file changed since it was last seen.

FreshPartial

The recorded content hash matches, but the agent observed only a slice.

FreshFull

The recorded content hash matches and the agent observed the full file.

Trait Implementations

impl Clone for ReadState

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ReadState

impl Debug for ReadState

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

Formats the value using the given formatter.

impl Eq for ReadState

impl PartialEq for ReadState

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ReadState