Cairn Docs Claims Blog Packages

Claim ยท cairn_examples 0.2.0

cairn_examples^505 Reload, then fit inside

A flow of cairn_examples 0.2.0, in Gallery window.

Id
cairn_examples^505
Kind
flow
Reads as
proved
Place
Gallery window ^503
Version
0.2.0

All of cairn_examples 0.2.0's claims

What you do

Press Reload, then Fit.

What you see

The pictures load again and then show whole inside their tiles.

Steps

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

  1. press on ^501 Reload
  2. press on ^502 Fit

Evidence

provedliveExamples.Gallery.reloadContain.live
provedreachesExamples.Gallery.reloadContain.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
Examples.Gallery.reloadContain
Module
Gallery
Source
lean/Gallery.lean:525 at v0.2.0
Machine
Examples.Gallery.machine
Statement
Examples.Gallery.reloadContain.goal Examples.Gallery.reloadContain.witness
Statement hash
27a79d12fd5c56e8

Ledger

cairn_examples^505 is active in this version's claims.lock, statement 27a79d12fd5c56e8. An id never moves or changes meaning.