feat(sema): add core semantic checks - #16

Merged

ofabiodev merged 12 commits into

mainfrom

add-core-semantic-checks

Aug 2, 2026

Commits on Jul 29, 2026

feat(sema): add core semantic checks
ofabiodev
committed
a4dbb67
test(sema): cover core semantic checks
ofabiodev
committed
4d9e475
fix(sema): enforce semantic edge cases
ofabiodev
committed
9ffacbe
test(sema): cover semantic regressions
ofabiodev
committed
f2c930e
fix(sema): harden scopes and global paths
ofabiodev
committed
fc34dea
test(sema): cover scope and global path regressions
ofabiodev
committed
c565ad9
fix(sema): stabilize cyclic globals and range flow
ofabiodev
committed
ee61ae2
test(sema): cover cyclic and indexed edge cases
ofabiodev
committed
a0280eb
fix(sema): close inference and fixpoint gaps
ofabiodev
committed
86240de
test(sema): cover final semantic edge cases
ofabiodev
committed
7f853b6
fix(sema): enforce runtime global flow
ofabiodev
committed
4c7e8c0
test(sema): cover runtime global flow
ofabiodev
committed
e786eb1