Declared sha256 contradicted#
This page is generated from the code and must not be edited by hand.
A file whose bytes, read here, give another SHA-256 than its archive declared is marked so, and the reading here is the fact.
declared_sha256_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:
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
text |
The declared method checked against the engine’s reading. |