Derivation is acyclic#

This page is generated from the code and must not be edited by hand.

Not available in this version. No file is ever counted as made from itself, however long the chain of files in between.

derivation_is_acyclic version 1

Kind of rule: Limits every conclusion keeps to (constraint). Limits what any conclusion may say, by naming what cannot be true together.
What it limits: derives
Reasoning: entailed. A conclusion cannot be wrong if what it read is right.
What it reads: one file at a time

Is it available in this version?#

Not available in this version. Its test is declared and not written yet, so it refuses nothing.

Nothing. An entailed conclusion cannot be wrong if what it read is right.

Parameter	Shipped value	May be	What it does
`max_chain_length`	`64`	whole number, from 2 to 4096	How far a derivation chain is followed before the check gives up. A ceiling on work, not on what is permitted: a chain longer than this is reported as unchecked rather than as acyclic.