Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^307 Open Transcripts Folder

A move of yap 0.1.0, in Menu bar menu.

Id
yap^307
Kind
move
Reads as
proved
Place
Menu bar menu ^301
Version
0.1.0

All of yap 0.1.0's claims

What you do

Choose Open Transcripts Folder.

What you see

The folder of day files opens in the Finder (made first if missing). Nothing in Yap changes.

Evidence

provedsound pressYap.openTranscripts.press.sound
fuzzedNot shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).
testedNot shown yet: the running app matched the model at every step that exercised it (docs/conformance.md). A CI step will publish it (#95).
seenNot shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration
Yap.openTranscripts
Module
Yap
Source
lean/Yap.lean:133 at v0.1.0
Statement
Yap.openTranscripts.press.post
Statement hash
99a899a6e7fd2bfd

Ledger

yap^307 is active in this version's claims.lock, statement 99a899a6e7fd2bfd. An id never moves or changes meaning.