A Sobolev rough path extension theorem via regularity structuresChong Liu, David J. Prömel and Josef TeichmannESAIM: PS, 27 (2023) 136-155DOI: https://doi.org/10.1051/ps/2022016