Struct CandidateWorkspace 

pub struct CandidateWorkspace { /* private fields */ }

A node-local candidate filesystem. Model mutations never target the source workspace directly; only promote copies touched paths.

Implementations

impl CandidateWorkspace

pub fn create( source_root: &Path, node_id: impl Into<String>, generation: u32, graph_revision: impl Into<String>, ) -> Result<Self>

pub fn create_with_policy( source_root: &Path, node_id: impl Into<String>, generation: u32, graph_revision: impl Into<String>, allow_unisolated_verifiers: bool, ) -> Result<Self>

pub fn set_tool_handlers(&mut self, handlers: Arc<CandidateHandlerRegistry>)

Replace the execution plane. The composition root uses this to add registered tool families beyond the builtins.

pub fn overlay_root(&self) -> &Path

pub fn set_verifier_timeouts(&mut self, timeouts: VerifierTimeouts)

Configure per-stage governed verifier timeouts ([verification] stage_timeout_secs + overrides).

pub fn has_mutated(&self) -> bool

pub fn node_generation(&self) -> u32

The node generation this candidate was created for.

pub fn touched_paths(&self) -> Vec<String>

Paths mutated by admitted effects — the only promotable set.

pub fn realized_diff(&self) -> Result<String>

Diff the realized candidate against the source workspace. This is an observation for advisory/conjunctive validators; gating still measures the candidate filesystem directly.

pub fn promote(&self) -> Result<Vec<String>>

Promote only paths mutated by admitted governed proposals. Checks and writes share one directory descriptor per target (crate::promote), so a path swapped underneath the workspace between validation and rename is refused rather than followed.

pub fn restore_exported(&self, files: &[SeedFile]) -> Result<()>

Rebuild an accepted candidate state from a durable checkpoint’s exported files (mid-loop resume): each file is journaled and written into the overlay, and re-enters the mutated (promotable) set.

pub fn restore_seeded(&self, files: &[SeedFile]) -> Result<()>

Seed inherited content (a staged predecessor’s contribution) without marking it promotable: files are journaled and tracked with their pre-images (promotion overwrite-protection intact), but they enter mutated_paths only when this node’s own admitted effects touch them — so a downstream export is exactly its own work, never a re-export of everything it inherited (PSP-10 system 22).

Trait Implementations

impl Debug for CandidateWorkspace

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

Formats the value using the given formatter.

impl EffectExecutor for CandidateWorkspace

fn checkpoint<'life0, 'life1, 'async_trait>( &'life0 self, scope: &'life1 [String], ) -> Pin<Box<dyn Future<Output = Result<CandidateCheckpoint>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Snapshot the reversible candidate overlay.

fn apply<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, call: &'life1 ProviderToolCall, entry: &'life2 ToolEntry, ) -> Pin<Box<dyn Future<Output = Result<EffectOutcome>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

fn restore<'life0, 'life1, 'async_trait>( &'life0 self, checkpoint: &'life1 CandidateCheckpoint, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Restore an earlier candidate snapshot exactly.

fn state_witness<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<CandidateStateWitness>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Re-read the materialized candidate after an effect.

fn export_accepted<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<Vec<SeedFile>>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

The accepted candidate’s mutated paths with their current contents (None = deleted), for durable mid-loop checkpoints. The default is empty: fixtures without a filesystem have nothing durable to export.