Cairn Docs Claims Blog Packages

Package ยท iamnbutler

sky

Kind
App
Owner
iamnbutler
Version
0.3.1
Published
Oct 26, 2026 by iamnbutler
Commit
bd64e76f09c1 at v0.3.1
Toolchain
leanprover/lean4:v4.35.0
License
MIT
Claims
26 active5 retired

Claims in 0.3.1Docs for 0.3.1

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.3.1 && 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.3.1

No claim is new, retired or moved since 0.3.0.

Claims in 0.3.1

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^3moveretiredLoad 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^14placeactiveThe feed
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^26invariantretiredThe password reaches one request
sky^27invariantretiredSigned out, no secret
sky^28invariantactiveThe password reaches one request
sky^29invariantactiveSigned out, no secret
sky^30moveactiveReach the end of the feed
sky^31moveactiveRetry loading more
sky^32moveactiveA post
sky^33moveactiveShow new posts
sky^34invariantactivePosts keep their keys
sky^35invariantactiveThe post you are reading stays still
sky^36invariantactiveImage loads only near the view