# Archetype: game-creative (Games/Creative Apps)
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->

**Applies to**: Games, creative tools, interactive content

## Common Proofs

### GAME-1: State machine determinism

**Target**: `verification/proofs/idris2/GameStateMachine.idr`
**Prover**: Idris2
**Priority**: P1

**Statement**: Game state transitions deterministic given seed + inputs.

**Obligations**:
- [ ] Model state + transitions
- [ ] Prove determinism

---

### GAME-2: Scoring correctness

**Target**: `verification/proofs/idris2/Scoring.idr`
**Prover**: Idris2
**Priority**: P1

**Statement**: Score calculation matches documented rules.

**Obligations**:
- [ ] Enumerate scoring rules
- [ ] Prove scorer matches each

---

### GAME-3: Win condition detection

**Target**: `verification/proofs/idris2/WinCond.idr`
**Prover**: Idris2
**Priority**: P2

**Statement**: Win conditions detected correctly (no missed victories).

**Obligations**:
- [ ] Define win predicates
- [ ] Prove detection sound + complete

---

## Plus: Mandatory ABI proofs

ABI-1 through ABI-5.

## Repos using this archetype

candy-crash, cookie-rebound, snapcreate, presswerk, checky-monkey, thejeffparadox, flatracoon, flat-mate, ponyiser, cccp
