Claim ยท cairn 0.5.2
cairn^225 The list is the filter applied to the todos
An invariant of cairn 0.5.2.
- Id
cairn^225- Kind
- invariant
- Reads as
- retired
- Version
- 0.5.2
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.