Module analysis 

Semantic analysis pass over the parsed AST.

The parser produces a syntactic AST and catches structural errors. This module walks the AST to find semantic issues: undefined references, unused bindings, state-machine gaps, and migration hints.

Functions

analyse

Run structural checks plus process-level analysis (allium analyse). Returns diagnostics and typed findings with evidence.

analyze

Run structural checks on a parsed module (allium check). Returns line-level diagnostics only.