aver/analysis/mod.rs
1//! Static-analysis tier — shared substrate over typed HIR, consumed
2//! by codegen (proof_lower, refinement detection, future inliner /
3//! monomorphizer) and by user-facing tooling (`aver shape` CLI / LSP
4//! / context).
5//!
6//! Pieces in this module are recognition-only: they take a typed HIR
7//! snapshot and emit typed facts / patterns / relations. They do not
8//! decide proof strategies, they do not render to text, they do not
9//! talk to backends. Those responsibilities live one layer up
10//! (`codegen::proof_lower` for meaning; `diagnostics::shape` for
11//! presentation).
12//!
13//! See issue #232 (0.23 "Shape") for the architectural plan and the
14//! peer-review notes that produced this split.
15
16pub mod shape;