TsArticulos — Bugs detectados, fixes aplicados y testing agregado

1. Resumen ejecutivo

Incidente Dino 19–20/09/2026 (precio de autocobro 1.05 en lugar de 8490.00). Causa raíz: el camino on-miss no aplicaba el contrato de dm_artic — tabla multi-versión por diseño de SrvPOS, donde la fila vigente es la de mayor iVersion y, en empate, mayor iid (NULL se trata como el valor menor). A partir de ahí se hizo una auditoría completa de bugs, se agregaron pruebas con SQL real y mutation testing (PIT), y se aplicaron fixes en dos tandas con revisión adversarial (judgment-day: dos jueces ciegos en paralelo, se corrige solo lo confirmado por ambos, y se vuelve a juzgar).

2. Bugs detectados

Ordenados por id de descubrimiento. Estado por ítem: Aplicado en rama Solo propuesto Caracterizado (sin fix) Informativo.

Descartados tras verificación

• Serialización WebSocket rota (0 errores en 5 días de logs).
• "Entrada vieja con numeración mayor bloquea tras un completo" (iVersion = AUTOINC monotónico).
• "Merge reinicia TTL" (solo se llega tras un miss).
• Reprocesamiento tras caída de SQL Server (refutado por el fuente de SrvPOS).
• Filtro sin sucursal.

3. Fixes aplicados (por tanda, con archivos)

ArticuloProjection winner = activeCache.asMap().merge(cacheKey, candidate,
        (existing, incoming) -> isHigherPriority(incoming, existing) ? incoming : existing);

ROW_NUMBER() OVER (PARTITION BY dm.cean, dm.inrosuc ORDER BY dm.iVersion DESC, dm.iid DESC)
  -> rn = 1 -> filtros -> ORDER BY iid OFFSET/FETCH

Nuevas propiedades (defaults = comportamiento actual)

4. Testing agregado

Antes → ahora

PIT por clase

Perfil pit con mutadores STRONGER. El SQL en sí no es mutable por PIT (cadenas constantes) y sigue cubierto por las 66 pruebas con SQL real; la lógica Java de la clase (mapeo, normalización, escape de LIKE, resolución de envases, binding de parámetros) queda al 100 %.

Cobertura nueva vía ArticulosCacheLoadRepositoryImplTest (44 pruebas, sin BD): RowMapper con ResultSet mockeado, incluyendo coerciones NULL→0/false y iVersion > Integer.MAX_VALUE como Long; normalize; simetría de buildEnvaseLookupKey; escape de toLikePattern; putIfAbsent primero-gana en findEnvasesBatchForCacheLoad; binding de parámetros capturado para findArticuloForCacheMiss; lote base; searchBy/countSearchBy/findArticulos.

6 mutantes vivos (preexistentes, ninguno de las tandas)

• ArticuloCacheService.getCacheLoadBatchSize:312 — batchSize ≤ 0 no probado.
• isHigherPriority:472 — límite exacto del desempate por iid.
• loadSucursalInCache:366 — continuación cuando el lote == batchSize.
• resolvePreloadSucursalesConfig:179 (×2) — elemento null literal en la lista.
• ArticuloService.normalizePage:104 — límite de página.

Mutantes vivos: por qué no es 100 %

• ArticuloCacheService:472 — comparison > 0, mutante >=: comparison ∈ {−1, 0, 1} y el 0 ya fue excluido por el if anterior → equivalente; es la línea del desempate y NO se modifica para complacer a PIT.
• ArticuloCacheService:366 — !lote.isEmpty() redundante con size() == batchSize, batchSize ≥ 1 → equivalente.
• ArticuloCacheService:179 (×2) — ambas ramas lanzan la misma excepción → equivalente; validación de configuración.
• ArticuloCacheService:312 — batchSize == null con un int primitivo en AppProperties → inalcanzable, equivalente.
• ArticuloService:104 — límite de página con DEFAULT_PAGE = 0 → indistinguible.

Conclusión: los 6 son equivalentes o inalcanzables; ninguno afecta precios.

Infraestructura de las IT

Perfil Maven integration-sql (maven-failsafe, *IT.java), SQL Server local, base descartable TsArticulosIT, DDL copiado de la estructura real de TipreRetail.dbo.dm_artic (solo lectura de metadatos), cada sentencia destructiva verifica DB_NAME()='TsArticulosIT'. Conexión por variables de entorno TSART_IT_DB_URL (default jdbc:sqlserver://localhost:1433;encrypt=false;trustServerCertificate=true), TSART_IT_DB_USER (default sa) y TSART_IT_DB_PASSWORD (sin default). La omisión (JUnit Assumptions) depende únicamente de que TSART_IT_DB_PASSWORD no esté definida.

Clases IT nuevas

• OnMissDuplicateResolutionIT
• PreloadDuplicateResolutionIT
• CrossPathConsistencyIT
• SucursalIsolationAndEanNormalizationIT
• EnvaseAndTypeFidelityIT
• NullPrimitiveProjectionCharacterizationIT (hoy regresión)
• SearchByPagingAndDuplicateIT (13 casos, incluye 80.000 filas)
• TypeFidelityMatrixIT (Long sobre Integer.MAX_VALUE, orden en el límite con NULL)
• MultiVersionOracleIT (211 claves, oráculo ROW_NUMBER independiente, réplica exacta del incidente)
• CacheLoadQueryTimeoutIT (WAITFOR DELAY contra el bean real)
• EnvaseCrossSucursalBatchIT
• PreloadKeysetPaginationMatrixIT (lotes 1, 2, N-1, N, N+1, 1000; lista vs "0")
• CollationAndPaddingMatrixIT (10 casos: case, espacios finales, ceros a la izquierda, cEnganche '0'/''/NULL/espacios, envase con espacio final, ambos lados con relleno, caracterización B22 cEnganche/iArticulo con distinta mayúscula)
• ReloadTransactionIsolationIT (A16: transacción abierta con DELETE+INSERT sin commit → refresh FAILED por timeout a 2 s, caché anterior intacta, siguiente startRefresh = STARTED, miss → DataAccessException; tras el commit el refresh ve el estado nuevo; RED confirmado con NOLOCK reinstalado: expected FAILED but was SUCCESS)

Prueba unitaria de regresión (A16)

ArticulosCacheLoadRepositoryImplNoLockRegressionTest — verifica que ninguna constante SQL de la clase contiene NOLOCK.

Comandos

mvn -o verify

TSART_IT_DB_USER=<usuario> TSART_IT_DB_PASSWORD=<clave> mvn -o -Pintegration-sql verify

mvn -o test-compile org.pitest:pitest-maven:mutationCoverage -Ppit
(reportes en target/pit-reports/)

5. Revisión adversarial (judgment-day)

Dos jueces ciegos en paralelo revisan el mismo diff sin verse entre sí; solo se corrige lo que ambos confirman de forma independiente; luego se vuelve a juzgar sobre el resultado.

Tanda 1

• R1 — 0 críticos. Confirmado por ambos jueces: escritura on-miss incondicional (B7). 4 sugerencias válidas adicionales → corregidas.
• R2 — Confirmado por ambos (real): carrera on-miss vs on-miss (B8) → merge atómico + prueba de concurrencia.
• R3 — APROBADO.

Tanda 2

• R1 — 0 críticos. Confirmado por ambos jueces (real): clave de envase sin trim del lado artículo (B18) → corregido. 2 sugerencias de tests aplicadas: MockMvc real para el handler; trim del envase.
• R2 — Confirmado por ambos: la clave del lado ENVASE (iArticulo + inrosuc) seguía sin normalizar → corregido en findEnvasesBatchForCacheLoad y en ambos enrich…. 2 ITs nuevas (envase con espacio final; ambos lados con relleno) que fallaban con el fix revertido.
• R3 — APROBADO: ambos jueces señalan una inconsistencia teórica (normalize devuelve null y normalizeCacheKeyPart devuelve "" para sucursal nula → claves "null|x" vs "|x"); clasificada INFO porque una sucursal nula nunca entra en el IN (:sucursales) de la consulta, por lo que ningún envase llega al lookup (ver B23). Queda anotada como deuda: unificar ambos helpers en uno solo.

6. Revisión adversarial independiente (Codex, 22/09/2026)

Se pidió a un segundo modelo (OpenAI Codex), sin acceso a nuestras conclusiones (prompt en prompt-codex-adversarial-review.md), una revisión adversarial de la rama. Veredicto de Codex: REJECT (3 hallazgos). Cada hallazgo fue contrastado contra el código y contra 860.328 filas de una copia local de TipreRetail (consultas de solo lectura).

Sospechas de Codex con valor real

7. Cambios visibles para el despliegue

• POST /cache/refresh: 409 si ya hay refresh en curso, 503 si no pudo iniciar (antes 202).
• /searchBy y listados devuelven menos filas donde había versiones superadas o envases duplicados; count coincide con el total real.
• GET /cache/refresh/status: loadedEntries pasa a ser claves distintas cargadas.
• Errores de BD: sobre ResponseMessage con 503/500 en REST y respuesta por el mismo canal en WebSocket.
• iVersion sigue siendo numérico en JSON.
• Dos propiedades nuevas con defaults iguales al comportamiento actual (ver sección 3).
• Lecturas de catálogo sin NOLOCK: durante el completo nocturno un refresh puede fallar por timeout (esperado) y la caché anterior se mantiene; revisar que cache-query-timeout-seconds (60 s) sea mayor que la duración típica del bloqueo o aceptar el reintento en el siguiente ciclo.

8. Pendientes / decisiones

• A10 / A11 / A13 solo propuestos (motivos detallados en la sección 2).
• Commit de la rama y PR — decisión del equipo.
• Cruce de las 25 consultas a 1.05 con tickets reales de Autocompra.
• B22 (mayúsculas/minúsculas): fix propuesto (normalizar mayúsculas en ambos lados de la clave de envase) — decisión del equipo.
• Actualizar el anexo del documento del incidente (hoy dice "Propuesto").