Identical by declared sha256#

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

Two files whose archives declare one SHA-256 hold the same bytes, unless the engine’s own reading of either disagrees.

identical_by_declared_sha256 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 this rule concludes about something is withdrawn when any of these rules concludes about the same thing:

declared_sha256_contradicted: A file whose bytes, read here, give another SHA-256 than its archive declared is marked so, and the reading here is the fact.
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:

Parameter	Shipped value	May be	What it does
`digest_algorithm`	`"sha256"`	text	The declared method that is proof.