diff --git a/HANDOFF.md b/HANDOFF.md
index 31f33cd..4b66804 100644
--- a/HANDOFF.md
+++ b/HANDOFF.md
@@ -21,7 +21,15 @@ Las revisiones de las dos etapas están en [PLAN_dart.md](PLAN_dart.md), al fina
 - G: tiene 26 GB libres desde el 5-10, porque el autor liberó unos 24 GB.
 
 **Siguiente:**
-1. **Dart, etapa 4:** formatos, inspección y apertura. Antes hace falta una salida `-dart` del generador `internal/pathrule/gen` de `datekeys-go`, para las tablas de Unicode: es un cambio en el repo de Go.
+1. **Dart, etapa 4**, que el autor aprobó el 5-10 y ya está en marcha. Se reparte en las partes 4a, 4b y 4c, descritas en [PLAN_dart.md](PLAN_dart.md), al final. La salida `-dart` del generador de tablas ya está hecha: `c531e93` en `datekeys-go`, solo en local, y `1e7753d` en `datekeys-dart`.
+
+   Si la sesión se cierra a medias:
+   1. mira qué commits hay en la rama `v0.11` y en `stage4a`;
+   2. revísalos;
+   3. integra `stage4a` encima de `v0.11`;
+   4. pasa el gate;
+   5. borra el worktree;
+   6. lanza la 4c.
 2. Lo que sigue abierto de la lista de abajo:
    - la aprobación del borrador v0.12 y la medida del área de 32 KiB, que el autor dejó para luego;
    - el TypeScript sin urgencia;
diff --git a/PLAN_dart.md b/PLAN_dart.md
index 4f5ab48..fab490e 100644
--- a/PLAN_dart.md
+++ b/PLAN_dart.md
@@ -144,4 +144,14 @@ Notas:
 
   En Node, unas veinte veces más.
 
-**Siguiente, la etapa 4:** formatos, inspección y apertura. Necesita una salida `-dart` del generador `internal/pathrule/gen` de `datekeys-go`, es decir, un cambio en el repo de Go.
+**La etapa 4, en marcha desde el 5-10.** El autor dijo «sí, sigue con la etapa 4».
+
+Primero, la sesión añadió al generador de las tablas de Unicode una salida para Dart:
+- en `datekeys-go`, `internal/pathrule/gen -dart`, commit `c531e93` en la rama `v0.12`, solo en local;
+- en `datekeys-dart`, `lib/src/pathrule_tables.dart`, commit `1e7753d`, con el mismo `TablesDigest`;
+- la salida de TypeScript y `tables.go` no cambian.
+
+La etapa se reparte en tres partes, con el esquema de la 3: cada agente crea solo ficheros nuevos y deja los cambios a los ficheros comunes para un último commit.
+- **4a, en paralelo con la 4b:** las reglas de rutas y de textos sobre las tablas (`pathrule.dart`) y la llave de palabras (`wordkey.dart`). Trabaja en el worktree `G:\bussines\datekeys\datekeys-dart-stage4a`, rama `stage4a`, desde `1e7753d`.
+- **4b, en paralelo con la 4a:** las tramas del `.dkc` y la `.dkk`, el esquema, las extensiones, el relleno, el digest, la trama de `BODY`, el Provider Profile, la DateKey, `PUBLIC_HEADER`, `CONTROL_CBOR` y la `.dkk`. Trabaja en la copia principal, rama `v0.11`.
+- **4c, después de integrar la 4a y la 4b:** el head, la nota pública, la inspección (pasos 1 a 8) y la apertura (pasos 9 a 18) de los formatos 1 a 3, con el corpus de mutaciones y sus textos de Go. La evaluación de la firma y del sello queda para la etapa 5, detrás de un punto de enganche.