Cairn Docs Claims Blog Packages

Claim ยท cairn 0.4.0

cairn^214 The host reports a double click as a second click

An assumption of cairn 0.4.0.

Id
cairn^214
Kind
assume
Reads as
assumed
Version
0.4.0

All of cairn 0.4.0's claims

What it says

The host sends the second click of a double click as a pointer down with a click count of 2, at the same point, within the system's double-click interval; the runtime turns its release into a double press. (T20)

Evidence

assumedStated, not proved. The proofs rely on it.
fuzzedNot shown yet: the trusted-base fuzzer's check pointer.double-click held. A CI step will publish it (#95).

Where it's defined

Declaration
Cairn.Fuzz.Trusted.Claims.doubleClick
Module
Cairn.Fuzz.Trusted.Claims
Source
lean/Cairn/Fuzz/Trusted/Claims.lean:236 at v0.4.0
Statement hash
-

Ledger

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