Cairn Docs Claims Blog Packages

Claim ยท sky 0.3.1

sky^14 The feed

A place of sky 0.3.1.

Id
sky^14
Kind
place
Reads as
no proof
Version
0.3.1

All of sky 0.3.1's claims

What it is

The home feed in a virtual list: one row per post (avatar, name, handle, time, the text wrapped, up to four images, Reposted by and Replying to, other embeds as a line, the counts), then the end row. Cairn owns its offset and lays only the rows near the view; the wheel, the trackpad and the page keys move it.

In this place

Moves

IdClaimReads as
sky^30Reach the end of the feedScroll the feed to its end, while it isn't at the end of the timeline.proved
sky^31Retry loading moreAfter a load-more failed, press Retry at the end of the feed.proved
sky^32A postPress a post (or Return on it); or scroll it into view.proved

Evidence

no proofA place states where claims live; it has nothing to prove.
seenNot shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration
Sky.feedPlace
Module
Sky.Claims
Source
lean/Sky/Claims.lean:53 at v0.3.1
Statement hash
-

Ledger

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