Cairn Docs Claims Blog Packages

Package ยท iamnbutler

sky

Kind
App
Owner
iamnbutler
Version
0.1.0
Published
Oct 25, 2026 by iamnbutler
Commit
4e8b3f93714f at v0.1.0
Toolchain
leanprover/lean4:v4.35.0
License
MIT
Claims
11 active

Claims in 0.1.0Docs for 0.1.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.1.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

Claims in 0.1.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^2moveactiveSign in
sky^3moveactiveLoad more
sky^4moveactiveRefresh
sky^5moveactiveSign out
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