compiler features / flow checker
✓ 8 passing ✗ 3 failing ○ 1 planned
Lessons
1 ✗
Failing
009 unused binding error — error-output
2 ✓
Passing 011 discard binding ok
3 ○
Planned 012 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 014 reject underscore outside branch handler
5 ✗
Failing 015 reject branch payload unbound — backend-exec
6 ✗
Failing 016 reject continuation without branch handler — error-output
7 ✓
Passing 017 effect branch multiline chain
8 ✓
Passing 018 optional effect noop discard banned
9 ✓
Passing 019 optional effect multi guard no else
10 ✓
Passing 020 flowhead multiline chain
11 ✓
Passing 024 obligation branch multiline chain
12 ✓
Passing 025 err hoist wrong type