@saulwade/swl-ses 1.4.2 → 1.5.0

package/habilidades/verificar-trabajo/SKILL.md

@@ -1,12 +1,12 @@
 ---
 name: verificar-trabajo
-description: Verificación goal-backward del trabajo ejecutado en 4 niveles progresivos — EXISTE, SUSTANTIVO, CONECTADO, DATOS_FLUYEN. Detecta stubs, componentes huérfanos, integraciones rotas y flujos incompletos. Produce veredictos estructurados JSON con clasificación de riesgo (Low/Medium/High) y evidencia verificable. Soporta loop de reparación cuando el veredicto es Fail.
-version: "1.1.1"
+description: Verificación goal-backward del trabajo ejecutado en 4 niveles progresivos — EXISTE, SUSTANTIVO, CONECTADO, DATOS_FLUYEN. Clasifica claims en 4 tipos (TASK, FIX, TEST_OR_BUILD, FEATURE_GO) con evidencia proporcional. Detecta stubs, componentes huérfanos, integraciones rotas y flujos incompletos. Produce veredictos estructurados JSON con clasificación de riesgo (Low/Medium/High) y evidencia verificable. Soporta loop de reparación cuando el veredicto es Fail.
+version: "1.2.0"
 evolved: true
-evolved-from: "1.1.0"
-evolved-at: "2026-05-05"
+evolved-from: "1.1.1"
+evolved-at: "2026-05-15"
 evolved-by: "aprender"
-evolved-note: "Gotcha de la sesión SIGM 2026-05-05 (L7): tests + linter no detectan schema-seed drift; cuando el alcance toca BD, Nivel 4 obligatorio con docker compose down -v && up fresco"
+evolved-note: "Taxonomía de claim types adoptada de cc-sdd kiro-verify-completion: cada tipo de claim (TASK/FIX/TEST_OR_BUILD/FEATURE_GO) requiere evidencia distinta. Previene declarar éxito broader que la evidencia disponible."
 herramientasPermitidas: [Read, Write, Edit, Bash, Glob, Grep]
 exclusiones:
   - "No cargar durante la implementación activa de una tarea; la verificación es posterior a la implementación, no concurrente."
@@ -60,6 +60,50 @@ El skill `verificacion-evidencia` tiene el detalle completo de este protocolo.
 
 ---
 
+## Taxonomía de claims (clasifica ANTES de verificar)
+
+El nivel de evidencia requerido depende del tipo de claim que se quiere validar.
+Antes de aplicar los 4 niveles, identifica qué clase de claim estás verificando.
+
+Inspirado en `kiro-verify-completion` (cc-sdd) — ver `temp/cc-sdd-main/tools/cc-sdd/templates/agents/claude-code-skills/skills/kiro-verify-completion/SKILL.md`.
+
+### Los 4 tipos de claim
+
+| Claim type | Cuándo aplica | Evidencia mínima obligatoria |
+|------------|---------------|-------------------------------|
+| **TASK** | "Esta tarea está completa" — una sub-tarea atómica del PLAN.md | Niveles 1-3; tests locales de la tarea pasan; sin findings de revisor bloqueantes; evidencia alineada al boundary de la tarea |
+| **FIX** | "Este bug está arreglado" — corrección de un defecto reportado | Síntoma original reproducido antes del fix + ya no se reproduce después; sin regresiones en el scope relevante |
+| **TEST_OR_BUILD** | "Los tests pasan" / "el build pasa" — claim mecánico | Output literal del comando + exit code 0; conteo de pass/fail/skipped explícito; NO inferir desde checks no relacionados |
+| **FEATURE_GO** | "Esta feature/fase está lista para producción" — claim de cierre mayor | Suite de tests completa verde + smoke test runtime (la app realmente arranca a estado usable) + cobertura de requisitos evaluada + alineación end-to-end con design + integración cross-task verificada |
+
+### Reglas duras
+
+1. **Identifica el claim type ANTES** de seleccionar evidencia. No reverse-engineer "qué tipo es" desde la evidencia que ya tienes.
+2. **Rechaza claims más amplios que la evidencia**. Si solo verificaste una tarea (TASK), no puedes emitir FEATURE_GO. Reporta el alcance real.
+3. **Para TEST_OR_BUILD**: la evidencia es el output del comando, no la inferencia. Si los tests pasan pero hay 47 skipped por preconditions falsas, NO es un Pass limpio — reporta los skipped como riesgo (ver regla `monitor-ci.md` § "verde con N skipped").
+4. **Para FEATURE_GO**: un test suite verde NO basta. Requiere también smoke runtime, cobertura de requisitos y alineación end-to-end.
+5. **Si la validación canónica no puede completarse** (sin BD disponible, sin red, sin runtime), retorna `MANUAL_VERIFY_REQUIRED` en lugar de inventar evidencia.
+
+### Mapeo a salidas del veredicto
+
+El claim type se incluye en el veredicto estructurado JSON:
+
+```json
+{
+  "claim_type": "TASK | FIX | TEST_OR_BUILD | FEATURE_GO",
+  "claim_text": "Tarea 3.2 — Crear endpoint POST /facturas",
+  "verdict": "VERIFIED | NOT_VERIFIED | MANUAL_VERIFY_REQUIRED",
+  "scope_evidence_match": "exact | broader_claim_than_evidence | narrower_claim_than_evidence",
+  ...
+}
+```
+
+Si `scope_evidence_match` es `broader_claim_than_evidence`, el verdict se
+degrada automáticamente a `NOT_VERIFIED` con instrucción de re-emitir el
+claim con scope acotado.
+
+---
+
 ## Los 4 niveles de verificación
 
 ### Nivel 1 — EXISTE