control flow

✓ 57 passing ✗ 1 failing ○ 5 planned

Lessons

1 ✓ Passing
051 expand stdlib wrap
2 ✓ Passing
052 expand with continuations
3 ✓ Passing
056 expand basic
4 ○ Planned
061 auto thread pipeline — DESIGN EXPLORATION - STATUS: UGLY / UNCERTAIN
5 ✓ Passing
095 recursive value event
6 ✓ Passing
096 if value return subflow
7 ✓ Passing
097 if nested step under return switch
8 ○ Planned
099 sequential for phases under capture — OWED: sequential for-phases under a capture compile and run in order.
9 ✓ Passing
102 captured cross field snapshot
10 ○ Planned
120 expand long path overflow KNOWN BUG — Stack-buffer overflow in [expand] template-expansion path: four unguarded @memcpy sites into fixed [256]u8 buffers in transform_pass_runner.zig's handleExpandIfMatches (see input.kz for exact lines and the fix). Parked because [expand] is the legacy template mechanism, superseded by inline |template| procs.
11 ✓ Passing
121 tail self loop parallel assign
12 ✓ Passing
122 tail self loop parallel assign multiarg
13 ✓ Passing
123 mutual tail loop crossref reargs
14 ✓ Passing
124 multibind produce tree recursion
15 ✓ Passing
125 nested if arm produce
16 ✓ Passing
126 capture as discard binding
17 ✓ Passing
127 nested call argument
18 ✓ Passing
128 call in if condition
19 ✓ Passing
129 call in produce expression
20 ✓ Passing
130 call in captured field
21 ✓ Passing
131 call in for bound
22 ○ Planned
132 else arm keyword escape selfloop — OWED: else-arm keyword-escape self-loop compiles (the pinned shape).
23 ✓ Passing
133 cond guarded dispatch
24 ✓ Passing
134 cond binder in produce
25 ✓ Passing
135 cond destructure scrutinee
26 ✓ Passing
136 captured bare positional footgun
27 ✓ Passing
137 cond constructs named branches
28 ✓ Passing
138 cond arms are exclusive
29 ✓ Passing
139 for stops at its keep condition
30 ✓ Passing
140 string equality if dispatch
31 ✓ Passing
141 cond string guard dispatch
32 ✓ Passing
142 when guard string payload
33 ✓ Passing
143 if then required
34 ✓ Passing
144 modulo if dispatch
35 ✓ Passing
145 when guard modulo payload
36 ✓ Passing
146 body modulo signed
37 ✓ Passing
147 optional string equality
38 ✓ Passing
148 flat segments chained recursion
39 ✓ Passing
149 combining recursion stays native
40 ✓ Passing
150 self call under foreign arm loop label
41 ✓ Passing
151 supervised retry label fold
42 ✓ Passing
152 when group discard binding drops capture
43 ✓ Passing
153 supervised transform retry
44 ✓ Passing
154 supervised transform payload args
45 ✓ Passing
155 supervised arm policy rules
46 ✓ Passing
156 supervised retry requires bound
47 ✓ Passing
157 supervised within spacing
48 ✓ Passing
158 supervised within ticks refuses
49 ✓ Passing
159 supervised within allows spaced restarts
50 ✓ Passing
160 supervised declaration arm refuses
51 ✓ Passing
161 supervised restart within compose
52 ✓ Passing
162 supervised policy delegation
53 ✓ Passing
163 supervised policy missing refuses
54 ✓ Passing
164 supervised policy requires counter
55 ✓ Passing
165 supervised policy within compose
56 ✓ Passing
166 supervised void branch
57 ✓ Passing
167 supervised void branch binding refuses
58 ✓ Passing
168 supervised explain reports
59 ✓ Passing
169 supervised arm destructure refuses
60 ○ Planned
170 enclosing arm fold plain tors — OWED: enclosing-arm claim over plain declared tors — the semantic isolated from the transform-ordering boundary. An unhandled branch resolves outward to the nearest compatible same-named arm.
61 ✗ Failing
171 if no else under midchain fold — output
62 ✓ Passing
174 loopvar in complex capture array write
63 ✓ Passing
175 namespaced call in produce