runtime features / budgeted interpreter
✓ 6 passing ○ 1 planned
Lessons
1 ✓
Passing
001 basic budget tracking
2 ✓
Passing 002 budget exhaustion
3 ✓
Passing 003 handle pool tracking
4 ✓
Passing 004 auto discharge
5 ✓
Passing 005 exhaustion with handles
6 ✓
Passing 006 identity branch phantom
7 ○
Planned 010 shape contract — Parked: the emitted Zig for this shape-contract program does not compile