backdoor-adjustment
Verifiable causal-reasoning harness: pre-registers tests, runs real backdoor adjustment with a robustness value, keeps an honest ledger so any LLM must prove its causal claims. Sibling to OBSERVE.
