← Policy gallery

misra_c_directives_addressed

coding-standards conformance pure_temporal coding-standardmisramisra-cdirectivesrag-red

Directives (process/design guidelines, whose compliance depends on project context) are addressed with documented evidence.

Formula

G(Directive → addressed_with_evidence)

Why it matters

MISRA: a Directive's compliance cannot be fully defined by the guideline alone; the project must show evidence it has been addressed.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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