Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn_atproto 0.3.0
cairn_atproto^8 Signed out, no secret is sent
An invariant of cairn_atproto 0.3.0.
- Id
cairn_atproto^8- 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 ^14.
Where it's defined
- Declaration
CairnAtproto.Claims.retired_8- Module
CairnAtproto.Claims- Source
lean/CairnAtproto/Claims.lean:124atv0.3.0- Statement hash
-
Ledger
cairn_atproto^8 is retired in this version's claims.lock, statement aca7b74513e33d03. An id never moves or changes meaning.