bcx_model/truth.rs
1/// Truth status attached to explanation claims.
2#[derive(Clone, Copy, Debug, Eq, PartialEq)]
3pub enum TruthStatus {
4 /// A local component directly observed this fact.
5 Observed,
6 /// A participant declared this claim.
7 Declared,
8 /// A signature, capability, or proof validated for this claim.
9 Verified,
10 /// A named policy controlled this decision.
11 Enforced,
12 /// A verifier assessed runtime or hardware evidence.
13 Attested,
14 /// Another participant signed its view of the event.
15 Acknowledged,
16 /// An independent service recorded a commitment.
17 Witnessed,
18 /// No reliable evidence is available.
19 Unknown,
20}
21
22/// Assurance level for a causal edge or effect claim.
23#[derive(Clone, Copy, Debug, Eq, PartialEq, PartialOrd)]
24pub enum AssuranceLevel {
25 /// One participant claimed the edge.
26 ClaimedBySender,
27 /// The receiver observed the invocation.
28 ObservedByReceiver,
29 /// Sender and receiver cross-acknowledged the edge.
30 CrossAcknowledged,
31 /// The operation effect was confirmed by a responsible component.
32 EffectConfirmed,
33 /// An independent witness recorded a commitment.
34 IndependentlyWitnessed,
35}