specatlas 0.1.16 → 0.1.18

package/dist/bin.js

@@ -8824,7 +8824,16 @@ function renderMarkdown(markdown2, opts = {}) {
       const source = code.join("\n");
       if (lang === "mermaid") {
         if (mermaidMode === "script" && opts.mermaidScriptUri) {
-          out.push(`<div class="mermaid-block"><pre class="mermaid">${escapeHtml(source)}</pre></div>`);
+          out.push(`<div class="mermaid-block">
+  <div class="diagram-tools" role="toolbar" aria-label="Herramientas del diagrama">
+    <button type="button" data-diagram-zoom="out" title="Alejar" aria-label="Alejar">\u2212</button>
+    <button type="button" data-diagram-zoom="in" title="Acercar" aria-label="Acercar">\uFF0B</button>
+    <button type="button" data-diagram-zoom="reset" title="Tama\xF1o original" aria-label="Tama\xF1o original">100%</button>
+    <button type="button" data-diagram-fullscreen title="Pantalla completa (Esc para salir)" aria-label="Pantalla completa">\u26F6</button>
+    <button type="button" data-diagram-download title="Descargar SVG" aria-label="Descargar SVG">\u2913</button>
+  </div>
+  <div class="diagram-canvas"><pre class="mermaid">${escapeHtml(source)}</pre></div>
+</div>`);
         } else {
           out.push(
             `<div class="mermaid-block callout"><pre class="mermaid">${escapeHtml(source)}</pre><p><small>Diagrama mermaid \u2014 visible con la vista previa de Markdown del editor.</small></p></div>`
@@ -8871,34 +8880,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>`);
@@ -8913,8 +8937,12 @@ function renderMarkdown(markdown2, opts = {}) {
         rows.push(splitRow(lines[i] ?? ""));
         i += 1;
       }
+      const width = Math.max(header.length, ...rows.map((row) => row.length));
+      const pad = (cells) => [...cells, ...Array.from({ length: Math.max(0, width - cells.length) }, () => "")];
+      const paddedHeader = pad(header);
+      const paddedRows = rows.map((row) => pad(row));
       out.push(
-        `<table><thead><tr>${header.map((cell) => `<th>${inlineMarkdown(cell)}</th>`).join("")}</tr></thead><tbody>${rows.map((row) => `<tr>${row.map((cell) => `<td>${inlineMarkdown(cell)}</td>`).join("")}</tr>`).join("")}</tbody></table>`
+        `<div class="table-wrap"><table><thead><tr>${paddedHeader.map((cell) => `<th>${inlineMarkdown(cell)}</th>`).join("")}</tr></thead><tbody>${paddedRows.map((row) => `<tr>${row.map((cell) => `<td>${inlineMarkdown(cell)}</td>`).join("")}</tr>`).join("")}</tbody></table></div>`
       );
       continue;
     }
@@ -9631,6 +9659,71 @@ function lintDelta(delta, livingRequirements, path192, opts = {}) {
   }
   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;
+}
 function lintSpec(spec, opts = {}) {
   const out = [...spec.diagnostics];
   for (const req of spec.requirements) {
@@ -11720,6 +11813,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 };
@@ -12800,6 +12897,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.16",
+  "version": "0.1.18",
   "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.13"
+    "@specatlas/core": "0.1.15"
   },
   "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`.