holographic-memory 0.5.0

A high-performance Holographic Memory System (HMS) implementing Vector Symbolic Architectures (VSA).
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

// Copyright 2024-2026 WritersLogic Contributors
// SPDX-License-Identifier: Apache-2.0

/// Fan-out gating for structural queries.
/// Decides whether to use the algebraic path (unbind + cleanup)
/// or the materialized path (TripleStore lookup).
pub struct AdmissionControl {
    fanout_limit: usize,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum AdmissionDecision {
    Algebraic,
    MaterializedLookup,
}

impl AdmissionControl {
    pub fn new(fanout_limit: usize) -> Self {
        Self { fanout_limit }
    }

    pub fn check(&self, fan_out: usize) -> AdmissionDecision {
        if fan_out <= self.fanout_limit {
            AdmissionDecision::Algebraic
        } else {
            AdmissionDecision::MaterializedLookup
        }
    }

    #[allow(dead_code)]
    pub fn fanout_limit(&self) -> usize {
        self.fanout_limit
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_admission_algebraic() {
        let ac = AdmissionControl::new(40);
        assert_eq!(ac.check(1), AdmissionDecision::Algebraic);
        assert_eq!(ac.check(40), AdmissionDecision::Algebraic);
    }

    #[test]
    fn test_admission_materialized() {
        let ac = AdmissionControl::new(40);
        assert_eq!(ac.check(41), AdmissionDecision::MaterializedLookup);
        assert_eq!(ac.check(1000), AdmissionDecision::MaterializedLookup);
    }

    #[test]
    fn test_admission_zero() {
        let ac = AdmissionControl::new(0);
        assert_eq!(ac.check(0), AdmissionDecision::Algebraic);
        assert_eq!(ac.check(1), AdmissionDecision::MaterializedLookup);
    }
}