Remember the topic is *reductive* agency. The parents and the kinapper are all made of atoms. For our purposes, they’re deterministic. They will, in fact, only take one of the “possible” actions. The other actions are counterfactual.
I don’t think you are using the standard definition of a counterfactual. Future possibilities are never counterfactual. Unless MIRI has its own non-standard definition.
Remember the topic is *reductive* agency. The parents and the kinapper are all made of atoms. For our purposes, they’re deterministic. They will, in fact, only take one of the “possible” actions. The other actions are counterfactual.
I don’t think you are using the standard definition of a counterfactual. Future possibilities are never counterfactual. Unless MIRI has its own non-standard definition.