Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.3

cairn^315 Kept before it is typed

An invariant of cairn 0.2.3.

Id
cairn^315
Kind
invariant
Reads as
moved
Version
0.2.3

All of cairn 0.2.3'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.