← Policy gallery

cert_l1_remediated

coding-standards security pure_temporal secure-codingcertseirisk-basedprioritized-remediationrag-red

Highest-priority (Level L1) findings are remediated.

Formula

G(level_l1 → remediated)

Why it matters

SEI CERT: L1 findings (high severity, likely, low remediation cost — Priority 12–27) are addressed first; they represent the most urgent risks.

Examples

passes the risk/remediation step is evidenced

fails the required assessment/remediation is absent

Use it

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