advanced features / obligation stress
✓ 10 passing ✗ 10 failing
Lessons
1 ✓
Passing
002 if else discharges then drops
2 ✓
Passing 003 if then discharges else drops strict
3 ✓
Passing 004 loop body discharges outer
4 ✓
Passing 005 nested loop inner discharges outer
5 ✗
Failing 006 err branch leaks opened resource — frontend
6 ✗
Failing 007 chain second err leaks first resource — frontend
7 ✗
Failing 020 instance ambiguous discharge — must-fail-passed
8 ✗
Failing 021 instance no explicit free — must-fail-passed
9 ✗
Failing 022 disconnect before commit — frontend
10 ✗
Failing 023 disconnect before rollback — frontend
11 ✓
Passing 024 stale view after take
12 ✓
Passing 025 stale tx after commit
13 ✓
Passing 040 subflow drops obligation on input
14 ✗
Failing 042 read file no free — must-fail-passed
15 ✗
Failing 043 read stdin no free — must-fail-passed
16 ✗
Failing 044 taint stripped at untyped param — frontend
17 ✓
Passing 045 taint stripped at echo boundary
18 ✗
Failing 046 continuation after borrow drops obligation — frontend
19 ✓
Passing 050 auto discharge lifo order
20 ✓
Passing 051 explicit then auto discharge