Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn_atproto 0.3.0
cairn_atproto^5 One refresh at a time
An invariant of cairn_atproto 0.3.0.
- Id
cairn_atproto^5- Kind
- invariant
- Reads as
- retired
- Version
- 0.3.0
Evidence
retired Its statement changed in 0.2.0 (requests are Cairn's Request; the session has cancel): reissued as ^11.
Where it's defined
- Declaration
CairnAtproto.Claims.retired_5- Module
CairnAtproto.Claims- Source
lean/CairnAtproto/Claims.lean:121atv0.3.0- Statement hash
-
Ledger
cairn_atproto^5 is retired in this version's claims.lock, statement b11a3d2d0c21c234. An id never moves or changes meaning.