Candidate generation is bounded#
This page is generated from the code and must not be edited by hand.
At most 25 possible partners are suggested for any one file, and a file whose list was cut short is marked as such.
candidate_generation_is_bounded 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: a limit
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?#
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 |
|---|---|---|---|
|
|
whole number, from 1 to 1000 |
How many pairs one subject may be proposed. A corpus where this fires constantly is a corpus whose indexes need narrowing, which is a finding rather than a number to raise. |