Cairn
Docs
Claims
Blog
Packages
Claim ยท sky 0.3.0
sky^27 Signed out, no secret
An invariant of sky 0.3.0.
- Id
sky^27- Kind
- invariant
- Reads as
- retired
- Version
- 0.3.0
Evidence
retired Sky's step gained the feed's rows and images (cairn#211), so the statement's step is a new one: reissued as ^29.
Where it's defined
- Declaration
Sky.retired_27- Module
Sky.Claims- Source
lean/Sky/Claims.lean:285atv0.3.0- Statement hash
-
Ledger
sky^27 is retired in this version's claims.lock, statement 4a44c424ddf0f802. An id never moves or changes meaning.