Only 13 Finer...

By the looks of it, these were done quick and precise by someone who has done it many times before.

I would say the adjustment marks were done pre-strike. The clue on adjustment marks is that they may be strong on the devices such as on this piece, and will show crushing in the fields but will extend ALL THE WAY TO THE EDGE OF THE DEVICES. Under a glass it will be seen that the file marks were on the planchet first. The field areas of the die crush the file marks but they remain strong in the devices because of the lower pressure there. If the file marks are applied post mint they will scrape the devices, but the devices will protect the fields in close and any marks in the fields will not come all the way to the bases of the devices/lettering. (Unless the lettering is scraped away completely all the way down to the level of the field.)

If they did do adjustment post strike it would be indistinguishable from post mint damage and would be treated accordingly.