Package ยท iamnbutler
pairs
- Kind
- App
- Owner
- iamnbutler
- Version
- 0.1.0
- Published
- Oct 25, 2026 by iamnbutler
- Commit
51e6950fa18datv0.1.0- 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.0 && cairn build --releaseDepends on
cairn^0.2.2cairn_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 |
Claims in 0.1.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.
| 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 |