Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.2

cairn^6 Moves never leave a press in progress

An invariant of cairn 0.5.2.

Id
cairn^6
Kind
invariant
Reads as
retired
Version
0.5.2

All of cairn 0.5.2's claims

Evidence

retired Retired: the id stays issued and can't be reused.

Ledger

cairn^6 is retired in this version's claims.lock, statement 5de1d6cd863262b8. An id never moves or changes meaning.