← Policy gallery

jsf_should_violation_recorded

coding-standards conformance pure_temporal coding-standardjsfavionicscppcategoriesrag-amber

Departures from 'should' (advisory) rules are recorded.

Formula

G(should_violation → recorded)

Why it matters

JSF++ §4.2.1: 'should' rules are advisory; departures are permissible but should be documented.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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