Desarrollo guiado por especificaciones

diff --git a/SPEC.md b/SPEC.md
new file mode 100644
index 0000000..0c52132
--- /dev/null
+++ b/SPEC.md
@@ -0,0 +1,54 @@
+# SPEC: deduplicación de paradas por id
+
+## Problema
+
+`datos/paradas.csv` es una exportación en la que una misma parada puede aparecer más de una vez. En el fichero de ejemplo, `P-106` (L3, Encajadora, 09:00–11:30) está en las líneas 7 y 8, idéntica. Hoy `leerParadas` devuelve ambas filas y `horasPorLinea` suma las dos, así que el parte infla la línea L3 con 2,5 h que no existen (6,5 h en lugar de 4,0 h).
+
+Una parada es un hecho único identificado por su `id`. Contarla dos veces falsea el parte semanal.
+
+## Comportamiento esperado
+
+1. Si varias filas comparten el mismo `id`, la parada cuenta **una sola vez** en las horas por línea y, por tanto, en el parte.
+2. Cuando las filas con el mismo `id` son idénticas en todos los campos, se colapsan en silencio.
+3. Cuando las filas con el mismo `id` tienen datos distintos (ver caso límite 1), se conserva la **primera aparición** y se avisa por `stderr`. El parte sale igualmente por `stdout`.
+4. La deduplicación conserva el orden de la primera aparición y no modifica el resto de filas.
+5. La deduplicación va entre la lectura del CSV y el cálculo de horas, de modo que `horasPorLinea` y `parteSemanal` reciben ya paradas únicas. El formato del parte no cambia.
+
+## Casos límite
+
+1. **Mismo `id`, datos distintos** (p. ej. `P-106` con fin 11:30 en una fila y 12:00 en otra). No hay forma de saber cuál es la correcta, así que no se suman ni se elige en silencio:
+   - se conserva la primera fila;
+   - se escribe en `stderr` un aviso por id en conflicto, con los campos que difieren (`Aviso: P-106 aparece con datos distintos (fin: 11:30 / 12:00); se usa la primera fila`);
+   - el proceso termina con código 0 y el parte se genera.
+
+   *Decisión a confirmar:* la alternativa es abortar con error. Se propone avisar y continuar porque un parte semanal con aviso es más útil que ningún parte, y el aviso deja la discrepancia a la vista.
+2. **Duplicados idénticos más de dos veces** (tres o más filas iguales): cuentan una vez.
+3. **Mismo `id` en fechas distintas**: es el mismo caso que el 1 (datos distintos). El `id` manda; no se interpreta como dos paradas.
+4. **Mismos datos pero `id` distinto**: son paradas distintas y ambas cuentan. Solo el `id` define la identidad.
+5. **Espacios alrededor del `id`** (`" P-106"`): se comparan sin espacios iniciales ni finales. Las mayúsculas y minúsculas **sí** se distinguen (`p-106` ≠ `P-106`).
+6. **`id` vacío o ausente**: no se puede deduplicar, así que esa fila se conserva tal cual y nunca se agrupa con otras filas sin `id`.
+7. **CSV sin duplicados**: la salida es idéntica a la actual, byte a byte.
+8. **Fila duplicada que cae en otra línea de producción** (mismo `id`, `linea` distinta): es un caso 1; se conserva la primera y el aviso menciona el campo `linea`.
+
+## Fuera de alcance
+
+- Corregir el cálculo de paradas que cruzan la medianoche. `P-104` (23:30–01:15) da hoy −22,25 h porque `horasEntre` asume el mismo día. Es un defecto independiente que ya afecta al total de L2 y se trata aparte.
+- Validar el CSV (campos que faltan, horas mal formadas, filas vacías).
+- Duplicados "difusos" (misma parada con ids distintos, ids con otro formato).
+- Cambiar el formato del parte, la semana ISO o la detección de la semana (`paradas[0].fecha`).
+- Modificar `datos/paradas.csv`. Los datos de entrada no se tocan.
+- Un modo para elegir la fila "ganadora" (última, la de más duración, etc.) o un fichero de informe de conflictos.
+
+## Verificación final de extremo a extremo
+
+Con el `datos/paradas.csv` actual y sin tocarlo:
+
+1. `npm test` pasa entero, incluidas las pruebas nuevas de deduplicación (duplicado idéntico, conflicto con datos distintos, `id` vacío, `id` con espacios, sin duplicados).
+2. `npm run parte` imprime el parte con **L3 = 4,0 h** (antes 6,5 h) y no emite ningún aviso en `stderr`, porque el duplicado de `P-106` es idéntico.
+3. L1 se queda en 2,3 h (2,25 h, redondeo a un decimal) y L2 no cambia respecto a la ejecución previa. Ninguna de las dos tiene duplicados, y L2 sigue arrastrando el defecto de `P-104` descrito en "Fuera de alcance".
+4. Comparación antes/después: la única línea que cambia en la salida de `npm run parte` es la de L3.
+5. Prueba de conflicto: con una copia temporal del CSV (fuera del repositorio) donde la segunda fila de `P-106` tenga `fin` 12:00, `node src/cli.js <copia>` muestra el aviso en `stderr`, termina con código 0 y cuenta L3 = 4,0 h (primera fila).
+
+## Nota sobre los valores esperados
+
+Los importes de L1, L2 y L3 se han calculado a mano a partir del CSV y del código actual. No se ha ejecutado `npm run parte` al escribir esta especificación, así que hay que contrastarlos con la salida real antes de dar la verificación por buena.