Struct ExecutionContext 

pub struct ExecutionContext<'a> {
    pub workspace_root: &'a Path,
    pub registry: &'a SymbolRegistry,
    pub graph: &'a CodeGraphV2,
    pub files: ImHashMap<WorkspaceFilePath, Arc<PureFile>>,
}

Context for parallel Mutation execution.

Created by AnalysisContext::fork(). Shares Registry and Graph as read-only references, with Files using O(log n) structural sharing.

Design

AnalysisContext (owner)
├── workspace_root: Arc<Path>   │
├── registry: SymbolRegistry  ──┤
├── graph: CodeGraphV2         │  shared (read-only)
└── files: im::HashMap<...>    │
                                │
ExecutionContext<'a>            │
├── workspace_root: &'a Path     ←┘
├── registry: &'a SymbolRegistry ←┘
├── graph: &'a CodeGraphV2      ←┘
└── files: im::HashMap<...>  (O(log n) clone, copy-on-write)

Performance

• Clone: O(log n) via im::HashMap structural sharing
• Modification: Copy-on-write via Arc::make_mut

Collecting Changes

Mutations return RegistryUpdate deltas instead of modifying Registry directly. These are collected and applied to AnalysisContext at Tick end.

See docs/parallel-execution-design.md for the full design.

Fields

workspace_root: &'a Path

Read-only reference to workspace root.

registry: &'a SymbolRegistry

Read-only reference to SymbolRegistry.

Mutations should collect changes as RegistryUpdate instead of modifying directly.

graph: &'a CodeGraphV2

Read-only reference to CodeGraphV2.

files: ImHashMap<WorkspaceFilePath, Arc<PureFile>>

Files with O(log n) clone via structural sharing.

Uses im::HashMap<WorkspaceFilePath, Arc<PureFile>> for:

• O(log n) clone (structural sharing)
• Copy-on-write modification via Arc::make_mut

Implementations

impl<'a> ExecutionContext<'a>

pub fn file(&self, path: &WorkspaceFilePath) -> Option<&PureFile>

Get a file by path.

pub fn file_mut(&mut self, path: &WorkspaceFilePath) -> Option<&mut PureFile>

Get a mutable file by path (copy-on-write).

Uses Arc::make_mut for copy-on-write semantics:

• If Arc is uniquely owned, returns mutable reference directly
• If Arc is shared, clones the PureFile first

pub fn has_file(&self, path: &WorkspaceFilePath) -> bool

Check if a file exists.

pub fn file_count(&self) -> usize

Get the number of files.