← Policy gallery

jsf_static_analysis_before_commit

coding-standards workflow pure_temporal coding-standardjsfavionicscppverificationrag-red

Source is checked against the JSF++ ruleset by static analysis before it is committed.

Formula

G(GitCommit → P(StaticAnalysis ∧ jsf_ruleset))

Why it matters

JSF++ enforcement: rule compliance is established by analysis (and manual review for unverifiable rules) before code is accepted.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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