Cairn Docs Claims Blog Packages

Claim ยท cairn 0.4.1

cairn^317 Late and cancelled replies never type

An invariant of cairn 0.4.1.

Id
cairn^317
Kind
invariant
Reads as
moved
Version
0.4.1

All of cairn 0.4.1's claims

Evidence

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

Ledger

cairn^317 is moved:yap in this version's claims.lock, statement 6e0b8c52e2765477. An id never moves or changes meaning.