Encontrar el bug WAL de SQLite desde un móvil en una hora con Antithesis

Un ingeniero de Antithesis, Carl, relata cómo localizó y verificó el conocido bug de WAL-Reset de SQLite —un error de condición de carrera en el sistema de registro anticipado de escritura que llevaba oculto desde 2010— usando las skills de Claude para Antithesis. Tras la publicación de SQLite 3.51.3, que corregía el fallo, el autor instrumentó la versión 3.51.2 con aserciones genéricas de integridad y diseñó una carga de trabajo sencilla que ejecuta escrituras y checkpoints de forma concurrente. En la primera ejecución, Antithesis reprodujo el bug en 15 minutos; al repetir la prueba con 3.51.3, el resultado fue limpio. El artículo contextualiza el hallazgo con el caso de Tailscale, que sufrió seis meses de problemas de disponibilidad en 2025 a causa de este mismo error: el equipo necesitó desarrollar un nuevo pipeline de registro de transacciones y una herramienta de depuración para la capa de sistema de archivos virtual de SQLite, desplegar y retirar una primera versión que rompía otra funcionalidad y esperar dos meses adicionales hasta validar el arreglo definitivo. Antithesis destaca que su análisis de causalidad y su depuración determinista con viaje en el tiempo habrían reducido ese proceso a una fracción del tiempo. El autor concluye subrayando la eficacia de combinar agentes de IA con la plataforma para cazar errores difíciles de bases de datos.