Skill: Verificar la cobertura de los criterios de aceptación

Verifica que el código implementado cubre los criterios de aceptación del artefacto. La evidencia son los artefactos de prueba automatizada (unit, integración, e2e) presentes en el repositorio y los casos de prueba (TC-XXX) cuando existen — basta con una de las dos fuentes, y se cruzan ambas cuando están disponibles. El resultado es un reporte de cobertura (criteria-coverage.md) que mapea cada criterio a lo que lo cubre y cierra con un veredicto sobre si el trabajo queda cubierto.

El trazado primario es para historias de usuario (US-XXX) con sus criterios de aceptación. Sirve igual para cualquier otro artefacto que tenga criterios con identificador codificado — el formato es indiferente (AC-001, 1.1, R-3…) y se usa verbatim, sin normalizar (ver Tipos de trabajo y criterios). Es el mismo contrato que produce test-define.

Qué hace: lee, mapea, obtiene los resultados de pruebas delegando en quality-check y reporta. Es una actividad de verificación, no de desarrollo.

No ejecuta pruebas por sí mismo. La ejecución de la batería de pruebas se delega en quality-check: si existe una corrida previa fresca de quality-check (sin cambios en el código desde entonces), se reutilizan sus resultados; si no, se invoca quality-check en modo tests-only para producirlos. Ver Resultados de pruebas: delegación en quality-check.

Reporte idempotente. Si no han cambiado ni el código, ni las pruebas, ni los criterios y casos de prueba del artefacto desde la última vez que se generó el criteria-coverage.md, no se genera un documento nuevo: se devuelven los mismos resultados del reporte existente. Ver Reutilización del reporte (idempotencia).

Qué NO hace: no escribe ni modifica código de aplicación, no escribe nuevos tests (eso es de quality-specialist vía work-implement), no edita la especificación de producto (README de la US, TK-XXX, WI-XXX, FT-XXX, validation.md, ADRs), ni corre la suite de pruebas directamente. Lo único que produce es el reporte de trazabilidad. Lo que no se puede determinar de las fuentes va a Observaciones o se pregunta al usuario — nunca se inventa cobertura ni resultados.

Alcance del informe

El informe de este skill cubre un artefacto concreto y sus criterios de aceptación. La pregunta es «¿cada criterio de este trabajo está probado?», así que el universo lo definen los criterios del artefacto, no los archivos que cambiaron ni el repositorio completo.