Negative membership requires complete identifiers
A failed identifier lookup proves disagreement only when the relevant source set has complete identifiers. If even one same-category row lacks its identifier, that row may be the requested record: return unknown unless a positively identified same-category match establishes the c…