MISRA C++: Re-categorization in GRP
errormisra_cpp_recategorization_in_grp
Any change to a guideline's category is documented in the Guidelines Re-categorization Plan (GRP).
Formula
G(recategorization → P(grp_documented)) Why it matters
MISRA Compliance:2020: the GRP records all agreed category changes for the project before they take effect.
Examples
passes the compliance-process step is evidenced
fails the required compliance artifact/step is absent
Use it
ponens policies add misra_cpp_recategorization_in_grp --into ./trace.json
ponens trace check ./trace.json