La Estructura de Cuentas
Cada instrucción declara una estructura de cuentas con #[derive(Accounts)]. Anchor ejecuta las restricciones antes de que se ejecute tu manejador, aplicando la propiedad, la mutabilidad y las relaciones de forma fallida y cerrada.