docs(roadmap): note the first M4 delivery and add #391 to the M4 row

docs/ROADMAP_V2.md

@@ -338,7 +338,7 @@ La asignación de una issue a un milestone expresa el objetivo de planificación
 | [M1 — Safe, inspectable execution](https://github.com/datacas/code-cycle-toolkit/milestone/1) | #327–#330, #259/#261/#290/#294, presupuestos #262 y overrides #285; #326 coordina. Runtime fixes found while running #330: #385 (P0, manual checks restore and idempotent resume; blocks #330), #382 (host-attested verification evidence) and #383 (malformed stage questions), #388 (P2, manual-check name grammar and resume-history tests; follow-up to #387) and #389 (P1, quota-aware routing and controlled fallback handoff on resume; blocks resolving REV-001 on #384), #394 (P1, resume pending verification when a stored check has no authorized command binding) #395 (P2, quota recovery commands accept repository-registered models) and #402 (P2, Orca Task-spec reader binding and stock-CLI documentation; follow-up to #330). Cinco perfiles resolubles, plan inspeccionable, ejecución nativa/Orca coherente, controles obligatorios no reducibles y resume trazable. #147 es independiente y #189 recomendable. Correcciones operativas asignadas siguen condicionadas a reproducción. |
 | [M2 — Evidence-based quality and verification](https://github.com/datacas/code-cycle-toolkit/milestone/2) | #146, #156–#159, #191, #260, #251, #331, #367 (condicionada a #329) y #237 refinada; verificación escalable a suites largas #376–#379 (#376 evalúa primero; #380, límite de concurrencia, condicionada a medición); apoyo de #144/#183, CI #145/#231 y trazabilidad #199. Reviews consumen evidencia comparable, behavioral funciona dentro del ciclo y legacy/desconocidos conservan su estado. #332 es opcional. |
 | [M3 — Supported execution surfaces and DevSecOps pilot](https://github.com/datacas/code-cycle-toolkit/milestone/3) | #219, #238-A y #238-B según su secuencia; #333/#334, #291 donde haga falta y #257; #246/#282 condicionadas. Matriz de ejecutores/proveedores declarada y validada, y piloto security sin nuevas vías de privilegio. |
-| [M4 — Measured cycle effectiveness](https://github.com/datacas/code-cycle-toolkit/milestone/4) | #185, #192, #180 y #127. Tiempos, costes, rework, findings e intervenciones por cohortes con cobertura de datos visible. |
+| [M4 — Measured cycle effectiveness](https://github.com/datacas/code-cycle-toolkit/milestone/4) | #185, #192, #180 y #127 (primera entrega: observabilidad descriptiva de revisiones). Tiempos, costes, rework, findings e intervenciones por cohortes con cobertura de datos visible. [#391](https://github.com/datacas/code-cycle-toolkit/issues/391), P2: benchmark offline de reviewers, A/B informativo por caso con etiquetas independientes; entrega experimental independiente, sin bloquear el candidato principal ni depender de #126/#331/#335. |
 | [M5 — Production delivery analytics](https://github.com/datacas/code-cycle-toolkit/milestone/5) | #335/#336. Cinco métricas DORA sobre eventos reales y atribuibles; ninguna sustituida por métricas de PR. Condicionado a datos de producción; opcional para el candidato principal. |
 | [M6 — Evidence-led optimization](https://github.com/datacas/code-cycle-toolkit/milestone/6) | #126/#128 y únicamente otras iniciativas P3 seleccionadas deliberadamente. Mejoras con evidencia suficiente y sin degradar garantías. Evolución posterior. |
 | [M7 — Runtime hardening and UX](https://github.com/datacas/code-cycle-toolkit/milestone/7) | F0 follow-ups #197/#198/#201, the F1/F2 refactor queue (#181, #184, #186–#188, #190) and cycle UX (#202, #225, #263, #264, #265, #267, #300, #321, #323). Fewer runtime stops and fewer interruptions, integrated as needed. Does not block M1–M4. |