Module embedding_index 

Persistent, incremental embedding index.

Stores pre-computed chunk embeddings alongside file content hashes. On re-index, only files whose hash has changed get re-embedded, avoiding expensive model inference for unchanged code.

Storage format: ~/.lean-ctx/vectors/<project_hash>/embeddings.bin (postcard)

Structs

EmbeddingEntry

EmbeddingIndex

Enums

EmbeddingBuildOutcome

Outcome of a build_or_update call from the index orchestrator.

Functions

build_or_update

Build or update the persistent embedding index for a project.