← Policy gallery

jsf_deviation_record_maintained

coding-standards auditability pure_temporal coding-standardjsfavionicscpprecordsrag-red

Every deviation record documents the rationale and the required approval(s).

Formula

G(Deviation → rationale_recorded ∧ approval_recorded)

Why it matters

JSF++ AV Rules 4-6: deviations are recorded with rationale and the approvals obtained (engineering lead, and product manager for shall/will rules).

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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