synadb 1.3.0

An AI-native embedded database
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
90
91
92
93
94
95

//! Property-based tests for DecayPredictor.
//!
//! - Property 22: Predictor Convergence

#![cfg(feature = "davo")]

use proptest::prelude::*;
use synadb::davo::DecayPredictor;

// ── Property 22: Predictor Convergence ───────────────────────────────

proptest! {
    #![proptest_config(ProptestConfig::with_cases(200))]

    /// **Property 22: DecayPredictor Convergence**
    ///
    /// After 100 observations of a constant λ, the prediction should be
    /// within ±50% of the true value.
    #[test]
    fn prop_predictor_convergence(
        true_lambda in 0.001f32..1.0f32,
    ) {
        let mut predictor = DecayPredictor::new();

        for _ in 0..100 {
            predictor.observe(true_lambda);
        }

        let prediction = predictor.predict();
        let lower = true_lambda * 0.5;
        let upper = true_lambda * 1.5;

        prop_assert!(
            prediction >= lower && prediction <= upper,
            "After 100 observations of λ={}, prediction {} should be in [{}, {}]",
            true_lambda, prediction, lower, upper
        );
    }

    /// Uncertainty should decrease with more observations.
    #[test]
    fn prop_uncertainty_decreases(
        true_lambda in 0.001f32..1.0f32,
    ) {
        let mut predictor = DecayPredictor::new();

        // Warm up with 10 observations to establish a baseline
        for _ in 0..10 {
            predictor.observe(true_lambda);
        }
        let baseline_unc = predictor.uncertainty();

        // Add 90 more observations
        for _ in 0..90 {
            predictor.observe(true_lambda);
        }

        let final_unc = predictor.uncertainty();
        prop_assert!(
            final_unc < baseline_unc,
            "Uncertainty should decrease with more data: {} -> {}",
            baseline_unc, final_unc
        );
    }
}

// ── Property 26: Predictor Persistence Round-Trip ────────────────────

proptest! {
    #![proptest_config(ProptestConfig::with_cases(50))]

    /// **Property 26: DecayPredictor Persistence Round-Trip**
    ///
    /// Save → Load produces a predictor with identical prediction,
    /// uncertainty, and observation count.
    #[test]
    fn prop_predictor_persistence(
        observations in prop::collection::vec(0.0001f32..1.0f32, 1..100),
    ) {
        let mut original = DecayPredictor::new();
        for obs in &observations {
            original.observe(*obs);
        }

        let tmpdir = tempfile::tempdir().unwrap();
        let file = tmpdir.path().join("predictor.bin");

        original.save(&file).unwrap();
        let loaded = DecayPredictor::load(&file).unwrap();

        prop_assert!((loaded.predict() - original.predict()).abs() < 1e-6);
        prop_assert!((loaded.uncertainty() - original.uncertainty()).abs() < 1e-6);
        prop_assert_eq!(loaded.observations(), original.observations());
    }
}