True, but he might take precautions against them "just in case," or if he is familiar with them, he might even be able to put two and two together from observations, such as why there were two agent programs when there was only one persona belonging to a user and decks can only run one agent. There are many explanations for that (for some reason a decker - or two, assuming she isn't a decker - sent their agent along but did not accompany them), but if he is familiar with Technos, that would likely rank high on his list of possibilities. Doc did fail to check if Jager had a sleaze rating, or if any of her stats differed from the DR, so we don't know if she was forming her persona on a deck or a commlink, which might have made the presence of not one, but two agent programs even more suspicious.