asupersync 0.3.1

Spec-first, cancel-correct, capability-secure async runtime for Rust.
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
36
37

//! Distributed tracing infrastructure.
//!
//! This module provides:
//!
//! - **Trace identifiers and context** (`id`, `context`, `span`, `collector`):
//!   W3C-compatible trace IDs, symbol-level span recording, and in-process collection.
//! - **Vector clocks** (`vclock`): Causal ordering for distributed events.
//!   Events are partially ordered: concurrent events remain unordered.
//! - **Convergent state lattice** (`lattice`): Join-semilattice for obligation
//!   and lease state that converges across replicas via CRDT-style merge.
//! - **CRDTs** (`crdt`): Standard convergent replicated data types —
//!   GCounter, PNCounter, LWWRegister, ORSet, MVRegister.

pub mod collector;
pub mod context;
pub mod crdt;
pub mod id;
pub mod lattice;
pub mod sheaf;
pub mod span;
pub mod vclock;

pub use collector::{SymbolTraceCollector, TraceRecord, TraceSummary};
pub use context::{RegionTag, SymbolTraceContext, TraceFlags};
pub use crdt::{GCounter, LWWRegister, MVRegister, Merge, ORSet, PNCounter};
pub use id::{SymbolSpanId, TraceId};
pub use lattice::{LatticeState, LeaseLatticeState, ObligationEntry, ObligationLattice};
pub use sheaf::{
    ConsistencyReport, ConstraintViolation, NodeSnapshot, PhantomState, SagaConsistencyChecker,
    SagaConstraint,
};
pub use span::{SymbolSpan, SymbolSpanKind, SymbolSpanStatus};
pub use vclock::{
    CausalEvent, CausalOrder, CausalTracker, HybridClock, HybridTime, LamportClock, LamportTime,
    LogicalClock, LogicalClockHandle, LogicalClockKind, LogicalClockMode, LogicalTime, VectorClock,
    VectorClockHandle,
};