@yudapearl I’m concerned that accepting “RCTs are causal by design” without qualification underplays the role of SCM and my goal of its incorporation into CONSORT.
Randomization identifies P(Y | do(T), S=1), but it does not ensure that S=1 defines a stable causal target. Interrogating the selection mechanism with SCM seems essential at the design stage to distinguish cause-isolating designs from mixture-inducing ones and to assess transportability.
Progress on RCT design and reporting reform will likely be delayed unless the causal inference community engages with this issue.
The emerging recognition of the third-layer estimand provides a natural entry point for SCM to inform trial design and ensure that estimands correspond to stable, transportable causal targets.
The causal community should seek to understand “Layer Error” and the generation of synthetic data generating processes.
I agree with almost all claims of this paper, with the exception of this: "Practitioners of causal calculus propose that it to be a necessary ingredient of virtually every causal inference including that from tightly controlled randomized studies." All CI practitioners that I've met would agree that if we have a well conducted Randomized study, you can get causal effects directly from the experiment -- no need for causal calculus. Such needs surface when you want to do more than just find one causal effect. For example, suppose you want to combine findings of two randomized studies, conducted on different variables and perhaps diverse populations. I have not seen a single mortal capable of doing it w/o the calculus, and that includes mortals who claim to be doing "meta analysis".
There is also a foundational problem that is answerable only via the calculus: "What guarantees us that randomized experiments yield causal effects.?" The @Bookofwhy provides a formal proof, which I haven't seen elsewhere, not even in Fisher. But this should not bother practicing trialists, they can benefit from the proof and pretend they don't need causal analysis because, obviously, RCT's give us causal effects. Done. As a computer scientist, I couldn't take it for granted.