//! hybrid_zeckendorf — Safe Rust implementation of Veselov's Hybrid Zeckendorf number system.
//!
//! This crate is a verified transpilation from CAB-certified C, which was itself
//! extracted from kernel-checked Lean 4 proofs.
//!
//! Provenance chain: Lean 4 → LambdaIR → MiniC → C → Rust
//!
//! # Modules
//!
//! - [`hybrid_zeckendorf_weight`] — Super-exponential weight hierarchy
//! - [`hybrid_zeckendorf_fib`] — Fibonacci helpers and lazy payload evaluation
//! - [`hybrid_zeckendorf_eval`] — Core types, evaluation, Zeckendorf encoding
//! - [`hybrid_zeckendorf_add`] — Lazy and canonical addition
//! - [`hybrid_zeckendorf_normalize`] — Two-stage normalization (intra + inter-level)
//! - [`hybrid_zeckendorf_multiply`] — Structural multiplication, halving/doubling, density
//!
//! # Usage
//!
//! ```rust
//! use hybrid_zeckendorf::hybrid_zeckendorf_eval::{from_nat, eval};
//! use hybrid_zeckendorf::hybrid_zeckendorf_add::add;
//! use hybrid_zeckendorf::hybrid_zeckendorf_multiply::multiply;
//!
//! let a = from_nat(42);
//! let b = from_nat(100);
//! assert_eq!(eval(&add(&a, &b)), 142);
//! assert_eq!(eval(&multiply(&a, &b)), 4200);
//! ```

pub mod hybrid_zeckendorf_weight;
pub mod hybrid_zeckendorf_fib;
pub mod hybrid_zeckendorf_eval;
pub mod hybrid_zeckendorf_add;
pub mod hybrid_zeckendorf_normalize;
pub mod hybrid_zeckendorf_multiply;