1 2 3 4 5 6 7
//! Domain nouns: substantive types representing oracle and gate concepts. //! //! AC3 & AC6: Evidence gate, oracle verdict, and verdict accumulation. pub mod gate; pub use gate::{EvidenceGate, GateReport, OracleGateVerdict, OracleVerdict, VerdictSummary};