No Onboarding Without a Passed Certification

error

ipl_cert_no_onboarding_without_pass

fix-certification safety pure_temporal iplimandrafix-certificationcertificationapproval

No counterparty is enabled in production without a prior IPL-based certification that passed and was signed off.

Formula

G(EnableProduction → P(CertificationSignoff ∧ passed))

Hover any operator or symbol for what it means.

Why it matters

Certification & Onboarding. This is the gate the whole pack exists to enforce: production access is the consequential action and must be preceded by a passed, signed-off certification generated from the IPL model. Informal or partial sign-off does not satisfy it.

Examples

passes CertificationSignoff(passed) → EnableProduction

fails EnableProduction with no prior passed IPL certification

Use it

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