← Policy gallery

jsf_shall_rules_verified

coding-standards safety pure_temporal coding-standardjsfavionicscppverificationrag-red

Compliance with 'shall' rules is verified (automatically or manually) before code is committed.

Formula

G(GitCommit → P(shall_verified))

Why it matters

JSF++ §4.2.1: 'shall' rules are mandatory requirements that must be followed and that require verification, either automatic or manual.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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