
Counterfactual Causal ID Completeness Results
Develops CTFIDU+ algorithm to identify counterfactual queries from Layer 3 distributions, proving its completeness. Establishes fundamental limits for exact causal inference using realizable counterfactual data. Derives tight analytic bounds for non-identifiable counterfactuals, validated by simulations.





