Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.1

cairn^7 The host reports clicks where they happen

An assumption of cairn 0.2.1.

Id
cairn^7
Kind
assume
Reads as
assumed
Version
0.2.1

All of cairn 0.2.1's claims

What it says

The host sends a pointer down and up at the logical point the person clicked, in order.

Evidence

assumedStated, not proved. The proofs rely on it.
fuzzedNot shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).

Where it's defined

Declaration
Examples.Counter.hostClicks
Module
Examples.Counter
Source
lean/Examples/Counter.lean:94 at v0.2.1
Statement hash
-

Ledger

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