On reflection, your conclusion is obviously right: playing PD against Honorbot is simply playing Newcomb’s Dilemma, so TDT cooperates.
I was misled by the recent realization that TDT doesn’t actually work out to “I cooperate iff (you will cooperate iff I cooperate)”.
On reflection, your conclusion is obviously right: playing PD against Honorbot is simply playing Newcomb’s Dilemma, so TDT cooperates.
I was misled by the recent realization that TDT doesn’t actually work out to “I cooperate iff (you will cooperate iff I cooperate)”.