tacet_core/analysis/
mod.rs

1//! Statistical analysis layers for timing leak detection.
2//!
3//! This module implements the statistical analysis framework (spec §3-5):
4//!
5//! - **Bayesian inference** (`bayes`): Posterior probability of timing leak
6//! - **Effect estimation** (`effect`): Max effect and top quantile computation
7//! - **MDE estimation** (`mde`): Minimum detectable effect for power analysis
8
9pub mod bayes;
10pub mod effect;
11pub mod gibbs;
12pub mod mde;
13
14pub use bayes::{compute_bayes_gibbs, compute_max_effect_ci, BayesResult, MaxEffectCI};
15pub use effect::{
16    compute_effect_estimate, compute_effect_estimate_analytical, compute_top_quantiles,
17    regularize_covariance,
18};
19pub use gibbs::{run_gibbs_inference, GibbsResult, NU, N_BURN, N_GIBBS, N_KEEP};
20pub use mde::{analytical_mde, estimate_mde, MdeEstimate};
tacet_core/analysis/mod.rs

tacet_core/analysis/
mod.rs
