Skip to main content

dnspls_engine/
lib.rs

1//! Deterministic evidence reduction and verification orchestration.
2//!
3//! The engine is synchronous and transport-independent. Network adapters emit
4//! evidence; this crate owns the state transitions and truth reduction.
5
6pub use dnspls_core::{
7    BatchState, Completion, Contradiction, ContradictionKind, DecisionReason, EvidenceTier,
8    ReductionError, Verdict, VerdictStatus, VerificationBatch, VerificationTransitionError, reduce,
9};