| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Say what the screen showed of a value, and what Vega now keeps from acting ↵ | eunhhu | 2026-09-30 | 1 | -2/+21 |
| | | | | | (015, 108) | ||||
| * | Say what a value means at each boundary, and what checking it found (015, 108) | eunhhu | 2026-09-30 | 1 | -0/+45 |
| | | |||||
| * | Say what pinning a value across every boundary checks, before writing the ↵ | eunhhu | 2026-09-30 | 1 | -0/+37 |
| check (108) | |||||
