stdlib / trellis
✓ 5 passing ○ 2 planned
Lessons
1 ✓
Passing
001 trellis enforce conforming
2 ✓
Passing 002 trellis pairwise outside init
3 ✓
Passing 003 trellis check categorize
4 ○
Planned 010 trellis census per flow — OWED: std/trellis:census reports per-flow membership, not one whole-program verdict.
5 ○
Planned 011 trellis variant guard — OWED: std/trellis:guard refuses a variant request that fails the bound trellis.
6 ✓
Passing 012 trellis kernel chain conforming
7 ✓
Passing 013 trellis kernel chain illegal depth