Module gate_message_cites_a_rule 

Gate: every rule ID a gate can print resolves to a requirement in the local specs.

The id in a failure message is an address: the reader follows it to the sentence that binds, and a message naming an id no spec defines sends them nowhere. The citable set comes from the compiled gate registry — every rule a delivered gate declares — and the defined set from the instance’s own specs, so a spec rewrite that renames a rule fails here before a gate ever prints the stale address.

Constants

CITES

The rules this gate can cite.

Functions

run

Judge the registry’s citable set against the local specs.