candidate
Every mention type name this policy could match under diff, which is what a bounded sweep asks its store for.
It is read off exactly the same lossySignals the evaluation uses, so the two can't drift apart: a name that would quarantine a proposition is a name a sweep asks for. Both spellings of every name are here, since a graph writes the simple label for a fully qualified declaration and a sweep must ask for what the store actually holds.