Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn_atproto 0.3.0
cairn_atproto^7 A second send only after a successful refresh
An invariant of cairn_atproto 0.3.0.
- Id
cairn_atproto^7- 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 ^13.
Where it's defined
- Declaration
CairnAtproto.Claims.retired_7- Module
CairnAtproto.Claims- Source
lean/CairnAtproto/Claims.lean:123atv0.3.0- Statement hash
-
Ledger
cairn_atproto^7 is retired in this version's claims.lock, statement ff581c2c33688c4c. An id never moves or changes meaning.