Struct NudgeState 

pub struct NudgeState {
    pub edits_since_annotation: usize,
    pub baseline: Option<Baseline>,
    pub window_intent_ids: Option<BTreeSet<String>>,
    pub reviewed: BTreeMap<String, ReviewRecord>,
    pub proof_reviewed: BTreeMap<String, bool>,
    pub throttle: BTreeMap<String, ThrottleRecord>,
}

The whole engine state file. Every field defaults, so older / partial files deserialize cleanly.

Fields

edits_since_annotation: usize

Source edits since the last annotation was added (authoring-debt).

baseline: Option<Baseline>

The edit-window baseline, if captured.

window_intent_ids: Option<BTreeSet<String>>

The set of authored-intent ids present when the current edit window began (captured at SessionStart). Powers #7’s new-vs-backlog split: an unreviewed intent is “new this session” when its id is absent from this set, else “backlog”. None means no window was captured (no hooks / fresh checkout) — the split is then suppressed rather than guessed.

reviewed: BTreeMap<String, ReviewRecord>

annotation id → review record.

proof_reviewed: BTreeMap<String, bool>

proof id → reviewed.

throttle: BTreeMap<String, ThrottleRecord>

signal id → throttle record.

Implementations

impl NudgeState

pub fn load(path: &Path) -> Self

Read the state file, tolerating absence and corruption (either yields default state). A nudge hook must never fail on bad state.

pub fn save(&self, path: &Path) -> Result<()>

Atomically write the state file (tempfile in the same dir + rename).

pub fn unreviewed_count<'a>( &self, current: impl IntoIterator<Item = (&'a str, &'a str, &'a str)>, ) -> usize

Count intents the user has not (currently) reviewed. An intent is unreviewed when it has no record, its record is reviewed = false, or its live hashes have drifted from the reviewed snapshot (a post-review edit re-opens it). current is (id, text_hash, body_hash) for every authored intent in the index.

pub fn is_reviewed(&self, id: &str, text_hash: &str, body_hash: &str) -> bool

True iff this annotation is currently reviewed (record present, reviewed = true, and both hashes still match — no drift).

pub fn mark_reviewed(&mut self, id: &str, text_hash: &str, body_hash: &str)

Mark an annotation reviewed against its current hashes (clears any prior drift).

Trait Implementations

impl Clone for NudgeState

fn clone(&self) -> NudgeState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NudgeState

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

Formats the value using the given formatter.

impl Default for NudgeState

fn default() -> NudgeState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for NudgeState

where NudgeState: Default,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for NudgeState

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for NudgeState

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 NudgeState