// Lean 4 → LambdaIR → MiniC → C → Rust
// Crate: padic-decoupling
// Module re-exports (8 modules)

pub mod valuation;
pub mod ultrametric_lightcone;
pub mod random_walk;
pub mod tripartite;
pub mod energy_conservation;
pub mod padic_rounding;
pub mod fixed_points;
pub mod gap_at_depth;