Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.4

cairn^401 Start / Stop

A move of cairn 0.2.4, in Clock window.

Id
cairn^401
Kind
move
Reads as
proved
Place
Clock window ^406
Version
0.2.4

All of cairn 0.2.4's claims

What you do

Press Start (Stop while running).

What you see

The stopwatch runs from where it was, or stops and keeps its reading.

Evidence

provedsound pressExamples.Clock.startStopMove.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.Clock.startStopMove
Module
Examples.Clock
Source
lean/Examples/Clock.lean:106 at v0.2.4
Statement
Examples.Clock.startStopMove.press.post
Statement hash
1b77afe95aa65f24

Ledger

cairn^401 is active in this version's claims.lock, statement 1b77afe95aa65f24. An id never moves or changes meaning.