We indeed make the assumption of a superpopulation (you can definitely argue that’s not always relevant). Under that framework, we recommend using the variance estimator in the paper of Ting Ye er al (paper you mentioned earlier). This variance estimator is based on the efficient influence function.
