Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.2

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

An invariant of cairn 0.5.2.

Id
cairn^213
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^213 is retired in this version's claims.lock, statement cdded3b5839c217c. An id never moves or changes meaning.