Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^310 Grant Accessibility Access

A move of yap 0.1.0, in Menu bar menu.

Id
yap^310
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 Grant Accessibility Access, shown while Yap can't type.

What you see

System Settings opens at Accessibility.

Evidence

provedsound pressYap.grantAccess.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.grantAccess
Module
Yap
Source
lean/Yap.lean:157 at v0.1.0
Statement
Yap.grantAccess.enabled Yap.grantAccess.press.post
Statement hash
5010a6cadc256772

Ledger

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