Struct WorkspaceScopedFileSystem 

pub struct WorkspaceScopedFileSystem { /* private fields */ }

A SessionFileSystem decorator that pins every operation to a fixed workspace key, ignoring the per-call session_id.

Used to re-key file I/O for a session attached to a shared workspace (where workspace.id != session.id): wrap the session’s file store once with the session’s workspace_id, and all downstream capability/tool access then addresses the attached workspace rather than the session’s own keyspace. For the default 1:1 session the key equals the session id, so the wrapper is a transparent pass-through. See specs/workspace.md.

Implementations

impl WorkspaceScopedFileSystem

pub fn wrap( inner: Arc<dyn SessionFileSystem>, workspace_id: WorkspaceId, ) -> Arc<dyn SessionFileSystem>

Wrap inner, pinning all operations to workspace_id’s key.

Trait Implementations

impl SessionFileSystem for WorkspaceScopedFileSystem

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 write_file_if_content_matches<'life0, 'life1, 'life2, 'life3, 'life4, 'life5, 'async_trait>( &'life0 self, _session_id: SessionId, 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>>> + Send + 'async_trait>>

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

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

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 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.