Claim ยท cairn 0.4.0
cairn^212 Counter and ids
An invariant of cairn 0.4.0.
- Id
cairn^212- Kind
- invariant
- Reads as
- moved
- Version
- 0.4.0
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.