Struct TargetQueue 

pub struct TargetQueue { /* private fields */ }

A degenerate queue containing exactly one unit: the active target session.

next() returns the unit on the first call. After close() is called, or after the unit has been returned, subsequent next() calls return None.

close() is intentionally inert: the session’s own stop hook already emitted the termination event; the manifest is immutable; graph-node closing and plan-stamping belong to reconcile / stamp-plan, not the loop runtime. megawalk’s Queue (group 2, ab-7303e5d7) is where fno backlog done runs. See module documentation for why close() is inert.

Why Option (not Mutex) (F8)

Queue::next/close take &mut self so no Mutex is needed here. The walk loop is single-threaded; interior mutability would add noise without benefit.

Implementations

impl TargetQueue

pub fn from_manifest(repo_root: &Path) -> Result<Self, LoopError>

Read .fno/target-state.md from repo_root and construct the queue.

Trait Implementations

impl Queue for TargetQueue

fn close( &mut self, _unit: &Unit, _evidence: &Evidence, ) -> Result<CloseOutcome, LoopError>

Inert close: see module doc for why this does nothing.

The session’s loop-check stop hook already emitted the termination event. The manifest is immutable (ab-d0337fbc invariant). Graph-node closing and plan-stamping belong to reconcile / stamp-plan, not the loop runtime. megawalk’s Queue (group 2, ab-7303e5d7) is where fno backlog done runs.

fn next(&mut self) -> Result<Option<Unit>, LoopError>

Return the next unit, or None if the queue is empty.

fn next_step(&mut self) -> Result<NextStep, LoopError>

Richer variant of next() that can signal a walk-level pause. Policy-aware queues override this; simple queues (TargetQueue) can leave the default which panics (they override next() directly instead).