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