yap^301 Menu bar menu

What it is

Yap's menu bar menu: the status line, Copy Last Transcript, Recent Transcripts, Keep Transcripts, Press Return After Dictating, Dictate with Key, Open Transcripts Folder, Edit Dictionary, Edit Settings, and Grant Accessibility Access while it is missing.

In this place

Moves

Id	Claim	Reads as
`yap^302`	Copy Last TranscriptChoose Copy Last Transcript.	proved
`yap^303`	Recent transcriptChoose a transcript under Recent Transcripts (the newest first, five at most).	proved
`yap^304`	Keep TranscriptsChoose Keep Transcripts.	proved
`yap^305`	Press Return After DictatingChoose Press Return After Dictating, available while Dictate with Key is on.	proved
`yap^306`	Dictate with KeyChoose Dictate with Key.	proved
`yap^307`	Open Transcripts FolderChoose Open Transcripts Folder.	proved
`yap^308`	Edit DictionaryChoose Edit Dictionary.	proved
`yap^309`	Edit SettingsChoose Edit Settings.	proved
`yap^310`	Grant Accessibility AccessChoose Grant Accessibility Access, shown while Yap can't type.	proved
`yap^342`	Quit Yap (Cairn)Choose Quit Yap (Cairn), or press ⌘Q with the menu open.	proved
`yap^343`	Grant Microphone AccessChoose Grant Microphone Access, shown while the microphone is denied.	proved
`yap^344`	Open the menuClick Yap's menu bar item.	proved

Flows

Id	Claim	Reads as
`yap^340`	Turn Dictate with Key offChoose Dictate with Key.	proved
`yap^341`	Keep Transcripts off and on againChoose Keep Transcripts twice.	proved

Evidence

no proof	A place states where claims live; it has nothing to prove.
seen	Not shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration: Yap.menuBar
Module: Yap
Source: lean/Yap.lean:70 at v0.1.0
Statement hash: -

Ledger

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