Correct (if you mean to say that all errors apparently caused by lack of updating can also be framed as being caused by wrongly holding something fixed) for a sufficiently wide sense of not fixed. The fact that you are considering to replace odd results in counterfactual worlds with even results and not the other way round, or the fact that the utility of drawing a red ball is 1 and for a blue ball −2 in my example (did you get around to taking a look at it?) both have to be considered not fixed in that sense.
Basically in the terminology of this comment you can consider anything in X1 fixed and avoid the error I’m talking about by updating. Or you can avoid that error by not holding it fixed in the first place. The same holds for anything in X2 for which the decision will never have any consequences anywhere it’s not true (or at least all its implications fully carry over), though that’s obviously more dangerous (and has the side effect of splitting the agent into different versions in different environments).
The error you’re talking about (the very error which UDT is correction for) is holding something in X2 fixed and updating when it does have outside consequences. Sometimes the error will only manifest when you actually update and only holding fixed gives results equivalent to the correct ones.
The test to see whether it’s allowable to update on x is to check whether the update results in the same answers as an updateless analysis that does not hold x fixed. If an analysis with update on x and one that holds x fixed but does not update disagree the problem is not always with the analysis with update. In fact in all problems CDT and UDT agree (most boring problems) the version with update should be correct and the version that only holds fixed might not be.
This is the very error which UDT (at least, this aspect of it) is correction for.
That still doesn’t make it evidence for something different not being an error. (and formal UDT is not the only way to avoid that error)
Not updating never leads to errors. Holding fixed what isn’t can.
Correct (if you mean to say that all errors apparently caused by lack of updating can also be framed as being caused by wrongly holding something fixed) for a sufficiently wide sense of not fixed. The fact that you are considering to replace odd results in counterfactual worlds with even results and not the other way round, or the fact that the utility of drawing a red ball is 1 and for a blue ball −2 in my example (did you get around to taking a look at it?) both have to be considered not fixed in that sense.
Basically in the terminology of this comment you can consider anything in X1 fixed and avoid the error I’m talking about by updating. Or you can avoid that error by not holding it fixed in the first place. The same holds for anything in X2 for which the decision will never have any consequences anywhere it’s not true (or at least all its implications fully carry over), though that’s obviously more dangerous (and has the side effect of splitting the agent into different versions in different environments).
The error you’re talking about (the very error which UDT is correction for) is holding something in X2 fixed and updating when it does have outside consequences. Sometimes the error will only manifest when you actually update and only holding fixed gives results equivalent to the correct ones.
The test to see whether it’s allowable to update on x is to check whether the update results in the same answers as an updateless analysis that does not hold x fixed. If an analysis with update on x and one that holds x fixed but does not update disagree the problem is not always with the analysis with update. In fact in all problems CDT and UDT agree (most boring problems) the version with update should be correct and the version that only holds fixed might not be.