Covers the device dots: a reachable device reads online, an unreachable one offline, the device's address and token are handed to the daemon for the check, and with no saved devices nothing is checked.

## Before writing SPEC.md files

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