Covers that the device health-check maps each saved device to whether it answered — down and unreachable both read as not answering — and silently drops malformed entries.

## Before writing SPEC.md files

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