Certification Mode Declared

warning

ipl_cert_mode_declared

fix-certification auditability pure_temporal iplimandrafix-certificationcertificationaudit-trail

Each certification run must declare its mode — Simulator (against an IPL-generated simulator) or Proxy (in-line with the live venue) — so its scope and fidelity are on the record.

Formula

G(CertificationRun → certification_mode_declared)

Hover any operator or symbol for what it means.

Why it matters

Certification & Onboarding. Simulator and Proxy certifications give different guarantees: a simulator exercises the model exhaustively, a proxy observes the real venue. Which one was used materially changes what a pass means, so it must be recorded with the run.

Examples

passes CertificationRun declares mode = Simulator

fails CertificationRun with no declared Simulator/Proxy mode

Use it

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