Cairn Docs Claims Blog Packages

Package ยท iamnbutler

yap

Hold-to-talk dictation overlay, ported one-to-one from Yap onto Cairn.

Kind
App
Owner
iamnbutler
Version
0.1.0
Published
Oct 25, 2026 by iamnbutler
Commit
eb9c1d3a6f01 at v0.1.0
Toolchain
leanprover/lean4:v4.35.0
License
MIT
Claims
42 active2 retired

Claims in 0.1.0Docs for 0.1.0

Build it

yap is an app: nothing can depend on it. Clone it from the registry and build it with the cairn tool:

git clone https://cairn.registry.nexthub.sh/git/iamnbutler/yap.git
cd yap && git checkout v0.1.0 && cairn build --release

Depends on

Versions

VersionPublishedCommitClaimsDocs
0.1.0Oct 25, 2026eb9c1d3a6f42 active2 retireddocs

Claims in 0.1.0

Every id this package has issued, as its claims.lock held them at this version. An id never moves or changes meaning: the registry refuses a version that drops, renumbers or redefines one. The claim pages show each claim by place, with what it does and its evidence.

IdKindStatusClaim
yap^301placeactiveMenu bar menu
yap^302moveactiveCopy Last Transcript
yap^303moveactiveRecent transcript
yap^304moveactiveKeep Transcripts
yap^305moveactivePress Return After Dictating
yap^306moveactiveDictate with Key
yap^307moveactiveOpen Transcripts Folder
yap^308moveactiveEdit Dictionary
yap^309moveactiveEdit Settings
yap^310moveactiveGrant Accessibility Access
yap^311invariantactiveA shortcut never sends
yap^312invariantretiredHold to talk, tap to latch: 300 ms
yap^313invariantactiveOne recording at a time
yap^314invariantactiveEvery recording ends
yap^315invariantactiveKept before it is typed
yap^316invariantactiveA failed type is kept and flagged
yap^317invariantactiveLate and cancelled replies never type
yap^318invariantactiveEach clip is typed at most once
yap^319invariantactiveFixes replace whole words
yap^320invariantactiveRetention never deletes today
yap^321invariantactiveOnly the first 25 terms are sent
yap^322invariantactiveRecent Transcripts holds five
yap^323invariantactiveToo short, silent or nowhere to type: never sent
yap^330assumeactiveThe host reports the dictation key and every other key
yap^331assumeactiveThe host delivers the ticks it is asked for
yap^332assumeactiveThe host answers requests by id, in order of commands
yap^333assumeactiveThe host reports the microphone faithfully
yap^334assumeactiveThe host transcribes the samples it was asked for
yap^335assumeactiveThe host types into the app it was given
yap^336assumeactiveThe host reports config.json and dictionary.txt when they change
yap^337assumeactiveThe host lists day files and today by the local calendar
yap^340flowactiveTurn Dictate with Key off
yap^341flowactiveKeep Transcripts off and on again
yap^342moveactiveQuit Yap (Cairn)
yap^343moveactiveGrant Microphone Access
yap^344moveactiveOpen the menu
yap^345placeretiredOverlay panel
yap^346invariantactiveThe original Yap keeps its key
yap^347invariantactiveA mark waits for the appends
yap^348assumeactiveThe host reports the microphone's start or its failure
yap^349invariantactiveThe overlay waits for the microphone
yap^350invariantactiveKeys wait for the microphone
yap^351invariantactiveHold to talk, tap to latch: 300 ms, timed as the original
yap^399placeactiveOverlay panel