Cairn
Docs
Claims
Blog
Packages
Claim ยท yap 0.1.0
yap^344 Open the menu
A move of yap 0.1.0, in Menu bar menu.
- Id
yap^344- Kind
- move
- Reads as
- proved
- Place
- Menu bar menu
^301 - Version
- 0.1.0
What you do
Click Yap's menu bar item.
What you see
The menu opens, and Yap checks again whether it has Accessibility and the microphone and whether the original Yap is running. Nothing in dictation changes.
Evidence
| proved | sound press | Yap.openMenu.press.sound |
| fuzzed | Not shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95). | |
| tested | Not shown yet: the running app matched the model at every step that exercised it (docs/conformance.md). A CI step will publish it (#95). | |
| seen | Not shown yet: a screenshot of the app shows it. A CI step will publish it (#95). | |
Where it's defined
- Declaration
Yap.openMenu- Module
Yap- Source
lean/Yap.lean:188atv0.1.0- Statement
Yap.openMenu.press.post- Statement hash
1f8f9a963d9e4e0f
Ledger
yap^344 is active in this version's claims.lock, statement 1f8f9a963d9e4e0f. An id never moves or changes meaning.