Cairn Docs Claims Blog Packages

Claim ยท pairs 0.1.3

pairs^9 New Game

A move of pairs 0.1.3, in Pairs menu.

Id
pairs^9
Kind
move
Reads as
proved
Place
Pairs menu ^6
Version
0.1.3

All of pairs 0.1.3's claims

What you do

Choose New Game.

What you see

A new game of the same pack, as New Game in the window.

Evidence

provedsound pressPairs.menuNewGame.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
Pairs.menuNewGame
Module
Pairs.Claims
Source
lean/Pairs/Claims.lean:137 at v0.1.3
Statement
Pairs.menuNewGame.press.post
Statement hash
b8d5bdadd3105692

Ledger

pairs^9 is active in this version's claims.lock, statement b8d5bdadd3105692. An id never moves or changes meaning.