https://bornsql.ca/blog/dbcc-shrinkfile-filename-emptyfile-fully-logged/
Is DBCC SHRINKFILE (filename, EMPTYFILE) fully logged?