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.