Struct FrameCodec 

pub struct FrameCodec { /* private fields */ }

Cartan moving-frame KV cache codec.

Stores the anchor (K_0, V_0) plus a sequence of d×d frame transition matrices F_t for t = 1..T. Decoding reconstructs K_t and V_t by cumulative matrix product from the anchor.

Implementations

impl FrameCodec

pub fn new(head_dim: usize) -> Self

Create a new empty codec for vectors of length head_dim.

pub fn encode_step(&mut self, k: &[f32], v: &[f32])

Encode one (k, v) pair. First call sets the anchor; subsequent calls store the frame transition relative to the previous step.

k and v must each have length head_dim.

pub fn token_count(&self) -> usize

Number of tokens stored (including anchor).

pub fn decode_key(&self, t: usize) -> Vec<f32>

Decode the key vector at position t by applying cumulative frame transitions from the anchor.

pub fn decode_val(&self, t: usize) -> Vec<f32>

Decode the value vector at position t.

pub fn attend(&self, query: &[f32]) -> Vec<f32>

Compute standard softmax attention over all stored tokens.

query has length head_dim. Returns the weighted sum of values.

pub fn bytes_used(&self) -> usize

Number of bytes used by the codec (f32 = 4 bytes each).

pub fn bytes_absolute(&self) -> usize

Number of bytes a naive absolute-vector store would use (f32 K+V per token).