axiom-static-analysis-engineering

Building static analyzers as engines: AST visitation patterns, taint-lattice (abstract-domain) design with monotonicity and finite height, three-phase inference (variable → function → callgraph) with termination proofs, plugin architecture for rules, false-positive economics with auditable suppression lifecycle, the static-vs-runtime boundary, callgraph construction (resolution rungs, dynamic features), cross-module flow with stub libraries, decorator-as-assertion (runtime + static dual enforcement), manifest-driven configuration with coherence validation, SARIF / CI integration, incremental analysis at scale, and LLM-assisted finding explanations as a pattern. v0.2 ships router + 13 sheets, 3 commands (/scaffold-analyzer, /design-tier-model, /design-rule-set), 2 agents (rule-designer, false-positive-analyst). Pattern pack — applies wherever you build an analyzer (linting, taint, contracts, governance, entity extraction).