Module workspace 

Workspace disk policy: discover, load, and watch .lemma files.

Discovery respects project .gitignore via the ignore crate, and always includes <workdir>/lemma_deps/**/*.lemma even when that directory is gitignored.

Structs

CliWorkspaceFiles

CLI implementation of lemma_lsp::workspace_files::WorkspaceFiles.

DiscoveredPaths

Paths discovered under a workspace root, partitioned by provenance.

WatchGuard

Keeps the filesystem watcher alive until dropped.

Enums

WorkspaceDiskError

Failure discovering or reading workspace sources from disk.

Functions

discover_lemma_paths

Discover .lemma paths under workdir (or a single .lemma file).

load_workspace

Load discovered sources into engine (same provenance rules as the CLI always used).

load_workspace_excluding

Like load_workspace, but skips paths in exclude (compared as Path).

read_disk_lemma_files

Read all discovered .lemma files for LSP / tooling injection.

refresh_workspace_via_update

Refresh an existing engine from disk.

watch_lemma_workspace

Watch discovered .lemma paths under workdir (not the whole tree recursively).

workspace_path_label

Engine [SourceType::Path] label for a discovered workspace file.