Identity conflict blocks a derivation#
This page is generated from the code and must not be edited by hand.
Two files whose names give different subjects, samples, conditions, cultures or sessions are never counted as made one from the other, whatever else they share.
identity_conflict_blocks_a_derivation 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:
derivesReasoning:
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?#
Yes. The engine runs it.
What would defeat it#
Nothing. An entailed conclusion cannot be wrong if what it read is right.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
list of text |
The axes on which disagreement is disqualifying rather than incidental. Which axes identify what was measured, rather than how it was processed, is a fact about a corpus that the engine cannot know from outside, so it is stated here and a user changes it. Silence on one side is not disagreement. |