← Policy gallery

misra_c_required_violation_deviated

coding-standards conformance pure_temporal coding-standardmisramisra-ccategoriesrag-red

Any violation of a Required guideline is covered by an approved deviation.

Formula

G(required_violation → P(deviation_approved))

Why it matters

MISRA Compliance:2020: Required guidelines should be followed, but documented and approved deviations are allowed where justified.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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