← Policy gallery

ipl_cert_defects_resolved

fix-certification conformance pure_temporal iplimandrafix-certificationcertificationconformance

Certification cannot be signed off while any selected certification case is failing; every conformance failure — whether in the counterparty or in the IPL model — must be resolved and re-run first.

Formula

G(CertificationSignoff → ¬open_conformance_failure)

Hover any operator or symbol for what it means.

Why it matters

Certification & Onboarding. Sign-off attests conformance to the model. A failing case is either a real counterparty defect or a model that does not match the ROE; either way it must be fixed and re-tested green, not signed over.

Examples

passes All selected cases pass on re-run → CertificationSignoff

fails CertificationSignoff while a selected cancel/replace case is still failing

Use it

ponens policies add ipl_cert_defects_resolved --into ./trace.json
ponens trace check ./trace.json