"Con texto" in 29.7 of the draft (424cdf3, pushed) and Node in the gate of
Dart (c8bf3c0) are done; the author leaves the approval of v0.12 and the
measure of the area of 32 KiB for later. Stage 2 of Dart is under way.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ -59,10 +59,12 @@ Sirve para retomar sin contexto previo, sea una persona o una sesión de Claude.
Los enteros son exactos en la VM y en la web: un `int` hasta 2^53 − 1 y un `BigInt` por encima. Hay 169 pruebas en la VM y 56 también en Node, y una comparación con Go de 263 611 casos no dio ninguna diferencia.
**Siguiente, en orden**
1. **El autor aprueba el borrador v0.12:** §76, cambios 1 a 9, con el 6 ampliado el 5-10. Sigue abierto si se mide antes el área de 32 KiB con firmas reales. Con la aprobación: el SHA-256 en `spec/README.md`, `SpecVersion` 0.12, el tag `spec-v0.12` y `main` avanzado sin fusión, siempre con permiso del autor. Antes, dos decisiones suyas:
- **«Con texto» en el §29.7.** El texto pide `givenName` y `surname` «si tiene uno de cada», y el `organizationName` del emisor «si no tiene» `commonName`. Go exige además que tengan texto, y trata un `commonName` sin texto o repetido como si faltara; el TypeScript sigue a Go. Recomendado: escribirlo en el borrador.
- **`dart test -p node` en el gate de Dart.** Comprobaría en cada commit que los enteros son exactos en la web; añade unos 12 s, y Node, que ya hace falta para el TypeScript. Recomendado: sí.
2. **Dart, etapa 2:** las primitivas, según [PLAN_dart.md](PLAN_dart.md).
1. **El autor aprueba el borrador v0.12:** §76, cambios 1 a 9, con el 6 ampliado y el 3 precisado el 5-10. Sigue abierto si se mide antes el área de 32 KiB con firmas reales. El 5-10 el autor dejó las dos cosas para más adelante («la aprobación y la medida, luego»). Con la aprobación: el SHA-256 en `spec/README.md`, `SpecVersion` 0.12, el tag `spec-v0.12` y `main` avanzado sin fusión, siempre con permiso del autor.
Decidido el 5-10 («sí a las dos»):
- **«Con texto» en el §29.7:** el titular toma `givenName` y `surname` solo si los dos tienen texto no vacío, y el emisor toma el `organizationName` si no tiene un `commonName` con texto. Es lo que ya hacían Go y el TypeScript. Está en `424cdf3`, subido.
- **`dart test -p node` en el gate de Dart:** `c8bf3c0`.
2. **Dart, etapa 2:** las primitivas y `age`, según [PLAN_dart.md](PLAN_dart.md). En curso el 5-10, con un agente.
3. **TypeScript, sin urgencia:** el localizador, que aún no está portado; que la página muestre la nota pública, que ya lee `inspect`; y lo pendiente del §2.5.
