Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^341 Keep Transcripts off and on again

A flow of yap 0.1.0, in Menu bar menu.

Id
yap^341
Kind
flow
Reads as
proved
Place
Menu bar menu ^301
Version
0.1.0

All of yap 0.1.0's claims

What you do

Choose Keep Transcripts twice.

What you see

Transcripts are kept again, after two writes of config.json.

Steps

The witness its liveness proof follows, from the app's first state.

  1. press on ^304 Keep Transcripts
  2. press on ^304 Keep Transcripts

Evidence

provedliveYap.keepTwice.live
provedreachesYap.keepTwice.reaches
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.keepTwice
Module
Yap
Source
lean/Yap.lean:464 at v0.1.0
Machine
Yap.machine
Statement
Yap.keepTwice.goal Yap.keepTwice.witness
Statement hash
446d11f4d9b32160

Ledger

yap^341 is active in this version's claims.lock, statement 446d11f4d9b32160. An id never moves or changes meaning.