Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn 0.5.2
cairn^968 globalKey reports the hotkey's press and release, and other keys while it is held
An assumption of cairn 0.5.2.
- Id
cairn^968- Kind
- assume
- Reads as
- assumed
- Version
- 0.5.2
What it says
A globalKey subscription reports keyDown and keyUp of the hotkey and otherKey for any other key pressed while it is down, as Yap's PushToTalk does (a modifier by its flag in flagsChanged, an ordinary key by key down without repeats and key up, no repeated state), with monotonic times; without Accessibility it reports failed denied and installs nothing; after its stop has been handled none is sent.
Evidence
| assumed | Stated, not proved. The proofs rely on it. | |
| fuzzed | Not shown yet: the trusted-base fuzzer's check subs.global-key held. A CI step will publish it (#95). | |
Where it's defined
- Declaration
Cairn.Fuzz.Trusted.Claims.hostGlobalKey- Module
Cairn.Fuzz.Trusted.Claims- Source
lean/Cairn/Fuzz/Trusted/Claims.lean:112atv0.5.2- Statement hash
-
Ledger
cairn^968 is active in this version's claims.lock. An id never moves or changes meaning.