to be fair, these are important differences, so to some extent there is a binary at least in the definitions, if not the implementations: you could in principle verify core, linux, and graphene. you absolutely cannot verify a custodial lightning wallet.