Package ยท iamnbutler
pairs
- Kind
- App
- Owner
- iamnbutler
- Version
- 0.1.2
- Published
- Oct 25, 2026 by iamnbutler
- Commit
5a687c4c65fdatv0.1.2- Toolchain
leanprover/lean4:v4.35.0- License
- MIT
- Claims
- 25 active
Build it
pairs 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/pairs.git
cd pairs && git checkout v0.1.2 && cairn build --releaseDepends on
cairn^0.2.4cairn_json^0.1.0
Versions
| Version | Published | Commit | Claims | Docs |
|---|---|---|---|---|
| 0.1.3 | Oct 25, 2026 | 8eaf4a3aa5 | 25 active | docs |
| 0.1.2 | Oct 25, 2026 | 5a687c4c65 | 25 active | docs |
| 0.1.1 | Oct 25, 2026 | 1cc8529af3 | 25 active | docs |
| 0.1.0 | Oct 25, 2026 | 51e6950fa1 | 25 active | docs |
What changed in 0.1.2
No claim is new, retired or moved since 0.1.1.
Claims in 0.1.2
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 |
|---|---|---|---|
pairs^1 | place | active | Pairs window |
pairs^2 | move | active | Turn a card |
pairs^3 | move | active | New Game |
pairs^4 | move | active | Open a pack |
pairs^5 | move | active | Cancel loading |
pairs^6 | place | active | Pairs menu |
pairs^7 | place | active | Packs submenu |
pairs^8 | move | active | Open the menu |
pairs^9 | move | active | New Game |
pairs^10 | move | active | A bundled pack |
pairs^11 | move | active | A pack in the packs folder |
pairs^12 | move | active | Open Packs Folder |
pairs^20 | invariant | active | The board is a deal of the pack |
pairs^21 | invariant | active | At most two unmatched cards face up |
pairs^22 | invariant | active | Won exactly when every card is matched |
pairs^23 | invariant | active | The game can always be won |
pairs^24 | invariant | active | Moves count pairs turned |
pairs^25 | invariant | active | A matched card stays matched |
pairs^26 | invariant | active | Best scores only improve |
pairs^27 | invariant | active | No request is lost |
pairs^28 | invariant | active | A late reply changes nothing |
pairs^29 | invariant | active | Only a finished pack changes the board |
pairs^30 | flow | active | Find a pair |
pairs^31 | flow | active | A mismatch |
pairs^32 | flow | active | Win a game |