Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.2

cairn^950 A menu bar item, by click or key equivalent, reports that item's ref

An assumption of cairn 0.5.2.

Id
cairn^950
Kind
assume
Reads as
assumed
Version
0.5.2

All of cairn 0.5.2's claims

What it says

When AppKit performs an enabled menu bar item's action, chosen with the pointer or by its key equivalent (NSMenu.performKeyEquivalent with the keys a keyboard gives, a capital for a shifted letter), the host sends exactly one menuSelect with the menuBar surface's place and that item's ref; the key equivalent of a greyed item sends nothing.

Evidence

assumedStated, not proved. The proofs rely on it.
fuzzedNot shown yet: the trusted-base fuzzer's check menubar.select held. A CI step will publish it (#95).

Where it's defined

Declaration
Cairn.Fuzz.Trusted.Claims.hostMenuBarSelect
Module
Cairn.Fuzz.Trusted.Claims
Source
lean/Cairn/Fuzz/Trusted/Claims.lean:196 at v0.5.2
Statement hash
-

Ledger

cairn^950 is active in this version's claims.lock. An id never moves or changes meaning.