Expand description
Rule identifiers: one variant per requirement the specs define.
A rule ID is an address — domain:rule — that a failure message cites and
a reader follows to the sentence that binds. This enum is the compile-time
form of every ### `domain:rule` heading under the canon’s specs; a
parity test in embedded holds the two sets equal. Rule prose lives in
the specs, never here.
Enums§
- RuleId
- A
domain:rulerequirement address defined by a spec.