Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.4

cairn^944 An overlay panel is where its anchor says

An assumption of cairn 0.2.4.

Id
cairn^944
Kind
assume
Reads as
assumed
Version
0.2.4

All of cairn 0.2.4's claims

What it says

A shown panel's frame has its canvas's size, horizontally centred in the chosen screen's visible frame and the anchor's offset above its bottom, on whole points; the screen is chosen when it appears and kept until it is hidden.

Evidence

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

Where it's defined

Declaration
Cairn.Fuzz.Trusted.Claims.hostPanelPlace
Module
Cairn.Fuzz.Trusted.Claims
Source
lean/Cairn/Fuzz/Trusted/Claims.lean:158 at v0.2.4
Statement hash
-

Ledger

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