//! Assembly Theory — Verified Rust transpilation
//!
//! Machine-checked formalization of Assembly Theory (Walker, Cronin et al., 2024).
//! Transpiled from verified Lean 4 proofs via the CAB pipeline.

pub mod assembly_space;
pub mod assembly_index;
pub mod assembly_bounds;