statwitness - Model-Aware Validation and Audit Certificates for Statistical Analyses

Provides model-aware behavioral validation and audit certificates for statistical analyses. Controlled transformations and model-specific diagnostic checks are organized across five domains: computational integrity, numerical stability, design adequacy, assumption screening, and influence stability. Supported workflows include linear models, generalized linear models, classical and repeated-measures analyses of variance, mixed-effects models fitted using 'lme4' or 'glmmTMB', and survival models fitted using 'survival'. Checks are selected according to registered applicability conditions for each model class. The resulting certificates describe computational behavior and selected diagnostic findings; they do not establish causal validity, model correctness, or scientific appropriateness.