dent8-core 0.3.1

Core fact-event model and invariants for dent8.
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

//! Core domain model for dent8.
//!
//! The public model intentionally starts with fact events rather than memory
//! items. Materialized memory is a replayed projection of the event log.

pub mod anchor;
pub mod hash;
pub mod ids;
pub mod model;
pub mod policy;
pub mod state;

pub use anchor::{ChainAnchor, anchor_head, verify_anchor};
#[cfg(feature = "signed-anchor")]
pub use anchor::{SignedTreeHead, sign_head, verify_signed_head};
pub use hash::{CanonError, attestation_message, canonical_bytes, event_hash, hash_chain};
pub use ids::{ActorId, EvidenceId, FactEventId, FactId, IdError, SourceId, TimestampMillis};
pub use model::{
    AttestationAlgorithm, Authority, AuthorityLevel, CanonicalJson, ChallengeKind,
    ChallengeRejection, Confidence, ContradictionBasis, Evidence, EvidenceKind, ExpirationReason,
    FactEvent, FactEventKind, FactValue, Predicate, Provenance, RetractionReason, Subject,
    SupersessionReason, Ttl, ValidationError, WriteAttestation,
};
pub use policy::EpistemicPolicy;
pub use state::{FactLifecycle, FactState, TransitionError, apply_event};