Local-first ledger for hardware security keys: which key is registered where, and what breaks if one is lost.