Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.1

cairn^504 Pending loads have fresh ids

An invariant of cairn 0.5.1.

Id
cairn^504
Kind
invariant
Reads as
moved
Version
0.5.1

All of cairn 0.5.1's claims

Evidence

moved Now cairn_examples^504. The id stays issued here and can't come back.

Ledger

cairn^504 is moved:cairn_examples in this version's claims.lock, statement d34d5b06e8bc82cb. An id never moves or changes meaning.