dnspls-engine 0.1.0

//! Deterministic evidence reduction and verification orchestration.
//!
//! The engine is synchronous and transport-independent. Network adapters emit
//! evidence; this crate owns the state transitions and truth reduction.

pub use dnspls_core::{
    BatchState, Completion, Contradiction, ContradictionKind, DecisionReason, EvidenceTier,
    ReductionError, Verdict, VerdictStatus, VerificationBatch, VerificationTransitionError, reduce,
};