Demand his tax return and see if there is a W-2 from the CIA. That would answer the question
Probably a 1099.
CIA doesn’t get W-2’s that say that they’re employed by the CIA.
It’s usually shell corporations or from whatever government agency that handles payroll and such (Office of Personnel Management?)