and in some cases I expect that TDT should be designed so that it won't unconditionally cooperate with other TDTs, picking other mixed strategies on the Pareto frontier instead.

I assume you are not expecting these cases to include the simple one shot prisoner's dilemma with full code access? I would be skeptical.