Interface: DoublyRobustCertificateDto
@kortexya/reasoninglayer / DoublyRobustCertificateDto
Interface: DoublyRobustCertificateDto
Section titled “Interface: DoublyRobustCertificateDto”Defined in: src/types/causal.ts:811
The doubly-robust certificate an ATE (or ATT) estimate carries.
Remarks
Section titled “Remarks”Each flag reports one algebraic property the engine verified for the
estimator. This is not the formal-judge CertificateDto of the oversight
area: it has no id, no attestations and is not persisted.
Properties
Section titled “Properties”allCertified
Section titled “allCertified”allCertified:
boolean
Defined in: src/types/causal.ts:819
All three properties hold.
consistentUnderCorrectOutcome
Section titled “consistentUnderCorrectOutcome”consistentUnderCorrectOutcome:
boolean
Defined in: src/types/causal.ts:817
The bias vanishes when the outcome regression is correct.
consistentUnderCorrectPropensity
Section titled “consistentUnderCorrectPropensity”consistentUnderCorrectPropensity:
boolean
Defined in: src/types/causal.ts:815
The bias vanishes when the propensity model is correct.
productBiasFactorization
Section titled “productBiasFactorization”productBiasFactorization:
boolean
Defined in: src/types/causal.ts:813
B ≡ (π − π̂)·G — the doubly-robust product-bias factorization holds.