# dnspls-engine
Deterministic evidence reduction and verification orchestration for DNSpls.
The crate exposes the truth reducer and closed verification-batch state machine
without depending on an async runtime, provider SDK, storage system, or MCP
transport.