Interface: CausalDerivationStepDto
@kortexya/reasoninglayer / Causal / CausalDerivationStepDto
Interface: CausalDerivationStepDto
Defined in: src/types/causal.ts:386
One derivation step of the identification proof.
Properties
conclusion
conclusion:
string
Defined in: src/types/causal.ts:388
The observational conclusion.
licensed
licensed:
boolean
Defined in: src/types/causal.ts:393
Whether the step carries a witnessed d-separation license (ID recursion lines justify by deterministic replay instead).
premise
premise:
string
Defined in: src/types/causal.ts:395
The interventional premise.
rule
rule:
string
Defined in: src/types/causal.ts:397
The rule applied (e.g. backdoor_criterion, id_line_4).