When considering an embedder F, in universe U, in response to which SADT picks policy π, I would be tempted to apply the following coherence condition:
E[F(π)]=E[F(DDT)]=E[U]
(all approximately of course)
I’m not sure if this would work though.
This is definitely a necessary condition for reasonable counterfactuals, but not obviously sufficient.
When considering an embedder F, in universe U, in response to which SADT picks policy π, I would be tempted to apply the following coherence condition:
E[F(π)]=E[F(DDT)]=E[U]
(all approximately of course)
I’m not sure if this would work though. This is definitely a necessary condition for reasonable counterfactuals, but not obviously sufficient.