Expand description
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.
Structs§
- Contradiction
- Reduction
Error - Verdict
- Verification
Batch - A small deterministic state machine; async orchestration owns no state rules.
Enums§
- Batch
State - Transport-independent lifecycle of a bounded verification batch.
- Completion
- Contradiction
Kind - Decision
Reason - Evidence
Tier - Strongest evidence class that supports a verdict.
- Verdict
Status - Deterministic, user-facing acquisition decision.
- Verification
Transition Error
Functions§
- reduce
- Reduces immutable observations without discarding provenance or disagreement.