uqa-storage 0.5.2

Document store, inverted index, IVF/HNSW vectors, B-tree, R*Tree, catalog
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

//
// Unified Query Algebra
//
// Copyright (c) 2023-2026 Cognica, Inc.
//

//! Sparse selections retain exact populations relative to their actual physical build.

use super::{invalid, DiskANNReadChanges, DiskANNReadSnapshot};
use crate::{
    diskann_index::{
        format::DiskANNCanonicalOrigin, pages::DiskANNOriginReader, DiskANNCanonicalCounts,
        DiskANNCanonicalRead, DiskANNQueryRead,
    },
    read_control::StorageReadControl,
    StorageBackendResult,
};

pub(super) fn capture(
    base: &DiskANNReadSnapshot,
    changes: &DiskANNReadChanges,
    built: &DiskANNOriginReader,
    control: &StorageReadControl,
) -> StorageBackendResult<Option<DiskANNCanonicalCounts>> {
    let input = built.manifest().input();
    base.check_control(control)?;
    changes.control.check()?;
    built.check_control(control)?;
    if input.dimensions != base.dimensions() {
        return Err(invalid("selected population dimensions differ from build"));
    }
    let mut counts = if changes.complete {
        DiskANNCanonicalCounts::default()
    } else {
        let Some(counts) = base.population_counts(input.generation, control)? else {
            return Ok(None);
        };
        counts
    };
    for (document, selected) in changes.sources.iter() {
        base.check_control(control)?;
        changes.control.check()?;
        let previous = if changes.complete {
            None
        } else {
            base.document_origin(*document, control)?
        };
        let replacement = selected
            .as_ref()
            .map(|source| source.document_origin(*document, control))
            .transpose()?
            .flatten();
        let covered = if previous.is_some() || replacement.is_some() {
            built.origin(*document, control)?
        } else {
            None
        };
        counts = counts.substituted(
            contribution(previous, covered, input.dimensions)?,
            contribution(replacement, covered, input.dimensions)?,
        )?;
    }
    base.check_control(control)?;
    changes.control.check()?;
    built.check_control(control)?;
    Ok(Some(counts))
}

fn contribution(
    origin: Option<DiskANNCanonicalOrigin>,
    built: Option<DiskANNCanonicalOrigin>,
    dimensions: u32,
) -> StorageBackendResult<DiskANNCanonicalCounts> {
    let Some(origin) = origin else {
        return Ok(DiskANNCanonicalCounts::default());
    };
    if origin.dimensions() != dimensions {
        return Err(invalid(
            "selected population origin dimensions differ from field",
        ));
    }
    let covered = built.is_some_and(|built| built.version() == origin.version());
    if covered && built != Some(origin) {
        return Err(invalid(
            "one canonical origin has inconsistent tensor shapes",
        ));
    }
    DiskANNCanonicalCounts::new(origin.count(), if covered { 0 } else { origin.count() })
}