Which saved device is currently picked as the run target — deliberately transient and per-tab, never persisted, since a device's token is a per-browser secret; unset means a driver target (this machine or GitHub Actions) is selected.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
