Resetting passwords for CARD users...
Found 1000 CARD users.
New credentials CSV: /tmp/card_users_RESET_20260801_214721.csv
------------------------------------------------------------
------------------------------------------------------------
Passwords reset: 1000
Errors         : 0

New credentials saved to: /tmp/card_users_RESET_20260801_214721.csv
Next: re-open scratch_cards.php and re-print the cards (new codes).
Then copy the CSV somewhere safe and DELETE it + this script.