MISRA C: Mandatory Not Weakened

error

misra_c_mandatory_not_weakened

coding-standards conformance pure_temporal coding-standardmisramisra-crecategorizationrag-red

A Mandatory guideline is never re-categorized to a less strict category; only Advisory guidelines may be re-categorized to Disapplied.

Formula

G(recategorization → ¬weakens_mandatory)

Why it matters

MISRA Compliance:2020: Required and Advisory may be made stricter; Mandatory cannot be loosened, and only Advisory may be re-categorized to Disapplied.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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