8.0 KiB

Raw Blame History

Nota para el autor: el paquete de la revisión externa

6 de octubre de 2026, corregida ese día con una revisión del paquete y con tus decisiones. Puesta al día el 7 de octubre de 2026: el paquete congela ahora la especificación v0.15.

Qué congela

El paquete congelaba la v0.14. Desde el 7-10 congela:

Especificación v0.15, aprobada el 7-10: tag spec-v0.15, commit fe50885 de datekeys-go (también la cabeza de la rama v0.15 y de main). SHA-256 del texto 45105e69…e3f3, y del CDDL, que gana la regla release, 63565d5e…19b5. La documentación de Go que arregló 22f184c está dentro de fe50885: un solo commit congelado para Go.
TypeScript 0.4.0: tag v0.4.0, commit 7650418, con testdata en fe50885.
Dart: rama v0.15, commit faa2c4c, sin tag, con testdata en fe50885.

La v0.15 es la recuperación a largo plazo, y el paquete la cuenta: el objeto release (§47.1), el release en la mano y el paso 9.c (§49, §63), los archivos y servicios de caché de todas las rondas (§50), las reglas 26 y 27 de §62.1 y el anexo de recuperación sin software de DateKeys (§79). Q12 pasa a preguntar por ese diseño, y de K3 queda solo lo que la v0.15 no cierra: no hay ningún archivo ni servicio alojado.

Qué contiene

En inglés, porque el revisor puede no leer español:

Fichero	Para qué
`README.md`	La carta: qué es DateKeys, qué se pide, qué se entrega, qué queda congelado y que todas las revisiones hasta hoy son de IA
`design_overview.md`	El diseño criptográfico, autocontenido y con sus §, para leer en una hora; la sección 8, nueva, es el objeto release y la recuperación
`threat_model.md`	Objetivos, no objetivos y modelo de amenazas (§4, §5, §7, §36.1, §55), con lo nuevo de la v0.14 y de la v0.15: la recuperación tras la fecha (§7.6, §50) y el reloj local (4.11)
`scope_and_questions.md`	Alcance, 12 preguntas ordenadas y 17 problemas ya conocidos (K1 a K17), para que no se redescubran
`artifacts.md`	Repos, commits, cómo pasar los gates, los vectores uno a uno, los 27 objetivos de fuzzing, las dependencias con versión y la trazabilidad
`precedence_and_language.md`	Propuesta: español normativo, precedencia texto > CDDL > testdata > implementación, y los cambios de texto para la próxima versión

Tus decisiones (6-10)

Idioma y precedencia: aprobada la propuesta, con dos cambios: un párrafo al final de §1, no un §0, para no descolocar la numeración; y la regla 4 sin «vectores disputados». Una discrepancia es un defecto, decide el texto, se anota en el HANDOFF y se corrige en la versión siguiente con su caso en §76; hasta entonces los vectores no se tocan, porque los gates no lo permiten. Entre implementaciones, la de referencia primero, como dicen §16 y §67. Si el inglés pasa a normativo se decide en la v1.0.
Las etiquetas del §76 no abren versión. La carta ya declara que todas las revisiones anteriores son de IA. El texto corregido, con la precedencia y el registro de la revisión externa (§75, punto 10), va en la versión que se abra con los hallazgos del revisor. La v0.15 se abrió después para la recuperación a largo plazo y no los lleva: irán en la v0.16 o la que siga al informe.
TypeScript: una versión cerrada con el testdata congelado. El 6-10 fue la 0.3.0 (3abd7bf); desde el 7-10 es la 0.4.0, en 7650418, con el tag v0.4.0, que implementa la 0.15. El motivo sigue: el revisor tiene que poder pasar el TypeScript contra los mismos vectores que la referencia. Renombrar la carpeta App no hace falta: el revisor ve el nombre del bundle.
Traducción: primero, buscar un revisor que lea español. Elimina la decisión y el trabajo de contrastar cada hallazgo con el texto normativo. Si no lo hay, traducir solo el núcleo normativo, con un borrador de IA y tu revisión: §4 a §7, §10 a §13, §26 a §44.1, §51 a §57, §62.1, §63 y §69 a §72. En la v0.15 son unas 31 300 palabras de las 58 300 del texto (en la v0.14, 30 600 de 52 600). El resto lo cubre design_overview.md, y §76 se resume en una página. La carta dice que toda traducción es informativa y que tú contrastas cada hallazgo con el texto español: ese trabajo es tuyo.
- Para decidir: esa lista no incluye §47.1, §49 y §50, el objeto release, las fuentes y los archivos, unas 1 500 palabras más, sobre los que pregunta Q12. Hoy los cubre la sección 8 de design_overview.md. El anexo §79 (unas 1 700) es informativo.
Revisor y alcance: dos niveles, con presupuesto cerrado por nivel.
- Nivel 1, obligatorio: el protocolo y el Go de referencia como evidencia, con Q1 a Q4, Q6 a Q8 y Q10 a Q12.
- Nivel 2, aparte u opcional: Q5 y Q9, el lector CMS/X.509/RFC 3161 y las reglas del localizador, que son revisión de parsers y piden otro perfil.
- TypeScript y Dart, fuera del alcance pagado, disponibles si el revisor quiere mirarlos.
El paquete sirve tal cual como pliego para pedir precio. Una opción gratuita antes de pagar: enseñar Q1 y Q10 al equipo de drand, que son preguntas sobre su propio IBE. Es decisión tuya, porque supone enseñar el proyecto fuera.
Qué se comparte y cómo.
- git bundle de los tres repos con todo el historial y los tags, porque §76 cita commits; y un .tar de cada árbol en el commit congelado, con su SHA-256, para quien no quiera bundles. Dart no tiene tag: el bundle lleva la rama v0.15, y el .tar se hace en faa2c4c.
- El código entero: sin él no puede decir dónde discrepa la implementación ni pasar los gates.
- El repo docs, no. Si el revisor lee español, los siete ficheros que cita artifacts.md §6, en una carpeta aparte; si no, se quitan esas referencias. spec_v0.15/decisiones.md y diseno_recuperacion.md describen el fichero .dkr que quitaste antes de aprobar, con una nota al principio que lo dice; el spec lo da por descartado (§76, v0.15, cambio 4).
- Un NDA mutuo simple hasta la publicación, y en el encargo, el consentimiento para nombrarle en §76.
- La entrega, cifrada con age a la clave pública del revisor, con el SHA-256 del archivo por otro canal. El contacto de la revisión es tu dirección directa; info@ queda como contacto de seguridad del repo.

Documentación de Go

La documentación atrasada de la v0.14 (la trazabilidad, los README, la cabecera del CDDL y SECURITY.md) se arregló el 6-10 en 22f184c, y está dentro de fe50885, que la pone además en la v0.15. Queda docs/README.md, que llama datekeys-ts/ a la carpeta que en esta máquina es App: se arregla al renombrarla.

Lo que no he podido comprobar

Que el H3 del texto coincide con h3 de kyber: lo dice el spec y lo comprueban los vectores (tlock_steps.json, generado contra kyber), pero quien escribió el paquete no leyó kyber. Está como pregunta Q10.
Los gates del 7-10 no los volvió a pasar quien puso el paquete al día: las cifras (Go scripts/check.sh en fe50885; TypeScript 8 106 pruebas, 1 omitida; Dart 2 211 en la VM y 694 en Node) son las de la sesión que cerró la v0.15.

Orden

Cerrar la versión de TypeScript: hecho, la 0.4.0 en 7650418.
Pasar los gates en los commits congelados. Hecho el 7-10: Go, scripts/check.sh entero en fe50885, con la comprobación del anexo, y FUZZ_PARALLEL=4 scripts/fuzz.sh 20s con sus 27 objetivos, FuzzDecodeRelease entre ellos, sin fallos; TypeScript, npm run verify en 7650418, con 8 106 pruebas y 1 omitida; Dart, tool/check.sh en faa2c4c, con 2 211 pruebas en la VM y 694 en Node.
Corregir la nota y el paquete: hecho el 6-10 para la v0.14, y el 7-10 para la v0.15 (esta puesta al día).
Elegir revisor y nivel de alcance, y pedir presupuesto.
Traducir el núcleo, solo si el revisor no lee español.
NDA, bundles y envío.
Tras el informe: la versión siguiente, con la precedencia, las etiquetas del §76 y el registro de la revisión (§75, punto 10).

La medida del área de 32 KiB con firmas reales (§74, §75, punto 13) sigue abierta. No bloquea la revisión, pero el revisor la verá como K2; si se hace antes, el perfil CMS que revisa sería el definitivo.

8.0 KiB Raw Blame History