Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.4

cairn^316 A failed type is kept and flagged

An invariant of cairn 0.2.4.

Id
cairn^316
Kind
invariant
Reads as
moved
Version
0.2.4

All of cairn 0.2.4's claims

Evidence

moved Now yap^316. The id stays issued here and can't come back.

Ledger

cairn^316 is moved:yap in this version's claims.lock, statement 4a3b47a7175b2e76. An id never moves or changes meaning.