MENLO PARK, California — Los asistentes de programación se han vuelto buenos produciendo código que parece correcto. La pregunta más difícil para el desarrollador que tiene que fusionarlo es si alguien lo comprobó. Remy, el agente de programación de Corepass, responde con lo que equivale a un rastro de evidencias: un registro de las comprobaciones que ejecutó, de lo que cambió cuando una falló y una relación explícita de lo que no verificó.
Este comportamiento, descrito en la página de producto de Remy, sigue un orden fijo. Después de cambiar el código, Remy ejecuta las pruebas, la comprobación de tipos o la compilación que correspondan. Si algo falla, busca la causa, la corrige y repite la misma comprobación, no otra distinta y más fácil. La página de producto lo dice sin rodeos en el último paso: “Luego te dice qué ejecutó, cómo salió y qué no llegó a verificar”.
- Ejecutar comprobacionesPruebas, comprobación de tipos o la compilación
- Encontrar la causaCuando falla una comprobación
- Corregir y repetirLa misma comprobación, otra vez
- InformarQué se ejecutó, cómo salió y qué no se verificó
La comprobación que falló es la que se vuelve a ejecutar
Por qué importa repetir la misma comprobación
La insistencia en volver a ejecutar la comprobación idéntica es la clave. Una corrección seguida de otra prueba, o de ninguna, deja en el aire si el fallo original ha desaparecido. Repetir la comprobación que falló vincula la corrección con la evidencia de que funcionó, y pone esa evidencia donde quien revisa puede verla.
“Luego te dice qué ejecutó, cómo salió y qué no llegó a verificar”.
Decir lo que no se comprobó
La última parte del informe quizá sea la menos habitual entre las herramientas de programación. La nota final de Remy separa lo verificado de lo que no; en la propia demostración del producto, una tarea termina con dos listas, una titulada “Verificado” y otra “Sin verificar”. Un cambio en código que ninguna prueba cubre, por ejemplo, aparecería como no verificado en lugar de pasarse por alto.
Revisión antes de fusionar
La verificación es una capa. La documentación de Remy describe un modo de revisión de código independiente que informa de los hallazgos por gravedad, cada uno con su ubicación, su impacto y la evidencia que lo respalda. En el flujo de trabajo de la página de producto, un bot de revisión, Bugbot, lee el diff y busca lo que las pruebas no detectaron antes de que salga la pull request.
Corepass incluye “Mantener el trabajo revisable” entre los principios con los que construye, y el informe de verificación es su expresión más clara en el producto: el agente hace las comprobaciones y el desarrollador recibe el registro que necesita para decidir si fusiona.