JSF++: Shall/Will Deviation Dual-Approved

error

jsf_shall_will_deviation_dual_approved

coding-standards conformance pure_temporal coding-standardjsfavionicscppdeviation-approvalrag-red

Breaking a 'shall' or 'will' (mandatory) rule is approved by BOTH the software engineering lead and the software product manager.

Formula

G((shall_deviation ∨ will_deviation) → eng_lead_approved ∧ product_manager_approved)

Hover any operator or symbol for what it means.

Why it matters

JSF++ AV Rule 5: to break a 'will' or a 'shall' rule, approval must be received from both the software engineering lead and the software product manager.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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