JSF++: Shall Deviation Documented In File

error

jsf_shall_deviation_documented

coding-standards auditability pure_temporal coding-standardjsfavionicscppdeviation-approvalrag-red

Each deviation from a 'shall' rule is documented in the file that contains the deviation.

Formula

G(shall_deviation → documented_in_file)

Why it matters

JSF++ AV Rule 6: each deviation from a 'shall' rule shall be documented in the file that contains the deviation; deviations from this rule are not allowed.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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