Severity: HIGH
Location: src/Controllers/DoorGameController.php:103-121
Bug: Read-increment-write on INI file without lock; concurrent plays can duplicate UserId.
Fix: fopen('c+') + flock(LOCK_EX) across the read-increment-write, or move to DB sequence.
Status: open. Will reply with remediation details when resolved.