Refactor de inicialización de base de datos en Rust y Dart FFI

Un arreglo de concurrencia en la frontera entre Dart y Rust. Una llamada de función foránea cancelada estaba destruyendo el future que era dueño de una migración de SQLite en curso, dejando la base de datos bloqueada y el esquema aplicado a medias. El refactor desacopla la inicialización del tiempo de vida de cualquier llamador, deduplica intentos concurrentes y mantiene intacta la interfaz FFI pública.

La inicialización de la base de datos corría dentro de la tarea asíncrona creada por la llamada FFI de Dart. Si esa llamada se cancelaba — el llamador expira, la pantalla se destruye, la app pasa a segundo plano — el future se soltaba, y con él lo que la migración estuviera haciendo.

En Rust asíncrono, un future soltado simplemente se detiene en su último punto de suspensión. No hay desenrollado ni oportunidad de terminar. Si el drop ocurre entre dos sentencias de migración, el esquema queda parcialmente aplicado y la conexión de SQLite se destruye mientras todavía sostiene un bloqueo. La siguiente llamada encuentra entonces una base de datos bloqueada y en estado inconsistente — y como esa llamada corre el mismo código, falla igual.

La cancelación en Rust asíncrono no es una ruta de error: es la ausencia de una. Soltar un future lo detiene en el .await que haya alcanzado por último, sin notificación y sin oportunidad de limpiar más allá de lo que las implementaciones de Drop hagan por casualidad.

Para la mayoría del trabajo eso es inofensivo. Para una migración no lo es, porque una migración es una secuencia de sentencias que solo tiene sentido como un todo. Detenerse entre dos de ellas deja el esquema en un estado que ninguna versión del código espera, y la conexión que sostiene el bloqueo desaparece sin un cierre limpio.

La peor propiedad era que la falla se perpetuaba sola. El reintento corría la misma ruta cancelable y heredaba tanto el bloqueo como el esquema inconsistente, así que una sola cancelación mal cronometrada podía dejar la base de datos inusable indefinidamente.

El cambio central es que la inicialización ya no pertenece a la llamada que la disparó. Un llamador obtiene un handle a una operación compartida; el tiempo de vida de la operación gobierna la migración. Cancelar un llamador suelta el handle de ese llamador y nada más — la migración corre hasta completarse y libera su bloqueo con normalidad.

Mover el trabajo a una tarea bloqueante sirve al mismo objetivo desde otra dirección. Las migraciones de SQLite son trabajo síncrono, ligado a CPU y E/S, que no tiene por qué ocupar un hilo del ejecutor asíncrono, y una tarea bloqueante no está sujeta a la misma semántica de drop-en-await que volvía destructiva la cancelación en primer lugar.

Una vez que la inicialización sobrevive a su llamador, varios llamadores pueden llegar mientras sigue corriendo. Dejar que cada uno inicie su propia migración reintroduciría la contención de bloqueos que el refactor existe para eliminar, así que los intentos concurrentes se colapsan en uno: el primer llamador arranca el trabajo, todos los demás esperan el mismo resultado.

El fallo hay que manejarlo aparte del éxito. Una inicialización completada se cachea y nunca se repite; una fallida no debe cachearse, o un solo error transitorio envenenaría todo intento futuro. El estado compartido por lo tanto distingue entre 'listo' e 'intentado y fallido', y solo lo primero corta camino.

El comportamiento que vale la pena probar es el que causó el bug: cancelar un llamador a mitad de inicialización y verificar que la migración de todos modos se completa, que el bloqueo se libera y que una llamada posterior tiene éxito. Junto a eso, llamadores concurrentes deberían producir exactamente una corrida de migración, y un fallo forzado debería dejar el sistema reintentable en vez de permanentemente roto.

Como la interfaz FFI pública no cambió, los llamadores existentes ejercitan la nueva implementación sin modificación — que es la validación más útil disponible, porque la falla original solo aparecía bajo temporización real.