advanced features / obligation stress
✓ 8 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 — wrong-error
6 ✗
Failing 007 chain second err leaks first resource — wrong-error
7 ✗
Failing 020 instance ambiguous discharge — wrong-error
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 041 subflow opens and forgets — frontend
15 ✗
Failing 042 read file no free — must-fail-passed
16 ✗
Failing 043 read stdin no free — must-fail-passed
17 ✗
Failing 044 taint stripped at untyped param — frontend
18 ✓
Passing 045 taint stripped at echo boundary