← Policy gallery

ipl_cert_report_produced

fix-certification auditability pure_temporal iplimandrafix-certificationcertificationaudit-trail

A completed certification run must produce a certification report tying each verdict back to the IPL model's regions; a run that finishes with no report is not an auditable certification.

Formula

G(CertificationComplete → F(certification_report_produced))

Hover any operator or symbol for what it means.

Why it matters

Certification & Onboarding. The report is the durable evidence a venue gives the counterparty and keeps for itself — region-by-region verdicts traceable to the IPL model. Without it there is nothing to defend the onboarding decision to a regulator or to replay later.

Examples

passes CertificationComplete → certification_report_produced (per-region verdicts)

fails CertificationComplete with no certification report generated

Use it

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