Preserve the source-side membership registry, not only downstream overlap flags
General lesson: a downstream zero-overlap boolean table is not a recoverable source-membership registry. It can prove non-membership only for the rows that were tested; it cannot reconstruct the source cohort, support a later comparison against a different heldout set, or justify…