Identity requires a content digest#

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

Not available in this version. Two files are said to hold the same bytes only when a fingerprint of their whole contents matches, never because their names, sizes or times agree.

identity_requires_a_content_digest version 1

  • Kind of rule: Limits every conclusion keeps to (constraint). Limits what any conclusion may say, by naming what cannot be true together.

  • What it limits: identical

  • 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?#

Not available in this version. Its test is declared and not written yet, so it refuses nothing.

What would defeat it#

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

Parameters#

Parameter

Shipped value

May be

What it does

permitted_methods

["content_full"]

list of text

Which identity methods may license an identity conclusion. The paired fingerprints the reuse model computes are deliberately absent: they read part of a file and were built to detect change.