July 4, 2026 Un bug oculto durante 16 años que las matemáticas encontraron en 20 pasos SQLiteTLA+Verificación FormalWAL