Derivation within name identity#
This page is generated from the code and must not be edited by hand.
Two files with one name in two folders of an experiment, but for words naming a step of the work, are suggested as one made from the other, the earlier as the source, link by link, whatever step each name states; never two files of one folder, nor inside an installed program.
derivation_within_name_identity version 7
Kind of rule: Pairs suggested for a look (
proposes). Proposes that two files are related in one of the eight ways, for a person to look at. A proposal is never a conclusion.What it concludes:
derives, namedprocessed_fromReasoning:
defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.What it reads: one file at a time
Where it looks for pairs: within
same_name_identity_within_experiment
Is it available in this version?#
Yes. The engine runs it.
What would defeat it#
What this rule concludes about something is withdrawn when any of these rules concludes about the same thing:
installed_software_in_folder: A folder is recognized as an installed program, such as a copy of Fiji or a Python environment, from the parts it holds, a name ending .app, its program-style subfolders or a majority of program files; its files are still indexed and read, and rules about experiments leave them alone.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
yes or no |
Only two files in different folders of the experiment: two of one folder are siblings. |
|
|
one of |
The earlier file as the source. |
|
|
whole number, from 0 to 86400 |
How far apart the two files’ earliest credible times must be before the earlier is read as the source. |
|
|
text |
Where one end is the recording the other’s name holds, by this grouping, its own rule proposes the pair; blank proposes it here too. |
|
|
mapping of text to text |
Which stage may follow which: a step agreeing with the order corroborates it, and none is needed. |