//! Magmatic Universe (Tzouvaras) — Verified Rust Transpilation
//!
//! Provenance: Lean 4 → LambdaIR → Safe Rust
//! Source: HeytingLean.Magma (22 modules, 30+ theorems, 0 sorry)

pub mod atoms;
pub mod hierarchy;
pub mod lower_topology;
pub mod ordered_pair;
pub mod separation;
pub mod nucleus_bridge;
pub mod numbers;