Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.0

cairn^315 Kept before it is typed

An invariant of cairn 0.5.0.

Id
cairn^315
Kind
invariant
Reads as
moved
Version
0.5.0

All of cairn 0.5.0's claims

Evidence

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

Ledger

cairn^315 is moved:yap in this version's claims.lock, statement 9fe828ced9a46264. An id never moves or changes meaning.