Chore/better lint rules v3#122

Merged

henri318 merged 10 commits into

mainfrom

chore/better_lint_rules_v3

Jul 7, 2026

Commits on Jul 6, 2026

firs -fix applied
Developer
committed

Commits on Jul 7, 2026

2nd round applied
Developer
committed
--fix
Developer
committed
refactor compostion root
Developer
committed
last changes
Developer
committed
fix typecheck
Developer
committed
typecheck fix
Developer
committed
typecheck fix
Developer
committed
test fix
Developer
committed
test fix
Developer
committed