@specatlas/core 0.1.12 → 0.1.14

package/dist/index.d.ts

@@ -1,4 +1,5 @@
 import { z } from 'zod';
+import { rename, cp, rm } from 'node:fs/promises';
 export { defaultTokens, renderDocument, renderStyles } from '@specatlas/render';
 
 declare const CORE_VERSION = "0.0.1";
@@ -809,6 +810,7 @@ declare function lintRequirement(req: Requirement, path: string, opts?: LintOpti
 declare function lintDelta(delta: Delta, livingRequirements: Map<string, Requirement>, path: string, opts?: LintOptions): Diagnostic[];
 declare function lintTasks(_tasks: TasksFile): Diagnostic[];
 declare function lintVerify(_verify: VerifyFile): Diagnostic[];
+declare function lintPlan(planText: string, path: string): Diagnostic[];
 declare function lintSpec(spec: SpecFile, opts?: LintOptions): Diagnostic[];
 
 interface TraceNode {
@@ -1643,6 +1645,14 @@ interface FoldOutcome {
     diagnostics: Diagnostic[];
 }
 declare function foldDelta(livingBody: string, delta: Delta, language?: Language): FoldOutcome;
+interface MoveOps {
+    rename?: typeof rename;
+    cp?: typeof cp;
+    rm?: typeof rm;
+}
+declare function moveDirectory(from: string, to: string, ops?: MoveOps): Promise<{
+    strategy: 'rename' | 'copy';
+}>;
 interface ArchiveOptions {
     root: string;
     slug: string;
@@ -1700,4 +1710,4 @@ declare function livingRequirementsMap(specs: Array<{
 }>): Map<string, Requirement>;
 declare function runCiGate(opts: CiOptions): Promise<CiResult>;
 
-export { type AdoptDomain, type AdoptOptions, type AdoptResult, type AgingBucket, type AnalyzeOptions, type AnalyzePackSummary, type AnalyzeResult, type Approval, type ApprovalStatus, type ApprovalsFile, type ApprovalsIndex, type ApproveFromGithubOptions, type ApproveFromGithubResult, type ArchiveOptions, type ArchiveResult, type AtlasConfig, type AttentionItem, BLOCK_HEAD_RE, BUILTIN_PACKS, type BlockWavePlan, CONFIG_FILE, CORE_VERSION, type CaptureResult, type Change, type ChangeMeta, type ChangeMetrics, type ChangeState, type CiCheck, type CiExtraCheck, type CiOptions, type CiResult, type Delta, type DeltaOp, type DeriveInput, type DerivedState, type DetectionResult, type Diagnostic, type DoctorReport, type Domain, type Evidence, type EvidenceMethod, type EvidenceResult, type ExecOptions, type ExecResult, type FoldOutcome, type FrontmatterResult, type GhRunner, type GitHubRepo, type InitOptions, type InitResult, type IssueBodyInput, type Lane, type Language, type LinkedIssue, type LintOptions, type LoadedConfig, type MockupCheckResult, type MockupManifest, type MockupPlan, type MockupPlanScreen, type MockupScreen, type NewChangeOptions, type NewChangeResult, type NextAction, type Override, type Pack, type PackCheck, type PackCheckResult, type PackCheckType, type PackEvaluation, type PresentOptions, type PresentResult, type ProfileMatch, REQ_HEAD_RE, REQ_ID_RE, RULE_ID_RE, RULE_RE, RUN_EVENT_TYPES, type RecordEvidenceOptions, type RecordEvidenceResult, type Rename, type Requirement, type RiskLevel, type Rule, type RunEvent, type RunEventType, type RunRecord, type RunState, type RunStatus, SCENARIO_HEAD_RE, SCENARIO_ID_RE, SDD_DIR, SLUG_RE, type Scenario, type Severity, type SignApprovalOptions, type SignApprovalResult, type SpecFile, type SpecRef, type StackProfile, type SyncGithubOptions, type SyncGithubResult, TASK_ID_RE, TASK_LINE_RE, type Task, type TaskBlock, type TasksFile, type TemplateSet, type TraceEdge, type TraceFinding, type TraceGraph, type TraceInput, type TraceNode, type TraceResult, type VerifyFile, type WalkEntry, type WavePlan, type Workspace, type WorkspaceMetrics, adoptWorkspace, appendRunEvent, approvalsSchema, approveFromGithub, archiveChange, artifactHash, atlasConfigSchema, buildTraceGraph, canonicalizeMarkdown, captureMockups, changeMarker, changeMetaSchema, changeMetaYaml, checkMockups, checkTrace, collectMetrics, commentIssue, compareTaskIds, computeInputsHash, configToYaml, copyFile, countBySeverity, createChange, createIssue, createRun, defaultConfig, deriveState, detectProfiles, detectRepo, detectionToYaml, diag, editIssue, emitFrontmatter, ensureDir, ensureSddDirs, esc, evaluatePacks, evidenceSummary, exists, findLinkedIssue, findWorkspaceRoot, firstToken, foldDelta, generatePresentation, generateRunId, getNumber, getString, ghAuthStatus, ghAvailable, hasErrors, hasShellMetacharacters, indexMarkdown, initWorkspace, inline, isCommandAllowed, isDirectory, issueBody, issueLabels, laneOrDefault, lintDelta, lintMockupHtml, lintMockupManifest, lintRequirement, lintSpec, lintTasks, lintVerify, listChangeSlugs, listDir, listDirs, listRuns, livingRequirementsMap, loadActiveProfile, loadApprovals, loadChange, loadConfig, loadDetectedBest, loadProfileFile, loadProfilesFromDir, loadProjectPacks, loadSpecs, loadWorkspace, localCompact, localDate, localMonth, localOffset, localStamp, matchGlob, mockupManifestSchema, mockupsDir, mockupsReady, packFindings, parseApprovals, parseChangeMeta, parseConfig, parseDelta, parseFrontmatter, parseGitHubRemote, parseIssueUrl, parseRequirementBlocks, parseSpecFile, parseTasksFile, parseVerifyFile, patchChangeMeta, planBlock, planMockups, planWaves, profileSchema, readMockupManifest, readRun, readText, readTextIfExists, recordEvidence, regenerateIndex, renderMarkdown, renderRequirement, renderTemplate, requiresMockups, resolvePacks, runAnalyze, runCiGate, runDoctor, runProcess, setMockupRequirement, sha256, shortHash, signApproval, specHashOf, splitCommand, stateLabel, syncGithubIssue, templatesFor, toPosix, tokensFile, updateMockupScreenshots, updateRunStatus, verifyApproval, walkFiles, writeConfig, writeMockupManifest, writeMockupPlan, writeText };
+export { type AdoptDomain, type AdoptOptions, type AdoptResult, type AgingBucket, type AnalyzeOptions, type AnalyzePackSummary, type AnalyzeResult, type Approval, type ApprovalStatus, type ApprovalsFile, type ApprovalsIndex, type ApproveFromGithubOptions, type ApproveFromGithubResult, type ArchiveOptions, type ArchiveResult, type AtlasConfig, type AttentionItem, BLOCK_HEAD_RE, BUILTIN_PACKS, type BlockWavePlan, CONFIG_FILE, CORE_VERSION, type CaptureResult, type Change, type ChangeMeta, type ChangeMetrics, type ChangeState, type CiCheck, type CiExtraCheck, type CiOptions, type CiResult, type Delta, type DeltaOp, type DeriveInput, type DerivedState, type DetectionResult, type Diagnostic, type DoctorReport, type Domain, type Evidence, type EvidenceMethod, type EvidenceResult, type ExecOptions, type ExecResult, type FoldOutcome, type FrontmatterResult, type GhRunner, type GitHubRepo, type InitOptions, type InitResult, type IssueBodyInput, type Lane, type Language, type LinkedIssue, type LintOptions, type LoadedConfig, type MockupCheckResult, type MockupManifest, type MockupPlan, type MockupPlanScreen, type MockupScreen, type MoveOps, type NewChangeOptions, type NewChangeResult, type NextAction, type Override, type Pack, type PackCheck, type PackCheckResult, type PackCheckType, type PackEvaluation, type PresentOptions, type PresentResult, type ProfileMatch, REQ_HEAD_RE, REQ_ID_RE, RULE_ID_RE, RULE_RE, RUN_EVENT_TYPES, type RecordEvidenceOptions, type RecordEvidenceResult, type Rename, type Requirement, type RiskLevel, type Rule, type RunEvent, type RunEventType, type RunRecord, type RunState, type RunStatus, SCENARIO_HEAD_RE, SCENARIO_ID_RE, SDD_DIR, SLUG_RE, type Scenario, type Severity, type SignApprovalOptions, type SignApprovalResult, type SpecFile, type SpecRef, type StackProfile, type SyncGithubOptions, type SyncGithubResult, TASK_ID_RE, TASK_LINE_RE, type Task, type TaskBlock, type TasksFile, type TemplateSet, type TraceEdge, type TraceFinding, type TraceGraph, type TraceInput, type TraceNode, type TraceResult, type VerifyFile, type WalkEntry, type WavePlan, type Workspace, type WorkspaceMetrics, adoptWorkspace, appendRunEvent, approvalsSchema, approveFromGithub, archiveChange, artifactHash, atlasConfigSchema, buildTraceGraph, canonicalizeMarkdown, captureMockups, changeMarker, changeMetaSchema, changeMetaYaml, checkMockups, checkTrace, collectMetrics, commentIssue, compareTaskIds, computeInputsHash, configToYaml, copyFile, countBySeverity, createChange, createIssue, createRun, defaultConfig, deriveState, detectProfiles, detectRepo, detectionToYaml, diag, editIssue, emitFrontmatter, ensureDir, ensureSddDirs, esc, evaluatePacks, evidenceSummary, exists, findLinkedIssue, findWorkspaceRoot, firstToken, foldDelta, generatePresentation, generateRunId, getNumber, getString, ghAuthStatus, ghAvailable, hasErrors, hasShellMetacharacters, indexMarkdown, initWorkspace, inline, isCommandAllowed, isDirectory, issueBody, issueLabels, laneOrDefault, lintDelta, lintMockupHtml, lintMockupManifest, lintPlan, lintRequirement, lintSpec, lintTasks, lintVerify, listChangeSlugs, listDir, listDirs, listRuns, livingRequirementsMap, loadActiveProfile, loadApprovals, loadChange, loadConfig, loadDetectedBest, loadProfileFile, loadProfilesFromDir, loadProjectPacks, loadSpecs, loadWorkspace, localCompact, localDate, localMonth, localOffset, localStamp, matchGlob, mockupManifestSchema, mockupsDir, mockupsReady, moveDirectory, packFindings, parseApprovals, parseChangeMeta, parseConfig, parseDelta, parseFrontmatter, parseGitHubRemote, parseIssueUrl, parseRequirementBlocks, parseSpecFile, parseTasksFile, parseVerifyFile, patchChangeMeta, planBlock, planMockups, planWaves, profileSchema, readMockupManifest, readRun, readText, readTextIfExists, recordEvidence, regenerateIndex, renderMarkdown, renderRequirement, renderTemplate, requiresMockups, resolvePacks, runAnalyze, runCiGate, runDoctor, runProcess, setMockupRequirement, sha256, shortHash, signApproval, specHashOf, splitCommand, stateLabel, syncGithubIssue, templatesFor, toPosix, tokensFile, updateMockupScreenshots, updateRunStatus, verifyApproval, walkFiles, writeConfig, writeMockupManifest, writeMockupPlan, writeText };

package/dist/index.js

@@ -716,12 +716,12 @@ function lintDelta(delta, livingRequirements, path19, opts = {}) {
       out.push(diag("TRACE-007", "error", `REMOVED ${req.id} no existe en la spec viva`, { path: path19, 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: path19, 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: path19, 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: path19, 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: path19, line: rename2.line }));
     }
   }
   return out;
@@ -732,6 +732,71 @@ function lintTasks(_tasks) {
 function lintVerify(_verify) {
   return [];
 }
+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, path19) {
+  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: path19,
+          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: path19,
+          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: path19,
+              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) {
@@ -2903,6 +2968,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 };
@@ -3700,6 +3769,7 @@ async function createChange(opts) {
 
 // src/archive.ts
 import { promises as fs } from "fs";
+import { cp, rename, rm } from "fs/promises";
 import path16 from "path";
 var REQ_HEADER_RE = /^###\s+(?:Requisito|Requirement):\s+(REQ-[A-Z0-9-]+)\s*(?:—|-|–)\s*(.*)$/;
 function foldDelta(livingBody, delta, language = "es") {
@@ -3744,16 +3814,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);
@@ -3768,6 +3838,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 = [];
@@ -3792,7 +3902,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 };
@@ -3845,7 +3965,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 };
@@ -3954,6 +4085,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));
@@ -4065,6 +4200,7 @@ export {
   lintDelta,
   lintMockupHtml,
   lintMockupManifest,
+  lintPlan,
   lintRequirement,
   lintSpec,
   lintTasks,
@@ -4093,6 +4229,7 @@ export {
   mockupManifestSchema,
   mockupsDir,
   mockupsReady,
+  moveDirectory,
   packFindings,
   parseApprovals,
   parseChangeMeta,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@specatlas/core",
-  "version": "0.1.12",
+  "version": "0.1.14",
   "description": "Kernel determinista de SpecAtlas: parsing, validación, trazabilidad, olas y ciclo de vida",
   "license": "MIT",
   "type": "module",
@@ -34,7 +34,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@specatlas/render": "0.1.2",
+    "@specatlas/render": "0.1.3",
     "yaml": "^2.6.1",
     "zod": "^3.24.1"
   },