Cairn Docs Claims Blog Packages

Package ยท iamnbutler

cairn_examples

Cairn's example apps: Counter, Basics, Todo, Clock, Tray and Gallery.

Kind
App
Owner
iamnbutler
Version
0.2.0
Published
Oct 26, 2026 by iamnbutler
Commit
df45306a6bed at v0.2.0
Toolchain
leanprover/lean4:v4.35.0
License
MIT
Claims
71 active4 retired

Claims in 0.2.0Docs for 0.2.0

Build it

cairn_examples 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/cairn_examples.git
cd cairn_examples && git checkout v0.2.0 && cairn build --release

Depends on

Versions

VersionPublishedCommitClaimsDocs
0.2.0Oct 26, 2026df45306a6b71 active4 retireddocs
0.1.1Oct 25, 2026d5c85bbd5371 active3 retireddocs
0.1.0Oct 25, 2026759369145d71 active3 retireddocs

What changed in 0.2.0

Claims new, retired or moved since 0.1.1.

IdChangeKindClaim
cairn_examples^225retiredinvariantThe list is the filter applied to the todos
cairn_examples^226newinvariantThe list is the filter applied to the todos

Claims in 0.2.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
cairn_examples^1moveactiveIncrement
cairn_examples^2moveactiveReset
cairn_examples^3placeactiveCounter window
cairn_examples^4flowactiveCount to three
cairn_examples^5flowactiveStart over
cairn_examples^6invariantretiredMoves never leave a press in progress
cairn_examples^101moveactiveType a new item
cairn_examples^102moveactiveAdd
cairn_examples^103moveactiveToggle an item
cairn_examples^104moveactiveDelete an item
cairn_examples^105invariantactiveItems left
cairn_examples^106placeactiveBasics window
cairn_examples^107flowactiveAdd two items and finish one
cairn_examples^108flowactiveBlank text adds nothing
cairn_examples^109flowactiveAdd an item, then delete it
cairn_examples^201placeactiveTodos window
cairn_examples^202moveactiveNew todo
cairn_examples^203moveactiveMark all as complete
cairn_examples^204moveactiveComplete a todo
cairn_examples^205moveactiveEdit a todo
cairn_examples^206moveactiveDelete a todo
cairn_examples^207moveactiveEdit field
cairn_examples^208moveactiveAll
cairn_examples^209moveactiveActive
cairn_examples^210moveactiveCompleted
cairn_examples^211moveactiveClear completed
cairn_examples^212invariantactiveCounter and ids
cairn_examples^213invariantretiredThe list is the filter applied to the todos
cairn_examples^215moveretiredBack through filters
cairn_examples^216flowactiveAdd two todos and complete one
cairn_examples^217flowactiveBlank text adds nothing
cairn_examples^218flowactiveEdit a todo and save with Enter
cairn_examples^219flowactiveSaving a blank edit deletes the todo
cairn_examples^220flowactiveEscape cancels an edit
cairn_examples^221flowactiveThe Active filter hides completed todos
cairn_examples^222flowactiveClear completed
cairn_examples^223flowactiveMark all as complete, then undo it
cairn_examples^224flowactiveA new todo under the Completed filter
cairn_examples^225invariantretiredThe list is the filter applied to the todos
cairn_examples^226invariantactiveThe list is the filter applied to the todos
cairn_examples^401moveactiveStart / Stop
cairn_examples^402moveactiveLap
cairn_examples^403moveactiveReset
cairn_examples^404moveactiveSave laps
cairn_examples^405moveactiveLoad laps
cairn_examples^406placeactiveClock window
cairn_examples^407flowactiveTwo laps
cairn_examples^408flowactiveStart over
cairn_examples^409invariantactivePending requests have fresh ids
cairn_examples^450placeactiveTray menu
cairn_examples^451placeactiveRecent Items submenu
cairn_examples^452placeactiveOverlay panel
cairn_examples^453moveactiveOpen the menu
cairn_examples^454moveactiveShow Overlay
cairn_examples^455moveactiveKeep Recent Items
cairn_examples^456moveactiveAdd Item
cairn_examples^457moveactiveRecent item
cairn_examples^458moveactiveClear Recent Items
cairn_examples^459moveactiveQuit Tray
cairn_examples^460invariantactiveAt most five recent items
cairn_examples^461flowactiveShow the overlay
cairn_examples^462flowactiveAdd an item and pick it
cairn_examples^501moveactiveReload
cairn_examples^502moveactiveFit
cairn_examples^503placeactiveGallery window
cairn_examples^504invariantactivePending loads have fresh ids
cairn_examples^505flowactiveReload, then fit inside
cairn_examples^506moveactiveLoad 24
cairn_examples^507moveactiveCancel
cairn_examples^508flowactiveLoad many, then cancel
cairn_examples^509moveactiveReload a tile
cairn_examples^510invariantactiveTiles fit the window at every size
cairn_examples^511invariantactiveTiles are at least 180 points wide
cairn_examples^512moveactiveNext page
cairn_examples^513invariantactiveA dropped thumbnail waits to be loaded again