Claim ยท cairn 0.5.2
cairn^511 Tiles are at least 180 points wide
An invariant of cairn 0.5.2.
- Id
cairn^511- Kind
- invariant
- Reads as
- moved
- Version
- 0.5.2
Evidence
moved Now cairn_examples^511. The id stays issued here and can't come back.
Ledger
cairn^511 is moved:cairn_examples in this version's claims.lock, statement 759d8febcfec109a. An id never moves or changes meaning.