fix(SW024): skip non-zero const divisors (incl. casts) - #2

Merged

AtoMicKraK1n merged 3 commits into

mainfrom

fix/sw024-const-divisors

Jul 27, 2026

Commits on Jul 25, 2026

fix(SW024): skip non-zero const divisors (incl. casts)
AtoMicKraK1n
committed
3546428
all the checks should pass
AtoMicKraK1n
committed
b609ab0

Commits on Jul 27, 2026

fix: SW027 msg! sink; SW002 identity-only; document AST/ZK limits
AtoMicKraK1n
committed
311f209