## Problem ## Change ## Where it reproduces ## Proof ## Checks run - [ ] `python tools/check_content.py --staged` - [ ] `totk.exe --selftest` ## Measurements ## Not run