Declared digest contradicted

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

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.

declared_digest_contradicted version 1

• Kind of rule: What files are (classifies). Says what a file or a folder is, by placing it in a class.

• What it concludes: a class

• Reasoning: entailed. A conclusion cannot be wrong if what it read is right.

• What it reads: one file at a time

Is it available in this version?

Yes. The engine runs it.

What would defeat it

Nothing. An entailed conclusion cannot be wrong if what it read is right.

This rule is named as what would defeat:

• identical_by_declared_digest

Parameters

Parameter	Shipped value	May be	What it does
digest_algorithm	"md5"	text	The method the listing declared and the engine read.