Myth 2: The men and women who work for the CIA are spies and agents
Citizens who work for the CIA are officers – not agents or spies. All employees, from operations officers, to analysts, to librarians and public affairs, are considered CIA officers.
So, who is a CIA agent? Our operations officers recruit well-placed human assets with access to information. These spies are agents. They provide critical information about their country to help America. Operations officers are CIA employees who spot, recruit, and handle foreign agents. They are experts in understanding human nature, emotions, intentions, and motivations.
https://www.cia.gov/news-information/featured-story-archive/...
That doesn't mean they'll just let him leave.
> definition you quoted doesn’t fit him being an agent.
A foreign asset is an agent. FBI calls their employees "agents", the intel community does not.