Recognises a definitional rule filed as operative

What it means

A rule that cannot be violated, recorded as a constraint. It becomes a check that can never fail.

How it is assessed

Flags the deficient case and passes the acceptable one. Deficient: "An available balance is the ledger balance less holds", `kind: data`, `enforcement: constraint` Acceptable: `kind: definitional`, `modality: alethic`, realised as a derivation or in the term's definition (`RUL-014`)

Builds on

Explains alethic and deontic modality of rulesK-352 · Knowledge

Needed by

None