Struct LogicalWorkspace 

pub struct LogicalWorkspace { /* private fields */ }

A logical workspace — the unit of identity for cross-repo / workspace indexing.

Implementations

impl LogicalWorkspace

pub fn from_sqry_workspace(path: &Path) -> Result<Self, LogicalWorkspaceError>

Construct from a .sqry-workspace registry file.

WorkspaceRegistry::load accepts both v1 (flat repositories list) and v2 (source_roots, member_folders, exclusions, project_root_mode) on-disk shapes — v1 is auto-upgraded to v2 in memory. This constructor projects every v2 field into the resulting LogicalWorkspace:

• repositories → source_roots (canonicalized).
• member_folders → MemberFolder { path, reason } (canonicalized).
• exclusions → canonical absolute paths.
• project_root_mode → carried verbatim.

STEP_7 codex iter4 fix — pre-iter4 this constructor dropped member_folders, exclusions, and project_root_mode on the floor, defeating acceptance criteria 5/6 end-to-end (the redactor receives an empty LogicalWorkspaceView::exclusions / member_folders, so redact_excluded_in_passthrough and the member-folder prefix renderer never fire on real .sqry-workspace-loaded sessions). The pre-iter4 inline TODO pointed at “STEP_2 will overhaul the registry layer entirely” — STEP_2 shipped the registry-side v2 schema but did not update this projection. Fixed here so STEP_7’s MCP redaction wiring is observable end-to-end.

Errors

Returns LogicalWorkspaceError when the registry file cannot be loaded or any path canonicalization fails irrecoverably.

pub fn from_code_workspace( workspace_file: &Path, heuristic_fn: &dyn Fn(&Path) -> HeuristicVerdict, ) -> Result<Self, LogicalWorkspaceError>

Construct from a .code-workspace JSON file.

The heuristic_fn is invoked for every folder that does not carry an explicit sqry.role, is not in the top-level sqry.workspace.sourceRoots / .exclusions overrides, and is not already classified as a member by an explicit sqry.workspace.memberFolders entry.

Errors

Returns LogicalWorkspaceError for IO failures, JSON parse errors, malformed folder entries, or path canonicalization failures that cannot be recovered via lexical absolutization.

pub fn anonymous_multi_root( folders: Vec<PathBuf>, ) -> Result<Self, LogicalWorkspaceError>

Construct an ad-hoc multi-root workspace (every folder is a source root). Folders are sorted lexically before hashing so identity is stable under reorder.

Errors

Returns LogicalWorkspaceError if any folder cannot be canonicalized irrecoverably.

pub fn single_root(path: PathBuf) -> Result<Self, LogicalWorkspaceError>

Construct a single-root workspace (one source root, no members).

Errors

Returns LogicalWorkspaceError if path cannot be canonicalized irrecoverably.

pub fn workspace_id(&self) -> &WorkspaceId

The stable BLAKE3-256 identity of this workspace.

pub fn identity(&self) -> &WorkspaceIdentity

The identity inputs that produced Self::workspace_id.

pub fn source_roots(&self) -> &[SourceRoot]

The auto-indexed source roots.

pub fn member_folders(&self) -> &[MemberFolder]

The non-indexed member folders.

pub fn exclusions(&self) -> &[PathBuf]

Explicitly excluded paths.

pub fn project_root_mode(&self) -> ProjectRootMode

The workspace-level ProjectRootMode.

pub fn index_root_override(&self) -> Option<&Path>

Optional --index-root override.

pub fn config_fingerprint(&self) -> u64

Workspace-level config fingerprint. Populated by the plugin-selection / cost-tier pipeline via Self::set_config_fingerprint and consumed by sqry-daemon::WorkspaceKey so two source roots sharing path but differing fingerprint stay in distinct cache entries.

pub fn set_config_fingerprint(&mut self, fingerprint: u64)

STEP_11_4 — set the workspace-level config fingerprint computed via crate::config::compute_workspace_config_fingerprint.

The fingerprint is not part of the WorkspaceId hash input — it is a separate cache dimension consumed by the daemon’s WorkspaceKey. Two LogicalWorkspaces with the same identity but different fingerprints share an identity but produce distinct daemon cache entries.

pub fn set_config_fingerprint_with_inheritance(&mut self, fingerprint: u64)

STEP_11_4 — set the workspace-level config fingerprint and propagate it to every SourceRoot that does not already carry an explicit per-root override (i.e. whose config_fingerprint == 0).

This is the typical wiring point: callers compute one workspace-level fingerprint, then call set_config_fingerprint_with_inheritance so source roots without an explicit override inherit the workspace value. Source roots that carry a non-zero override are left untouched.

pub fn populate_classpath_dirs(&mut self) -> Vec<(PathBuf, Error)>

STEP_11_4 — populate every SourceRoot::classpath_dir in this workspace by probing <root>/.sqry/classpath/ for each. Returns a vector of (source_root, io::Error) pairs for any probe that failed for a reason other than NotFound; callers typically fold these into super::cache::WorkspaceWarning::ClasspathProbeFailed.

pub fn is_source_root(&self, path: &Path) -> bool

Returns true if path matches one of the registered source roots exactly (not a descendant).

pub fn classify(&self, path: &Path) -> Classification

Classify a path against the workspace per §1.4 of the implementation plan.

Trait Implementations

impl Clone for LogicalWorkspace

fn clone(&self) -> LogicalWorkspace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalWorkspace

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LogicalWorkspace

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for LogicalWorkspace

fn eq(&self, other: &LogicalWorkspace) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for LogicalWorkspace

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for LogicalWorkspace

impl StructuralPartialEq for LogicalWorkspace