tacet_core/analysis/
mod.rs

1//! Statistical analysis layers for timing leak detection.
2//!
3//! This module implements the statistical analysis framework (spec §3):
4//!
5//! - **Bayesian inference** (`bayes`): Posterior probability of timing leak
6//! - **Effect decomposition** (`effect`): Separates uniform shift from tail effects
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::{
15    build_design_matrix, compute_2d_projection, compute_bayes_gibbs, compute_max_effect_ci,
16    compute_quantile_exceedances, BayesResult, MaxEffectCI,
17};
18pub use effect::{classify_pattern, decompose_effect, EffectDecomposition, EffectEstimate};
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
