← Policy gallery

misra_c_undecidable_manually_reviewed

coding-standards auditability pure_temporal coding-standardmisramisra-ccompliance-summaryrag-amber

Potential violations of undecidable guidelines (not fully checkable by static analysis) are subject to manual review.

Formula

G(undecidable_violation → manual_review)

Why it matters

MISRA Compliance:2020 / guideline decidability: undecidable rules cannot be fully checked by a tool, so manual review is required to confirm compliance.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

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