Skip to main content

Module spec_rule_id_unique

Module spec_rule_id_unique 

Source
Expand description

Gate: a rule ID resolves to exactly one requirement across the project.

A commit citing a duplicated ID names two rules at once, so the citation stops being an address. Corpus-wide by construction: the duplicate is only visible when every spec is read together.

Constants§

CITES
The rules this gate can cite.

Functions§

run
Judge the whole spec corpus.