infinite-db 0.4.0

A spatial-graph database using n-dimensional curves and hyperedges for engineering logic.
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

//! Frame query request types (M6).

use std::collections::BTreeMap;

use super::{
    address::{DimensionVector, RevisionId, SpaceId},
    hlc::SessionId,
    provenance::FrameId,
};

/// Per-session stable revision pin for frame queries (Phase 5).
pub type FrameVersionPin = BTreeMap<SessionId, RevisionId>;

/// Options controlling frame query behavior.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
pub struct FrameQueryOptions {
    /// Skip assertion delta merge on incidence paths (bounded staleness, M4 contract).
    pub index_only: bool,
    /// Attach `StalenessDiagnosis` per resolved hyperedge.
    pub include_diagnosis: bool,
    /// Return suppressed edges with `suppressed: true` for audit.
    pub include_suppressed: bool,
}

/// Spatial frame query over hyperedge testimony.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct FrameQuery {
    pub frame_id: FrameId,
    pub testimony_space: SpaceId,
    pub min: DimensionVector,
    pub max: DimensionVector,
    pub as_of: Option<RevisionId>,
    /// Per-session stable ceilings; when set, overrides scalar `as_of` (Phase 5).
    pub version_vector: Option<FrameVersionPin>,
    pub options: FrameQueryOptions,
}