Regula rule reference

This page documents Regula 0.3.0. The latest release is Regula 0.11.1: this page in Regula 0.11.1.

Checklist coverage๐Ÿ”—

Each row of the compliance checklist with the rules whose page lists it and the review obligations it carries. The rules are derived from the rule explanations, so they and the rule pages cannot disagree; the obligations are derived from the checklist rows each obligation carries, as defined on how rules are enforced. A row that no rule lists is semantic review only. Every row carries at least one obligation, so no row passes on a checker result alone: the checklist states each row's required result and verification.

Every checklist row, the rules that report on it and its review obligations
RowRulesReview obligations
SCOPE-01Review onlyR-INTENT
SCOPE-02RG1007, RG2005R-INTENT
SCOPE-03RG1007, RG3001, RG3002R-INTENT, R-INVARIANT
SCOPE-04Review onlyR-INTENT
SCOPE-05RG2002, RG2004, RG3001, RG3002R-INTENT, R-INVARIANT
TYPE-01RG1007, RG2005R-INVARIANT
TYPE-02Review onlyR-INTENT
TYPE-03Review onlyR-INTENT
TYPE-04RG1001, RG1002, RG1003R-INTENT
TYPE-05Review onlyR-LAWS
TYPE-06Review onlyR-BOUNDARY
THEOREM-01RG1001, RG1002, RG1003, RG1004, RG1005, RG1006, RG1007, RG2005R-INTENT, R-INVARIANT
THEOREM-02Review onlyR-LAWS
THEOREM-03RG1007, RG2005R-INVARIANT
THEOREM-04Review onlyR-NONVACUITY
THEOREM-05RG1006, RG3001, RG3002R-INTENT, R-COST
THEOREM-06RG1002, RG1004R-INTENT, R-QUALIFY
THEOREM-07RG1007, RG2005R-INVARIANT
THEOREM-08Review onlyR-INTENT, R-INVARIANT
THEOREM-09RG1001, RG1002, RG1003R-INTENT, R-NONVACUITY
THEOREM-10RG1004, RG1005R-COST
FOUND-01RG1001R-INTENT
FOUND-02RG1002R-QUALIFY
FOUND-03RG1003, RG1004, RG1005R-QUALIFY
FOUND-04RG1005R-QUALIFY
FOUND-05RG1004, RG2005R-QUALIFY
DECL-01RG2001, RG2002, RG2003, RG2004, RG2005, RG2006, RG5001R-QUALIFY
DECL-02RG2004, RG2005R-QUALIFY
DECL-03RG1001, RG1004, RG1006, RG2004, RG2005R-QUALIFY
DECL-04RG2001, RG2002, RG2004, RG2005R-QUALIFY
COMP-01RG1004, RG1007R-INTENT
COMP-02RG1006, RG2005R-QUALIFY
COMP-03RG3001, RG3002R-INVARIANT, R-QUALIFY
COMP-04RG2005, RG3002R-INTENT
BUILD-01RG1001, RG1002, RG1003, RG1004, RG1005, RG1006, RG1007, RG2002, RG2003, RG2004, RG2005, RG3001, RG3002R-QUALIFY
BUILD-02RG1005, RG1007R-QUALIFY
BUILD-03RG1007, RG2004, RG3001, RG3002R-INVARIANT, R-QUALIFY
BUILD-04RG2002, RG2004, RG2005R-QUALIFY
DOC-01RG2003, RG2006, RG5001, RG5002R-DOC
DOC-02RG5003R-INTENT, R-DOC
DOC-03RG4001R-QUALIFY
DOC-04RG4002R-INTENT, R-QUALIFY
DOC-05RG4003, RG4004R-QUALIFY
MUT-01Review onlyR-QUALIFY
MUT-02Review onlyR-QUALIFY
MUT-03Review onlyR-QUALIFY
MUT-04Review onlyR-QUALIFY
MUT-05Review onlyR-GRAPH