Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^399 Overlay panel

A place of yap 0.1.0.

Id
yap^399
Kind
place
Reads as
no proof
Version
0.1.0

All of yap 0.1.0's claims

What it is

Yap's panel at the bottom of the screen, over every app, that never takes focus or clicks, drawn as the original's: the phase (REC, hands free, transcribing, typed, not typed) with a glowing dot and a clock that stops when recording does, the tape (the original's shader: the scope, the ruler, the reel and the meter, from the microphone's levels and the preview's cuts) and the live transcript's last 280 characters; when the text changes the panel eases to its new height over 0.15 s as the original's does, new text fading in and old text fading out. Hidden 1.5 s after a transcript is typed and 4 s after one fails.

In this place

No claim names this place.

Evidence

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

Where it's defined

Declaration
Yap.overlayPanel
Module
Yap
Source
lean/Yap.lean:75 at v0.1.0
Statement hash
-

Ledger

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