Hope so.
From what I read, it sounded like he had told you he was going to lap the lugs.
Unless you used a 90 degree pick, and poked around on the back side of the lug abutments there's no way whatever you did would have "damaged" them.
Even if you scratched them- that's no reason to lap the lugs and eff up your headspace. A few light surface scratches will in no way affect function. Fine to "clean" them up if needed- but you're talking about a factory rifle here. You may have less than optimal lug contact from the factory. Trying to "correct" that now- if it means taking a couple of thousandths off the lugs will change your headspace.
Just saying that lapping lugs is not inconsequential. If he laps a few thousandths off, you've increased headspace by that much- and reduced your primary extraction as well.
More than that, it's setback/deepen the chamber. Just suggesting, you might tell him to contact you to discuss "why" before he laps the lugs to any extent that will measurably increase headspace.
Just thoughts from an 07 smith...