If this person leaves

For one product at a time: which open bugs and pull requests would lose their only recorded owner, and which other open work depends on them.

Computed by GRAPH.COPY of the product graph, removing the person in the copy, and diffing; checked against an independent Python computation on every lead. The lists here come from that Python computation on a read-only export of the graph, which matched the copy-and-diff result with 0 mismatches for every lead on both FalkorDB versions (whatif_check.json).