@ -23,13 +23,11 @@ Las revisiones de las dos etapas están en [PLAN_dart.md](PLAN_dart.md), al fina
**Siguiente:**
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`;
La 4a y la 4b ya están hechas, revisadas e integradas en `v0.11`, en `d8c790d`. La 4c corre en la copia principal. Si la sesión se cierra a medias:
1. mira qué commits hay después de `d8c790d`;
2. revísalos;
3. integra `stage4a` encima de `v0.11`;
4. pasa el gate;
5. borra el worktree;
6. lanza la 4c.
3. pasa el gate;
4. si quedó a medias, relanza la 4c con el esquema de [PLAN_dart.md](PLAN_dart.md).
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;
@ -155,3 +155,12 @@ La etapa se reparte en tres partes, con el esquema de la 3: cada agente crea sol
- **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.
**La 4a y la 4b, hechas, revisadas e integradas el 5-10.** La 4b son los commits `627f6fc` a `b492782`, y la 4a, puesta encima, `03c4333` a `d8c790d`. El gate pasa con 802 pruebas en la VM, sin ninguna aplazada, y 208 en Node. El worktree y la rama `stage4a` están borrados.
Revisión:
- **4a:**`pathrule.dart` y `wordkey.dart`, comparados línea a línea con `internal/pathrule` y `wordkey` de Go. Coinciden también en los casos raros de bytes UTF-8 no válidos, que Go cuenta como U+FFFD de tres bytes. Las pruebas cubren cada punto de código de los 17 planos.
- **4b:** el relleno, las tramas y la resolución de rondas y tiempos, comparados con Go, porque son la parte aritmética, la delicada en la web. El resto lo cubre un diferencial contra Go de unos 6 400 casos, con el resultado, el código y el texto, y cada par de fallos de capas distintas del §69.1.
- **Ninguna de las dos tiene fallos.** Lo único distinto entre Go en `c531e93` y el tag `spec-v0.11` es la regla de los codificadores del §72, que el tag no tiene.
**La 4c corre desde el 5-10** en la copia principal, sobre `d8c790d`.
