Skip to main content

GsSq8Codec

Struct GsSq8Codec 

Source
pub struct GsSq8Codec {
    pub min: Vec<f32>,
    pub gs: f32,
    pub gs_sq: f32,
    pub anisotropy_ratio: f32,
}
Expand description

Global-scale SQ8 codec for L2 distance — the Vamana acquisition path.

A single shared scale gs = max_range_across_dims / 255 is used for all dims; per-dim offsets are still subtracted before quantizing. Encoding is lossy (rounded + clamped to u8); L2² in code space is exact after that lossy encode, but round-trip error vs. true f32 L2² can reach ~15% for anisotropic/OOD data — no residual pass, no gate, no silent fallback. Callers needing correctness on OOD queries must check Self::is_in_distribution and fall back to exact f32 themselves. See docs/api/codecs.md for the full accuracy discussion and docs/design.md for why this replaced the earlier per-dim anisotropy-gated design.

Fields§

§min: Vec<f32>

Per-dimension minimum values.

§gs: f32

Global scale: max_range / 255 where max_range = max_i(max_i - min_i).

§gs_sq: f32

gs² precomputed for L2.

§anisotropy_ratio: f32

Anisotropy ratio measured at train time: max(range_i) / min(nonzero range_i). Informational only — never used for dispatch decisions.

Implementations§

Source§

impl GsSq8Codec

Source

pub fn train_flat(vectors: &[f32], dims: usize) -> Self

Train from row-major flat vectors.

Panics on invalid input. See Self::try_train_flat for a fallible variant that returns QuantError instead.

Source

pub fn try_train_flat(vectors: &[f32], dims: usize) -> Result<Self, QuantError>

Fallible variant of Self::train_flat. Validates dims > 0, a non-empty corpus, and that vectors.len() is a multiple of dims.

Source

pub fn train(vectors: &[Vec<f32>]) -> Self

Train from a slice of row vectors.

Panics on invalid input. See Self::try_train for a fallible variant that returns QuantError instead.

Source

pub fn try_train(vectors: &[Vec<f32>]) -> Result<Self, QuantError>

Fallible variant of Self::train. Validates a non-empty corpus, dims > 0 (row 0’s length), and that every row is the same length (rectangular corpus); a ragged row returns QuantError::RaggedRow instead of panicking on out-of-bounds indexing.

Source

pub fn encode(&self, v: &[f32]) -> GsEncodedVector

Encode a single vector.

Panics if v.len() does not match the codec’s trained dims. See Self::try_encode for a fallible variant that returns QuantError instead.

Source

pub fn try_encode(&self, v: &[f32]) -> Result<GsEncodedVector, QuantError>

Fallible variant of Self::encode. Validates v.len() against the codec’s trained dims before encoding — an unchecked shape mismatch (e.g. v = &[]) could otherwise score as a false exact match; see docs/design.md (QUANT-AUD-002).

Source

pub fn encode_flat_par( &self, vectors: &[f32], dims: usize, ) -> Vec<GsEncodedVector>

Encode a batch of flat-row vectors, using Rayon when the parallel feature is enabled.

Panics on invalid input. See Self::try_encode_flat_par for a fallible variant that returns QuantError instead.

Source

pub fn try_encode_flat_par( &self, vectors: &[f32], dims: usize, ) -> Result<Vec<GsEncodedVector>, QuantError>

Fallible variant of Self::encode_flat_par. Validates dims > 0, divisibility, and that dims matches the codec’s trained dims before dividing vectors.len() / dims. See docs/design.md (QUANT-AUD-002).

Source

pub fn l2_sq(&self, a: &GsEncodedVector, b: &GsEncodedVector) -> f32

Approximate squared L2 distance.

||a-b||² ≈ gs² × Σ (a_i - b_i)²

Exact in code space (offset terms cancel, gs² factorizes) after the lossy f32→u8 encode. Per-round-trip L2 error can reach ~15%; recall safety is established by probe, not by this formula. The NEON path runs ~13 ns at 384-d.

Source

pub fn l2_sq_codes(&self, a: &[u8], b: &[u8]) -> f32

Self::l2_sq over raw code slices, for callers that store codes in a flat (possibly memory-mapped) buffer rather than per-vector allocations.

Source

pub fn dims(&self) -> usize

Number of dimensions.

Source

pub fn is_in_distribution(&self, v: &[f32]) -> bool

Returns true if every component of v falls within the trained range [min_d, min_d + 255 * gs] (i.e., encoding would produce no clamping).

When this returns false at least one dimension is out-of-distribution; callers that need correctness guarantees should fall back to exact f32.

Trait Implementations§

Source§

impl Clone for GsSq8Codec

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for GsSq8Codec

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.