specatlas 0.1.15 → 0.1.17

package/dist/bin.js

@@ -8871,34 +8871,49 @@ function renderMarkdown(markdown2, opts = {}) {
         quote.push((lines[i] ?? "").replace(/^>\s?/, ""));
         i += 1;
       }
-      const joined = quote.join(" ");
-      const labelRe = /(?:^|\s)([\p{L}][\p{L}\s/()-]{1,32}):\s/gu;
-      const hits = [];
-      let hitMatch;
-      while ((hitMatch = labelRe.exec(joined)) !== null) {
-        if (hitMatch[1].trim().split(/\s+/).length > 4) continue;
-        hits.push({ start: hitMatch.index, end: hitMatch.index + hitMatch[0].length, label: hitMatch[1] });
-      }
       const chips = [];
       const prose = [];
-      let cursor = 0;
-      for (let h = 0; h < hits.length; h += 1) {
-        const hit = hits[h];
-        const before = joined.slice(cursor, hit.start).replace(/[\s·]+$/u, "").trim();
-        if (before) prose.push(before);
-        const valueEnd = h + 1 < hits.length ? hits[h + 1].start : joined.length;
-        let value = joined.slice(hit.end, valueEnd).replace(/[\s·]+$/u, "").trim();
-        const sentenceBreak = /[·.]\s+(?=[\p{Lu}][\p{L}]+(?:\s+[\p{L}]+){3,})/u.exec(value);
-        if (sentenceBreak) {
-          const note = value.slice(sentenceBreak.index + 1).trim();
-          if (note) prose.push(note);
-          value = value.slice(0, sentenceBreak.index + 1);
+      const chipFor = (label, value) => `<span class="meta-chip"><b>${inlineMarkdown(label)}:</b> ${inlineMarkdown(value)}</span>`;
+      for (const rawLine of quote) {
+        const line2 = rawLine.trim();
+        if (!line2) continue;
+        const whole = /^(?:\*{0,2})([\p{L}][\p{L}\s/()-]{1,32}?)(?:\*{0,2})\s*:\s*(.+)$/u.exec(line2);
+        const hasInlineLabels = / · \s*\*{0,2}[\p{L}][\p{L}\s/()-]{1,32}\*{0,2}:\s/u.test(line2);
+        if (whole && !hasInlineLabels && whole[1].trim().split(/\s+/).length <= 4) {
+          chips.push(chipFor(whole[1], whole[2]));
+          continue;
+        }
+        const labelRe = /(?:^|\s|\*{0,2})([\p{L}][\p{L}\s/()-]{1,32}?)\*{0,2}:\s/gu;
+        const hits = [];
+        let hitMatch;
+        while ((hitMatch = labelRe.exec(line2)) !== null) {
+          if (hitMatch[1].trim().split(/\s+/).length > 4) continue;
+          const prefix = /^\*+/.exec(hitMatch[0])?.[0].length ?? 0;
+          hits.push({ start: hitMatch.index + prefix, end: hitMatch.index + hitMatch[0].length, label: hitMatch[1] });
+        }
+        if (hits.length === 0) {
+          prose.push(line2);
+          continue;
+        }
+        let cursor = 0;
+        for (let h = 0; h < hits.length; h += 1) {
+          const hit = hits[h];
+          const before = line2.slice(cursor, hit.start).replace(/[\s·*]+$/u, "").trim();
+          if (before) prose.push(before);
+          const valueEnd = h + 1 < hits.length ? hits[h + 1].start : line2.length;
+          let value = line2.slice(hit.end, valueEnd).replace(/[\s·*]+$/u, "").trim();
+          const sentenceBreak = /[·.]\s+(?=[\p{Lu}][\p{L}]+(?:\s+[\p{L}]+){3,})/u.exec(value);
+          if (sentenceBreak) {
+            const note = value.slice(sentenceBreak.index + 1).trim();
+            if (note) prose.push(note);
+            value = value.slice(0, sentenceBreak.index + 1);
+          }
+          chips.push(chipFor(hit.label, value));
+          cursor = valueEnd;
         }
-        chips.push(`<span class="meta-chip"><b>${inlineMarkdown(hit.label)}:</b> ${inlineMarkdown(value)}</span>`);
-        cursor = valueEnd;
+        const tail = line2.slice(cursor).replace(/^[\s·*]+/u, "").trim();
+        if (tail) prose.push(tail);
       }
-      const tail = joined.slice(cursor).replace(/^[\s·]+/u, "").trim();
-      if (tail) prose.push(tail);
       const chipLine = chips.length > 0 ? `<div class="meta-line">${chips.join("")}</div>` : "";
       const proseHtml = prose.length > 0 ? `<p>${inlineMarkdown(prose.join(" \xB7 "))}</p>` : "";
       out.push(`<blockquote>${chipLine}${proseHtml}</blockquote>`);
@@ -8976,6 +8991,7 @@ import path13 from "path";
 import path14 from "path";
 import path15 from "path";
 import { promises as fs } from "fs";
+import { cp, rename, rm } from "fs/promises";
 import path16 from "path";
 import path17 from "path";
 import path18 from "path";
@@ -9620,12 +9636,77 @@ function lintDelta(delta, livingRequirements, path192, opts = {}) {
       out.push(diag("TRACE-007", "error", `REMOVED ${req.id} no existe en la spec viva`, { path: path192, line: req.line }));
     }
   }
-  for (const rename of delta.renamed) {
-    if (rename.from.id !== rename.to.id) {
-      out.push(diag("LINT-DLT-003", "error", `RENAMED cambia el id (${rename.from.id} \u2192 ${rename.to.id}); los ids son inmutables`, { path: path192, line: rename.line }));
+  for (const rename2 of delta.renamed) {
+    if (rename2.from.id !== rename2.to.id) {
+      out.push(diag("LINT-DLT-003", "error", `RENAMED cambia el id (${rename2.from.id} \u2192 ${rename2.to.id}); los ids son inmutables`, { path: path192, line: rename2.line }));
     }
-    if (!livingRequirements.has(rename.from.id)) {
-      out.push(diag("TRACE-007", "error", `RENAMED ${rename.from.id} no existe en la spec viva`, { path: path192, line: rename.line }));
+    if (!livingRequirements.has(rename2.from.id)) {
+      out.push(diag("TRACE-007", "error", `RENAMED ${rename2.from.id} no existe en la spec viva`, { path: path192, line: rename2.line }));
+    }
+  }
+  return out;
+}
+var MERMAID_KEYWORDS = [
+  "flowchart",
+  "graph",
+  "sequenceDiagram",
+  "stateDiagram-v2",
+  "stateDiagram",
+  "classDiagram",
+  "erDiagram",
+  "journey",
+  "gantt",
+  "pie",
+  "mindmap",
+  "timeline",
+  "quadrantChart",
+  "xychart-beta",
+  "block-beta",
+  "architecture-beta"
+];
+var MERMAID_BLOCKS = /^\s*(alt|loop|opt|par|rect|critical|break|subgraph)\b/;
+function lintPlan(planText, path192) {
+  const out = [];
+  const blocks = [...planText.matchAll(/```mermaid\r?\n([\s\S]*?)```/g)];
+  for (const [index, block] of blocks.entries()) {
+    const code = (block[1] ?? "").replace(/\r\n?/g, "\n");
+    const lines = code.split("\n");
+    const first = (lines.find((line) => line.trim().length > 0) ?? "").trim();
+    if (!MERMAID_KEYWORDS.some((keyword) => first.startsWith(keyword))) {
+      out.push(
+        diag("LINT-PLN-002", "error", `Diagrama mermaid ${index + 1}: la primera l\xEDnea debe declarar el tipo (${MERMAID_KEYWORDS.slice(0, 5).join(", ")}\u2026) y empieza por "${first.slice(0, 30)}"`, {
+          path: path192,
+          suggestion: "Corrige el tipo del diagrama o elimina el bloque"
+        })
+      );
+      continue;
+    }
+    let open = 0;
+    for (const line of lines) {
+      if (MERMAID_BLOCKS.test(line)) open += 1;
+      else if (/^\s*end\b/.test(line)) open -= 1;
+    }
+    if (open !== 0) {
+      out.push(
+        diag("LINT-PLN-002", "error", `Diagrama mermaid ${index + 1}: faltan ${Math.abs(open)} \`end\` (bloques alt/loop/subgraph sin cerrar)`, {
+          path: path192,
+          suggestion: "Cierra cada bloque alt/loop/opt/par/rect/subgraph con `end`"
+        })
+      );
+    }
+    if (first.startsWith("sequenceDiagram")) {
+      for (const line of lines) {
+        if (!/^\s*[^\s:]+-{1,2}>{1,2}[^\s:]*\s*:\s*/.test(line)) continue;
+        const message = line.slice(line.indexOf(":") + 1);
+        if (message.includes(";")) {
+          out.push(
+            diag("LINT-PLN-003", "error", `Diagrama mermaid ${index + 1}: el mensaje "${message.trim().slice(0, 40)}\u2026" usa \`;\` y mermaid lo interpreta como fin de sentencia`, {
+              path: path192,
+              suggestion: "Sustituye `;` por `\xB7` o `,` en los mensajes de sequenceDiagram"
+            })
+          );
+        }
+      }
     }
   }
   return out;
@@ -11719,6 +11800,10 @@ async function runAnalyze(opts) {
   if (lane !== "fix" && !change.planPath) {
     findings.push(diag("ATLAS-ANALYZE-001", "warning", "El cambio no tiene plan.md (plan t\xE9cnico)", { suggestion: "Ejecuta la fase /satlas-plan" }));
   }
+  if (change.planPath) {
+    const planText = await readTextIfExists(change.planPath) ?? "";
+    findings.push(...lintPlan(planText, change.planPath));
+  }
   const deltaScenarios = [...change.delta?.added ?? [], ...change.delta?.modified ?? []].flatMap((r) => r.scenarios);
   const passed = new Set((change.verify?.evidence ?? []).filter((e) => e.result === "pass").map((e) => e.scenario));
   const evidence = { done: deltaScenarios.filter((s) => passed.has(s.id)).length, total: deltaScenarios.length };
@@ -12539,16 +12624,16 @@ function foldDelta(livingBody, delta, language = "es") {
     lines = [...lines.slice(0, range.start), ...lines.slice(range.end)];
     applied.removed.push(req.id);
   }
-  for (const rename of delta.renamed) {
-    const range = findRange(rename.from.id);
+  for (const rename2 of delta.renamed) {
+    const range = findRange(rename2.from.id);
     if (!range) {
-      diagnostics.push(diag("TRACE-007", "error", `No se puede renombrar ${rename.from.id}: no existe en la spec viva`, { path: delta.path, line: rename.line }));
+      diagnostics.push(diag("TRACE-007", "error", `No se puede renombrar ${rename2.from.id}: no existe en la spec viva`, { path: delta.path, line: rename2.line }));
       continue;
     }
     const header = lines[range.start] ?? "";
     const label = /Requirement/i.test(header) ? "Requirement" : "Requisito";
-    lines[range.start] = header.replace(REQ_HEADER_RE, (_match, id) => `### ${label}: ${id} \u2014 ${rename.to.title}`);
-    applied.renamed.push(rename.from.id);
+    lines[range.start] = header.replace(REQ_HEADER_RE, (_match, id) => `### ${label}: ${id} \u2014 ${rename2.to.title}`);
+    applied.renamed.push(rename2.from.id);
   }
   for (const req of delta.added) {
     const rendered = renderRequirement(req, language);
@@ -12563,6 +12648,46 @@ function trimTrailingBlanks(lines) {
   while (out.length > 0 && (out[out.length - 1] ?? "").trim() === "") out.pop();
   return out;
 }
+var TRANSIENT_MOVE_CODES = /* @__PURE__ */ new Set(["EPERM", "EBUSY", "ENOTEMPTY", "EACCES"]);
+function delay(ms) {
+  return new Promise((resolve) => setTimeout(resolve, ms));
+}
+async function moveDirectory(from, to, ops = {}) {
+  const doRename = ops.rename ?? rename;
+  const doCopy = ops.cp ?? cp;
+  const doRemove = ops.rm ?? rm;
+  let lastError;
+  for (let attempt = 1; attempt <= 3; attempt += 1) {
+    try {
+      await doRename(from, to);
+      return { strategy: "rename" };
+    } catch (error) {
+      lastError = error;
+      const code = error.code ?? "";
+      if (!TRANSIENT_MOVE_CODES.has(code)) throw error;
+      await delay(250 * attempt);
+    }
+  }
+  await doCopy(from, to, { recursive: true, force: true });
+  for (let attempt = 1; attempt <= 3; attempt += 1) {
+    try {
+      await doRemove(from, { recursive: true, force: true, maxRetries: 2 });
+      return { strategy: "copy" };
+    } catch (error) {
+      lastError = error;
+      await delay(350 * attempt);
+    }
+  }
+  await doRemove(to, { recursive: true, force: true }).catch(() => void 0);
+  throw lastError;
+}
+async function restoreFile(file, previous) {
+  try {
+    if (previous === void 0) await fs.rm(file, { force: true });
+    else await writeText(file, previous);
+  } catch {
+  }
+}
 async function archiveChange(opts) {
   const root = path16.resolve(opts.root);
   const diagnostics = [];
@@ -12587,7 +12712,17 @@ async function archiveChange(opts) {
     }
     if (!opts.dryRun) {
       await ensureDir(path16.dirname(targetFix));
-      await fs.rename(change.dir, targetFix);
+      try {
+        await moveDirectory(change.dir, targetFix);
+      } catch (error) {
+        diagnostics.push(
+          diag("ATLAS-ARCH-004", "error", `No se pudo mover el cambio al hist\xF3rico: ${error.message}`, {
+            path: change.dir,
+            suggestion: "Cierra las pesta\xF1as con archivos de este cambio (y espera unos segundos si OneDrive est\xE1 sincronizando) y vuelve a intentar"
+          })
+        );
+        return { slug: opts.slug, fold: emptyFold, diagnostics, dryRun: false };
+      }
       await regenerateIndex(root, config);
     }
     return { slug: opts.slug, archivedTo: targetFix, fold: emptyFold, diagnostics, dryRun: opts.dryRun ?? false };
@@ -12640,7 +12775,18 @@ ${body}`;
   if (!opts.dryRun) {
     await writeText(specFile, nextContent);
     await ensureDir(archiveDir);
-    await fs.rename(change.dir, target);
+    try {
+      await moveDirectory(change.dir, target);
+    } catch (error) {
+      await restoreFile(specFile, existing);
+      diagnostics.push(
+        diag("ATLAS-ARCH-004", "error", `No se pudo mover el cambio al hist\xF3rico: ${error.message}`, {
+          path: change.dir,
+          suggestion: "Cierra las pesta\xF1as con archivos de este cambio (y espera unos segundos si OneDrive est\xE1 sincronizando) y vuelve a intentar; el cambio y la spec viva quedaron como estaban"
+        })
+      );
+      return { slug: opts.slug, domain, fold, diagnostics, dryRun: false };
+    }
     await regenerateIndex(root, config, now);
   }
   return { slug: opts.slug, domain, archivedTo: target, fold, diagnostics, dryRun: opts.dryRun ?? false };
@@ -12738,6 +12884,10 @@ async function runCiGate(opts) {
       requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence
     });
     const changeDiags = [...lintFindings, ...trace.findings];
+    if (change.planPath) {
+      const planText = await readTextIfExists(change.planPath) ?? "";
+      changeDiags.push(...lintPlan(planText, change.planPath));
+    }
     if (change.tasks && change.tasks.counts.total > 0) {
       const plan = planWaves(change.tasks, { maxParallel: config.waves.max_parallel });
       changeDiags.push(...plan.blocks.flatMap((block) => block.diagnostics));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "specatlas",
-  "version": "0.1.15",
+  "version": "0.1.17",
   "description": "SpecAtlas: kernel determinista de Spec-Driven Development (CLI)",
   "license": "MIT",
   "type": "module",
@@ -40,7 +40,7 @@
   },
   "devDependencies": {
     "@specatlas/adapters": "0.1.1",
-    "@specatlas/core": "0.1.12"
+    "@specatlas/core": "0.1.14"
   },
   "scripts": {
     "typecheck": "tsc --noEmit",

package/workflow/phases/plan.md

@@ -30,6 +30,7 @@ El contenido se escribe en **{{LANGUAGE_NAME}}**. El plan es interno: puede (y d
    1. Contexto AS-IS · 2. Enfoque técnico (con alternativas descartadas) · 3. **Diagramas** · 4. Diseño por capa/módulos · 5. Matriz de trazabilidad (REQ → tareas) · 6. Matriz de paridad AS-IS → TO-BE (solo refactors sustitutivos) · 7. Tareas (referencia) · 8. Riesgos y mitigaciones · 9. Rollback · 10. Dependencias y supuestos.
    - **Encabezado**: antes de la sección 1, una cita con los metadatos **una clave por línea** — **Cambio**, **Carril**, **Dominio**, **Spec aprobada** y **Contrato visual** (si existe) — y una última línea: «Los artefactos aprobados no se editan: este plan y `tasks.md` son los únicos artefactos que produce esta fase.»
 3. En `## 3. Diagramas` incluye los diagramas mermaid que el cambio necesite: `erDiagram` si toca datos, `sequenceDiagram` si hay integración/API/jobs, `flowchart` si hay proceso o validaciones, `stateDiagram-v2` si hay estados, `classDiagram` si el dominio no es trivial, diagrama de arquitectura si hay módulos nuevos.
+   - Reglas mermaid: cada bloque empieza con el tipo (`flowchart`, `sequenceDiagram`, `stateDiagram-v2`, `erDiagram`…), todo bloque (`alt`/`loop`/`opt`/`par`/`rect`/`subgraph`) se cierra con `end`, y **no uses `;` dentro de los mensajes o etiquetas** de `sequenceDiagram` (mermaid lo interpreta como fin de sentencia: usa `·` o `,`).
 4. Escribe `tasks.md` con la gramática canónica (separador ` · `):
    - `## Bloque N — Título` y `- [ ] T<N>.<seq> Acción · Archivos: ruta · Cubre: REQ-…-S1 · Depende de: T<N>.<seq> · Reversión: cómo revertir`
    - Tareas atómicas (una acción por tarea). Trabajo de infraestructura sin requisito: `· Infra`.