//! Verification provenance for declared algebraic laws.
/// Re-export of [`vyre_spec::Verification`] and [`vyre_spec::FloatType`] —
/// the evidence level that backs a claimed law (exhaustive on u8, witnessed on
/// u32, approximate for floats, etc.).
pub use vyre_spec::{FloatType, Verification};