specatlas 0.1.6 → 0.1.8

package/dist/bin.js

@@ -1581,7 +1581,7 @@ var require_core = __commonJS({
 });
 
 // src/cli.ts
-import path38 from "path";
+import path39 from "path";
 
 // ../core/dist/index.js
 import path from "path";
@@ -8938,6 +8938,7 @@ import path15 from "path";
 import { promises as fs } from "fs";
 import path16 from "path";
 import path17 from "path";
+import path18 from "path";
 var CORE_VERSION = "0.0.1";
 var REQ_ID_RE = /^REQ-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3}$/;
 var SCENARIO_ID_RE = /^REQ-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3}-S\d+$/;
@@ -9513,14 +9514,14 @@ function wordBoundary(text, term) {
   const re = new RegExp(`(?<![\\p{L}\\p{N}])${escaped}(?![\\p{L}\\p{N}])`, "iu");
   return re.test(text);
 }
-function lintText(text, code, terms, label, path182, line) {
+function lintText(text, code, terms, label, path192, line) {
   const out = [];
   const lower = text.toLowerCase();
   for (const term of terms) {
     if (wordBoundary(lower, term)) {
       out.push(
         diag(code, "error", `${label}: "${term}"`, {
-          path: path182,
+          path: path192,
           line,
           suggestion: "La especificaci\xF3n es funcional y de negocio: describe comportamiento, no tecnolog\xEDa ni adjetivos vagos"
         })
@@ -9529,7 +9530,7 @@ function lintText(text, code, terms, label, path182, line) {
   }
   return out;
 }
-function lintRequirement(req, path182, opts = {}) {
+function lintRequirement(req, path192, opts = {}) {
   const out = [];
   const vague = opts.language === "en" ? VAGUE_EN : VAGUE_ES;
   const tech = opts.language === "en" ? TECH_EN : TECH_ES;
@@ -9540,32 +9541,32 @@ function lintRequirement(req, path182, opts = {}) {
     ...req.scenarios.flatMap((s) => [...s.when.map((w) => ({ text: w, line: s.line })), ...s.then.map((t) => ({ text: t, line: s.line }))])
   ];
   for (const part of parts) {
-    out.push(...lintText(part.text, "LINT-BIZ-002", vague, "Palabra vaga en la especificaci\xF3n", path182, part.line));
+    out.push(...lintText(part.text, "LINT-BIZ-002", vague, "Palabra vaga en la especificaci\xF3n", path192, part.line));
     if (opts.businessOnly !== false) {
-      out.push(...lintText(part.text, "LINT-BIZ-001", tech, "Jerga t\xE9cnica en la especificaci\xF3n de negocio", path182, part.line));
+      out.push(...lintText(part.text, "LINT-BIZ-001", tech, "Jerga t\xE9cnica en la especificaci\xF3n de negocio", path192, part.line));
     }
   }
   if (req.scenarios.length === 0) {
-    out.push(diag("TRACE-001", "error", `El requisito ${req.id} no tiene ning\xFAn escenario`, { path: path182, line: req.line, suggestion: "A\xF1ade al menos un escenario CUANDO/ENTONCES" }));
+    out.push(diag("TRACE-001", "error", `El requisito ${req.id} no tiene ning\xFAn escenario`, { path: path192, line: req.line, suggestion: "A\xF1ade al menos un escenario CUANDO/ENTONCES" }));
   }
   return out;
 }
-function lintDelta(delta, livingRequirements, path182, opts = {}) {
+function lintDelta(delta, livingRequirements, path192, opts = {}) {
   const out = [...delta.diagnostics];
   for (const req of [...delta.added, ...delta.modified]) {
-    out.push(...lintRequirement(req, path182, opts));
+    out.push(...lintRequirement(req, path192, opts));
   }
   for (const req of delta.modified) {
     const living = livingRequirements.get(req.id);
     if (!living) {
-      out.push(diag("TRACE-007", "error", `MODIFIED ${req.id} no existe en la spec viva; usa ADDED`, { path: path182, line: req.line }));
+      out.push(diag("TRACE-007", "error", `MODIFIED ${req.id} no existe en la spec viva; usa ADDED`, { path: path192, line: req.line }));
       continue;
     }
     for (const existing of living.scenarios) {
       if (!req.scenarios.some((s) => s.id === existing.id)) {
         out.push(
           diag("TRACE-007", "error", `MODIFIED ${req.id} pierde el escenario ${existing.id}: copia el bloque completo`, {
-            path: path182,
+            path: path192,
             line: req.line,
             suggestion: "Copia el bloque completo de la spec viva y ed\xEDtalo; para quitarlo, decl\xE1ralo en REMOVED"
           })
@@ -9576,15 +9577,15 @@ function lintDelta(delta, livingRequirements, path182, opts = {}) {
   for (const req of delta.removed) {
     const living = livingRequirements.get(req.id);
     if (!living) {
-      out.push(diag("TRACE-007", "error", `REMOVED ${req.id} no existe en la spec viva`, { path: path182, line: req.line }));
+      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: path182, line: rename.line }));
+      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 }));
     }
     if (!livingRequirements.has(rename.from.id)) {
-      out.push(diag("TRACE-007", "error", `RENAMED ${rename.from.id} no existe en la spec viva`, { path: path182, line: rename.line }));
+      out.push(diag("TRACE-007", "error", `RENAMED ${rename.from.id} no existe en la spec viva`, { path: path192, line: rename.line }));
     }
   }
   return out;
@@ -9897,10 +9898,11 @@ function deriveState(input) {
   }
   if (approval.status === "missing" || approval.status === "stale") {
     blockedBy.push(approval.status === "stale" ? "la firma de la spec qued\xF3 obsoleta (el archivo cambi\xF3)" : "la spec no est\xE1 aprobada");
+    const presented = change.presentationPath !== void 0;
     return {
       state: "awaiting_approval",
       blockedBy,
-      nextAction: next(`satlas present ${change.slug}`, "Presentar la propuesta y firmar la aprobaci\xF3n (satlas approve)"),
+      nextAction: presented ? next(`satlas approve ${change.slug} --by "<nombre>"`, "Firmar la aprobaci\xF3n (la presentaci\xF3n ya est\xE1 generada)") : next(`satlas present ${change.slug}`, "Presentar la propuesta y firmar la aprobaci\xF3n (satlas approve)"),
       progress
     };
   }
@@ -10127,6 +10129,8 @@ async function loadChange(root, slug, relDir) {
   if (await exists(planFile)) change.planPath = planFile;
   const reviewFile = path4.join(dir, "review.md");
   if (await exists(reviewFile)) change.reviewPath = reviewFile;
+  const presentationFile = path4.join(dir, "presentation", "index.html");
+  if (await exists(presentationFile)) change.presentationPath = presentationFile;
   const tasksFile = path4.join(dir, "tasks.md");
   const tasksRaw = await readTextIfExists(tasksFile);
   if (tasksRaw !== void 0) {
@@ -12615,6 +12619,72 @@ async function runDoctor(root) {
   }
   return { findings, summary: countBySeverity(findings) };
 }
+var UI_DOMAINS2 = /* @__PURE__ */ new Set(["frontend", "mobile", "fullstack"]);
+function count(name, diagnostics) {
+  return {
+    name,
+    errors: diagnostics.filter((d) => d.severity === "error").length,
+    warnings: diagnostics.filter((d) => d.severity === "warning").length
+  };
+}
+function livingRequirementsMap(specs) {
+  const map = /* @__PURE__ */ new Map();
+  for (const spec of specs) {
+    for (const requirement of spec.spec.requirements) map.set(requirement.id, requirement);
+  }
+  return map;
+}
+async function runCiGate(opts) {
+  const root = path18.resolve(opts.root);
+  const { workspace, config } = await loadWorkspace(root);
+  const diagnostics = [];
+  const checks = [];
+  const specFindings = workspace.specs.flatMap((spec) => lintSpec(spec.spec, { language: config.spec.language, businessOnly: config.spec.business_only }));
+  diagnostics.push(...specFindings);
+  checks.push(count("specs vivas", specFindings));
+  const living = livingRequirementsMap(workspace.specs);
+  let changesErrors = 0;
+  let changesWarnings = 0;
+  for (const change of workspace.changes) {
+    const lintFindings = change.delta ? lintDelta(change.delta, living, path18.join(change.dir, "spec.md"), { language: config.spec.language }) : [];
+    const trace = checkTrace({
+      specs: workspace.specs,
+      change,
+      requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence
+    });
+    const changeDiags = [...lintFindings, ...trace.findings];
+    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));
+    }
+    if (UI_DOMAINS2.has(change.meta?.domain ?? "")) {
+      const mockups = await checkMockups(root, change.slug, change);
+      changeDiags.push(...mockups.findings);
+    }
+    if (config.packs.length > 0) {
+      const resolved = await resolvePacks(workspace.sddDir, config);
+      const evaluations = evaluatePacks(resolved.packs, change, config);
+      changeDiags.push(...packFindings(evaluations, change));
+    }
+    diagnostics.push(...changeDiags);
+    const entry = count(change.slug, changeDiags);
+    changesErrors += entry.errors;
+    changesWarnings += entry.warnings;
+  }
+  checks.push({ name: "cambios (lint + trace + waves + mockups)", errors: changesErrors, warnings: changesWarnings });
+  const doctor = await runDoctor(root);
+  const doctorErrors = doctor.findings.filter((d) => d.severity === "error");
+  diagnostics.push(...doctorErrors);
+  checks.push({ name: "doctor", errors: doctorErrors.length, warnings: 0 });
+  for (const extra of opts.extra ?? []) {
+    diagnostics.push(...extra.diagnostics);
+    checks.push(count(extra.name, extra.diagnostics));
+  }
+  const errors = diagnostics.filter((d) => d.severity === "error").length;
+  const warnings = diagnostics.filter((d) => d.severity === "warning").length;
+  const failed = errors > 0 || (opts.strict ?? false) && warnings > 0;
+  return { checks, diagnostics, errors, warnings, failed };
+}
 
 // src/args.ts
 var BOOLEAN_FLAGS = /* @__PURE__ */ new Set(["json", "local", "strict", "yes", "dry-run", "require-evidence", "help", "version"]);
@@ -12786,26 +12856,26 @@ function cliVersion() {
 }
 
 // src/commands/adapters.ts
-import path20 from "path";
+import path21 from "path";
 
 // ../adapters/dist/index.js
-import path18 from "path";
+import path19 from "path";
 import { stringify as stringifyYaml5 } from "yaml";
 import path22 from "path";
 async function loadWorkflow(workflowDir) {
-  const phasesDir = path18.join(workflowDir, "phases");
-  const snippetsDir = path18.join(workflowDir, "snippets");
+  const phasesDir = path19.join(workflowDir, "phases");
+  const snippetsDir = path19.join(workflowDir, "snippets");
   const phases = [];
   const snippets = /* @__PURE__ */ new Map();
   const hashParts = [];
   for (const entry of (await listDir(phasesDir)).sort()) {
     if (!entry.endsWith(".md")) continue;
-    const filePath = path18.join(phasesDir, entry);
+    const filePath = path19.join(phasesDir, entry);
     const raw = await readText(filePath);
     hashParts.push(raw);
     const fm = parseFrontmatter(raw, filePath);
     const data = fm.data;
-    const id = typeof data["id"] === "string" ? data["id"] : path18.basename(entry, ".md");
+    const id = typeof data["id"] === "string" ? data["id"] : path19.basename(entry, ".md");
     phases.push({
       id,
       title: typeof data["title"] === "string" ? data["title"] : id,
@@ -12819,9 +12889,9 @@ async function loadWorkflow(workflowDir) {
   }
   for (const entry of (await listDir(snippetsDir)).sort()) {
     if (!entry.endsWith(".md")) continue;
-    const raw = await readTextIfExists(path18.join(snippetsDir, entry)) ?? "";
+    const raw = await readTextIfExists(path19.join(snippetsDir, entry)) ?? "";
     hashParts.push(raw);
-    snippets.set(path18.basename(entry, ".md"), raw.trim());
+    snippets.set(path19.basename(entry, ".md"), raw.trim());
   }
   return { phases: phases.sort((a, b) => a.id.localeCompare(b.id)), snippets, sourceHash: sha256(hashParts.join("\n---\n")) };
 }
@@ -13125,7 +13195,7 @@ async function checkAdapters(opts) {
 }
 
 // src/paths.ts
-import path19 from "path";
+import path20 from "path";
 import { fileURLToPath as fileURLToPath2 } from "url";
 async function resolveProfilesDir() {
   const env = process.env["SPECATLAS_PROFILES_DIR"];
@@ -13135,16 +13205,16 @@ async function resolveProfilesDir() {
 async function resolveWorkflowDir() {
   const env = process.env["SPECATLAS_WORKFLOW_DIR"];
   if (env && await exists(env)) return env;
-  return walkUpFor(path19.join("workflow", "phases"));
+  return walkUpFor(path20.join("workflow", "phases"));
 }
 async function walkUpFor(relative) {
-  let dir = path19.dirname(fileURLToPath2(import.meta.url));
+  let dir = path20.dirname(fileURLToPath2(import.meta.url));
   for (let i = 0; i < 8; i += 1) {
-    const candidate = path19.join(dir, relative);
+    const candidate = path20.join(dir, relative);
     if (await exists(candidate)) {
-      return relative.includes(path19.sep) ? path19.dirname(candidate) : candidate;
+      return relative.includes(path20.sep) ? path20.dirname(candidate) : candidate;
     }
-    const parent = path19.dirname(dir);
+    const parent = path20.dirname(dir);
     if (parent === dir) break;
     dir = parent;
   }
@@ -13222,7 +13292,7 @@ async function runAdapters(ctx) {
   for (const [target, count2] of byTarget) lines.push(`  ${target}: ${count2} archivo(s)`);
   if (report.written.length > 0) {
     lines.push("");
-    for (const p of report.written) lines.push(`  + ${path20.relative(ctx.cwd, path20.join(root, p))}`);
+    for (const p of report.written) lines.push(`  + ${path21.relative(ctx.cwd, path21.join(root, p))}`);
   } else {
     lines.push("");
     lines.push("Sin cambios: los adaptadores ya estaban al d\xEDa.");
@@ -13233,7 +13303,7 @@ async function runAdapters(ctx) {
 }
 
 // src/commands/adopt.ts
-import path21 from "path";
+import path23 from "path";
 async function runAdopt(ctx) {
   const { root } = await requireWorkspace(ctx);
   const domainsFlag = flagString(ctx.flags, "domains") ?? flagString(ctx.flags, "domain");
@@ -13253,11 +13323,11 @@ async function runAdopt(ctx) {
   }
   if (result.createdSpecs.length > 0) {
     lines.push("");
-    for (const spec of result.createdSpecs) lines.push(`  ${result.dryRun ? "[dry-run] " : "+ "}${path21.relative(ctx.cwd, spec)}`);
+    for (const spec of result.createdSpecs) lines.push(`  ${result.dryRun ? "[dry-run] " : "+ "}${path23.relative(ctx.cwd, spec)}`);
   }
   if (result.reportPath && !result.dryRun) {
     lines.push("");
-    lines.push(`  Informe: ${path21.relative(ctx.cwd, result.reportPath)}`);
+    lines.push(`  Informe: ${path23.relative(ctx.cwd, result.reportPath)}`);
   }
   lines.push("");
   lines.push("Siguiente: fase /satlas-adopt por dominio (requisitos AS-IS) y luego:");
@@ -13270,8 +13340,8 @@ async function runAdopt(ctx) {
     diagnostics: result.diagnostics,
     data: {
       domains: result.domains.map((d) => ({ name: d.name, files: d.files, existingSpec: d.existingSpec })),
-      createdSpecs: result.createdSpecs.map((s) => path21.relative(ctx.cwd, s)),
-      reportPath: result.reportPath ? path21.relative(ctx.cwd, result.reportPath) : void 0,
+      createdSpecs: result.createdSpecs.map((s) => path23.relative(ctx.cwd, s)),
+      reportPath: result.reportPath ? path23.relative(ctx.cwd, result.reportPath) : void 0,
       stack: result.stack,
       dryRun: result.dryRun
     },
@@ -13280,7 +13350,7 @@ async function runAdopt(ctx) {
 }
 
 // src/commands/analyze.ts
-import path23 from "path";
+import path24 from "path";
 async function runAnalyzeCommand(ctx) {
   const { root } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -13291,23 +13361,23 @@ async function runAnalyzeCommand(ctx) {
   const lines = [`An\xE1lisis \u2014 ${slug}`, "", `  estado: ${result.status}`, `  hallazgos: ${result.summary.errors} errores, ${result.summary.warnings} avisos`, `  evidencia: ${result.evidence.done}/${result.evidence.total} escenarios`];
   if (result.waves) lines.push(`  olas: ${result.waves.blocks} bloque(s), ${result.waves.waves} ola(s), ${result.waves.tasks} tarea(s)`);
   if (result.mockups) lines.push(`  mockups: ${result.mockups.screens} pantalla(s)${result.mockups.stale ? " (desactualizados)" : ""}`);
-  if (result.path) lines.push("", `  informe: ${path23.relative(ctx.cwd, result.path)}`);
+  if (result.path) lines.push("", `  informe: ${path24.relative(ctx.cwd, result.path)}`);
   for (const finding of result.findings) {
     lines.push(`  ${finding.severity.toUpperCase()} ${finding.code} \u2014 ${finding.message}`);
   }
   return {
     exitCode: result.status === "blocked" ? 1 : 0,
     diagnostics: result.findings,
-    data: result.path ? { ...result, path: path23.relative(ctx.cwd, result.path) } : result,
+    data: result.path ? { ...result, path: path24.relative(ctx.cwd, result.path) } : result,
     text: lines
   };
 }
 
 // src/commands/approve.ts
-import path25 from "path";
+import path26 from "path";
 
 // src/commands/issue.ts
-import path24 from "path";
+import path25 from "path";
 async function runIssue(ctx) {
   const action = ctx.positionals[0] ?? "status";
   const slug = ctx.positionals[1];
@@ -13335,7 +13405,7 @@ async function runIssue(ctx) {
       return { exitCode: 2, diagnostics: [{ code: "ATLAS-ISSUE-000", severity: "error", message: "Falta el slug: satlas issue status <slug>" }] };
     }
     const change = await loadChange(root, slug);
-    const { config } = await loadConfig(path24.join(root, ".sdd"));
+    const { config } = await loadConfig(path25.join(root, ".sdd"));
     const tracker = change.meta?.tracker;
     const lines = [`Issue de ${slug}`, ""];
     if (!tracker || tracker.provider !== "github") {
@@ -13406,7 +13476,7 @@ async function runApprove(ctx) {
     };
   }
   const { root } = await requireWorkspace(ctx);
-  const artifact = target.includes("/") || target.includes("\\") ? target : path25.join("changes", target, "spec.md");
+  const artifact = target.includes("/") || target.includes("\\") ? target : path26.join("changes", target, "spec.md");
   const channelFlag = flagString(ctx.flags, "channel");
   const channel = channelFlag === "presentation" || channelFlag === "editor" || channelFlag === "pr" || channelFlag === "tracker" ? channelFlag : "cli";
   const result = await signApproval({
@@ -13431,13 +13501,13 @@ async function runApprove(ctx) {
   return {
     exitCode: hasErrors2 ? 1 : 0,
     diagnostics: result.diagnostics,
-    data: result.approval ? { ...result.approval, file: path25.relative(ctx.cwd, result.file) } : void 0,
+    data: result.approval ? { ...result.approval, file: path26.relative(ctx.cwd, result.file) } : void 0,
     text: lines
   };
 }
 
 // src/commands/archive.ts
-import path26 from "path";
+import path27 from "path";
 async function runArchive(ctx) {
   const slug = ctx.positionals[0];
   if (!slug) {
@@ -13467,7 +13537,7 @@ async function runArchive(ctx) {
     lines.push(`  modificados: ${result.fold.applied.modified.join(", ") || "\u2014"}`);
     lines.push(`  eliminados: ${result.fold.applied.removed.join(", ") || "\u2014"}`);
     lines.push(`  renombrados: ${result.fold.applied.renamed.join(", ") || "\u2014"}`);
-    if (result.archivedTo) lines.push(`  archivado en: ${path26.relative(ctx.cwd, result.archivedTo)}`);
+    if (result.archivedTo) lines.push(`  archivado en: ${path27.relative(ctx.cwd, result.archivedTo)}`);
   } else {
     lines.push("El delta no contiene operaciones (ADDED/MODIFIED/REMOVED/RENAMED).");
   }
@@ -13480,100 +13550,39 @@ async function runArchive(ctx) {
   };
 }
 
-// src/evaluate.ts
-import path27 from "path";
-function livingRequirementsMap(specs) {
-  const map = /* @__PURE__ */ new Map();
-  for (const spec of specs) {
-    for (const req of spec.spec.requirements) map.set(req.id, req);
-  }
-  return map;
-}
-async function evaluateChange(workspace, config, change, approvals) {
-  const deltaPath = path27.join(change.dir, "spec.md");
-  const deltaContent = await readTextIfExists(deltaPath);
-  const approval = verifyApproval(change, approvals, config, deltaContent ?? void 0);
-  const living = livingRequirementsMap(workspace.specs);
-  const lintFindings = change.delta ? lintDelta(change.delta, living, deltaPath, { language: config.spec.language }) : [];
-  const trace = checkTrace({
-    specs: workspace.specs,
-    change,
-    requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence
-  });
-  const blocking = lintFindings.filter((d) => d.severity === "error").length + trace.findings.filter((d) => d.severity === "error").length;
-  const state = deriveState({ change, cfg: config, approval, blockingFindings: change.delta ? blocking : 0 });
-  return { change, approval, lintFindings, trace, blocking, state };
-}
-
 // src/commands/ci.ts
-var UI_DOMAINS2 = /* @__PURE__ */ new Set(["frontend", "mobile", "fullstack"]);
 async function runCi(ctx) {
-  const { root, workspace, config, approvals } = await requireWorkspace(ctx);
+  const { root, config } = await requireWorkspace(ctx);
   const strict = flagBool(ctx.flags, "strict");
-  const diagnostics = [];
-  const checks = [];
-  const specFindings = workspace.specs.flatMap((spec) => lintSpec(spec.spec, { language: config.spec.language, businessOnly: config.spec.business_only }));
-  diagnostics.push(...specFindings);
-  checks.push(count("specs vivas", specFindings));
-  let changesErrors = 0;
-  let changesWarnings = 0;
-  for (const change of workspace.changes) {
-    const evaluation = await evaluateChange(workspace, config, change, approvals);
-    const changeDiags = [...evaluation.lintFindings, ...evaluation.trace.findings];
-    if (change.tasks && change.tasks.counts.total > 0) {
-      const plan = planWaves(change.tasks, { maxParallel: config.waves.max_parallel });
-      changeDiags.push(...plan.blocks.flatMap((b) => b.diagnostics));
-    }
-    if (UI_DOMAINS2.has(change.meta?.domain ?? "")) {
-      const mockups = await checkMockups(root, change.slug, change);
-      changeDiags.push(...mockups.findings);
-    }
-    if (config.packs.length > 0) {
-      const resolved = await resolvePacks(workspace.sddDir, config);
-      const evaluations = evaluatePacks(resolved.packs, change, config);
-      changeDiags.push(...packFindings(evaluations, change));
-    }
-    diagnostics.push(...changeDiags);
-    const entry = count(change.slug, changeDiags);
-    changesErrors += entry.errors;
-    changesWarnings += entry.warnings;
-  }
-  checks.push({ name: "cambios (lint + trace + waves + mockups)", errors: changesErrors, warnings: changesWarnings });
-  const doctor = await runDoctor(root);
-  const doctorErrors = doctor.findings.filter((d) => d.severity === "error");
-  diagnostics.push(...doctorErrors);
-  checks.push({ name: "doctor", errors: doctorErrors.length, warnings: 0 });
+  const extra = [];
   const workflowDir = await resolveWorkflowDir();
   if (workflowDir) {
     const health = await checkAdapters({ root, workflowDir, targets: config.adapters.targets, language: config.project.language });
-    if (health.manifest && !health.ok) {
-      const finding = {
-        code: "ATLAS-ADAPTERS-001",
-        severity: "warning",
-        message: "Los adaptadores de agente est\xE1n desactualizados respecto a workflow/",
-        suggestion: "Ejecuta `satlas adapters` y commitea el resultado"
-      };
-      diagnostics.push(finding);
-      checks.push({ name: "adaptadores", errors: 0, warnings: 1 });
-    } else {
-      checks.push({ name: "adaptadores", errors: 0, warnings: 0 });
-    }
+    extra.push({
+      name: "adaptadores",
+      diagnostics: health.manifest && !health.ok ? [
+        {
+          code: "ATLAS-ADAPTERS-001",
+          severity: "warning",
+          message: "Los adaptadores de agente est\xE1n desactualizados respecto a workflow/",
+          suggestion: "Ejecuta `satlas adapters` y commitea el resultado"
+        }
+      ] : []
+    });
   }
-  const errors = diagnostics.filter((d) => d.severity === "error").length;
-  const warnings = diagnostics.filter((d) => d.severity === "warning").length;
-  const failed = errors > 0 || strict && warnings > 0;
+  const gate = await runCiGate({ root, strict, extra });
   const lines = ["CI de SpecAtlas", ""];
-  for (const check of checks) lines.push(`  ${check.errors === 0 && check.warnings === 0 ? "OK  " : "FALLA"} ${check.name}: ${check.errors} errores, ${check.warnings} avisos`);
+  for (const check of gate.checks) {
+    lines.push(`  ${check.errors === 0 && check.warnings === 0 ? "OK  " : "FALLA"} ${check.name}: ${check.errors} errores, ${check.warnings} avisos`);
+  }
   lines.push("");
-  lines.push(failed ? "Resultado: BLOQUEADO" : "Resultado: OK");
+  lines.push(gate.failed ? "Resultado: BLOQUEADO" : "Resultado: OK");
   if (strict) lines.push("(modo estricto: los avisos tambi\xE9n bloquean)");
-  return { exitCode: failed ? 1 : 0, diagnostics, data: { checks, errors, warnings, strict, failed }, text: lines };
-}
-function count(name, diags) {
   return {
-    name,
-    errors: diags.filter((d) => d.severity === "error").length,
-    warnings: diags.filter((d) => d.severity === "warning").length
+    exitCode: gate.failed ? 1 : 0,
+    diagnostics: gate.diagnostics,
+    data: { checks: gate.checks, errors: gate.errors, warnings: gate.warnings, strict, failed: gate.failed },
+    text: lines
   };
 }
 
@@ -14015,6 +14024,31 @@ async function runNew(ctx) {
   };
 }
 
+// src/evaluate.ts
+import path34 from "path";
+function livingRequirementsMap2(specs) {
+  const map = /* @__PURE__ */ new Map();
+  for (const spec of specs) {
+    for (const req of spec.spec.requirements) map.set(req.id, req);
+  }
+  return map;
+}
+async function evaluateChange(workspace, config, change, approvals) {
+  const deltaPath = path34.join(change.dir, "spec.md");
+  const deltaContent = await readTextIfExists(deltaPath);
+  const approval = verifyApproval(change, approvals, config, deltaContent ?? void 0);
+  const living = livingRequirementsMap2(workspace.specs);
+  const lintFindings = change.delta ? lintDelta(change.delta, living, deltaPath, { language: config.spec.language }) : [];
+  const trace = checkTrace({
+    specs: workspace.specs,
+    change,
+    requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence
+  });
+  const blocking = lintFindings.filter((d) => d.severity === "error").length + trace.findings.filter((d) => d.severity === "error").length;
+  const state = deriveState({ change, cfg: config, approval, blockingFindings: change.delta ? blocking : 0 });
+  return { change, approval, lintFindings, trace, blocking, state };
+}
+
 // src/commands/next.ts
 async function runNext(ctx) {
   const { workspace, config, approvals } = await requireWorkspace(ctx);
@@ -14045,7 +14079,7 @@ async function runNext(ctx) {
 }
 
 // src/commands/present.ts
-import path34 from "path";
+import path35 from "path";
 async function runPresentCommand(ctx) {
   const { root } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -14057,7 +14091,7 @@ async function runPresentCommand(ctx) {
   if (result.path) {
     lines.push("Propuesta generada");
     lines.push("");
-    lines.push(`  archivo: ${path34.relative(ctx.cwd, result.path)}`);
+    lines.push(`  archivo: ${path35.relative(ctx.cwd, result.path)}`);
     if (result.hash) lines.push(`  hash de la spec: ${shortHash(result.hash)}`);
     lines.push("");
     lines.push("\xC1brela en el navegador y comp\xE1rtela con el stakeholder.");
@@ -14067,7 +14101,7 @@ async function runPresentCommand(ctx) {
   return {
     exitCode: hasErrors2 ? 1 : 0,
     diagnostics: result.diagnostics,
-    data: result.path ? { path: path34.relative(ctx.cwd, result.path), hash: result.hash } : void 0,
+    data: result.path ? { path: path35.relative(ctx.cwd, result.path), hash: result.hash } : void 0,
     text: lines
   };
 }
@@ -14185,7 +14219,7 @@ async function runStatus(ctx) {
 }
 
 // src/commands/trace.ts
-import path35 from "path";
+import path36 from "path";
 async function runTrace(ctx) {
   const { workspace, config } = await requireWorkspace(ctx);
   const slug = flagString(ctx.flags, "change");
@@ -14205,7 +14239,7 @@ async function runTrace(ctx) {
     data.push({ slug: change.slug, nodes: result.graph.nodes.length, edges: result.graph.edges.length, summary: result.summary, findings: result.findings });
     lines.push(`  ${change.slug}: ${result.graph.nodes.length} nodos, ${result.graph.edges.length} aristas, ${errors} errores, ${result.summary.warnings} avisos`);
     for (const finding of result.findings) {
-      const location = finding.path ? ` (${path35.relative(ctx.cwd, finding.path)}${finding.line ? `:${finding.line}` : ""})` : "";
+      const location = finding.path ? ` (${path36.relative(ctx.cwd, finding.path)}${finding.line ? `:${finding.line}` : ""})` : "";
       lines.push(`    ${finding.severity.toUpperCase()} ${finding.code} \u2014 ${finding.message}${location}`);
     }
   }
@@ -14215,7 +14249,7 @@ async function runTrace(ctx) {
 }
 
 // src/commands/validate.ts
-import path36 from "path";
+import path37 from "path";
 async function runValidate(ctx) {
   const { workspace, config, approvals } = await requireWorkspace(ctx);
   const slug = flagString(ctx.flags, "change");
@@ -14241,7 +14275,7 @@ async function runValidate(ctx) {
     for (const finding of evaluation.lintFindings) {
       lines.push(`    ${finding.severity.toUpperCase()} ${finding.code}${finding.line ? `:${finding.line}` : ""} \u2014 ${finding.message}`);
     }
-    lines.push(`    archivo: ${path36.relative(ctx.cwd, path36.join(change.dir, "spec.md"))}`);
+    lines.push(`    archivo: ${path37.relative(ctx.cwd, path37.join(change.dir, "spec.md"))}`);
   }
   if (targets.length === 0) lines.push("Sin cambios activos.");
   const errors = diagnostics.filter((d) => d.severity === "error").length;
@@ -14256,7 +14290,7 @@ async function runValidate(ctx) {
 }
 
 // src/commands/verify.ts
-import path37 from "path";
+import path38 from "path";
 async function runVerify(ctx) {
   const { root, workspace } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -14299,7 +14333,7 @@ async function runVerify(ctx) {
     return { exitCode: 2, diagnostics: [{ code: "ATLAS-VERIFY-001", severity: "error", message: "Falta --by <nombre> (o define meta.owner)" }] };
   }
   const profilesDir = await resolveProfilesDir();
-  const profile = await loadActiveProfile(path37.join(root, ".sdd"), [profilesDir ?? "", path37.join(root, ".sdd", "profiles", "custom")].filter(Boolean));
+  const profile = await loadActiveProfile(path38.join(root, ".sdd"), [profilesDir ?? "", path38.join(root, ".sdd", "profiles", "custom")].filter(Boolean));
   const record = await recordEvidence({
     root,
     slug,
@@ -14321,7 +14355,7 @@ async function runVerify(ctx) {
     if (record.evidence.command) lines.push(`  comando: ${record.evidence.command}`);
     lines.push(`  resultado: ${record.evidence.result}`);
     if (record.evidence.outputHash) lines.push(`  hash:    ${record.evidence.outputHash}`);
-    lines.push(`  archivo: ${path37.relative(ctx.cwd, record.path)}`);
+    lines.push(`  archivo: ${path38.relative(ctx.cwd, record.path)}`);
     if (record.stdout) {
       lines.push("");
       lines.push("  salida (\xFAltimas l\xEDneas):");
@@ -14336,7 +14370,7 @@ async function runVerify(ctx) {
   return {
     exitCode: record.exitCode === 0 ? 0 : 1,
     diagnostics: record.diagnostics,
-    data: { evidence: record.evidence, path: path37.relative(ctx.cwd, record.path), exitCode: record.exitCode },
+    data: { evidence: record.evidence, path: path38.relative(ctx.cwd, record.path), exitCode: record.exitCode },
     text: lines
   };
 }
@@ -14434,7 +14468,7 @@ async function requireWorkspace(ctx) {
     throw new CliError("ATLAS-WS-001", msg("cli.noWorkspace", ctx.language), 2);
   }
   const { workspace, config } = await loadWorkspace(root);
-  const approvals = await loadApprovals(path38.join(root, ".sdd"));
+  const approvals = await loadApprovals(path39.join(root, ".sdd"));
   return { root, workspace, config, approvals: approvals.byArtifact };
 }
 var CliError = class extends Error {
@@ -14501,7 +14535,7 @@ function printResult(command, result, json2, language) {
   }
   const lines = [...result.text ?? []];
   for (const d of result.diagnostics) {
-    const location = d.path ? ` ${path38.relative(process.cwd(), d.path)}${d.line ? `:${d.line}` : ""}` : "";
+    const location = d.path ? ` ${path39.relative(process.cwd(), d.path)}${d.line ? `:${d.line}` : ""}` : "";
     lines.push(`${d.severity === "error" ? "ERROR" : d.severity === "warning" ? "AVISO" : "NOTA"}  ${d.code}${location} \u2014 ${d.message}`);
     if (d.suggestion) lines.push(`       \u21B3 ${d.suggestion}`);
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "specatlas",
-  "version": "0.1.6",
+  "version": "0.1.8",
   "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.4"
+    "@specatlas/core": "0.1.6"
   },
   "scripts": {
     "typecheck": "tsc --noEmit",