Leaving "magic" as a pretheoretic pointer doesn't get you unbiased results, it makes your question incoherent. You have to tell me what you mean by "magic" before I can attempt an answer.
If you leave it to me, then I will define magic as "Humans doing things that violate the laws of physics as we know them", in which case the answer is trivially "No, TDT/FDT do not imply that magic is real."
TDT and FDT don't state any propositions, they prescribe behaviours. So they could only "imply magic is real" in three ways that I can see.
I am not an expert on either TDT or FDT, and my understanding is that neither is actually well enough defined to be very sure about exactly what they require or presuppose, but I am fairly sure that neither 1 nor 3 is the case.
2 might be; e.g., allegedly TDT/FDT one-boxes on Newcomb, and you might say "one-boxing on Newcomb implies believing in causation that reaches backwards through time, and that would be magic". (Maybe this is a bad example; to my mind, the thing in Newcomb that kinda-implies backward causation is the original setup, not any particular decision. Perhaps something involving "acausal trade" or basilisks is a better example, but I don't understand those well enough to be sure.) But I don't think this sort of thing justifies TDT/FDT practitioners if they say that magic is real, nor justifies other people if they say TDT/FDT practitioners think magic is real. If you follow FDT, and reckon it tells you to one-box on Newcomb, and then do so when actually confronted with a Newcomb-like situation, at no point does your thought process involve contemplating anything I would regard as "magic".
"Magic" is the part of a system that you don't have a gears level understanding of.
https://www.lesswrong.com/posts/kpRSCH7ALLcb6ucWM/say-not-complexity https://www.lesswrong.com/posts/B7P97C27rvHPz3s9B/gears-in-understanding
What do your acronyms mean?
I want to gauge opinions.
Do you think TDT/FDT imply magic is real? Do you think magic is real?
Feel free to define magic, but I'd like to leave it at that simple pretheoretic pointer in order not to bias the results.