As discussed upthread, the PERM process is widely understood to be a farce, so it wouldn’t be terribly surprising if the government has evidence of a Microsoft executive who wrote down that they didn’t want to replace a senior developer with 6 years of tenure. Everyone including JD Vance knows that’s a dumb outcome, but under the PERM regulations, you can only get that guy a visa if you tried and failed to replace him first.