Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.2

cairn^1030 The badge the host shows is the label of the last badge effect, or none

An assumption of cairn 0.5.2.

Id
cairn^1030
Kind
assume
Reads as
assumed
Version
0.5.2

All of cairn 0.5.2's claims

What it says

The host sets the Dock tile's badge label (NSApp.dockTile.badgeLabel) to exactly the label of each badge effect, as it is, in the order the frames hand them over, and clears it for badge none; it never sets the badge otherwise. So the badge shown is the label of the last badge effect, or none.

Evidence

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

Where it's defined

Declaration
Cairn.Fuzz.Trusted.Claims.hostBadge
Module
Cairn.Fuzz.Trusted.Claims
Source
lean/Cairn/Fuzz/Trusted/Claims.lean:295 at v0.5.2
Statement hash
-

Ledger

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