Claim ยท cairn 0.5.1
cairn^226 The list is the filter applied to the todos
An invariant of cairn 0.5.1.
- Id
cairn^226- Kind
- invariant
- Reads as
- moved
- Version
- 0.5.1
Evidence
moved Now cairn_examples^226. The id stays issued here and can't come back.
Ledger
cairn^226 is moved:cairn_examples in this version's claims.lock, statement 7ae77f5f10c146de. An id never moves or changes meaning.