Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn 0.2.2
cairn^214 The host reports a double click as a second click
An assumption of cairn 0.2.2.
- Id
cairn^214- Kind
- assume
- Reads as
- assumed
- Version
- 0.2.2
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
| assumed | Stated, not proved. The proofs rely on it. | |
| fuzzed | Not 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.Todo.doubleClick- Module
Examples.Todo- Source
lean/Examples/Todo.lean:211atv0.2.2- Statement hash
-
Ledger
cairn^214 is active in this version's claims.lock. An id never moves or changes meaning.