Cairn Docs Claims Blog Packages

Claim ยท cairn_examples 0.2.0

cairn_examples^455 Keep Recent Items

A move of cairn_examples 0.2.0, in Tray menu.

Id
cairn_examples^455
Kind
move
Reads as
proved
Place
Tray menu ^450
Version
0.2.0

All of cairn_examples 0.2.0's claims

What you do

Choose Keep Recent Items.

What you see

The checkmark flips. Turning it off forgets the recent items and disables Add Item.

Evidence

provedsound pressExamples.Tray.toggleKeep.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
Examples.Tray.toggleKeep
Module
Tray
Source
lean/Tray.lean:109 at v0.2.0
Statement
Examples.Tray.toggleKeep.press.post
Statement hash
0f22ec1ce535f0de

Ledger

cairn_examples^455 is active in this version's claims.lock, statement 0f22ec1ce535f0de. An id never moves or changes meaning.