compiler features / flow checker
✓ 6 passing ○ 1 planned
Lessons
1 ✓
Passing
001 unused binding error
2 ✓
Passing 002 discard binding ok
3 ○
Planned 003 interpolation use in for loop — KORU100 false positive: string interpolation reference not counted as binding use inside for loop body (post-transform AST loses interpolation→binding association)
4 ✓
Passing 005 reject void redundant terminator
5 ✓
Passing 006 reject branch payload unbound
6 ✓
Passing 007 reject continuation without branch handler
7 ✓
Passing 010 optional branch catchall required