//! # Epistemic Calculi
//!
//! Safe Rust transpilation of Aambø's categorical formalization of epistemic
//! uncertainty frameworks (arXiv:2603.04188), verified in Lean 4.
//!
//! Provenance: Lean 4 → Verified C → Safe Rust
//!
//! ## Modules
//!
//! - [`epistemic_calculus`]: Core typeclass (Definition 3.1)
//! - [`certainty_factors`]: CF carrier with multiplication fusion
//! - [`possibility_theory`]: PT carrier with min fusion
//! - [`bipolar_possibility`]: PTbi carrier with max/min fusion
//! - [`change_of_calculi`]: Conservative/liberal/balanced functors (Section 4)
//! - [`v_enriched`]: V-enriched categories (Section 4.1)
//! - [`bayesian_updating`]: Odds-form Bayesian updating (Section 4.2, Theorem 4.7)
//! - [`properties`]: No-go theorems (Theorems 3.6–3.8)

pub mod epistemic_calculus;
pub mod certainty_factors;
pub mod possibility_theory;
pub mod bipolar_possibility;
pub mod change_of_calculi;
pub mod v_enriched;
pub mod bayesian_updating;
pub mod properties;