Struct WriteBlocklistFileStore 

pub struct WriteBlocklistFileStore { /* private fields */ }

Reject writes into vendored / build directories at any depth.

Reads, listings, stats, and greps pass through; only mutating operations (write_file, delete_file, create_directory, seed_initial_file, write_file_if_content_matches) check the blocklist.

Implementations

impl WriteBlocklistFileStore

pub fn new(inner: Arc<dyn SessionFileSystem>) -> WriteBlocklistFileStore

Wrap inner with the compatibility blocklist.

pub fn with_blocklist( inner: Arc<dyn SessionFileSystem>, blocklist: impl IntoIterator<Item = impl Into<String>>, ) -> WriteBlocklistFileStore

Wrap inner with a custom blocklist (replaces the default entirely).

Trait Implementations

impl SessionFileSystem for WriteBlocklistFileStore

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

Seed a starter file into a session workspace.

fn is_mount_resolver(&self) -> bool

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

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.