Struct PolicyFileStore 

pub struct PolicyFileStore { /* private fields */ }

Apply a backend-independent WorkspacePolicy to a session filesystem.

Every model-driven read, listing, search, write, create, and delete flows through the same policy regardless of the concrete provider. Starter-file seeding bypasses the policy because it is trusted application configuration; later model access to a seeded path is still checked normally. Custom providers must honor the canonical-path contract of SessionFileSystem::resolve_path.

Implementations

impl PolicyFileStore

pub fn new( inner: Arc<dyn SessionFileSystem>, policy: WorkspacePolicy, ) -> PolicyFileStore

Wrap inner with policy.

Trait Implementations

impl SessionFileSystem for PolicyFileStore

fn display_root(&self) -> String

Human-facing root path for this filesystem.

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

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

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 is_mount_resolver(&self) -> bool

Whether this store is already a mount-based resolver ([MountFs]).

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

where 'life0: 'async_trait, 'life1: 'async_trait, PolicyFileStore: 'async_trait,

Read a file by path

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

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

Write/create a file

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, PolicyFileStore: 'async_trait,

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

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

where 'life0: 'async_trait, 'life1: 'async_trait, PolicyFileStore: 'async_trait,

Delete a file or directory

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

where 'life0: 'async_trait, 'life1: 'async_trait, PolicyFileStore: 'async_trait,

List files in a directory

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

where 'life0: 'async_trait, 'life1: 'async_trait, PolicyFileStore: 'async_trait,

Get file metadata

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

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

Search file contents with Rust regex syntax, optionally filtering canonical paths by glob.

fn grep_files_with_options<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, session_id: TypedId<SessionIdMarker>, pattern: &'life1 str, options: &'life2 GrepOptions, ) -> Pin<Box<dyn Future<Output = Result<GrepSearchResult, AgentLoopError>> + Send + 'async_trait>>

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

Search with match pagination and bounded before/after context.

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

where 'life0: 'async_trait, 'life1: 'async_trait, PolicyFileStore: 'async_trait,

Create a directory

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

where 'life0: 'async_trait, 'life1: 'async_trait, PolicyFileStore: 'async_trait,

Seed a starter file into a session workspace.