Cairn Docs Claims Blog Packages

Claim · cairn 0.2.2

cairn^457 Recent item

A move of cairn 0.2.2, in Recent Items submenu.

Id: cairn^457
Kind: move
Reads as: proved
Place: Recent Items submenu ^451
Version: 0.2.2

All of cairn 0.2.2's claims

What you do

Choose an item under Recent Items.

What you see

The status line names the item. The list doesn't change.

Evidence

proved	sound press	`Examples.Tray.pickRecent.press.sound`
fuzzed	Not shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).
tested	Not shown yet: the running app matched the model at every step that exercised it (docs/conformance.md). A CI step will publish it (#95).
seen	Not shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration: Examples.Tray.pickRecent
Module: Examples.Tray
Source: lean/Examples/Tray.lean:128 at v0.2.2
Statement: Examples.Tray.pickRecent.enabled Examples.Tray.pickRecent.press.post
Statement hash: 54b9516c0a6ee336

Ledger

cairn^457 is active in this version's claims.lock, statement 54b9516c0a6ee336. An id never moves or changes meaning.