← Policy gallery

jsf_will_violation_deviated

coding-standards conformance pure_temporal coding-standardjsfavionicscppcategoriesrag-red

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

Formula

G(will_violation → P(deviation_approved))

Why it matters

JSF++ §4.2.1: 'will' rules are intended to be mandatory; departures require the formal deviation process (AV Rule 5).

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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