Cairn Docs Claims Blog Packages

Claim · yap 0.1.0

yap^342 Quit Yap (Cairn)

A move of yap 0.1.0, in Menu bar menu.

Id
yap^342
Kind
move
Reads as
proved
Place
Menu bar menu ^301
Version
0.1.0

All of yap 0.1.0's claims

What you do

Choose Quit Yap (Cairn), or press ⌘Q with the menu open.

What you see

The menu bar item goes away; the app has quit, and any recording with it.

Evidence

provedsound pressYap.quit.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
Yap.quit
Module
Yap
Source
lean/Yap.lean:169 at v0.1.0
Statement
Yap.quit.press.post
Statement hash
d56e4c1dd949d0e8

Ledger

yap^342 is active in this version's claims.lock, statement d56e4c1dd949d0e8. An id never moves or changes meaning.