As an aside, I think of FDT as being roughly in the same category: well-defined in Newcomb’s problem and with exact duplicates, but reliant on vague intuitions to generalise to anything else.
FDT was made rigorous byinfra-Bayesianism, at least in the pseudocausal case.
FDT was made rigorous by infra-Bayesianism, at least in the pseudocausal case.