Add Postgres race/deny tests, duplicate instance id coverage, FK-safe outcome append, MakeInstanceKey locking, decomposition alignment updates, and strike-through review doc.
Durable per-player contract instances (one active) and append-only outcome audit rows, mirroring NEO-116/135 store patterns with V011/V012 migrations, AAA tests, README docs, and Bruno health smoke.