Package ยท iamnbutler
sky
- Kind
- App
- Owner
- iamnbutler
- Version
- 0.3.1
- Published
- Oct 26, 2026 by iamnbutler
- Commit
bd64e76f09c1atv0.3.1- Toolchain
leanprover/lean4:v4.35.0- License
- MIT
- Claims
- 26 active5 retired
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 --releaseDepends on
cairn^0.4.1cairn_atproto^0.2.0cairn_json^0.1.0
Versions
| Version | Published | Commit | Claims | Docs |
|---|---|---|---|---|
| 0.3.1 | Oct 26, 2026 | bd64e76f09 | 26 active5 retired | docs |
| 0.3.0 | Oct 26, 2026 | d9bd7af4c4 | 26 active5 retired | docs |
| 0.2.0 | Oct 25, 2026 | 8ed1aa31f0 | 19 active2 retired | docs |
| 0.1.0 | Oct 25, 2026 | 4e8b3f9371 | 11 active | docs |
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.
| Id | Kind | Status | Claim |
|---|---|---|---|
sky^1 | place | active | Sky window |
sky^2 | move | retired | Sign in |
sky^3 | move | retired | Load more |
sky^4 | move | active | Refresh |
sky^5 | move | retired | Sign out |
sky^6 | move | active | Type your handle or email |
sky^7 | move | active | Type your app password |
sky^8 | move | active | Type the service |
sky^9 | move | active | What's an app password? |
sky^10 | move | active | Sign in |
sky^11 | move | active | Sign out |
sky^12 | move | active | Cancel signing in |
sky^13 | move | active | Account |
sky^14 | place | active | The feed |
sky^20 | invariant | active | The feed is a run of the timeline |
sky^21 | invariant | active | A stale page changes nothing |
sky^22 | invariant | active | The cursor is never lost |
sky^23 | invariant | active | A refresh racing a load-more |
sky^24 | invariant | active | Requests in flight are accounted for |
sky^25 | invariant | active | Signed out, nothing shown or in flight |
sky^26 | invariant | retired | The password reaches one request |
sky^27 | invariant | retired | Signed out, no secret |
sky^28 | invariant | active | The password reaches one request |
sky^29 | invariant | active | Signed out, no secret |
sky^30 | move | active | Reach the end of the feed |
sky^31 | move | active | Retry loading more |
sky^32 | move | active | A post |
sky^33 | move | active | Show new posts |
sky^34 | invariant | active | Posts keep their keys |
sky^35 | invariant | active | The post you are reading stays still |
sky^36 | invariant | active | Image loads only near the view |