Struct RealDiskFileStore 

pub struct RealDiskFileStore { /* private fields */ }

A SessionFileSystem rooted at a real host directory.

Paths are interpreted per the session filesystem namespace rules (leading /, optional /workspace prefix, .. rejected anywhere). session_id is accepted on every method but ignored — the store is single-workspace per process. See specs/file-store.md for the multi-tenant upgrade path.

is_readonly flags from seed_initial_file are tracked in an in-memory set (the disk backend has no place to persist them), so writes and deletes through this store still honor the trait contract within a single process. The flag is not mapped onto filesystem permissions — other host processes can still modify the file directly.

Implementations

impl RealDiskFileStore

pub fn new(root: impl Into<PathBuf>) -> Result<Self>

Create a new real-disk store rooted at root.

The root is canonicalized once at construction time. Any operation whose canonical-form path would escape the root is rejected.

pub fn root(&self) -> PathBuf

The current canonicalized workspace root.

pub fn set_host_root(&self, root: impl Into<PathBuf>) -> Result<()>

Repoint the workspace root, e.g. when an embedder switches worktrees.

The root handle is shared, so every clone of this store immediately addresses the new root. See EVE-660.

Trait Implementations

impl Clone for RealDiskFileStore

fn clone(&self) -> RealDiskFileStore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RealDiskFileStore

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

Formats the value using the given formatter.

impl SessionFileSystem for RealDiskFileStore

fn display_root(&self) -> String

A real-disk store shows where files actually live: the host-absolute root. (Behind MountFs the model still sees a stable /workspace.)

fn display_path(&self, path: &str) -> String

Convert a canonical session path into a human-facing path.

fn seed_initial_file<'life0, 'life1, 'async_trait>( &'life0 self, session_id: SessionId, file: &'life1 InitialFile, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

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

Seed a starter file into a session workspace.

fn read_file<'life0, 'life1, 'async_trait>( &'life0 self, session_id: SessionId, path: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<Option<SessionFile>>> + Send + 'async_trait>>

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

Read a file by path

fn write_file<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, session_id: SessionId, path: &'life1 str, content: &'life2 str, encoding: &'life3 str, ) -> Pin<Box<dyn Future<Output = Result<SessionFile>> + Send + 'async_trait>>

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

Write/create a file

fn delete_file<'life0, 'life1, 'async_trait>( &'life0 self, _session_id: SessionId, path: &'life1 str, recursive: bool, ) -> Pin<Box<dyn Future<Output = Result<bool>> + Send + 'async_trait>>

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

Delete a file or directory

fn list_directory<'life0, 'life1, 'async_trait>( &'life0 self, session_id: SessionId, path: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<Vec<FileInfo>>> + Send + 'async_trait>>

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

List files in a directory

fn stat_file<'life0, 'life1, 'async_trait>( &'life0 self, _session_id: SessionId, path: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<Option<FileStat>>> + Send + 'async_trait>>

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

Get file metadata

fn grep_files<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, _session_id: SessionId, pattern: &'life1 str, path_pattern: Option<&'life2 str>, ) -> Pin<Box<dyn Future<Output = Result<Vec<GrepMatch>>> + Send + 'async_trait>>

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

Search files by pattern (grep)

fn create_directory<'life0, 'life1, 'async_trait>( &'life0 self, session_id: SessionId, path: &'life1 str, ) -> Pin<Box<dyn Future<Output = Result<FileInfo>> + Send + 'async_trait>>

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

Create a directory

fn resolve_path(&self, input: &str) -> String

Resolve an input path (any accepted spelling, relative or absolute) to an absolute path within this filesystem’s namespace. Relative inputs resolve against the filesystem’s current directory.

fn write_file_if_content_matches<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>( &'life0 self, session_id: TypedId<SessionIdMarker>, path: &'life1 str, expected_content: &'life2 str, expected_encoding: &'life3 str, content: &'life4 str, encoding: &'life5 str, ) -> Pin<Box<dyn Future<Output = Result<Option<SessionFile>, AgentLoopError>> + Send + 'async_trait>>

where 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait, 'life4: 'async_trait, 'life5: 'async_trait, Self: 'async_trait,

Write a file only if its current content snapshot still matches.