Cairn Docs Claims Blog Packages

Package ยท iamnbutler

sky

Kind
App
Owner
iamnbutler
Version
0.2.0
Published
Oct 25, 2026 by iamnbutler
Commit
8ed1aa31f06a at v0.2.0
Toolchain
leanprover/lean4:v4.35.0
License
MIT
Claims
19 active2 retired

Claims in 0.2.0Docs for 0.2.0

Build it

sky is an app: nothing can depend on it. Clone it from the registry and build it with the cairn tool:

git clone https://cairn.registry.nexthub.sh/git/iamnbutler/sky.git
cd sky && git checkout v0.2.0 && cairn build --release

Depends on

Versions

VersionPublishedCommitClaimsDocs
0.3.1Oct 26, 2026bd64e76f0926 active5 retireddocs
0.3.0Oct 26, 2026d9bd7af4c426 active5 retireddocs
0.2.0Oct 25, 20268ed1aa31f019 active2 retireddocs
0.1.0Oct 25, 20264e8b3f937111 activedocs

What changed in 0.2.0

Claims new, retired or moved since 0.1.0.

IdChangeKindClaim
sky^2retiredmoveSign in
sky^5retiredmoveSign out
sky^6newmoveType your handle or email
sky^7newmoveType your app password
sky^8newmoveType the service
sky^9newmoveWhat's an app password?
sky^10newmoveSign in
sky^11newmoveSign out
sky^12newmoveCancel signing in
sky^13newmoveAccount
sky^26newinvariantThe password reaches one request
sky^27newinvariantSigned out, no secret

Claims in 0.2.0

Every id this package has issued, as its claims.lock held them at this version. An id never moves or changes meaning: the registry refuses a version that drops, renumbers or redefines one. The claim pages show each claim by place, with what it does and its evidence.

IdKindStatusClaim
sky^1placeactiveSky window
sky^2moveretiredSign in
sky^3moveactiveLoad more
sky^4moveactiveRefresh
sky^5moveretiredSign out
sky^6moveactiveType your handle or email
sky^7moveactiveType your app password
sky^8moveactiveType the service
sky^9moveactiveWhat's an app password?
sky^10moveactiveSign in
sky^11moveactiveSign out
sky^12moveactiveCancel signing in
sky^13moveactiveAccount
sky^20invariantactiveThe feed is a run of the timeline
sky^21invariantactiveA stale page changes nothing
sky^22invariantactiveThe cursor is never lost
sky^23invariantactiveA refresh racing a load-more
sky^24invariantactiveRequests in flight are accounted for
sky^25invariantactiveSigned out, nothing shown or in flight
sky^26invariantactiveThe password reaches one request
sky^27invariantactiveSigned out, no secret