//! Nucleus Grafting: Verified quantization-aware neural network compression
//! Provenance: Lean 4 → Safe Rust transpilation

pub mod types;
pub mod discrete_lattice;
pub mod boundary_connection;
pub mod certificate;