Cairn Docs Claims Blog Packages

Claim · cairn 0.2.5

cairn^206 Delete a todo

A move of cairn 0.2.5, in Todos window.

Id
cairn^206
Kind
move
Reads as
proved
Place
Todos window ^201
Version
0.2.5

All of cairn 0.2.5's claims

What you do

Press a todo's delete button (×, drawn while the pointer is over the row or the button has keyboard focus). (T21, T22, T49)

What you see

The todo is gone, with its row. Nothing else changes.

Evidence

provedsound pressExamples.Todo.deleteTodo.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.Todo.deleteTodo
Module
Examples.Todo
Source
lean/Examples/Todo.lean:102 at v0.2.5
Statement
Examples.Todo.deleteTodo.enabled Examples.Todo.deleteTodo.press.post
Statement hash
6f4391a930943988

Ledger

cairn^206 is active in this version's claims.lock, statement 6f4391a930943988. An id never moves or changes meaning.