Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.1

cairn^318 Each clip is typed at most once

An invariant of cairn 0.5.1.

Id
cairn^318
Kind
invariant
Reads as
moved
Version
0.5.1

All of cairn 0.5.1's claims

Evidence

moved Now yap^318. The id stays issued here and can't come back.

Ledger

cairn^318 is moved:yap in this version's claims.lock, statement cb4553cb7d385772. An id never moves or changes meaning.