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
37
38
39

//! Authoring-frame provenance carried on testimony assertions (M5).

use bincode::{Decode, Encode};
use serde::{Deserialize, Serialize};

use super::address::RevisionId;

/// Opaque frame identifier until M6 named durable frames land.
#[derive(
    Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize, Encode, Decode,
)]
pub struct FrameId(pub u64);

/// Frame the author was reading when an assertion was made.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize, Encode, Decode)]
pub struct AuthoringFrameProvenance {
    pub frame_id: FrameId,
    pub as_of: RevisionId,
}

/// Validation failures for authoring-frame provenance.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ProvenanceError {
    AsOfExceedsCommit { as_of: RevisionId, commit_ceiling: RevisionId },
}

impl std::fmt::Display for ProvenanceError {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            ProvenanceError::AsOfExceedsCommit {
                as_of,
                commit_ceiling,
            } => write!(
                f,
                "authoring frame as_of {as_of:?} exceeds commit ceiling {commit_ceiling:?}"
            ),
        }
    }
}