← All proofs

Claim

XP JOURNAL APPEND-ONLY + EVENT-ONCE

Status

PROVEN (NEW)

Law

One economic event writes one journal row — the journal is append-only and a replayed event is a no-op.

Implementation

044 migration: trigger refuses UPDATE/DELETE; partial UNIQUE (payer, kind, ref); both appendXp paths no-op replays; players.xp re-derived

Test

packages/decisions + worker suites (event-once in store code); migration 044

Limitation

DB-migration behavior not executable in this environment (Docker-gated)

Last verified

2026-10-17 · build edd6a6f (edd6a6f35dcab81b178a2e1ef1a31c2901aa67b8)

Reproduction

pnpm --filter @tollbridge/decisions test