Yes, this is a specific way of doing policy-dependent source code, which minimizes how much the source code has to change to handle the counterfactual.
Haven’t looked deeply into the paper yet but the basic idea seems sound.
If the agent is ‘caused’ then in order for its source code to be different, something about the process that produced it must be different. (I haven’t seen this addressed.)
Yes, this is a specific way of doing policy-dependent source code, which minimizes how much the source code has to change to handle the counterfactual.
Haven’t looked deeply into the paper yet but the basic idea seems sound.
If the agent is ‘caused’ then in order for its source code to be different, something about the process that produced it must be different. (I haven’t seen this addressed.)