advanced features / optional branches

✓ 17 passing ○ 1 planned

Lessons

1 ✓ Passing
001 basic residual
2 ✓ Passing
002 explicit plus residual
3 ✓ Passing
003 ignored no residual
4 ✓ Passing
004 shape error
5 ✓ Passing
005 all optional
6 ✓ Passing
006 api evolution
7 ✓ Passing
007 when guards
8 ○ Planned
008 event pump — BUG: Label jump @loop(iteration: iteration + 1) fails — 'iteration' not in scope.
9 ✓ Passing
009 no handler silent
10 ✓ Passing
010 residual audit binding
11 ✓ Passing
011 residual inside event body
12 ✓ Passing
012 declined panic branch inside an arm
13 ✓ Passing
013 residual does not cover required
14 ✓ Passing
014 panic arm survives residual
15 ✓ Passing
015 residual pure effect refused
16 ✓ Passing
016 residual bare return refused
17 ✓ Passing
017 audit catchall refused
18 ✓ Passing
018 callsite catchall refused