Cairn Docs Claims Blog Packages

Claim ยท sky 0.3.1

sky^31 Retry loading more

A move of sky 0.3.1, in The feed.

Id
sky^31
Kind
move
Reads as
proved
Place
The feed ^14
Version
0.3.1

All of sky 0.3.1's claims

What you do

After a load-more failed, press Retry at the end of the feed.

What you see

Sky asks for the next page again, from the cursor the feed holds.

Evidence

provedsound pressSky.retryMore.press.sound
fuzzedNot shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).
testedNot shown yet: the running app matched the model at every step that exercised it (docs/conformance.md). A CI step will publish it (#95).
seenNot shown yet: a screenshot of the app shows it. A CI step will publish it (#95).

Where it's defined

Declaration
Sky.retryMore
Module
Sky.Claims
Source
lean/Sky/Claims.lean:163 at v0.3.1
Statement
Sky.retryMore.enabled Sky.retryMore.press.post
Statement hash
7c36f8c6bd954b80

Ledger

sky^31 is active in this version's claims.lock, statement 7c36f8c6bd954b80. An id never moves or changes meaning.