← Policy gallery

misra_cpp_deviation_documented

coding-standards auditability pure_temporal coding-standardmisramisra-cppdeviationsrag-red

Every deviation records the violation and its supporting rationale, and is approved through the deviation procedure.

Formula

G(Deviation → rationale_recorded ∧ deviation_approved)

Why it matters

MISRA Compliance:2020: a deviation is a documented violation of a guideline with supporting rationale, approved via the formal deviation procedure.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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