Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^312 Hold to talk, tap to latch: 300 ms

An invariant of yap 0.1.0.

Id
yap^312
Kind
invariant
Reads as
retired
Version
0.1.0

All of yap 0.1.0's claims

Evidence

retired Key events now wait while the microphone starts, and the ones that waited are timed from when the start finished, as in the original (^351); the hold/tap split is restated there for a recording whose microphone is running.

Where it's defined

Declaration
Yap.retired_312
Module
Yap
Source
lean/Yap.lean:246 at v0.1.0
Statement hash
-

Ledger

yap^312 is retired in this version's claims.lock, statement 18e8457492069889. An id never moves or changes meaning.