docs: actualiza progreso del Lote 0 a completado

Co-authored-by: aider (openrouter/z-ai/glm-4.6) <aider@aider.chat>

docs/2025-11-01-plan-refactor-tecnico.md

@@ -75,12 +75,15 @@ Resultados esperados después del refactor: disminución drástica de duplicados
   - Lote 1 completado: util canónica de fechas/UTC creada (src/utils/datetime.ts) y wrapper web (apps/web/src/lib/server/datetime.ts); migración de rutas ICS y reemplazos en producción (hooks, login, complete/uncomplete, calendar tokens, dev-seed, response-queue, maintenance, group-sync, migrator).
   - Commits relevantes: f4f7d95, 882f5c9, c1f12ff, df27161, a0f35b8.
   - Tests verdes. Cobertura actual: 85.91% funciones / 82.12% líneas.
+- 2025-11-07:
+  - Lote 0 completado: scripts `typecheck:core` y `typecheck:web` configurados y verificados. Se utiliza `tsconfig.core.json` para aislar el typecheck del core con reglas laxas, mientras que la web usa su propia configuración de SvelteKit. Los shims en `src/types/shims.d.ts` resuelven conflictos de tipos entre Bun y el DOM.
+  - Verificación exitosa: `bun run typecheck:core` y `bun run typecheck:web` se ejecutan sin errores.
 
-## Estado actual (2025-11-02)
+## Estado actual (2025-11-07)
 
 - Fase 1 — Diagnóstico asistido: Completada.
 - Fase 2 — Plan de refactor por lotes: En curso.
-  - Lote 0 — Infra de typecheck: Pendiente.
+  - Lote 0 — Infra de typecheck: Completado.
   - Lote 1 — Utilidades de fecha/hora y validaciones: Completado.
   - Lote 2 — Helpers de test y cripto: Pendiente.
   - Lote 3 — Tipos y endurecimiento suave: Pendiente.
@@ -93,7 +96,7 @@ Resultados esperados después del refactor: disminución drástica de duplicados
 
 Cada lote incluye objetivo, cambios, métricas y comprobaciones. Mantener tests verdes en cada paso.
 
-### Lote 0 — Infra de typecheck (preparación)
+### Lote 0 — Infra de typecheck (preparación) - Completado
 
 - Objetivo:
   - Separar el chequeo de tipos por paquete (core vs web) para aislar errores de SvelteKit/Bun/DOM.
@@ -108,7 +111,7 @@ Cada lote incluye objetivo, cambios, métricas y comprobaciones. Mantener tests
 - Comprobaciones:
   - `cd apps/web && bunx svelte-kit sync && bunx tsc --noEmit`.
 
-### Lote 1 — Utilidades de fecha/hora y validaciones
+### Lote 1 — Utilidades de fecha/hora y validaciones - Completado
 
 - Objetivo:
   - Centralizar y unificar: SQL-UTC, validadores YMD y HH:mm, utilidades ICS (ymdUTC, addMonthsUTC).
@@ -230,14 +233,9 @@ Cada lote incluye objetivo, cambios, métricas y comprobaciones. Mantener tests
 
 ## Siguientes pasos prácticos
 
-1) Estabilizar typecheck (Lote 0):
-   - Alinear tsconfig raíz y web, y Vite config.
-   - Ejecutar:
-     ```bash
-     cd apps/web && bunx svelte-kit sync && bunx tsc --noEmit --pretty false
-     ```
-2) Unificar fechas/validaciones (Lote 1) y reemplazar duplicados.
-3) Centralizar helpers de tests y cripto (Lote 2).
+1) Estabilizar typecheck (Lote 0): **Completado**.
+2) Unificar fechas/validaciones (Lote 1): **Completado**.
+3) Centralizar helpers de tests y cripto (Lote 2): **Siguiente**.
 4) Endurecer tipos en core (Lote 3).
 5) Consolidar ICS (Lote 4).
 6) Dividir TaskItem y revisar AppShell (Lote 5).