Experiments approved together#

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

Every file beneath the experiments of a proposed group someone approved is grouped with the rest, so one yes covers the whole group.

experiments_approved_together version 1+d1

  • Kind of rule: Which files go together (groups). Says which things count as the same in some respect, and so forms groups.

  • What it concludes: equivalent, in respect of approved_experiment_group

  • Reasoning: defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.

  • What it reads: files, which it sorts into groups

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:

  • filesystem_noise_from_spelling: Files a computer makes on its own, such as .DS_Store or Thumbs.db, are recognized by how their names are spelled and set aside; an office program’s lock file, whose name starts ~$, is left alone, because it means somebody was at work.

  • placeholder_from_entry_kind: A shortcut, or a file that claims a size but takes up no room on the disk, is taken to stand in for contents kept somewhere else.

  • 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.

It stands aside beneath every folder one of these rules raises:

Parameters#

Parameter

Shipped value

May be

What it does

proposal_rule

"experiments_may_belong_together"

text

The rule whose proposals a person approves.