Claim ยท cairn 0.5.1
cairn^212 Counter and ids
An invariant of cairn 0.5.1.
- Id
cairn^212- Kind
- invariant
- Reads as
- moved
- Version
- 0.5.1
Evidence
moved Now cairn_examples^212. The id stays issued here and can't come back.
Ledger
cairn^212 is moved:cairn_examples in this version's claims.lock, statement 8b1d23f718f063ec. An id never moves or changes meaning.