Recognises circular derivation rules

What it means

Derivation rules whose inputs depend, through other derivations, on their own output. Each rule reads sensibly on its own.

How it is assessed

Flags the deficient case and passes the acceptable one. Deficient: `available balance = ledger balance − holds`; `ledger balance = available balance + holds` Acceptable: One derivation with a stored base: `available balance = ledger balance − holds`, with the ledger balance and the holds both captured (`ANO-004`)

Builds on

Explains derivation rules and their dependenciesK-354 · Knowledge

Needed by

None