When considering an embedder $F$, in universe $U$, in response to which SADT picks policy $\pi$, I would be tempted to apply the following coherence condition:

$$E\left[F\right(\pi \left)\right]=E\left[F\right(DDT\left)\right]=E\left[U\right]$$

(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.

By censoring I mean a specific technique for forcing the consistency of a possibly inconsistent set of axioms.

Suppose you have a set of deduction rules $D$ over a language $\ell$. You can construct a function $f_D:P\left(\ell \right)\to P\left(\ell \right)$ that takes a set of sentences $S$ and outputs all the sentences that can be proved in one step using $D$ and the sentences in $S$. You can also construct a censored $f_D^{\prime }$ by letting $f_D^{\prime }\left(S\right)=\{\varphi |\varphi \in f_D(S)\wedge \neg \varphi \notin S\}$.