Struct KernelVectorStore 

pub struct KernelVectorStore<B: MemoryBacking> { /* private fields */ }

Kernel-resident vector store.

Implements the vector_get and vector_put_proved syscall interfaces.

Implementations

impl<B: MemoryBacking> KernelVectorStore<B>

pub fn new( data_backing: B, hnsw_backing: B, witness_backing: B, data_handle: RegionHandle, hnsw_handle: RegionHandle, witness_handle: RegionHandle, dimensions: u32, capacity: u32, hnsw_config: HnswConfig, coherence_config: CoherenceConfig, proof_policy: ProofPolicy, store_id: u32, ) -> Result<Self>

Creates a new kernel vector store.

pub const fn handle(&self) -> VectorStoreHandle

Returns the store handle.

pub fn len(&self) -> usize

Returns the number of vectors stored.

pub fn is_empty(&self) -> bool

Returns true if the store is empty.

pub const fn capacity(&self) -> u32

Returns the capacity.

pub const fn dimensions(&self) -> u32

Returns the dimensions.

pub fn vector_get( &self, key: VectorKey, capability: &Capability, ) -> Result<(Vec<f32>, CoherenceMeta)>

Implements the vector_get syscall.

Returns the vector data and its coherence metadata. Requires READ right on the capability.

Arguments

• key - The vector key
• capability - Capability authorizing the read

Returns

The vector data and coherence metadata.

pub fn vector_put_proved( &mut self, key: VectorKey, data: &[f32], proof: &ProofToken, capability: &Capability, current_time_ns: u64, ) -> Result<ProofAttestation>

Implements the vector_put_proved syscall.

Writes a vector with proof verification. Requires PROVE right on the capability.

Arguments

• key - The vector key
• data - The vector data
• proof - The proof token authorizing the mutation
• capability - Capability authorizing the write
• current_time_ns - Current time for proof verification

Returns

A proof attestation on success.

pub const fn proof_policy(&self) -> &ProofPolicy

Returns the proof policy.

pub const fn coherence_tracker(&self) -> &CoherenceTracker

Returns the coherence tracker.

pub fn witness_entry_count(&self) -> usize

Returns witness log statistics.

pub fn witness_fill_ratio(&self) -> f32

Returns the witness log fill ratio.