//! tau-epoch-discovery-ii -- Safe Rust implementation of Al-Mayahi's tau-Epoch framework.
//!
//! 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
//!
//! - [`tau_epoch_stats`] -- Weighted mean, chi-squared, Birge ratio, Spearman/Pearson,
//!   binomial sign test, linear regression
//! - [`tau_epoch_domain_data`] -- Six-domain empirical datasets (Tables 2-7)
//! - [`tau_epoch_predictions`] -- Pre-registered prediction status computation
//!
//! # Usage
//!
//! ```rust
//! use tau_epoch_discovery_ii::tau_epoch_stats::{pearson, spearman, weighted_mean};
//! use tau_epoch_discovery_ii::tau_epoch_domain_data::H0_ENSEMBLE;
//! use tau_epoch_discovery_ii::tau_epoch_predictions::PredictionStatus;
//! ```

pub mod tau_epoch_stats;
pub mod tau_epoch_domain_data;
pub mod tau_epoch_predictions;