← Policy gallery

jsf_shall_violation_deviated

coding-standards conformance pure_temporal coding-standardjsfavionicscppcategoriesrag-red

Any violation of a 'shall' rule is covered by an approved deviation.

Formula

G(shall_violation → P(deviation_approved))

Why it matters

JSF++ §4.2.1: 'shall' rules are mandatory requirements; a violation is permissible only through the formal deviation process.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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