# early/ = pattern-based multi-instruction rewrites expressed with AST patterns
# peephole/ = single-instruction canonicalisation & micro-optimisations
# analysis/, z3/, … = non-mutating helpers or heavyweight reasoning passes
# flow/ = control-flow-oriented transformations (flattening, opaque jumps, …)
