Last released Aug 28, 2026
Executable assumptions for coding agents: record what your code depends on, get told when it stops being true.