diff --git a/PROGRESO.md b/PROGRESO.md
index 4ab337f..f52de17 100644
--- a/PROGRESO.md
+++ b/PROGRESO.md
@@ -9,8 +9,25 @@
   Valgrind limpio. Falta `escpos_buffer_append`: el parámetro con la cantidad,
   `const`, reservar `len + cantidad`, `memcpy` y el comentario de la cabecera.
   Ahora copia 1 byte (`sizeof *byte`).
-- Entorno activo: Fedora 42 nativo (gcc 15.2, clang 20, make 4.4, gdb 17,
-  valgrind 3.26).
+- Entorno: Fedora 42 nativo (gcc 15.2, clang 20, make 4.4, gdb 17,
+  valgrind 3.26) y Windows con MSYS2 UCRT64. **Próxima sesión en Windows**
+  (2026-10-05).
+
+### Al llegar a Windows
+
+1. `git pull` desde la terminal UCRT64 de MSYS2.
+2. Comprobar que están las herramientas: `gcc --version`, `make --version`,
+   `gdb --version`. Si falta algo:
+   `pacman -S mingw-w64-ucrt-x86_64-gcc mingw-w64-ucrt-x86_64-gdb make`.
+3. Cerrar la Fase 1 en Windows: `make` debe generar `build/hello.exe`. El
+   Makefile todavía no añade `.exe` (falta el `ifeq ($(OS),Windows_NT)` de
+   `docs/06-make.md`). Ojo: `mkdir -p` y `rm -rf` solo funcionan en la shell de
+   MSYS2, no en `cmd` ni en PowerShell.
+4. VS Code: `.vscode/launch.json` y `c_cpp_properties.json` ya tienen la
+   configuración de Windows (`C:/msys64/ucrt64/bin/...`). Comprobar que la ruta
+   de MSYS2 es esa.
+5. Valgrind no existe en Windows. La parte portable se sigue validando en
+   Fedora. En Windows se puede seguir avanzando con el 2.3b.
 
 ## Hecho