Content contradicts extension#
This page is generated from the code and must not be edited by hand.
A file is flagged when its contents begin the way one format does and its extension names another, leaving out containers such as PDF, HDF5 or ZIP that other formats are built on.
content_contradicts_extension version 1+d1
Kind of rule: What is raised for attention (
flags). Raises something for a person’s attention without concluding anything.What it concludes: a finding
Reasoning:
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
Is it available in this version?#
Yes. The engine runs it.
What would defeat it#
A finding is never withdrawn. When any of these rules also concludes about the same thing, the finding records it:
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:
This rule is named as what would defeat:
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
text |
The type detector whose opinion must stand behind a disagreement, as the shipped rule requires: a signature, compared against the extensions its format declares. |
|
|
one of |
Which half of a disagreement this rule reads. |
|
|
list of text |
The general-purpose containers a format is commonly written on. A signature naming one of these is read by the rule beside this one. |
|
|
list of text |
The containers whose use only a laboratory can say, raised as a question by the rule beside this one. |