unattestedPeerIsAbsentFromRoster
An admitted-but-unattested peer (a null principal) is absent from the roster — never a null entry. Verified non-vacuously: an attested peer admitted the same way is present.
An admitted-but-unattested peer (a null principal) is absent from the roster — never a null entry. Verified non-vacuously: an attested peer admitted the same way is present.