Identical by declared digest#

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

Two files whose archive gives them the same checksum hold the same bytes, as the archive says it; a step below what the engine proves by reading the bytes itself, and taken back where it reads them and finds otherwise.

identical_by_declared_digest 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: identical

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

  • declared_digest_contradicted: A file whose bytes the engine read under the same checksum method its archive used, and found a different checksum, does not hold what the archive said.

  • 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

digest_algorithm

"md5"

text

The declared method whose digests settle it.