Module vector_store 

Kernel-resident vector store implementation.

Vector stores are kernel objects containing HNSW-indexed vectors. All mutations are proof-gated via the vector_put_proved syscall.

Design (from ADR-087 Section 4.3)

pub struct KernelVectorStore {
    hnsw_region: RegionHandle,       // slab region for HNSW graph nodes
    data_region: RegionHandle,       // slab region for vector data
    witness_region: RegionHandle,    // append-only mutation witness log
    coherence_config: CoherenceConfig,
    proof_policy: ProofPolicy,
    dimensions: u32,
    capacity: u32,
}

Structs

KernelVectorStore

Kernel-resident vector store.

VectorEntry

A vector entry stored in the data region.

VectorStoreBuilder

Builder for creating kernel vector stores.