bcx-model 0.4.0

BCX causal operation model types.
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

/// Truth status attached to explanation claims.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum TruthStatus {
    /// A local component directly observed this fact.
    Observed,
    /// A participant declared this claim.
    Declared,
    /// A signature, capability, or proof validated for this claim.
    Verified,
    /// A named policy controlled this decision.
    Enforced,
    /// A verifier assessed runtime or hardware evidence.
    Attested,
    /// Another participant signed its view of the event.
    Acknowledged,
    /// An independent service recorded a commitment.
    Witnessed,
    /// No reliable evidence is available.
    Unknown,
}

/// Assurance level for a causal edge or effect claim.
#[derive(Clone, Copy, Debug, Eq, PartialEq, PartialOrd)]
pub enum AssuranceLevel {
    /// One participant claimed the edge.
    ClaimedBySender,
    /// The receiver observed the invocation.
    ObservedByReceiver,
    /// Sender and receiver cross-acknowledged the edge.
    CrossAcknowledged,
    /// The operation effect was confirmed by a responsible component.
    EffectConfirmed,
    /// An independent witness recorded a commitment.
    IndependentlyWitnessed,
}