Cairn
Docs
Claims
Blog
Packages
Claim ยท sky 0.1.0
sky^3 Load more
A move of sky 0.1.0, in Sky window.
- Id
sky^3- Kind
- move
- Reads as
- proved
- Place
- Sky window
^1 - Version
- 0.1.0
What you do
With a feed that isn't at its end, press Load more.
What you see
The next page of the feed, from the cursor the feed holds, is appended below the posts already there; if a refresh replaced the feed first, the page is dropped.
Evidence
| proved | sound press | Sky.loadMoreMove.press.sound |
| fuzzed | Not shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95). | |
| tested | Not shown yet: the running app matched the model at every step that exercised it (docs/conformance.md). A CI step will publish it (#95). | |
| seen | Not shown yet: a screenshot of the app shows it. A CI step will publish it (#95). | |
Where it's defined
- Declaration
Sky.loadMoreMove- Module
Sky.Claims- Source
lean/Sky/Claims.lean:44atv0.1.0- Statement
Sky.loadMoreMove.enabledSky.loadMoreMove.press.post- Statement hash
d237a538a4f6fb20
Ledger
sky^3 is active in this version's claims.lock, statement d237a538a4f6fb20. An id never moves or changes meaning.