If a Stripe employee has $100,000 worth of RSUs and leaves Stripe now, what happens to their RSUs? Stripe has double-trigger RSUs which won't vest until after

If a Stripe employee has $100,000 worth of RSUs and leaves Stripe now, what happens to their RSUs? Stripe has double-trigger RSUs which won't vest until after IPO. Do they get to keep these RSUs until after the IPO + lockup period, even though they're not employed at Stripe anymore? (Is there another name for RSUs owned by someone not employed by a company anymore? e.g. unvested shares?)