← Policy gallery

misra_cpp_advisory_violation_recorded

coding-standards conformance pure_temporal coding-standardmisramisra-cppcategoriesrag-amber

Violations of Advisory guidelines are recorded (a formal deviation is not required, but the decision is documented).

Formula

G(advisory_violation → recorded)

Why it matters

MISRA Compliance:2020: Advisory guidelines are best practice; departures need not be formal deviations but should be recorded.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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