Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn 0.5.2
cairn^949 The menu bar shows the app's menu items
An assumption of cairn 0.5.2.
- Id
cairn^949- Kind
- assume
- Reads as
- assumed
- Version
- 0.5.2
What it says
After each frame with a menuBar surface, each of its top-level submenus is a menu in the main menu before the host's Window menu, with its records as a status item's menu has them (^940), and every other top-level entry is at the top of the app menu, in order, followed by a separator and the host's own Hide and Quit, unchanged; Edit and Window stay where they are.
Evidence
| assumed | Stated, not proved. The proofs rely on it. | |
| fuzzed | Not shown yet: the trusted-base fuzzer's check menubar.render held. A CI step will publish it (#95). | |
Where it's defined
- Declaration
Cairn.Fuzz.Trusted.Claims.hostMenuBarRender- Module
Cairn.Fuzz.Trusted.Claims- Source
lean/Cairn/Fuzz/Trusted/Claims.lean:192atv0.5.2- Statement hash
-
Ledger
cairn^949 is active in this version's claims.lock. An id never moves or changes meaning.