Cairn Docs Claims Blog Packages

Claim ยท cairn_atproto 0.3.0

cairn_atproto^4 Sign out

A move of cairn_atproto 0.3.0.

Id
cairn_atproto^4
Kind
move
Reads as
proved
Version
0.3.0

All of cairn_atproto 0.3.0's claims

What you do

Sign out.

What you see

Both Keychain items are forgotten, every held call is answered signedOut, and the session is signed out.

Evidence

provedsound pressCairnAtproto.Claims.signOutMove.press.sound
fuzzedNot shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).
testedNot shown yet: the running app matched the model at every step that exercised it (docs/conformance.md). A CI step will publish it (#95).
seenNot shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration
CairnAtproto.Claims.signOutMove
Module
CairnAtproto.Claims
Source
lean/CairnAtproto/Claims.lean:77 at v0.3.0
Statement
CairnAtproto.Claims.signOutMove.press.post
Statement hash
8a6a00636c653dbf

Ledger

cairn_atproto^4 is active in this version's claims.lock, statement 8a6a00636c653dbf. An id never moves or changes meaning.