Veredicto (v2)

Goal

Responder con evidencia "¿esta unidad de trabajo cumple su contrato?", y cuando no lo cumple, quién se apartó. Cada resultado lleva una prueba, un comando o un archivo:línea, o queda NO VERIFICADO.

Novedades v2: arbitraje con tres desenlaces y matriz de trazabilidad.

En el Sprint 0 se aplica el mismo workflow con SPRINT0.md como spec: cada punto de la Definition of Done ocupa el lugar de un caso del contrato, el desenlace "el contrato no lo decía" se lee como "SPRINT0.md no lo decía", la matriz de trazabilidad se reemplaza por la tabla de la DoD (punto → evidencia → resultado) y el informe va a informes/VEREDICTO-SPRINT0.md. Las pruebas marcadas NO EJECUTADAS por el TESTER se corren ahora que el runner existe.

Input