The use cases and requirements document (https://httpslocal.github.io/usecases/) includes the requirements for local device discovery.