Cairn Docs Claims Blog Packages

Claim ยท cairn 0.4.0

cairn^225 The list is the filter applied to the todos

An invariant of cairn 0.4.0.

Id
cairn^225
Kind
invariant
Reads as
retired
Version
0.4.0

All of cairn 0.4.0's claims

Evidence

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

Ledger

cairn^225 is retired in this version's claims.lock, statement 7ae77f5f10c146de. An id never moves or changes meaning.