Cairn Docs Claims Blog Packages

Claim ยท cairn_examples 0.2.0

cairn_examples^503 Gallery window

A place of cairn_examples 0.2.0.

Id
cairn_examples^503
Kind
place
Reads as
no proof
Version
0.2.0

All of cairn_examples 0.2.0's claims

What it is

Six image tiles in a grid, each with its name and pixel size or fault, under a header with Fit and Reload.

In this place

Moves

IdClaimReads as
cairn_examples^501ReloadPress Reload.proved
cairn_examples^502FitPress Fit.proved
cairn_examples^506Load 24Press Load 24.proved
cairn_examples^507CancelPress Cancel.proved
cairn_examples^509Reload a tilePress a tile.proved
cairn_examples^512Next pagePress Next page.proved

Flows

IdClaimReads as
cairn_examples^505Reload, then fit insidePress Reload, then Fit.proved
cairn_examples^508Load many, then cancelPress Load 24, then Cancel.proved

Evidence

no proofA place states where claims live; it has nothing to prove.
seenNot shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration
Examples.Gallery.window
Module
Gallery
Source
lean/Gallery.lean:239 at v0.2.0
Statement hash
-

Ledger

cairn_examples^503 is active in this version's claims.lock. An id never moves or changes meaning.