Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.5

cairn^318 Each clip is typed at most once

An invariant of cairn 0.2.5.

Id
cairn^318
Kind
invariant
Reads as
moved
Version
0.2.5

All of cairn 0.2.5'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.