Rules¶
Source: src/rules/
Namespace: memo::rules
Rules contains selectable SysML constraint def declarations. Importing
memo::* does not automatically apply every rule; a methodology selects the
packages appropriate to its scope and gates.
Namespace structure¶
rules/
├── closure/
├── coverage/
├── crosslayer/
├── lifecycle/
├── ontology/
└── quantitative/
Rule definitions¶
| Namespace | Checks |
|---|---|
closure |
Required trace paths and argument closure |
coverage |
Presence of model content required by a selected standard or method |
crosslayer |
Connections across architecture and assurance |
lifecycle |
Permitted lifecycle state and ordering |
ontology |
MEMO ownership and semantic invariants |
quantitative |
Configured structural bounds |
Relationships¶
Rules inspect the typed relationships declared by Core and the source areas. They do not define a replacement relationship vocabulary.
Enumerations¶
Rule metadata uses RuleCategoryKind, RulePredicateKind,
RuleSeverityKind, and RuleStrengthKind from Core.