# E-016 — Una ronda tipada puede carecer de criterio verificable de cierre

- Fecha: 2026-08-03
- Estado: limitación de protocolo confirmada durante dogfooding.

## Observación

La ronda `R-HOOK-DOGFOOD` declara su objetivo, scope y checks disponibles, pero el comando de transición no permite declarar evidencia para `AC-PRIMARY`. Por defecto el criterio queda sin checks vinculados y `round-end` no puede convertir la ejecución exitosa de la suite en prueba del criterio.

Intentar agregar `package-test` y `docs` después de implementar la telemetría habría cambiado el contrato frente al baseline de la misma ronda. Se revirtió: ese cambio habría acomodado retrospectivamente el trabajo, exactamente el patrón que Objective Guard debe exponer.

## Impacto y seguimiento

Los hooks y la telemetría sí poseen evidencia técnica: E2E sembrado para ambos harnesses, inventario global por herramienta y suite completa. Pero la ronda no puede reclamar un cierre certificado hasta que la intención de aceptación se declare antes del trabajo.

La siguiente evolución del protocolo debe permitir que `start` y `next-round` reciban criterios de aceptación con referencias de checks, o generar una ronda inicial que ya contenga criterios explícitos. La mejora debe probar que un criterio configurado antes de editar llega a `proven` en `round-end`, y que agregarlo después sigue siendo visible como deriva de contrato.

## Corrección posterior

La CLI incorpora `--criterion-id`, `--criterion` y `--criterion-checks` para `start` y `next-round`. La regresión crea el criterio antes de iniciar la sesión y demuestra que el check declarado lo deja en `proven`. Esta corrección no altera `R-HOOK-DOGFOOD`: su resultado histórico permanece `UNKNOWN`, acompañado de la evidencia E2E y del outcome manual que corresponde a una revisión humana explícita.