specatlas 0.1.30 → 0.1.31

package/dist/bin.js

@@ -1586,7 +1586,7 @@ var require_core = __commonJS({
 });
 
 // src/cli.ts
-import path48 from "path";
+import path54 from "path";
 
 // ../core/dist/index.js
 import path from "path";
@@ -1595,29 +1595,33 @@ import { z } from "zod";
 import { parse as parseYaml2, stringify as stringifyYaml2 } from "yaml";
 import { parse as parseYaml3 } from "yaml";
 import { z as z2 } from "zod";
-import path2 from "path";
 import path3 from "path";
+import path2 from "path";
 import { parse as parseYaml4 } from "yaml";
+import path4 from "path";
+import { parse as parseYaml5 } from "yaml";
 import { z as z3 } from "zod";
+import path7 from "path";
 import path5 from "path";
-import path4 from "path";
 import { stringify as stringifyYaml3 } from "yaml";
-import { stringify as stringifyYaml4 } from "yaml";
 import path6 from "path";
-import { parse as parseYaml5 } from "yaml";
-import { execFile } from "child_process";
-import path7 from "path";
+import { parse as parseYaml6, stringify as stringifyYaml4 } from "yaml";
+import { stringify as stringifyYaml5 } from "yaml";
 import path8 from "path";
+import { parse as parseYaml7 } from "yaml";
+import { execFile } from "child_process";
+import path9 from "path";
+import path10 from "path";
 import { randomBytes } from "crypto";
+import path13 from "path";
 import path11 from "path";
-import path9 from "path";
-import { parse as parseYaml6, stringify as stringifyYaml5 } from "yaml";
+import { parse as parseYaml8, stringify as stringifyYaml6 } from "yaml";
 import { z as z4 } from "zod";
-import path10 from "path";
-import { parse as parseYaml7 } from "yaml";
-import { z as z5 } from "zod";
 import path12 from "path";
-import path13 from "path";
+import { parse as parseYaml9 } from "yaml";
+import { z as z5 } from "zod";
+import path14 from "path";
+import path15 from "path";
 
 // ../../node_modules/.pnpm/highlight.js@11.12.0/node_modules/highlight.js/es/core.js
 var import_core = __toESM(require_core(), 1);
@@ -9022,19 +9026,19 @@ function renderMarkdown(markdown2, opts = {}) {
 }
 
 // ../core/dist/index.js
-import path14 from "path";
-import path15 from "path";
 import path16 from "path";
-import { promises as fs } from "fs";
-import { cp, rename, rm } from "fs/promises";
 import path17 from "path";
-import { promises as fs2 } from "fs";
 import path18 from "path";
-import { parse as parseYaml8, stringify as stringifyYaml6 } from "yaml";
+import { promises as fs } from "fs";
+import { cp, rename, rm } from "fs/promises";
 import path19 from "path";
+import { promises as fs2 } from "fs";
 import path20 from "path";
+import { parse as parseYaml10, stringify as stringifyYaml7 } from "yaml";
 import path21 from "path";
 import path22 from "path";
+import path23 from "path";
+import path24 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+$/;
@@ -9059,6 +9063,7 @@ var atlasConfigSchema = z.object({
     review: z.object({ mode: z.enum(["off", "advisory", "blocking"]).default("advisory") }).default({}),
     clarify: z.object({ mode: z.enum(["off", "advisory", "blocking"]).default("advisory") }).default({}),
     docs: z.object({ mode: z.enum(["off", "advisory", "blocking"]).default("blocking") }).default({}),
+    contracts: z.object({ mode: z.enum(["off", "advisory", "blocking"]).default("advisory") }).default({}),
     mockup: z.object({ require_approval: z.boolean().default(false), compare_in_verify: z.boolean().default(false) }).default({})
   }).default({}),
   trace: z.object({ mode: z.enum(["off", "advisory", "blocking"]).default("blocking"), prefix: z.string().default("REQ") }).default({}),
@@ -9181,6 +9186,7 @@ var SCENARIO_HEAD_RE = /^####\s+(?:Scenario|Escenario):\s+(REQ-[A-Z0-9-]+-S\d+)\
 var RULE_RE = /^-\s*(?:Rule|Regla)\s+(BR-[A-Z0-9-]+)\s*:\s*(.+?)\s*$/;
 var WHEN_RE = /^-\s*\*\*\s*(?:WHEN|CUANDO|DADO QUE)\s*\*\*\s*(.+?)\s*$/i;
 var THEN_RE = /^-\s*\*\*\s*(?:THEN|ENTONCES|Y|AND)\s*\*\*\s*(.+?)\s*$/i;
+var CONTRACT_RE = /^-\s*\*\*\s*(?:CONTRATO|CONTRACT)\s*\*\*\s*:\s*(.+?)\s*$/i;
 function newDraft(id, title, line) {
   return { id, title, line, prose: [], rules: [], scenarios: [] };
 }
@@ -9265,6 +9271,16 @@ function parseRequirementBlocks(body, startLine = 1, filePath) {
       currentScenario.then.push(thenMatch[1] ?? "");
       continue;
     }
+    const contractMatch = CONTRACT_RE.exec(line);
+    if (contractMatch && currentScenario) {
+      const ref = (contractMatch[1] ?? "").trim();
+      if (ref !== "") {
+        const list = currentScenario.contracts ?? [];
+        if (!list.includes(ref)) list.push(ref);
+        currentScenario.contracts = list;
+      }
+      continue;
+    }
     if (current && !currentScenario) {
       if (line.trim() !== "") current.prose.push(line.trim());
     }
@@ -9718,6 +9734,7 @@ function impactOfRequirement(workspace, reqId) {
   const id = reqId.toUpperCase();
   const scenarios = /* @__PURE__ */ new Set();
   let exists2 = false;
+  let origin;
   for (const spec of workspace.specs) {
     for (const req of spec.spec.requirements) {
       if (req.id !== id) continue;
@@ -9734,6 +9751,18 @@ function impactOfRequirement(workspace, reqId) {
     if ((change.delta?.removed ?? []).some((r) => r.id === id)) exists2 = true;
     if ((change.delta?.renamed ?? []).some((r) => r.from.id === id || r.to.id === id)) exists2 = true;
   }
+  if (!exists2) {
+    for (const link of workspace.links?.entries ?? []) {
+      const spec = workspace.links?.specs.find((candidate) => candidate.spec.requirements.some((req) => req.id === id));
+      if (!spec) continue;
+      const requirement = spec.spec.requirements.find((candidate) => candidate.id === id);
+      if (!requirement) continue;
+      exists2 = true;
+      origin = link.name;
+      for (const sc of requirement.scenarios) scenarios.add(sc.id);
+      break;
+    }
+  }
   const report = emptyReport(id, "requirement");
   if (!exists2) return report;
   report.exists = true;
@@ -9741,6 +9770,10 @@ function impactOfRequirement(workspace, reqId) {
   const reqOf = scenarioToReq(workspace);
   collect(workspace, report, /* @__PURE__ */ new Set([id, ...scenarios]), reqOf);
   if (!report.requirements.includes(id)) report.requirements.unshift(id);
+  if (origin !== void 0) {
+    report.external = true;
+    report.origin = origin;
+  }
   return report;
 }
 function impactOfFile(workspace, file) {
@@ -9779,14 +9812,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, path232, line) {
+function lintText(text, code, terms, label, path252, line) {
   const out = [];
   const lower = text.toLowerCase();
   for (const term of terms) {
     if (wordBoundary(lower, term)) {
       out.push(
         diag(code, "error", `${label}: "${term}"`, {
-          path: path232,
+          path: path252,
           line,
           suggestion: "La especificaci\xF3n es funcional y de negocio: describe comportamiento, no tecnolog\xEDa ni adjetivos vagos"
         })
@@ -9795,7 +9828,7 @@ function lintText(text, code, terms, label, path232, line) {
   }
   return out;
 }
-function lintRequirement(req, path232, opts = {}) {
+function lintRequirement(req, path252, opts = {}) {
   const out = [];
   const vague = opts.language === "en" ? VAGUE_EN : VAGUE_ES;
   const tech = opts.language === "en" ? TECH_EN : TECH_ES;
@@ -9806,32 +9839,32 @@ function lintRequirement(req, path232, 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", path232, part.line));
+    out.push(...lintText(part.text, "LINT-BIZ-002", vague, "Palabra vaga en la especificaci\xF3n", path252, part.line));
     if (opts.businessOnly !== false) {
-      out.push(...lintText(part.text, "LINT-BIZ-001", tech, "Jerga t\xE9cnica en la especificaci\xF3n de negocio", path232, part.line));
+      out.push(...lintText(part.text, "LINT-BIZ-001", tech, "Jerga t\xE9cnica en la especificaci\xF3n de negocio", path252, part.line));
     }
   }
   if (req.scenarios.length === 0) {
-    out.push(diag("TRACE-001", "error", `El requisito ${req.id} no tiene ning\xFAn escenario`, { path: path232, 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: path252, line: req.line, suggestion: "A\xF1ade al menos un escenario CUANDO/ENTONCES" }));
   }
   return out;
 }
-function lintDelta(delta, livingRequirements, path232, opts = {}) {
+function lintDelta(delta, livingRequirements, path252, opts = {}) {
   const out = [...delta.diagnostics];
   for (const req of [...delta.added, ...delta.modified]) {
-    out.push(...lintRequirement(req, path232, opts));
+    out.push(...lintRequirement(req, path252, 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: path232, line: req.line }));
+      out.push(diag("TRACE-007", "error", `MODIFIED ${req.id} no existe en la spec viva; usa ADDED`, { path: path252, 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: path232,
+            path: path252,
             line: req.line,
             suggestion: "Copia el bloque completo de la spec viva y ed\xEDtalo; para quitarlo, decl\xE1ralo en REMOVED"
           })
@@ -9842,15 +9875,15 @@ function lintDelta(delta, livingRequirements, path232, 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: path232, line: req.line }));
+      out.push(diag("TRACE-007", "error", `REMOVED ${req.id} no existe en la spec viva`, { path: path252, line: req.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: path232, line: rename2.line }));
+      out.push(diag("LINT-DLT-003", "error", `RENAMED cambia el id (${rename2.from.id} \u2192 ${rename2.to.id}); los ids son inmutables`, { path: path252, line: rename2.line }));
     }
     if (!livingRequirements.has(rename2.from.id)) {
-      out.push(diag("TRACE-007", "error", `RENAMED ${rename2.from.id} no existe en la spec viva`, { path: path232, line: rename2.line }));
+      out.push(diag("TRACE-007", "error", `RENAMED ${rename2.from.id} no existe en la spec viva`, { path: path252, line: rename2.line }));
     }
   }
   return out;
@@ -9874,7 +9907,7 @@ var MERMAID_KEYWORDS = [
   "architecture-beta"
 ];
 var MERMAID_BLOCKS = /^\s*(alt|loop|opt|par|rect|critical|break|subgraph)\b/;
-function lintPlan(planText, path232) {
+function lintPlan(planText, path252) {
   const out = [];
   const blocks = [...planText.matchAll(/```mermaid\r?\n([\s\S]*?)```/g)];
   for (const [index, block] of blocks.entries()) {
@@ -9884,7 +9917,7 @@ function lintPlan(planText, path232) {
     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: path232,
+          path: path252,
           suggestion: "Corrige el tipo del diagrama o elimina el bloque"
         })
       );
@@ -9898,7 +9931,7 @@ function lintPlan(planText, path232) {
     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: path232,
+          path: path252,
           suggestion: "Cierra cada bloque alt/loop/opt/par/rect/subgraph con `end`"
         })
       );
@@ -9910,7 +9943,7 @@ function lintPlan(planText, path232) {
         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: path232,
+              path: path252,
               suggestion: "Sustituye `;` por `\xB7` o `,` en los mensajes de sequenceDiagram"
             })
           );
@@ -10021,15 +10054,25 @@ function checkTrace(input) {
       );
     }
   }
+  const linkedIds = new Set(input.linked?.ids ?? []);
+  const unavailableLinks = input.linked?.unavailable ?? [];
   for (const task of taskById.values()) {
     for (const c of task.covers) {
-      if (!livingReqs.has(c) && !deltaScenarios.has(c) && !allScenarioIds.has(c)) {
+      if (!livingReqs.has(c) && !deltaScenarios.has(c) && !allScenarioIds.has(c) && !linkedIds.has(c)) {
         findings.push(
           diag("TRACE-003", "error", `La tarea ${task.id} cubre ${c}, que no existe`, {
             path: change.tasks?.path,
-            suggestion: "Corrige el id o crea el requisito/escenario"
+            suggestion: unavailableLinks.length > 0 ? "Corrige el id o revisa los enlaces no disponibles (`satlas link list`)" : "Corrige el id o crea el requisito/escenario"
           })
         );
+        if (unavailableLinks.length > 0) {
+          findings.push(
+            diag("ATLAS-LINK-003", "warning", `Referencia no resuelta: ${c} (hay ${unavailableLinks.length} enlace(s) no disponible(s): ${unavailableLinks.join(", ")})`, {
+              path: change.tasks?.path,
+              suggestion: "Restaura la ruta del enlace o corrige la referencia"
+            })
+          );
+        }
       }
     }
     for (const dep of task.dependsOn) {
@@ -10192,11 +10235,165 @@ function planBlock(block, maxParallel) {
   }
   return { block: block.id, title: block.title, waves, degraded, diagnostics };
 }
+var CONTRACTS_DIR = "contracts";
+var OPENAPI_METHODS = ["get", "post", "put", "patch", "delete", "head", "options"];
+var SUPPORTED_HINT = "Formatos esperados: OpenAPI 3.x (.yaml/.json), GraphQL SDL (.graphql/.gql) y protobuf (.proto)";
+function lineOf(content, needle) {
+  const index = content.indexOf(needle);
+  if (index < 0) return 1;
+  return content.slice(0, index).split("\n").length;
+}
+function formatOf(file, content) {
+  const ext = path2.extname(file).toLowerCase();
+  if (ext === ".proto") return "protobuf";
+  if (ext === ".graphql" || ext === ".gql") return "graphql";
+  if (ext === ".yaml" || ext === ".yml" || ext === ".json") {
+    return /(^|\n)\s*openapi\s*:/.test(content) || /"openapi"\s*:/.test(content) ? "openapi" : "unsupported";
+  }
+  return "unsupported";
+}
+function parseOpenApi(file, content) {
+  const findings = [];
+  let data;
+  try {
+    data = parseYaml4(content);
+  } catch (error) {
+    return { operations: [], findings: [diag("ATLAS-CONTRACT-001", "error", `Contrato OpenAPI ilegible: ${error.message}`, { path: file })] };
+  }
+  const doc = data;
+  if (!doc || typeof doc !== "object" || typeof doc.openapi !== "string" || typeof doc.paths !== "object" || doc.paths === null || Array.isArray(doc.paths)) {
+    return {
+      operations: [],
+      findings: [diag("ATLAS-CONTRACT-001", "error", "Contrato OpenAPI inv\xE1lido: faltan la versi\xF3n (openapi) o los caminos (paths)", { path: file, line: lineOf(content, "paths"), suggestion: SUPPORTED_HINT })]
+    };
+  }
+  const operations = [];
+  for (const [route, value] of Object.entries(doc.paths)) {
+    if (!route.startsWith("/") || typeof value !== "object" || value === null) continue;
+    for (const method of OPENAPI_METHODS) {
+      if (method in value) {
+        operations.push({ id: `${method.toUpperCase()} ${route}`, kind: "openapi", file, line: lineOf(content, route) });
+      }
+    }
+  }
+  return { operations, findings };
+}
+function parseGraphql(file, content) {
+  const operations = [];
+  const blockRe = /type\s+(Query|Mutation|Subscription)\s*\{([\s\S]*?)\}/g;
+  for (const match of content.matchAll(blockRe)) {
+    const typeName = match[1] ?? "";
+    const body = match[2] ?? "";
+    for (const field of body.split("\n")) {
+      const fieldMatch = /^\s*([A-Za-z_][A-Za-z0-9_]*)\s*(\(|:)/.exec(field);
+      if (fieldMatch) operations.push({ id: `${typeName}.${fieldMatch[1]}`, kind: "graphql", file, line: lineOf(content, field.trim()) });
+    }
+  }
+  if (operations.length === 0) {
+    return {
+      operations,
+      findings: [diag("ATLAS-CONTRACT-001", "error", "Contrato GraphQL inv\xE1lido: no declara consultas (type Query), mutaciones ni suscripciones", { path: file, suggestion: SUPPORTED_HINT })]
+    };
+  }
+  return { operations, findings: [] };
+}
+function parseProtobuf(file, content) {
+  const operations = [];
+  const serviceRe = /service\s+([A-Za-z_][A-Za-z0-9_]*)\s*\{([\s\S]*?)\}/g;
+  for (const match of content.matchAll(serviceRe)) {
+    const service = match[1] ?? "";
+    const body = match[2] ?? "";
+    for (const rpc of body.matchAll(/rpc\s+([A-Za-z_][A-Za-z0-9_]*)/g)) {
+      operations.push({ id: `${service}.${rpc[1]}`, kind: "protobuf", file, line: lineOf(content, `rpc ${rpc[1]}`) });
+    }
+  }
+  if (operations.length === 0 && !/message\s+[A-Za-z_]/.test(content)) {
+    return {
+      operations,
+      findings: [diag("ATLAS-CONTRACT-001", "error", "Contrato protobuf inv\xE1lido: no declara servicios ni mensajes", { path: file, suggestion: SUPPORTED_HINT })]
+    };
+  }
+  return { operations, findings: [] };
+}
+function parseContract(file, content) {
+  const format = formatOf(file, content);
+  if (format === "unsupported") {
+    return {
+      path: file,
+      format,
+      operations: [],
+      findings: [diag("ATLAS-CONTRACT-002", "warning", "Formato de contrato no soportado; el archivo no se interpreta ni se toca", { path: file, suggestion: SUPPORTED_HINT })]
+    };
+  }
+  const parsed = format === "openapi" ? parseOpenApi(file, content) : format === "graphql" ? parseGraphql(file, content) : parseProtobuf(file, content);
+  return { path: file, format, operations: parsed.operations, findings: parsed.findings };
+}
+async function loadContracts(changeDir) {
+  const dir = path2.join(changeDir, CONTRACTS_DIR);
+  const files = [];
+  const operations = [];
+  const findings = [];
+  const entries = (await listDir(dir)).sort();
+  for (const entry of entries) {
+    const file = path2.join(dir, entry);
+    const content = await readTextIfExists(file);
+    if (content === void 0) continue;
+    const parsed = parseContract(file, content);
+    files.push({ path: parsed.path, format: parsed.format, operations: parsed.operations });
+    operations.push(...parsed.operations);
+    findings.push(...parsed.findings);
+  }
+  return { files, operations, findings };
+}
+function contractCoverage(change, mode) {
+  const state = change.contracts;
+  if (mode === "off" || !state || state.files.length === 0 || state.operations.length === 0) return [];
+  const scenarioContracts = /* @__PURE__ */ new Map();
+  for (const requirement of [...change.delta?.added ?? [], ...change.delta?.modified ?? []]) {
+    for (const scenario of requirement.scenarios) {
+      for (const ref of scenario.contracts ?? []) {
+        if (!scenarioContracts.has(ref)) scenarioContracts.set(ref, scenario.id);
+      }
+    }
+  }
+  const findings = [];
+  for (const operation of state.operations) {
+    if (!scenarioContracts.has(operation.id)) {
+      findings.push(
+        diag("ATLAS-CONTRACT-003", "warning", `Operaci\xF3n sin escenario: ${operation.id}`, {
+          path: operation.file,
+          line: operation.line,
+          suggestion: `Declara la operaci\xF3n en un escenario con \xB7 **Contrato**: ${operation.id}`
+        })
+      );
+    }
+  }
+  const known = new Set(state.operations.map((operation) => operation.id));
+  for (const [ref, scenarioId] of scenarioContracts) {
+    if (!known.has(ref)) {
+      findings.push(
+        diag("ATLAS-CONTRACT-004", "warning", `Referencia rota: el escenario ${scenarioId} declara "${ref}", que no existe en el contrato`, {
+          path: change.delta?.path,
+          suggestion: "Corrige la referencia o a\xF1ade la operaci\xF3n al contrato"
+        })
+      );
+    }
+  }
+  return findings;
+}
+function contractsAdvisory(change, cfg) {
+  const state = change.contracts;
+  if (!state || state.files.length === 0) return [];
+  const mode = cfg.gates.contracts.mode;
+  const form = state.findings;
+  if (mode === "advisory") return [...form, ...contractCoverage(change, mode)];
+  return form;
+}
 function verifyApproval(change, approvals, cfg, specContent) {
   if (cfg.gates.approval === "none") return { status: "not_required" };
   if ((change.meta?.overrides ?? []).some((o) => o.gate === "approval")) return { status: "overridden" };
   if (!change.delta) return { status: "missing" };
-  const key = path2.posix.join("changes", change.slug, "spec.md");
+  const key = path3.posix.join("changes", change.slug, "spec.md");
   const approval = approvals.get(key) ?? approvals.get(`${key}`);
   if (!approval) return { status: "missing" };
   if (specContent === void 0) return { status: "valid", approvedBy: approval.by, approvedAt: approval.at };
@@ -10324,6 +10521,13 @@ function deriveState(input) {
     blockedBy.push("documentaci\xF3n pendiente");
     return { state: "reviewed", blockedBy, nextAction: next(`/satlas.docs ${change.slug}`, "Generar la documentaci\xF3n t\xE9cnica y manual del cambio", true), progress };
   }
+  if (cfg.gates.contracts.mode === "blocking") {
+    const contractFindings = contractCoverage(change, "blocking");
+    if (contractFindings.length > 0) {
+      blockedBy.push(`contratos con hallazgos (${contractFindings.length})`);
+      return { state: "verified", blockedBy, nextAction: next(`satlas contracts ${change.slug}`, "Resolver los hallazgos de contrato antes de archivar"), progress };
+    }
+  }
   return { state: "ready", blockedBy, nextAction: next(`satlas archive ${change.slug}`, "Archivar el cambio y plegar los deltas"), progress };
 }
 function stateLabel(state) {
@@ -10388,7 +10592,7 @@ async function loadProfileFile(filePath) {
   if (raw === void 0) return void 0;
   let data;
   try {
-    data = parseYaml4(raw);
+    data = parseYaml5(raw);
   } catch {
     return void 0;
   }
@@ -10400,7 +10604,7 @@ async function loadProfilesFromDir(dir) {
   const out = [];
   for (const entry of entries) {
     if (!/\.ya?ml$/i.test(entry)) continue;
-    const profile = await loadProfileFile(path3.join(dir, entry));
+    const profile = await loadProfileFile(path4.join(dir, entry));
     if (profile) out.push(profile);
   }
   return out;
@@ -10438,10 +10642,10 @@ async function detectProfiles(root, profiles) {
   return result;
 }
 async function loadDetectedBest(sddDir) {
-  const raw = await readTextIfExists(path3.join(sddDir, "profiles", "detected.yaml"));
+  const raw = await readTextIfExists(path4.join(sddDir, "profiles", "detected.yaml"));
   if (raw === void 0) return void 0;
   try {
-    const data = parseYaml4(raw);
+    const data = parseYaml5(raw);
     return typeof data?.best === "string" ? data.best : void 0;
   } catch {
     return void 0;
@@ -10476,7 +10680,7 @@ function detectionToYaml(result, generatedAt) {
   }
   return lines.join("\n") + "\n";
 }
-var LIVING_FIXES_DIR = path4.join(".sdd", "fixes");
+var LIVING_FIXES_DIR = path5.join(".sdd", "fixes");
 var COMMENT_RE = /<!--[\s\S]*?-->/g;
 function parseFixCovers(content) {
   const clean = content.replace(COMMENT_RE, "");
@@ -10503,7 +10707,7 @@ function coversOf(value) {
 function parseLivingFix(content, file) {
   const fm = parseFrontmatter(content, file);
   const data = fm.data;
-  const base = path4.basename(file).replace(/\.md$/i, "");
+  const base = path5.basename(file).replace(/\.md$/i, "");
   const slug = typeof data["slug"] === "string" && data["slug"].trim() !== "" ? data["slug"].trim() : base.replace(/^\d{4}-\d{2}-/, "");
   const fix = {
     slug,
@@ -10519,14 +10723,14 @@ function parseLivingFix(content, file) {
   return fix;
 }
 async function archivedFixes(root, known) {
-  const archiveDir = path4.join(root, ".sdd", "changes", "archive");
+  const archiveDir = path5.join(root, ".sdd", "changes", "archive");
   const fixes = [];
   for (const entry of await listDirs(archiveDir)) {
-    const dir = path4.join(archiveDir, entry);
-    const fixFile = path4.join(dir, "fix.md");
+    const dir = path5.join(archiveDir, entry);
+    const fixFile = path5.join(dir, "fix.md");
     const fixRaw = await readTextIfExists(fixFile);
     if (fixRaw === void 0) continue;
-    const metaFile = path4.join(dir, "meta.yaml");
+    const metaFile = path5.join(dir, "meta.yaml");
     const metaRaw = await readTextIfExists(metaFile);
     const meta = metaRaw !== void 0 ? parseChangeMeta(metaRaw, metaFile).meta : void 0;
     if (meta?.lane !== "fix") continue;
@@ -10549,11 +10753,11 @@ async function archivedFixes(root, known) {
   return fixes;
 }
 async function loadLivingFixes(root) {
-  const dir = path4.join(root, LIVING_FIXES_DIR);
+  const dir = path5.join(root, LIVING_FIXES_DIR);
   const entries = (await listDir(dir)).filter((entry) => entry.toLowerCase().endsWith(".md")).sort();
   const fixes = [];
   for (const entry of entries) {
-    const file = path4.join(dir, entry);
+    const file = path5.join(dir, entry);
     const content = await readTextIfExists(file);
     if (content === void 0) continue;
     fixes.push(parseLivingFix(content, file));
@@ -10562,10 +10766,10 @@ async function loadLivingFixes(root) {
   return fixes.sort((a, b) => b.date.localeCompare(a.date) || b.slug.localeCompare(a.slug));
 }
 async function writeLivingFix(root, input) {
-  const dir = path4.join(root, LIVING_FIXES_DIR);
+  const dir = path5.join(root, LIVING_FIXES_DIR);
   const month = input.date.slice(0, 7);
-  const file = path4.join(dir, `${month}-${input.slug}.md`);
-  const relativePath = toPosix(path4.relative(root, file));
+  const file = path5.join(dir, `${month}-${input.slug}.md`);
+  const relativePath = toPosix(path5.relative(root, file));
   if (await exists(file)) return { file, relativePath, created: false };
   const data = {
     slug: input.slug,
@@ -10584,34 +10788,160 @@ ${body}
   await writeText(file, text);
   return { file, relativePath, created: true };
 }
+var LINKS_FILE = "links.yaml";
+function parseLinksDocument(raw, file) {
+  let data;
+  try {
+    data = parseYaml6(raw);
+  } catch (error) {
+    return { diagnostics: [diag("ATLAS-LINK-001", "error", `links.yaml ilegible: ${error.message}`, { path: file })] };
+  }
+  const doc = data;
+  if (!doc || typeof doc !== "object" || !Array.isArray(doc.links)) {
+    return { diagnostics: [diag("ATLAS-LINK-001", "error", "links.yaml inv\xE1lido: falta la lista de enlaces", { path: file })] };
+  }
+  const links = [];
+  const diagnostics = [];
+  for (const item of doc.links) {
+    const entry = item;
+    if (typeof entry?.name !== "string" || typeof entry?.path !== "string" || entry.name.trim() === "" || entry.path.trim() === "") {
+      diagnostics.push(diag("ATLAS-LINK-001", "error", "Enlace inv\xE1lido en links.yaml: cada enlace necesita nombre y ruta", { path: file }));
+      continue;
+    }
+    links.push({ name: entry.name.trim(), path: entry.path.trim() });
+  }
+  return { document: { schema_version: typeof doc.schema_version === "number" ? doc.schema_version : 1, links }, diagnostics };
+}
+async function readLinks(root) {
+  const file = path6.join(root, ".sdd", LINKS_FILE);
+  const raw = await readTextIfExists(file);
+  if (raw === void 0) return { document: { schema_version: 1, links: [] }, file, diagnostics: [] };
+  const parsed = parseLinksDocument(raw, file);
+  return { document: parsed.document ?? { schema_version: 1, links: [] }, file, diagnostics: parsed.diagnostics };
+}
+async function writeLinks(root, document2) {
+  const file = path6.join(root, ".sdd", LINKS_FILE);
+  const lines = ["# Enlaces a otros proyectos (specs compartidas en solo lectura). Generado por `satlas link`.", stringifyYaml4(document2, { lineWidth: 120 }).trimEnd(), ""];
+  await writeText(file, lines.join("\n"));
+}
+function resolveLinkPath(root, linkPath) {
+  return path6.isAbsolute(linkPath) ? path6.normalize(linkPath) : path6.resolve(root, linkPath);
+}
+async function linkedSpecs(absPath) {
+  const specsDir = path6.join(absPath, ".sdd", "specs");
+  const specs = [];
+  for (const domain of await listDirs(specsDir)) {
+    const file = path6.join(specsDir, domain, "spec.md");
+    const content = await readTextIfExists(file);
+    if (content === void 0) continue;
+    specs.push({ domain, path: file, spec: parseSpecFile(content, file) });
+  }
+  return specs;
+}
+async function loadLinks(root) {
+  const { document: document2, diagnostics } = await readLinks(root);
+  const entries = [];
+  const specs = [];
+  const unavailable = [];
+  for (const entry of document2.links) {
+    const abs = resolveLinkPath(root, entry.path);
+    const sddDir = path6.join(abs, ".sdd");
+    const available = await isDirectory(sddDir) && await isDirectory(path6.join(sddDir, "specs"));
+    if (!available) {
+      unavailable.push(entry.name);
+      entries.push({ name: entry.name, path: abs, available: false, requirements: 0, domains: [], error: "el enlace no est\xE1 disponible" });
+      continue;
+    }
+    const linked = await linkedSpecs(abs);
+    specs.push(...linked);
+    entries.push({
+      name: entry.name,
+      path: abs,
+      available: true,
+      requirements: linked.reduce((total, spec) => total + spec.spec.requirements.length, 0),
+      domains: linked.map((spec) => spec.domain)
+    });
+  }
+  void diagnostics;
+  return { entries, specs, unavailable };
+}
+async function addLink(root, opts) {
+  const abs = resolveLinkPath(root, opts.path);
+  const sddDir = path6.join(abs, ".sdd");
+  if (!await isDirectory(sddDir)) {
+    return {
+      diagnostics: [
+        diag("ATLAS-LINK-002", "error", `El enlace no es un proyecto inicializado: ${abs}`, {
+          suggestion: "Indica la ruta de un proyecto con su estado inicializado (satlas init)"
+        })
+      ]
+    };
+  }
+  const { document: document2 } = await readLinks(root);
+  let name = opts.name?.trim();
+  if (!name) {
+    const linkedConfig = await loadConfig(sddDir);
+    name = linkedConfig.config.project.name || path6.basename(abs);
+  }
+  const entry = { name, path: toPosix(abs) };
+  const existing = document2.links.findIndex((link) => link.name === name || resolveLinkPath(root, link.path) === abs);
+  if (existing >= 0) document2.links[existing] = entry;
+  else document2.links.push(entry);
+  await writeLinks(root, document2);
+  return { entry, diagnostics: [] };
+}
+async function removeLink(root, ref) {
+  const { document: document2 } = await readLinks(root);
+  const index = document2.links.findIndex((link) => link.name === ref || link.path === ref || resolveLinkPath(root, link.path) === resolveLinkPath(root, ref));
+  if (index < 0) {
+    return {
+      diagnostics: [diag("ATLAS-LINK-003", "warning", `No existe un enlace "${ref}"`, { suggestion: "Consulta los enlaces con `satlas link list`" })]
+    };
+  }
+  const [removed] = document2.links.splice(index, 1);
+  await writeLinks(root, document2);
+  return { removed: removed?.name, diagnostics: [] };
+}
+function linkedRequirementIds(state) {
+  if (!state) return [];
+  const ids = [];
+  for (const spec of state.specs) {
+    for (const requirement of spec.spec.requirements) ids.push(requirement.id);
+  }
+  return ids;
+}
+function linkedTraceInput(workspace) {
+  if (!workspace.links || workspace.links.entries.length === 0) return void 0;
+  return { ids: linkedRequirementIds(workspace.links), unavailable: workspace.links.unavailable };
+}
 var SDD_DIR = ".sdd";
 async function findWorkspaceRoot(start) {
-  let current = path5.resolve(start);
+  let current = path7.resolve(start);
   for (let i = 0; i < 40; i += 1) {
-    if (await isDirectory(path5.join(current, SDD_DIR))) return current;
-    const parent = path5.dirname(current);
+    if (await isDirectory(path7.join(current, SDD_DIR))) return current;
+    const parent = path7.dirname(current);
     if (parent === current) return void 0;
     current = parent;
   }
   return void 0;
 }
 async function loadApprovals(sddDir) {
-  const file = path5.join(sddDir, "approvals.yaml");
+  const file = path7.join(sddDir, "approvals.yaml");
   const raw = await readTextIfExists(file);
   if (raw === void 0) return { byArtifact: /* @__PURE__ */ new Map(), diagnostics: [] };
   const parsed = parseApprovals(raw, file);
   const map = /* @__PURE__ */ new Map();
   for (const a of parsed.approvals?.approvals ?? []) {
-    map.set(a.artifact.split(path5.sep).join("/"), { hash: a.artifactHash, by: a.approvedBy, at: a.approvedAt });
+    map.set(a.artifact.split(path7.sep).join("/"), { hash: a.artifactHash, by: a.approvedBy, at: a.approvedAt });
   }
   return { byArtifact: map, diagnostics: parsed.diagnostics };
 }
 async function loadSpecs(sddDir) {
-  const specsDir = path5.join(sddDir, "specs");
+  const specsDir = path7.join(sddDir, "specs");
   const domains = await listDirs(specsDir);
   const out = [];
   for (const domain of domains) {
-    const file = path5.join(specsDir, domain, "spec.md");
+    const file = path7.join(specsDir, domain, "spec.md");
     if (!await exists(file)) continue;
     const content = await readText(file);
     out.push({ domain, path: file, spec: parseSpecFile(content, file) });
@@ -10619,10 +10949,10 @@ async function loadSpecs(sddDir) {
   return out;
 }
 async function loadChange(root, slug, relDir) {
-  const dir = path5.join(root, SDD_DIR, "changes", relDir ?? slug);
+  const dir = path7.join(root, SDD_DIR, "changes", relDir ?? slug);
   const diagnostics = [];
   const change = { slug, dir, diagnostics };
-  const metaFile = path5.join(dir, "meta.yaml");
+  const metaFile = path7.join(dir, "meta.yaml");
   const metaRaw = await readTextIfExists(metaFile);
   if (metaRaw === void 0) {
     diagnostics.push(diag("ATLAS-FILES-001", "error", `El cambio "${slug}" no tiene meta.yaml`, { path: metaFile, suggestion: "Crea meta.yaml con slug, lane y dominio" }));
@@ -10631,7 +10961,7 @@ async function loadChange(root, slug, relDir) {
     diagnostics.push(...parsed.diagnostics);
     if (parsed.meta) change.meta = parsed.meta;
   }
-  const deltaFile = path5.join(dir, "spec.md");
+  const deltaFile = path7.join(dir, "spec.md");
   const deltaRaw = await readTextIfExists(deltaFile);
   if (deltaRaw !== void 0) {
     change.delta = parseDelta(deltaRaw, deltaFile);
@@ -10639,32 +10969,32 @@ async function loadChange(root, slug, relDir) {
   } else {
     diagnostics.push(diag("ATLAS-FILES-002", "warning", `El cambio "${slug}" no tiene spec.md (delta)`, { path: deltaFile }));
   }
-  const planFile = path5.join(dir, "plan.md");
+  const planFile = path7.join(dir, "plan.md");
   if (await exists(planFile)) change.planPath = planFile;
-  const reviewFile = path5.join(dir, "review.md");
+  const reviewFile = path7.join(dir, "review.md");
   if (await exists(reviewFile)) change.reviewPath = reviewFile;
-  const presentationFile = path5.join(dir, "presentation", "index.html");
+  const presentationFile = path7.join(dir, "presentation", "index.html");
   if (await exists(presentationFile)) change.presentationPath = presentationFile;
-  const tasksFile = path5.join(dir, "tasks.md");
+  const tasksFile = path7.join(dir, "tasks.md");
   const tasksRaw = await readTextIfExists(tasksFile);
   if (tasksRaw !== void 0) {
     change.tasks = parseTasksFile(tasksRaw, tasksFile);
     diagnostics.push(...change.tasks.diagnostics);
   }
-  const verifyFile = path5.join(dir, "verify.md");
+  const verifyFile = path7.join(dir, "verify.md");
   const verifyRaw = await readTextIfExists(verifyFile);
   if (verifyRaw !== void 0) {
     change.verify = parseVerifyFile(verifyRaw, verifyFile);
     diagnostics.push(...change.verify.diagnostics);
   }
-  const fixFile = path5.join(dir, "fix.md");
+  const fixFile = path7.join(dir, "fix.md");
   const fixRaw = await readTextIfExists(fixFile);
   if (fixRaw !== void 0) {
     change.fix = parseVerifyFile(fixRaw, fixFile);
     diagnostics.push(...change.fix.diagnostics);
     change.fixCovers = parseFixCovers(fixRaw);
   }
-  const clarifyFile = path5.join(dir, "clarify.md");
+  const clarifyFile = path7.join(dir, "clarify.md");
   const clarifyRaw = await readTextIfExists(clarifyFile);
   if (clarifyRaw !== void 0) {
     change.clarify = parseClarify(clarifyRaw, clarifyFile);
@@ -10673,21 +11003,23 @@ async function loadChange(root, slug, relDir) {
   }
   const docsPaths = [];
   for (const name of ["tecnica.md", "manual.md"]) {
-    const docFile = path5.join(dir, "docs", name);
+    const docFile = path7.join(dir, "docs", name);
     if (await exists(docFile)) docsPaths.push(docFile);
   }
   if (docsPaths.length > 0) change.docsPaths = docsPaths;
-  const mockupManifest = path5.join(dir, "mockups", "manifest.yaml");
+  const contracts = await loadContracts(dir);
+  if (contracts.files.length > 0) change.contracts = contracts;
+  const mockupManifest = path7.join(dir, "mockups", "manifest.yaml");
   if (await exists(mockupManifest)) change.mockupManifestPath = mockupManifest;
   return change;
 }
 async function listChangeSlugs(root, opts = {}) {
-  const changesDir = path5.join(root, SDD_DIR, "changes");
+  const changesDir = path7.join(root, SDD_DIR, "changes");
   const dirs = await listDirs(changesDir);
   return dirs.filter((d) => opts.includeArchived ? true : d !== "archive");
 }
 async function loadWorkspace(root) {
-  const sddDir = path5.join(root, SDD_DIR);
+  const sddDir = path7.join(root, SDD_DIR);
   const { config, diagnostics: configDiags } = await loadConfig(sddDir);
   const diagnostics = [...configDiags];
   const specs = await loadSpecs(sddDir);
@@ -10700,20 +11032,24 @@ async function loadWorkspace(root) {
     diagnostics.push(...change.diagnostics);
   }
   const archived = [];
-  const archivedDir = path5.join(sddDir, "changes", "archive");
+  const archivedDir = path7.join(sddDir, "changes", "archive");
   if (await isDirectory(archivedDir)) {
     for (const entry of await listDirs(archivedDir)) {
-      archived.push(await loadChange(root, entry.replace(/^\d{4}-\d{2}-/, ""), path5.join("archive", entry)));
+      archived.push(await loadChange(root, entry.replace(/^\d{4}-\d{2}-/, ""), path7.join("archive", entry)));
     }
   }
-  return { workspace: { root, sddDir, specs, changes, archived, diagnostics }, config };
+  const workspace = { root, sddDir, specs, changes, archived, diagnostics };
+  if (await exists(path7.join(sddDir, LINKS_FILE))) {
+    workspace.links = await loadLinks(root);
+  }
+  return { workspace, config };
 }
 async function ensureSddDirs(sddDir) {
   const created = [];
-  const dirs = ["specs", "changes", "runs", "metrics", "fixes", path5.join("profiles", "custom")];
+  const dirs = ["specs", "changes", "runs", "metrics", "fixes", path7.join("profiles", "custom")];
   const { ensureDir: ensureDir2 } = await import("./fsx-VF2P7ALA-XKEWTMDH.js");
   for (const d of dirs) {
-    const full = path5.join(sddDir, d);
+    const full = path7.join(sddDir, d);
     if (!await exists(full)) {
       await ensureDir2(full);
       created.push(full);
@@ -11112,7 +11448,7 @@ function changeMetaYaml(meta) {
   if (meta.owner) doc["owner"] = meta.owner;
   if (meta.mockups) doc["mockups"] = meta.mockups;
   return `# Estado del cambio. La fase se DERIVA de los artefactos; aqu\xED solo hechos.
-` + stringifyYaml4(doc, { lineWidth: 120 });
+` + stringifyYaml5(doc, { lineWidth: 120 });
 }
 function indexMarkdown(input) {
   const es = input.language !== "en";
@@ -11286,8 +11622,8 @@ function issueBody(input) {
   lines.push(`- Siguiente: \`${input.next}\` \u2014 ${input.nextDescription}`);
   lines.push("");
   lines.push("### Artefactos");
-  lines.push(`- Spec: \`${path6.posix.join(".sdd", "changes", change.slug, "spec.md")}\``);
-  if (change.planPath) lines.push(`- Plan: \`${path6.posix.join(".sdd", "changes", change.slug, "plan.md")}\``);
+  lines.push(`- Spec: \`${path8.posix.join(".sdd", "changes", change.slug, "spec.md")}\``);
+  if (change.planPath) lines.push(`- Plan: \`${path8.posix.join(".sdd", "changes", change.slug, "plan.md")}\``);
   if (change.tasks) lines.push(`- Tareas: ${change.tasks.counts.done}/${change.tasks.counts.total}`);
   if (change.verify) lines.push(`- Evidencia registrada: ${change.verify.evidence.length}`);
   lines.push("");
@@ -11351,14 +11687,14 @@ async function issueLabels(root, number, runner = defaultRunner) {
   }
 }
 async function patchChangeMeta(root, slug, patch) {
-  const file = path6.join(path6.resolve(root), ".sdd", "changes", slug, "meta.yaml");
+  const file = path8.join(path8.resolve(root), ".sdd", "changes", slug, "meta.yaml");
   const raw = await readTextIfExists(file);
   if (raw === void 0) {
-    return { path: file, diagnostics: [diag("ATLAS-GH-007", "error", `No existe ${path6.relative(root, file)}`)] };
+    return { path: file, diagnostics: [diag("ATLAS-GH-007", "error", `No existe ${path8.relative(root, file)}`)] };
   }
   let data;
   try {
-    data = parseYaml5(raw) ?? {};
+    data = parseYaml7(raw) ?? {};
   } catch (err) {
     return { path: file, diagnostics: [diag("ATLAS-GH-007", "error", `meta.yaml inv\xE1lido: ${err.message}`)] };
   }
@@ -11408,7 +11744,7 @@ async function approveFromGithub(opts) {
   const { signApproval: signApproval2 } = await import("./approvals-2PO6223I-DENKLEXU.js");
   const signed = await signApproval2({
     root: opts.root,
-    artifact: path6.posix.join("changes", opts.slug, "spec.md"),
+    artifact: path8.posix.join("changes", opts.slug, "spec.md"),
     by,
     channel: "tracker",
     note: `Aprobado v\xEDa GitHub issue #${number} (etiqueta "${label}")`
@@ -11503,10 +11839,10 @@ function buildEvidenceYaml(evidence) {
   return lines.join("\n");
 }
 async function recordEvidence(opts) {
-  const root = path7.resolve(opts.root);
+  const root = path9.resolve(opts.root);
   const slug = opts.slug;
   const fileKind = opts.file ?? "verify";
-  const file = path7.join(root, ".sdd", "changes", slug, fileKind === "fix" ? "fix.md" : "verify.md");
+  const file = path9.join(root, ".sdd", "changes", slug, fileKind === "fix" ? "fix.md" : "verify.md");
   const diagnostics = [];
   const scenario = opts.scenario.toUpperCase();
   if (!SCENARIO_ID_RE.test(scenario)) {
@@ -11596,7 +11932,7 @@ function generateRunId(now = /* @__PURE__ */ new Date()) {
   return `${iso.slice(0, 8)}-${iso.slice(8, 14)}-${randomBytes(3).toString("hex")}`;
 }
 function runsDir(root) {
-  return path8.join(path8.resolve(root), ".sdd", "runs");
+  return path10.join(path10.resolve(root), ".sdd", "runs");
 }
 async function createRun(root, slug, phase, inputs, now = /* @__PURE__ */ new Date()) {
   const runId = generateRunId(now);
@@ -11609,25 +11945,25 @@ async function createRun(root, slug, phase, inputs, now = /* @__PURE__ */ new Da
     updatedAt: localStamp(now)
   };
   if (inputs) state.inputs = inputs;
-  const dir = path8.join(runsDir(root), runId);
+  const dir = path10.join(runsDir(root), runId);
   await ensureDir(dir);
-  await writeText(path8.join(dir, "state.json"), `${JSON.stringify(state, null, 2)}
+  await writeText(path10.join(dir, "state.json"), `${JSON.stringify(state, null, 2)}
 `);
-  await writeText(path8.join(dir, "events.jsonl"), "");
+  await writeText(path10.join(dir, "events.jsonl"), "");
   await appendRunEvent(root, runId, "run_started", { slug, phase });
   return state;
 }
 async function appendRunEvent(root, runId, type, data, now = /* @__PURE__ */ new Date()) {
   const event = { eventId: randomBytes(4).toString("hex"), at: localStamp(now), type };
   if (data) event.data = data;
-  const file = path8.join(runsDir(root), runId, "events.jsonl");
+  const file = path10.join(runsDir(root), runId, "events.jsonl");
   const previous = await readTextIfExists(file) ?? "";
   await writeText(file, `${previous}${JSON.stringify(event)}
 `);
   return event;
 }
 async function updateRunStatus(root, runId, status, now = /* @__PURE__ */ new Date()) {
-  const file = path8.join(runsDir(root), runId, "state.json");
+  const file = path10.join(runsDir(root), runId, "state.json");
   const raw = await readTextIfExists(file);
   if (raw === void 0) return;
   const state = JSON.parse(raw);
@@ -11637,13 +11973,13 @@ async function updateRunStatus(root, runId, status, now = /* @__PURE__ */ new Da
 `);
 }
 async function readRun(root, runId) {
-  const dir = path8.join(runsDir(root), runId);
-  const stateRaw = await readTextIfExists(path8.join(dir, "state.json"));
+  const dir = path10.join(runsDir(root), runId);
+  const stateRaw = await readTextIfExists(path10.join(dir, "state.json"));
   if (stateRaw === void 0) {
     return { diagnostics: [diag("ATLAS-RUN-001", "error", `No existe el run ${runId}`, { path: dir })] };
   }
   const state = JSON.parse(stateRaw);
-  const eventsRaw = await readTextIfExists(path8.join(dir, "events.jsonl")) ?? "";
+  const eventsRaw = await readTextIfExists(path10.join(dir, "events.jsonl")) ?? "";
   const events = [];
   for (const line of eventsRaw.split("\n")) {
     if (line.trim() === "") continue;
@@ -11660,7 +11996,7 @@ async function listRuns(root, filter = {}) {
   const ids = await listDirs(dir);
   const out = [];
   for (const id of ids) {
-    const raw = await readTextIfExists(path8.join(dir, id, "state.json"));
+    const raw = await readTextIfExists(path10.join(dir, id, "state.json"));
     if (raw === void 0) continue;
     try {
       const state = JSON.parse(raw);
@@ -11695,20 +12031,20 @@ var mockupManifestSchema = z4.object({
 });
 var TOKEN_CANDIDATES = ["design/tokens.json", "DESIGN.md", "design/DESIGN.md", ".sdd/design/tokens.json"];
 function mockupsDir(root, slug) {
-  return path9.join(path9.resolve(root), ".sdd", "changes", slug, "mockups");
+  return path11.join(path11.resolve(root), ".sdd", "changes", slug, "mockups");
 }
 async function tokensFile(root) {
   for (const candidate of TOKEN_CANDIDATES) {
-    const abs = path9.join(root, candidate);
+    const abs = path11.join(root, candidate);
     if (await exists(abs)) return candidate;
   }
   return void 0;
 }
 async function computeInputsHash(root, change) {
-  const deltaPath = path9.join(change.dir, "spec.md");
+  const deltaPath = path11.join(change.dir, "spec.md");
   const delta = await readTextIfExists(deltaPath) ?? "";
   const tokens = await tokensFile(root);
-  const tokensContent = tokens ? await readTextIfExists(path9.join(root, tokens)) ?? "" : "";
+  const tokensContent = tokens ? await readTextIfExists(path11.join(root, tokens)) ?? "" : "";
   return artifactHash(`${delta}
 ---tokens---
 ${tokensContent}`);
@@ -11733,12 +12069,12 @@ function planMockups(change, platform = "web") {
   return { platform, screens };
 }
 async function readMockupManifest(root, slug) {
-  const file = path9.join(mockupsDir(root, slug), "manifest.yaml");
+  const file = path11.join(mockupsDir(root, slug), "manifest.yaml");
   const raw = await readTextIfExists(file);
   if (raw === void 0) return { diagnostics: [] };
   let data;
   try {
-    data = parseYaml6(raw);
+    data = parseYaml8(raw);
   } catch (err) {
     return { path: file, diagnostics: [diag("ATLAS-MKP-002", "error", `manifest.yaml inv\xE1lido: ${err.message}`, { path: file })] };
   }
@@ -11825,7 +12161,7 @@ async function checkMockups(root, slug, change) {
   const { manifest, path: manifestPath, diagnostics } = await readMockupManifest(root, slug);
   const findings = [...diagnostics];
   if (!manifest || !manifestPath) {
-    return { findings: [...findings, diag("LINT-MKP-004", "error", "No existe mockups/manifest.yaml", { path: path9.join(dir, "manifest.yaml") })], stale: false };
+    return { findings: [...findings, diag("LINT-MKP-004", "error", "No existe mockups/manifest.yaml", { path: path11.join(dir, "manifest.yaml") })], stale: false };
   }
   const known = /* @__PURE__ */ new Set();
   for (const req of [...change.delta?.added ?? [], ...change.delta?.modified ?? []]) {
@@ -11833,12 +12169,12 @@ async function checkMockups(root, slug, change) {
   }
   findings.push(...lintMockupManifest(manifest, known, manifestPath));
   for (const screen of manifest.screens) {
-    const html = await readTextIfExists(path9.join(dir, screen.file));
+    const html = await readTextIfExists(path11.join(dir, screen.file));
     if (html === void 0) {
-      findings.push(diag("ATLAS-MKP-004", "error", `Falta el archivo del mockup: ${screen.file}`, { path: path9.join(dir, screen.file) }));
+      findings.push(diag("ATLAS-MKP-004", "error", `Falta el archivo del mockup: ${screen.file}`, { path: path11.join(dir, screen.file) }));
       continue;
     }
-    findings.push(...lintMockupHtml(html, path9.join(dir, screen.file)));
+    findings.push(...lintMockupHtml(html, path11.join(dir, screen.file)));
   }
   const inputsHash = await computeInputsHash(root, change);
   const stale = manifest.inputsHash !== void 0 && manifest.inputsHash !== inputsHash;
@@ -11853,7 +12189,7 @@ async function checkMockups(root, slug, change) {
   return { findings, stale, manifest, manifestPath };
 }
 async function writeMockupPlan(root, slug, plan, now = /* @__PURE__ */ new Date()) {
-  const file = path9.join(mockupsDir(root, slug), "plan.yaml");
+  const file = path11.join(mockupsDir(root, slug), "plan.yaml");
   if (await exists(file)) return file;
   const doc = {
     schema_version: 1,
@@ -11861,11 +12197,11 @@ async function writeMockupPlan(root, slug, plan, now = /* @__PURE__ */ new Date(
     platform: plan.platform,
     screens: plan.screens.map((s) => ({ id: s.id, title: s.title, file: s.file, illustrates: s.illustrates, states: s.states, breakpoints: s.breakpoints }))
   };
-  await writeText(file, stringifyYaml5(doc, { lineWidth: 120 }));
+  await writeText(file, stringifyYaml6(doc, { lineWidth: 120 }));
   return file;
 }
 async function writeMockupManifest(root, slug, plan, inputsHash, now = /* @__PURE__ */ new Date()) {
-  const file = path9.join(mockupsDir(root, slug), "manifest.yaml");
+  const file = path11.join(mockupsDir(root, slug), "manifest.yaml");
   if (await exists(file)) return file;
   const doc = {
     schema_version: 1,
@@ -11877,16 +12213,16 @@ async function writeMockupManifest(root, slug, plan, inputsHash, now = /* @__PUR
     screens: plan.screens.map((s) => ({ id: s.id, title: s.title, file: s.file, illustrates: s.illustrates, states: s.states, breakpoints: s.breakpoints })),
     screenshots: []
   };
-  await writeText(file, stringifyYaml5(doc, { lineWidth: 120 }));
+  await writeText(file, stringifyYaml6(doc, { lineWidth: 120 }));
   return file;
 }
 async function updateMockupScreenshots(root, slug, screenshots) {
-  const file = path9.join(mockupsDir(root, slug), "manifest.yaml");
+  const file = path11.join(mockupsDir(root, slug), "manifest.yaml");
   const raw = await readTextIfExists(file);
   if (raw === void 0) return void 0;
-  const data = parseYaml6(raw) ?? {};
+  const data = parseYaml8(raw) ?? {};
   data["screenshots"] = screenshots;
-  await writeText(file, stringifyYaml5(data, { lineWidth: 120 }));
+  await writeText(file, stringifyYaml6(data, { lineWidth: 120 }));
   return file;
 }
 async function captureMockups(root, slug, manifest, now = /* @__PURE__ */ new Date()) {
@@ -11911,9 +12247,9 @@ async function captureMockups(root, slug, manifest, now = /* @__PURE__ */ new Da
       const page2 = await browser.newPage();
       for (const bp of screen.breakpoints && screen.breakpoints.length > 0 ? screen.breakpoints : [1440]) {
         await page2.setViewportSize({ width: bp, height: 900 });
-        await page2.goto(`file://${path9.join(dir, screen.file).split(path9.sep).join("/")}`);
-        const rel = path9.posix.join("screens", `${screen.id}-${bp}.png`);
-        await page2.screenshot({ path: path9.join(dir, rel) });
+        await page2.goto(`file://${path11.join(dir, screen.file).split(path11.sep).join("/")}`);
+        const rel = path11.posix.join("screens", `${screen.id}-${bp}.png`);
+        await page2.screenshot({ path: path11.join(dir, rel) });
         screenshots.push(rel);
       }
       await page2.close();
@@ -11929,7 +12265,7 @@ async function mockupsReady(root, slug, change) {
   return Boolean(check.manifest && check.manifest.screens.length > 0 && !check.stale);
 }
 async function setMockupRequirement(root, slug, value) {
-  const file = path9.join(root, ".sdd", "changes", slug, "meta.yaml");
+  const file = path11.join(root, ".sdd", "changes", slug, "meta.yaml");
   const raw = await readTextIfExists(file) ?? `schema_version: 1
 slug: ${slug}
 lane: standard
@@ -12159,17 +12495,17 @@ ${texts.scenarios}`);
   }
 }
 async function loadProjectPacks(sddDir) {
-  const dir = path10.join(sddDir, "packs");
+  const dir = path12.join(sddDir, "packs");
   const diagnostics = [];
   const packs = [];
   for (const entry of await listDir(dir)) {
     if (!/\.ya?ml$/i.test(entry)) continue;
-    const file = path10.join(dir, entry);
+    const file = path12.join(dir, entry);
     const raw = await readTextIfExists(file);
     if (raw === void 0) continue;
     let data;
     try {
-      data = parseYaml7(raw);
+      data = parseYaml9(raw);
     } catch (err) {
       diagnostics.push(diag("PACK-000", "error", `Pack inv\xE1lido (${entry}): ${err.message}`, { path: file }));
       continue;
@@ -12251,7 +12587,7 @@ function packFindings(evaluations, change) {
 }
 var UI_DOMAINS = /* @__PURE__ */ new Set(["frontend", "mobile", "fullstack"]);
 async function runAnalyze(opts) {
-  const root = path11.resolve(opts.root);
+  const root = path13.resolve(opts.root);
   const { workspace, config } = await loadWorkspace(root);
   const change = workspace.changes.find((c) => c.slug === opts.slug);
   if (!change) {
@@ -12269,9 +12605,9 @@ async function runAnalyze(opts) {
     for (const req of spec.spec.requirements) living.set(req.id, req);
   }
   if (change.delta) {
-    findings.push(...lintDelta(change.delta, living, path11.join(change.dir, "spec.md"), { language: config.spec.language }));
+    findings.push(...lintDelta(change.delta, living, path13.join(change.dir, "spec.md"), { language: config.spec.language }));
   }
-  const trace = checkTrace({ specs: workspace.specs, change, requireEvidence: false });
+  const trace = checkTrace({ specs: workspace.specs, change, requireEvidence: false, linked: linkedTraceInput(workspace) });
   findings.push(...trace.findings);
   let waves;
   if (change.tasks && change.tasks.counts.total > 0) {
@@ -12318,7 +12654,7 @@ async function runAnalyze(opts) {
   if (mockups) result.mockups = mockups;
   if (packs) result.packs = packs;
   if (opts.write !== false) {
-    const file = path11.join(change.dir, "analyze.md");
+    const file = path13.join(change.dir, "analyze.md");
     await writeText(file, renderAnalyze(change, result, localStamp(opts.now)));
     result.path = file;
   }
@@ -12360,7 +12696,7 @@ function renderAnalyze(change, result, generatedAt) {
   return lines.join("\n");
 }
 async function collectMetrics(root, now = /* @__PURE__ */ new Date()) {
-  const resolved = path12.resolve(root);
+  const resolved = path14.resolve(root);
   const { workspace, config } = await loadWorkspace(resolved);
   const approvals = await loadApprovals(workspace.sddDir);
   const living = /* @__PURE__ */ new Map();
@@ -12375,11 +12711,12 @@ async function collectMetrics(root, now = /* @__PURE__ */ new Date()) {
     const deltaContent = await readDelta(change);
     const approval = verifyApproval(change, approvals.byArtifact, config, deltaContent);
     const findings = [];
-    if (change.delta) findings.push(...lintDelta(change.delta, living, path12.join(change.dir, "spec.md"), { language: config.spec.language }));
+    if (change.delta) findings.push(...lintDelta(change.delta, living, path14.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
+      requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence,
+      linked: linkedTraceInput(workspace)
     });
     findings.push(...trace.findings);
     const state = deriveState({ change, cfg: config, approval, blockingFindings: change.delta ? countBySeverity(findings).errors : 0 });
@@ -12440,7 +12777,7 @@ async function collectMetrics(root, now = /* @__PURE__ */ new Date()) {
       attention.push({ slug: change.slug, kind: "missing-evidence", detail: `evidencia ${change.scenariosPassed}/${change.scenariosTotal}` });
     }
   }
-  const archiveDir = path12.join(workspace.sddDir, "changes", "archive");
+  const archiveDir = path14.join(workspace.sddDir, "changes", "archive");
   const archivedEntries = await listDirs(archiveDir);
   const throughputByMonth = {};
   for (const entry of archivedEntries) {
@@ -12478,10 +12815,10 @@ async function collectMetrics(root, now = /* @__PURE__ */ new Date()) {
 }
 async function readDelta(change) {
   const { readTextIfExists: readTextIfExists2 } = await import("./fsx-VF2P7ALA-XKEWTMDH.js");
-  return readTextIfExists2(path12.join(change.dir, "spec.md"));
+  return readTextIfExists2(path14.join(change.dir, "spec.md"));
 }
 async function generatePresentation(opts) {
-  const root = path13.resolve(opts.root);
+  const root = path15.resolve(opts.root);
   const { workspace, config } = await loadWorkspace(root);
   const language = config.project.language;
   const change = workspace.changes.find((c) => c.slug === opts.slug);
@@ -12491,17 +12828,17 @@ async function generatePresentation(opts) {
   if (!change.delta) {
     return { slug: opts.slug, diagnostics: [diag("ATLAS-PRESENT-001", "error", `El cambio "${opts.slug}" no tiene spec.md (delta)`)] };
   }
-  const deltaPath = path13.join(change.dir, "spec.md");
+  const deltaPath = path15.join(change.dir, "spec.md");
   const deltaContent = await readTextIfExists(deltaPath) ?? "";
   const hash = artifactHash(deltaContent);
   const now = opts.now ?? /* @__PURE__ */ new Date();
-  const presentationDir = path13.join(change.dir, "presentation");
-  const mockupsCopyDir = path13.join(presentationDir, "mockups");
+  const presentationDir = path15.join(change.dir, "presentation");
+  const mockupsCopyDir = path15.join(presentationDir, "mockups");
   await ensureDir(presentationDir);
   const mockupInfo = await copyMockups(root, change, mockupsCopyDir);
-  const proposalRaw = await readTextIfExists(path13.join(change.dir, "proposal.md"));
+  const proposalRaw = await readTextIfExists(path15.join(change.dir, "proposal.md"));
   const proposalBody = proposalRaw ? parseFrontmatter(proposalRaw).body : "";
-  const approvals = await loadApprovals(path13.join(root, ".sdd"));
+  const approvals = await loadApprovals(path15.join(root, ".sdd"));
   const approval = verifyApproval(change, approvals.byArtifact, config, deltaContent);
   const labels = labelsFor(language);
   const html = page({
@@ -12522,7 +12859,7 @@ async function generatePresentation(opts) {
     approveHint: `satlas approve ${change.slug} --by "<nombre>" --channel presentation`,
     ...approval.status === "valid" && approval.approvedBy ? { approval: { by: approval.approvedBy, at: approval.approvedAt ?? "" } } : {}
   });
-  const outFile = path13.join(presentationDir, "index.html");
+  const outFile = path15.join(presentationDir, "index.html");
   await writeText(outFile, html);
   return { slug: change.slug, path: outFile, hash, diagnostics: mockupInfo.diagnostics };
 }
@@ -12534,12 +12871,12 @@ async function copyMockups(root, change, destDir) {
   await ensureDir(destDir);
   const screens = [];
   for (const screen of manifest.screens) {
-    const src = path13.join(dir, screen.file);
+    const src = path15.join(dir, screen.file);
     if (!await exists(src)) {
       diagnostics.push(diag("ATLAS-PRESENT-002", "warning", `El mockup ${screen.file} no existe y no se incluir\xE1`, { path: src }));
       continue;
     }
-    await copyFile(src, path13.join(destDir, screen.file));
+    await copyFile(src, path15.join(destDir, screen.file));
     screens.push({
       id: screen.id,
       title: screen.title ?? screen.id,
@@ -12549,13 +12886,13 @@ async function copyMockups(root, change, destDir) {
     });
   }
   const screenshots = [];
-  const shotsDir = path13.join(dir, "screens");
+  const shotsDir = path15.join(dir, "screens");
   if (await exists(shotsDir)) {
-    await ensureDir(path13.join(destDir, "screens"));
+    await ensureDir(path15.join(destDir, "screens"));
     const { listDir: listDir4 } = await import("./fsx-VF2P7ALA-XKEWTMDH.js");
     for (const file of await listDir4(shotsDir)) {
       if (!/\.(png|jpe?g|webp)$/i.test(file)) continue;
-      await copyFile(path13.join(shotsDir, file), path13.join(destDir, "screens", file));
+      await copyFile(path15.join(shotsDir, file), path15.join(destDir, "screens", file));
       screenshots.push(`mockups/screens/${file}`);
     }
   }
@@ -12771,11 +13108,11 @@ var SOURCE_EXT = /* @__PURE__ */ new Set([
   ".groovy"
 ]);
 async function adoptWorkspace(opts) {
-  const root = path14.resolve(opts.root);
+  const root = path16.resolve(opts.root);
   const dryRun = opts.dryRun ?? false;
   const diagnostics = [];
-  const sddDir = path14.join(root, ".sdd");
-  if (!await exists(path14.join(sddDir, "config.yaml"))) {
+  const sddDir = path16.join(root, ".sdd");
+  if (!await exists(path16.join(sddDir, "config.yaml"))) {
     return {
       root,
       domains: [],
@@ -12786,8 +13123,8 @@ async function adoptWorkspace(opts) {
   }
   const { config } = await loadConfig(sddDir);
   const files = await walkFiles(root, { skipDirs: [...SKIP_DIRS] });
-  const inventoried = files.map((f) => toPosix(path14.relative(root, f.path)));
-  const relative = inventoried.filter((f) => SOURCE_EXT.has(path14.extname(f).toLowerCase()));
+  const inventoried = files.map((f) => toPosix(path16.relative(root, f.path)));
+  const relative = inventoried.filter((f) => SOURCE_EXT.has(path16.extname(f).toLowerCase()));
   if (relative.length === 0) {
     diagnostics.push(diag("ATLAS-ADOPT-002", "warning", "No se encontraron archivos de c\xF3digo para inventariar", { path: root, suggestion: "A\xF1ade el dominio a mano con --domains <nombre>" }));
   }
@@ -12815,13 +13152,13 @@ async function adoptWorkspace(opts) {
   const createdSpecs = [];
   for (const name of domainNames.sort()) {
     const domainFiles = (counts.get(name) ?? []).sort();
-    const existingSpec = await exists(path14.join(sddDir, "specs", name, "spec.md"));
+    const existingSpec = await exists(path16.join(sddDir, "specs", name, "spec.md"));
     domains.push({ name, files: domainFiles.length, samples: domainFiles.slice(0, 8), existingSpec });
     if (existingSpec) {
-      diagnostics.push(diag("ATLAS-ADOPT-003", "info", `La spec de "${name}" ya existe; se conserva`, { path: path14.join(sddDir, "specs", name, "spec.md") }));
+      diagnostics.push(diag("ATLAS-ADOPT-003", "info", `La spec de "${name}" ya existe; se conserva`, { path: path16.join(sddDir, "specs", name, "spec.md") }));
       continue;
     }
-    const specPath = path14.join(sddDir, "specs", name, "spec.md");
+    const specPath = path16.join(sddDir, "specs", name, "spec.md");
     if (!dryRun) {
       await writeText(specPath, baselineSpec(name, domainFiles));
       createdSpecs.push(specPath);
@@ -12829,7 +13166,7 @@ async function adoptWorkspace(opts) {
       createdSpecs.push(specPath);
     }
   }
-  const reportPath = path14.join(sddDir, "adopt-report.md");
+  const reportPath = path16.join(sddDir, "adopt-report.md");
   if (!dryRun) {
     await writeText(reportPath, adoptReport({ root, config, domains, detection: detection?.best, language: config.project.language, files: relative.length, inventoried: inventoried.length, now: opts.now ?? /* @__PURE__ */ new Date() }));
   }
@@ -12849,12 +13186,12 @@ async function loadProjectProfiles(root, dirs) {
     if (!await exists(dir)) continue;
     out.push(...await loadProfilesFromDir(dir));
   }
-  const custom = path14.join(root, ".sdd", "profiles", "custom");
+  const custom = path16.join(root, ".sdd", "profiles", "custom");
   if (await exists(custom)) out.push(...await loadProfilesFromDir(custom));
   return out;
 }
 async function fallbackDomainName(root, projectName) {
-  const pkg = await readTextIfExists(path14.join(root, "package.json"));
+  const pkg = await readTextIfExists(path16.join(root, "package.json"));
   if (pkg) {
     try {
       const data = JSON.parse(pkg);
@@ -12941,11 +13278,11 @@ function adoptReport(input) {
   return lines.join("\n");
 }
 async function initWorkspace(opts) {
-  const root = path15.resolve(opts.root);
-  const sddDir = path15.join(root, ".sdd");
+  const root = path17.resolve(opts.root);
+  const sddDir = path17.join(root, ".sdd");
   const diagnostics = [];
   const created = [];
-  if (await exists(path15.join(sddDir, "config.yaml"))) {
+  if (await exists(path17.join(sddDir, "config.yaml"))) {
     return {
       sddDir,
       created,
@@ -12955,29 +13292,29 @@ async function initWorkspace(opts) {
   created.push(...await ensureSddDirs(sddDir));
   const language = opts.language ?? "es";
   const cfg = defaultConfig({ name: opts.name, language });
-  cfg.project.name = opts.name ?? path15.basename(root);
+  cfg.project.name = opts.name ?? path17.basename(root);
   await writeConfig(sddDir, cfg);
-  created.push(path15.join(sddDir, "config.yaml"));
+  created.push(path17.join(sddDir, "config.yaml"));
   const templates = templatesFor(language);
-  await writeText(path15.join(sddDir, "constitution.md"), templates.constitution);
-  created.push(path15.join(sddDir, "constitution.md"));
-  await writeText(path15.join(sddDir, "glossary.md"), templates.glossary);
-  created.push(path15.join(sddDir, "glossary.md"));
+  await writeText(path17.join(sddDir, "constitution.md"), templates.constitution);
+  created.push(path17.join(sddDir, "constitution.md"));
+  await writeText(path17.join(sddDir, "glossary.md"), templates.glossary);
+  created.push(path17.join(sddDir, "glossary.md"));
   const detected = await detectIfPossible(root, opts.profilesDir);
   if (detected) {
     const yaml2 = detectionToYaml(detected, localStamp(opts.now));
-    await writeText(path15.join(sddDir, "profiles", "detected.yaml"), yaml2);
-    created.push(path15.join(sddDir, "profiles", "detected.yaml"));
+    await writeText(path17.join(sddDir, "profiles", "detected.yaml"), yaml2);
+    created.push(path17.join(sddDir, "profiles", "detected.yaml"));
     if (detected.best) {
       diagnostics.push(diag("ATLAS-INIT-002", "info", `Stack detectado: ${detected.best.displayName} (${detected.best.score} puntos)`, { suggestion: "Revisa .sdd/profiles/detected.yaml" }));
     } else {
       diagnostics.push(diag("ATLAS-INIT-003", "info", "No se detect\xF3 un stack conocido: se usar\xE1 el perfil gen\xE9rico", { suggestion: "Crea un perfil propio con `satlas profile` (F2) o edita .sdd/profiles/custom/" }));
     }
   }
-  await writeText(path15.join(sddDir, "INDEX.md"), initialIndex(language, cfg.project.name));
-  created.push(path15.join(sddDir, "INDEX.md"));
+  await writeText(path17.join(sddDir, "INDEX.md"), initialIndex(language, cfg.project.name));
+  created.push(path17.join(sddDir, "INDEX.md"));
   if (opts.local) {
-    const gitignore = path15.join(root, ".gitignore");
+    const gitignore = path17.join(root, ".gitignore");
     const current = await readTextIfExists(gitignore) ?? "";
     if (!/(^|\n)\.sdd\/?(\n|$)/.test(current)) {
       const next = current.endsWith("\n") || current === "" ? `${current}.sdd/
@@ -13015,7 +13352,7 @@ async function createChange(opts) {
   const diagnostics = [];
   const slug = opts.slug.trim().toLowerCase();
   const language = opts.language ?? opts.cfg?.project.language ?? "es";
-  const dir = path16.join(path16.resolve(opts.root), ".sdd", "changes", slug);
+  const dir = path18.join(path18.resolve(opts.root), ".sdd", "changes", slug);
   if (!SLUG_RE.test(slug)) {
     return {
       slug,
@@ -13046,20 +13383,20 @@ async function createChange(opts) {
   await ensureDir(dir);
   const templates = templatesFor(language);
   const files = [];
-  const metaFile = path16.join(dir, "meta.yaml");
+  const metaFile = path18.join(dir, "meta.yaml");
   await writeText(metaFile, changeMetaYaml(meta));
   files.push(metaFile);
   if (lane === "fix") {
-    const fixFile = path16.join(dir, "fix.md");
+    const fixFile = path18.join(dir, "fix.md");
     await writeText(fixFile, renderTemplate(templates.fix, { TITLE: title }));
     files.push(fixFile);
     return { slug, dir, files, diagnostics };
   }
-  const proposalFile = path16.join(dir, "proposal.md");
+  const proposalFile = path18.join(dir, "proposal.md");
   await writeText(proposalFile, renderTemplate(templates.proposal, { TITLE: title }));
   files.push(proposalFile);
   const domainUpper = domain.replace(/[^a-z0-9]/gi, "").toUpperCase() || "GEN";
-  const deltaFile = path16.join(dir, "spec.md");
+  const deltaFile = path18.join(dir, "spec.md");
   await writeText(deltaFile, templates.specDelta({ title, domainUpper, domain }));
   files.push(deltaFile);
   return { slug, dir, files, diagnostics };
@@ -13172,7 +13509,7 @@ async function restoreFile(file, previous) {
   }
 }
 async function archiveChange(opts) {
-  const root = path17.resolve(opts.root);
+  const root = path19.resolve(opts.root);
   const diagnostics = [];
   const { config } = await loadWorkspace(root);
   const language = opts.language ?? config.project.language;
@@ -13188,7 +13525,7 @@ async function archiveChange(opts) {
       return { slug: opts.slug, fold: emptyFold, diagnostics, dryRun: opts.dryRun ?? false };
     }
     const nowFix = opts.now ?? /* @__PURE__ */ new Date();
-    const targetFix = path17.join(root, ".sdd", "changes", "archive", `${localMonth(nowFix)}-${opts.slug}`);
+    const targetFix = path19.join(root, ".sdd", "changes", "archive", `${localMonth(nowFix)}-${opts.slug}`);
     if (await exists(targetFix)) {
       diagnostics.push(diag("ATLAS-ARCH-002", "error", `Ya existe un cambio archivado en ${targetFix}`, { path: targetFix }));
       return { slug: opts.slug, fold: emptyFold, diagnostics, dryRun: opts.dryRun ?? false };
@@ -13196,7 +13533,7 @@ async function archiveChange(opts) {
     let livingFix;
     let livingCreated = false;
     if (!opts.dryRun) {
-      const fixRaw = await readTextIfExists(path17.join(change.dir, "fix.md")) ?? "";
+      const fixRaw = await readTextIfExists(path19.join(change.dir, "fix.md")) ?? "";
       try {
         const written = await writeLivingFix(root, {
           slug: opts.slug,
@@ -13212,7 +13549,7 @@ async function archiveChange(opts) {
       } catch (error) {
         diagnostics.push(
           diag("ATLAS-ARCH-006", "error", `No se pudo conservar el fix vivo: ${error.message}`, {
-            path: path17.join(root, ".sdd", "fixes"),
+            path: path19.join(root, ".sdd", "fixes"),
             suggestion: "Revisa los permisos de .sdd/fixes y vuelve a intentar; el fix sigue sin archivar"
           })
         );
@@ -13220,11 +13557,11 @@ async function archiveChange(opts) {
       }
     }
     if (!opts.dryRun) {
-      await ensureDir(path17.dirname(targetFix));
+      await ensureDir(path19.dirname(targetFix));
       try {
         await moveDirectory(change.dir, targetFix);
       } catch (error) {
-        if (livingCreated && livingFix) await removeFile(path17.join(root, livingFix));
+        if (livingCreated && livingFix) await removeFile(path19.join(root, livingFix));
         diagnostics.push(
           diag("ATLAS-ARCH-004", "error", `No se pudo mover el cambio al hist\xF3rico: ${error.message}`, {
             path: change.dir,
@@ -13250,10 +13587,10 @@ async function archiveChange(opts) {
   }
   const domain = change.meta.domain;
   if (!domain) {
-    diagnostics.push(diag("ATLAS-ARCH-001", "error", `El cambio "${opts.slug}" no declara domain en meta.yaml`, { path: path17.join(change.dir, "meta.yaml") }));
+    diagnostics.push(diag("ATLAS-ARCH-001", "error", `El cambio "${opts.slug}" no declara domain en meta.yaml`, { path: path19.join(change.dir, "meta.yaml") }));
     return { slug: opts.slug, fold: { content: "", applied: { added: [], modified: [], removed: [], renamed: [] }, diagnostics }, diagnostics, dryRun: opts.dryRun ?? false };
   }
-  const specFile = path17.join(root, ".sdd", "specs", domain, "spec.md");
+  const specFile = path19.join(root, ".sdd", "specs", domain, "spec.md");
   const existing = await readTextIfExists(specFile);
   const base = existing ?? `---
 domain: ${domain}
@@ -13283,8 +13620,8 @@ ${Object.entries(nextFm).map(([k, v]) => `${k}: ${String(v)}`).join("\n")}
 
 ${body}`;
   const month = localMonth(now);
-  const archiveDir = path17.join(root, ".sdd", "changes", "archive");
-  const target = path17.join(archiveDir, `${month}-${opts.slug}`);
+  const archiveDir = path19.join(root, ".sdd", "changes", "archive");
+  const target = path19.join(archiveDir, `${month}-${opts.slug}`);
   if (await exists(target)) {
     diagnostics.push(diag("ATLAS-ARCH-002", "error", `Ya existe un cambio archivado en ${target}`, { path: target }));
     return { slug: opts.slug, domain, fold, diagnostics, dryRun: opts.dryRun ?? false };
@@ -13310,7 +13647,7 @@ ${body}`;
 }
 async function regenerateIndex(root, cfg, now = /* @__PURE__ */ new Date()) {
   const { workspace, config } = cfg ? { workspace: (await loadWorkspace(root)).workspace, config: cfg } : await loadWorkspace(root);
-  const archiveDir = path17.join(root, ".sdd", "changes", "archive");
+  const archiveDir = path19.join(root, ".sdd", "changes", "archive");
   const archived = await exists(archiveDir) ? (await fs.readdir(archiveDir)).filter((e) => !e.startsWith(".")).length : 0;
   const fixes = await loadLivingFixes(root);
   const markdown2 = indexMarkdown({
@@ -13322,7 +13659,7 @@ async function regenerateIndex(root, cfg, now = /* @__PURE__ */ new Date()) {
     archived
   });
   void now;
-  await writeText(path17.join(root, ".sdd", "INDEX.md"), markdown2);
+  await writeText(path19.join(root, ".sdd", "INDEX.md"), markdown2);
 }
 async function removeFile(file) {
   try {
@@ -13341,35 +13678,35 @@ var SCHEMA_MIGRATIONS = [
     to: SCHEMA_VERSION
   }
 ];
-var FIXED_ARTIFACTS = ["config.yaml", "approvals.yaml", path18.join("profiles", "detected.yaml")];
-var CHANGE_ARTIFACTS = ["meta.yaml", path18.join("mockups", "manifest.yaml")];
+var FIXED_ARTIFACTS = ["config.yaml", "approvals.yaml", path20.join("profiles", "detected.yaml")];
+var CHANGE_ARTIFACTS = ["meta.yaml", path20.join("mockups", "manifest.yaml")];
 async function pushChangeArtifacts(out, sddDir, relDir) {
   for (const rel of CHANGE_ARTIFACTS) {
-    const abs = path18.join(sddDir, relDir, rel);
-    if (await exists(abs)) out.push({ artifact: toPosix(path18.join(relDir, rel)), path: abs });
+    const abs = path20.join(sddDir, relDir, rel);
+    if (await exists(abs)) out.push({ artifact: toPosix(path20.join(relDir, rel)), path: abs });
   }
 }
 async function collectVersionedArtifacts(root) {
-  const sddDir = path18.join(root, ".sdd");
+  const sddDir = path20.join(root, ".sdd");
   const out = [];
   for (const rel of FIXED_ARTIFACTS) {
-    const abs = path18.join(sddDir, rel);
+    const abs = path20.join(sddDir, rel);
     if (await exists(abs)) out.push({ artifact: toPosix(rel), path: abs });
   }
-  const changesDir = path18.join(sddDir, "changes");
+  const changesDir = path20.join(sddDir, "changes");
   for (const slug of await listDirs(changesDir)) {
     if (slug === "archive") continue;
-    await pushChangeArtifacts(out, sddDir, path18.join("changes", slug));
+    await pushChangeArtifacts(out, sddDir, path20.join("changes", slug));
   }
-  for (const entry of await listDirs(path18.join(changesDir, "archive"))) {
-    await pushChangeArtifacts(out, sddDir, path18.join("changes", "archive", entry));
+  for (const entry of await listDirs(path20.join(changesDir, "archive"))) {
+    await pushChangeArtifacts(out, sddDir, path20.join("changes", "archive", entry));
   }
   return out;
 }
 function readArtifactVersion(content) {
   let data;
   try {
-    data = parseYaml8(content);
+    data = parseYaml10(content);
   } catch (err) {
     return { state: "unreadable", reason: `YAML inv\xE1lido (${err.message})` };
   }
@@ -13459,22 +13796,22 @@ function backupName(now) {
 async function applyUpgrade(root, now = /* @__PURE__ */ new Date()) {
   const plan = await planUpgrade(root);
   if (plan.pending.length === 0) return { status: "up-to-date", plan, applied: [] };
-  const sddDir = path18.join(root, ".sdd");
-  const backupRoot = path18.join(sddDir, BACKUP_DIRNAME);
+  const sddDir = path20.join(root, ".sdd");
+  const backupRoot = path20.join(sddDir, BACKUP_DIRNAME);
   const name = backupName(now);
-  const backupDir = path18.join(backupRoot, name);
-  const pointerFile = path18.join(backupRoot, BACKUP_POINTER);
+  const backupDir = path20.join(backupRoot, name);
+  const pointerFile = path20.join(backupRoot, BACKUP_POINTER);
   const previous = [];
   try {
     for (const item of plan.pending) {
       const content = await readTextIfExists(item.path);
       if (content === void 0) throw new Error("el elemento desapareci\xF3 mientras se respaldaba");
       previous.push({ item, contents: content });
-      await writeText(path18.join(backupDir, "files", ...item.artifact.split("/")), content);
+      await writeText(path20.join(backupDir, "files", ...item.artifact.split("/")), content);
     }
     await writeText(
-      path18.join(backupDir, "backup.yaml"),
-      stringifyYaml6(
+      path20.join(backupDir, "backup.yaml"),
+      stringifyYaml7(
         {
           schema_version: SCHEMA_VERSION,
           created_at: localStamp(now),
@@ -13514,7 +13851,7 @@ async function applyUpgrade(root, now = /* @__PURE__ */ new Date()) {
     }
   }
   for (const dir of await listDirs(backupRoot)) {
-    if (dir !== name) await removeDir(path18.join(backupRoot, dir));
+    if (dir !== name) await removeDir(path20.join(backupRoot, dir));
   }
   return {
     status: "applied",
@@ -13523,32 +13860,32 @@ async function applyUpgrade(root, now = /* @__PURE__ */ new Date()) {
     backup: {
       name,
       dir: backupDir,
-      relativeDir: toPosix(path18.relative(root, backupDir)),
+      relativeDir: toPosix(path20.relative(root, backupDir)),
       createdAt: localStamp(now),
       files: plan.pending.map((i) => i.artifact)
     }
   };
 }
 async function rollbackUpgrade(root) {
-  const sddDir = path18.join(root, ".sdd");
-  const backupRoot = path18.join(sddDir, BACKUP_DIRNAME);
-  const pointerFile = path18.join(backupRoot, BACKUP_POINTER);
+  const sddDir = path20.join(root, ".sdd");
+  const backupRoot = path20.join(sddDir, BACKUP_DIRNAME);
+  const pointerFile = path20.join(backupRoot, BACKUP_POINTER);
   const name = (await readTextIfExists(pointerFile))?.trim();
   if (!name) return { status: "no-backup", restored: [] };
-  const backupDir = path18.join(backupRoot, name);
-  const manifestRaw = await readTextIfExists(path18.join(backupDir, "backup.yaml"));
+  const backupDir = path20.join(backupRoot, name);
+  const manifestRaw = await readTextIfExists(path20.join(backupDir, "backup.yaml"));
   if (manifestRaw === void 0) return { status: "no-backup", restored: [] };
   let files = [];
   try {
-    const parsed = parseYaml8(manifestRaw);
+    const parsed = parseYaml10(manifestRaw);
     files = (parsed?.files ?? []).filter((f) => typeof f?.artifact === "string");
   } catch {
     return { status: "no-backup", restored: [] };
   }
   const restored = [];
   for (const file of files) {
-    const from = path18.join(backupDir, "files", ...file.artifact.split("/"));
-    const to = path18.join(sddDir, ...file.artifact.split("/"));
+    const from = path20.join(backupDir, "files", ...file.artifact.split("/"));
+    const to = path20.join(sddDir, ...file.artifact.split("/"));
     const content = await readTextIfExists(from);
     if (content === void 0) continue;
     try {
@@ -13643,7 +13980,7 @@ ${notes}
 ${existing}`;
 }
 async function generateDocs(opts) {
-  const root = path19.resolve(opts.root);
+  const root = path21.resolve(opts.root);
   const { config } = await loadWorkspace(root);
   const change = await loadChange(root, opts.slug);
   if (!change.meta) {
@@ -13660,7 +13997,7 @@ async function generateDocs(opts) {
   const data = docData(change, language, opts.now ?? /* @__PURE__ */ new Date());
   const files = [];
   for (const current of tipos) {
-    const file = path19.join(change.dir, "docs", `${current}.md`);
+    const file = path21.join(change.dir, "docs", `${current}.md`);
     const block = renderTemplate(current === "tecnica" ? templates.docTecnica : templates.docManual, data);
     const existing = await readTextIfExists(file);
     await writeText(file, mergeManaged(existing, block, language));
@@ -13705,7 +14042,7 @@ function resultOf(diagnostic, root) {
     message: { text: diagnostic.message }
   };
   if (diagnostic.path) {
-    const rel = path20.relative(root, diagnostic.path);
+    const rel = path22.relative(root, diagnostic.path);
     if (rel !== "") {
       const physicalLocation = {
         artifactLocation: { uri: toPosix(rel) },
@@ -13760,7 +14097,7 @@ async function runDoctor(root) {
   const approvals = await loadApprovals(workspace.sddDir);
   findings.push(...approvals.diagnostics);
   for (const change of workspace.changes) {
-    const deltaPath = path21.join(change.dir, "spec.md");
+    const deltaPath = path23.join(change.dir, "spec.md");
     const deltaContent = await readTextIfExists(deltaPath);
     const approval = verifyApproval(change, approvals.byArtifact, config, deltaContent ?? void 0);
     if ((change.planPath || change.tasks) && (approval.status === "missing" || approval.status === "stale")) {
@@ -13782,7 +14119,7 @@ async function runDoctor(root) {
     }
     for (const override of change.meta?.overrides ?? []) {
       if (!override.reason.trim() || !override.by.trim()) {
-        findings.push(diag("ATLAS-LIFECYCLE-004", "error", `Override del gate "${override.gate}" sin motivo o autor`, { path: path21.join(change.dir, "meta.yaml") }));
+        findings.push(diag("ATLAS-LIFECYCLE-004", "error", `Override del gate "${override.gate}" sin motivo o autor`, { path: path23.join(change.dir, "meta.yaml") }));
       }
     }
   }
@@ -13814,7 +14151,7 @@ function livingRequirementsMap(specs) {
   return map;
 }
 async function runCiGate(opts) {
-  const root = path22.resolve(opts.root);
+  const root = path24.resolve(opts.root);
   const { workspace, config } = await loadWorkspace(root);
   const diagnostics = [];
   const checks = [];
@@ -13825,11 +14162,12 @@ async function runCiGate(opts) {
   let changesErrors = 0;
   let changesWarnings = 0;
   for (const change of workspace.changes) {
-    const lintFindings = change.delta ? lintDelta(change.delta, living, path22.join(change.dir, "spec.md"), { language: config.spec.language }) : [];
+    const lintFindings = change.delta ? lintDelta(change.delta, living, path24.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
+      requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence,
+      linked: linkedTraceInput(workspace)
     });
     const changeDiags = [...lintFindings, ...trace.findings];
     if (change.planPath) {
@@ -13936,6 +14274,8 @@ var CATALOG = [
   { name: "doctor", description: "Diagn\xF3stico de salud del workspace", flags: ["json"], usage: "satlas doctor [--json]" },
   { name: "clarify", description: "Preguntas abiertas y aclaraciones del cambio (informe; aclarar es fase del agente)", flags: ["json"], usage: "satlas clarify <slug>" },
   { name: "docs", description: "Genera la documentaci\xF3n t\xE9cnica y manual del cambio (carril completo) desde la evidencia", flags: ["tipo", "json"], usage: "satlas docs <slug> [--tipo tecnica|manual|all]" },
+  { name: "contracts", description: "Comprueba los contratos del cambio (forma y cobertura con los escenarios)", flags: ["json"], usage: "satlas contracts <slug>" },
+  { name: "link", description: "Enlaza otros proyectos para consultar sus specs en solo lectura (multi-repo)", flags: ["name", "json"], usage: "satlas link add <ruta> [--name <nombre>] | satlas link list | satlas link remove <nombre|ruta>" },
   { name: "upgrade", description: "Actualiza el estado del proyecto a la versi\xF3n vigente (vista previa por defecto)", flags: ["apply", "rollback", "json"], usage: "satlas upgrade [--apply | --rollback] [--json]" },
   { name: "approve", description: "Firma la aprobaci\xF3n de un artefacto (spec): local o desde la etiqueta de un issue de GitHub", flags: ["by", "channel", "note", "dry-run", "from-github", "label", "json"], usage: 'satlas approve <slug|ruta> --by "<nombre>" | satlas approve <slug> --from-github' },
   { name: "issue", description: "Sincroniza el cambio con un issue de GitHub (tracker, no gate)", flags: ["labels", "json"], usage: "satlas issue sync <slug> [--labels a,b] | satlas issue status <slug>" },
@@ -13994,6 +14334,8 @@ var ES2 = {
   "docs.title": "Documentaci\xF3n del cambio",
   "docs.created": "creado",
   "docs.updated": "actualizado",
+  "contracts.title": "Contratos del cambio",
+  "link.title": "Enlaces entre proyectos",
   "summary.findings": "hallazgos",
   "label.errors": "errores",
   "label.warnings": "avisos",
@@ -14036,6 +14378,8 @@ var EN2 = {
   "docs.title": "Change documentation",
   "docs.created": "created",
   "docs.updated": "updated",
+  "contracts.title": "Change contracts",
+  "link.title": "Project links",
   "summary.findings": "findings",
   "label.errors": "errors",
   "label.warnings": "warnings",
@@ -14063,26 +14407,26 @@ function cliVersion() {
 }
 
 // src/commands/adapters.ts
-import path26 from "path";
+import path28 from "path";
 
 // ../adapters/dist/index.js
-import path23 from "path";
-import { stringify as stringifyYaml7 } from "yaml";
-import path24 from "path";
+import path25 from "path";
+import { stringify as stringifyYaml8 } from "yaml";
+import path26 from "path";
 async function loadWorkflow(workflowDir) {
-  const phasesDir = path23.join(workflowDir, "phases");
-  const snippetsDir = path23.join(workflowDir, "snippets");
+  const phasesDir = path25.join(workflowDir, "phases");
+  const snippetsDir = path25.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 = path23.join(phasesDir, entry);
+    const filePath = path25.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"] : path23.basename(entry, ".md");
+    const id = typeof data["id"] === "string" ? data["id"] : path25.basename(entry, ".md");
     phases.push({
       id,
       title: typeof data["title"] === "string" ? data["title"] : id,
@@ -14096,9 +14440,9 @@ async function loadWorkflow(workflowDir) {
   }
   for (const entry of (await listDir(snippetsDir)).sort()) {
     if (!entry.endsWith(".md")) continue;
-    const raw = await readTextIfExists(path23.join(snippetsDir, entry)) ?? "";
+    const raw = await readTextIfExists(path25.join(snippetsDir, entry)) ?? "";
     hashParts.push(raw);
-    snippets.set(path23.basename(entry, ".md"), raw.trim());
+    snippets.set(path25.basename(entry, ".md"), raw.trim());
   }
   return { phases: phases.sort((a, b) => a.id.localeCompare(b.id)), snippets, sourceHash: sha256(hashParts.join("\n---\n")) };
 }
@@ -14122,7 +14466,7 @@ function vars(language, slugToken, commandPrefix) {
   return { SLUG: slugToken, LANGUAGE: language, LANGUAGE_NAME: LANGUAGE_NAMES[language], SDD_DIR: ".sdd", COMMAND_PREFIX: commandPrefix };
 }
 function frontmatter(data, body) {
-  const yaml2 = stringifyYaml7(data, { lineWidth: 0 }).trimEnd();
+  const yaml2 = stringifyYaml8(data, { lineWidth: 0 }).trimEnd();
   return `---
 ${yaml2}
 ---
@@ -14280,11 +14624,11 @@ Reglas: la spec es funcional y de negocio (sin tecnolog\xEDa); la trazabilidad e
 function tomlString(value) {
   return `"${value.replace(/\\/g, "\\\\").replace(/"/g, '\\"')}"`;
 }
-var MANIFEST_REL = path24.join(".sdd", ".generated", "manifest.json");
+var MANIFEST_REL = path26.join(".sdd", ".generated", "manifest.json");
 var BEGIN = "<!-- BEGIN specatlas -->";
 var END = "<!-- END specatlas -->";
 async function compileTargets(opts) {
-  const root = path24.resolve(opts.root);
+  const root = path26.resolve(opts.root);
   const language = opts.language ?? "es";
   const diagnostics = [];
   const sources = await loadWorkflow(opts.workflowDir);
@@ -14292,7 +14636,7 @@ async function compileTargets(opts) {
     diagnostics.push({
       code: "ATLAS-ADAPTERS-002",
       severity: "error",
-      message: `No hay fases en ${path24.join(opts.workflowDir, "phases")}`,
+      message: `No hay fases en ${path26.join(opts.workflowDir, "phases")}`,
       suggestion: "Revisa la carpeta workflow/phases del proyecto"
     });
   }
@@ -14304,7 +14648,7 @@ async function compileTargets(opts) {
     }
   }
   const compiled = [...deduped.values()];
-  const manifestPath = path24.join(root, MANIFEST_REL);
+  const manifestPath = path26.join(root, MANIFEST_REL);
   const previous = await readManifest(manifestPath);
   const previousHashes = /* @__PURE__ */ new Map();
   for (const files2 of Object.values(previous?.targets ?? {})) {
@@ -14315,7 +14659,7 @@ async function compileTargets(opts) {
   const stale = [];
   const missing = [];
   for (const file of compiled) {
-    const abs = path24.join(root, file.path);
+    const abs = path26.join(root, file.path);
     const finalContent = file.path === "AGENTS.md" ? mergeAgentsBlock(await readTextIfExists(abs) ?? "", file.content) : file.content;
     const hash = artifactHash(finalContent);
     const existing = await readTextIfExists(abs);
@@ -14331,7 +14675,7 @@ async function compileTargets(opts) {
       stale.push(file.path);
     }
     if (!opts.check && status !== "unchanged") {
-      await ensureDir(path24.dirname(abs));
+      await ensureDir(path26.dirname(abs));
       await writeText(abs, finalContent);
       written.push(file.path);
     }
@@ -14385,7 +14729,7 @@ async function readManifest(manifestPath) {
   }
 }
 async function checkAdapters(opts) {
-  const manifestPath = path24.join(path24.resolve(opts.root), MANIFEST_REL);
+  const manifestPath = path26.join(path26.resolve(opts.root), MANIFEST_REL);
   const manifestRaw = await readTextIfExists(manifestPath);
   if (manifestRaw === void 0) return { ok: false, manifest: false, stale: [], missing: [], orphaned: [] };
   const manifest = await readManifest(manifestPath);
@@ -14402,7 +14746,7 @@ async function checkAdapters(opts) {
 }
 
 // src/paths.ts
-import path25 from "path";
+import path27 from "path";
 import { fileURLToPath as fileURLToPath2 } from "url";
 async function resolveProfilesDir() {
   const env = process.env["SPECATLAS_PROFILES_DIR"];
@@ -14412,16 +14756,16 @@ async function resolveProfilesDir() {
 async function resolveWorkflowDir() {
   const env = process.env["SPECATLAS_WORKFLOW_DIR"];
   if (env && await exists(env)) return env;
-  return walkUpFor(path25.join("workflow", "phases"));
+  return walkUpFor(path27.join("workflow", "phases"));
 }
 async function walkUpFor(relative) {
-  let dir = path25.dirname(fileURLToPath2(import.meta.url));
+  let dir = path27.dirname(fileURLToPath2(import.meta.url));
   for (let i = 0; i < 8; i += 1) {
-    const candidate = path25.join(dir, relative);
+    const candidate = path27.join(dir, relative);
     if (await exists(candidate)) {
-      return relative.includes(path25.sep) ? path25.dirname(candidate) : candidate;
+      return relative.includes(path27.sep) ? path27.dirname(candidate) : candidate;
     }
-    const parent = path25.dirname(dir);
+    const parent = path27.dirname(dir);
     if (parent === dir) break;
     dir = parent;
   }
@@ -14499,7 +14843,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(`  + ${path26.relative(ctx.cwd, path26.join(root, p))}`);
+    for (const p of report.written) lines.push(`  + ${path28.relative(ctx.cwd, path28.join(root, p))}`);
   } else {
     lines.push("");
     lines.push("Sin cambios: los adaptadores ya estaban al d\xEDa.");
@@ -14510,7 +14854,7 @@ async function runAdapters(ctx) {
 }
 
 // src/commands/adopt.ts
-import path27 from "path";
+import path29 from "path";
 async function runAdopt(ctx) {
   const { root } = await requireWorkspace(ctx);
   const domainsFlag = flagString(ctx.flags, "domains") ?? flagString(ctx.flags, "domain");
@@ -14530,11 +14874,11 @@ async function runAdopt(ctx) {
   }
   if (result.createdSpecs.length > 0) {
     lines.push("");
-    for (const spec of result.createdSpecs) lines.push(`  ${result.dryRun ? "[dry-run] " : "+ "}${path27.relative(ctx.cwd, spec)}`);
+    for (const spec of result.createdSpecs) lines.push(`  ${result.dryRun ? "[dry-run] " : "+ "}${path29.relative(ctx.cwd, spec)}`);
   }
   if (result.reportPath && !result.dryRun) {
     lines.push("");
-    lines.push(`  Informe: ${path27.relative(ctx.cwd, result.reportPath)}`);
+    lines.push(`  Informe: ${path29.relative(ctx.cwd, result.reportPath)}`);
   }
   lines.push("");
   lines.push("Siguiente: fase /satlas-adopt por dominio (requisitos AS-IS) y luego:");
@@ -14547,8 +14891,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) => path27.relative(ctx.cwd, s)),
-      reportPath: result.reportPath ? path27.relative(ctx.cwd, result.reportPath) : void 0,
+      createdSpecs: result.createdSpecs.map((s) => path29.relative(ctx.cwd, s)),
+      reportPath: result.reportPath ? path29.relative(ctx.cwd, result.reportPath) : void 0,
       stack: result.stack,
       dryRun: result.dryRun
     },
@@ -14557,7 +14901,7 @@ async function runAdopt(ctx) {
 }
 
 // src/commands/analyze.ts
-import path28 from "path";
+import path30 from "path";
 async function runAnalyzeCommand(ctx) {
   const { root } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -14568,23 +14912,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: ${path28.relative(ctx.cwd, result.path)}`);
+  if (result.path) lines.push("", `  informe: ${path30.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: path28.relative(ctx.cwd, result.path) } : result,
+    data: result.path ? { ...result, path: path30.relative(ctx.cwd, result.path) } : result,
     text: lines
   };
 }
 
 // src/commands/approve.ts
-import path30 from "path";
+import path32 from "path";
 
 // src/commands/issue.ts
-import path29 from "path";
+import path31 from "path";
 async function runIssue(ctx) {
   const action = ctx.positionals[0] ?? "status";
   const slug = ctx.positionals[1];
@@ -14612,7 +14956,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(path29.join(root, ".sdd"));
+    const { config } = await loadConfig(path31.join(root, ".sdd"));
     const tracker = change.meta?.tracker;
     const lines = [`Issue de ${slug}`, ""];
     if (!tracker || tracker.provider !== "github") {
@@ -14683,7 +15027,7 @@ async function runApprove(ctx) {
     };
   }
   const { root, workspace, config } = await requireWorkspace(ctx);
-  const artifact = target.includes("/") || target.includes("\\") ? target : path30.join("changes", target, "spec.md");
+  const artifact = target.includes("/") || target.includes("\\") ? target : path32.join("changes", target, "spec.md");
   const channelFlag = flagString(ctx.flags, "channel");
   const channel = channelFlag === "presentation" || channelFlag === "editor" || channelFlag === "pr" || channelFlag === "tracker" ? channelFlag : "cli";
   const change = workspace.changes.find(
@@ -14724,13 +15068,13 @@ async function runApprove(ctx) {
   return {
     exitCode: hasErrors2 ? 1 : 0,
     diagnostics: result.diagnostics,
-    data: result.approval ? { ...result.approval, file: path30.relative(ctx.cwd, result.file) } : void 0,
+    data: result.approval ? { ...result.approval, file: path32.relative(ctx.cwd, result.file) } : void 0,
     text: lines
   };
 }
 
 // src/commands/archive.ts
-import path31 from "path";
+import path33 from "path";
 async function runArchive(ctx) {
   const slug = ctx.positionals[0];
   if (!slug) {
@@ -14767,7 +15111,7 @@ async function runArchive(ctx) {
   } else {
     lines.push("El delta no contiene operaciones (ADDED/MODIFIED/REMOVED/RENAMED).");
   }
-  if (result.archivedTo) lines.push(`  archivado en: ${path31.relative(ctx.cwd, result.archivedTo)}`);
+  if (result.archivedTo) lines.push(`  archivado en: ${path33.relative(ctx.cwd, result.archivedTo)}`);
   const hasErrors2 = result.diagnostics.some((d) => d.severity === "error");
   return {
     exitCode: hasErrors2 ? 1 : 0,
@@ -14778,7 +15122,7 @@ async function runArchive(ctx) {
 }
 
 // src/commands/ci.ts
-import path32 from "path";
+import path34 from "path";
 async function runCi(ctx) {
   const { root, config } = await requireWorkspace(ctx);
   const strict = flagBool(ctx.flags, "strict");
@@ -14804,10 +15148,10 @@ async function runCi(ctx) {
   const lines = ["CI de SpecAtlas", ""];
   let sarifWritten;
   if (sarifPath) {
-    const target = path32.resolve(ctx.cwd, sarifPath);
+    const target = path34.resolve(ctx.cwd, sarifPath);
     try {
       await writeText(target, toSarifText({ diagnostics: gate.diagnostics, root, version: cliVersion(), failed: gate.failed }));
-      sarifWritten = path32.relative(ctx.cwd, target);
+      sarifWritten = path34.relative(ctx.cwd, target);
     } catch (err) {
       diagnostics.push({
         code: "ATLAS-CI-SARIF-001",
@@ -14882,8 +15226,52 @@ async function runClarify(ctx) {
   };
 }
 
+// src/commands/contracts.ts
+import path35 from "path";
+async function runContracts(ctx) {
+  const slug = ctx.positionals[0];
+  if (!slug) {
+    return { exitCode: 2, diagnostics: [{ code: "ATLAS-CONTRACTS-000", severity: "error", message: "Falta el slug: satlas contracts <slug>" }] };
+  }
+  const { workspace, config } = await requireWorkspace(ctx);
+  const change = workspace.changes.find((c) => c.slug === slug);
+  if (!change) {
+    return { exitCode: 2, diagnostics: [{ code: "ATLAS-CONTRACTS-000", severity: "error", message: `No existe el cambio "${slug}"` }] };
+  }
+  const lines = [msg("contracts.title", ctx.language), ""];
+  const state = change.contracts;
+  if (!state || state.files.length === 0) {
+    lines.push("El cambio no declara contratos (no hay archivos en su carpeta de contratos).");
+    return { exitCode: 0, diagnostics: [], data: { slug, mode: config.gates.contracts.mode, contracts: [], findings: [] }, text: lines };
+  }
+  const coverage = contractCoverage(change, config.gates.contracts.mode);
+  const findings = [...state.findings, ...coverage];
+  for (const file of state.files) {
+    lines.push(`  ${path35.relative(ctx.cwd, file.path)} (${file.format}) \u2014 ${file.operations.length} operaci\xF3n(es)`);
+    for (const operation of file.operations) lines.push(`    ${operation.id}`);
+  }
+  lines.push("");
+  if (findings.length === 0) {
+    lines.push("Contratos conformes: forma v\xE1lida y cobertura completa.");
+  } else {
+    for (const finding of findings) lines.push(`  ${finding.severity.toUpperCase()} ${finding.code} \u2014 ${finding.message}`);
+  }
+  const errors = findings.filter((finding) => finding.severity === "error").length;
+  return {
+    exitCode: errors > 0 ? 1 : 0,
+    diagnostics: findings,
+    data: {
+      slug,
+      mode: config.gates.contracts.mode,
+      contracts: state.files.map((file) => ({ path: path35.relative(ctx.cwd, file.path), format: file.format, operations: file.operations.map((operation) => operation.id) })),
+      findings
+    },
+    text: lines
+  };
+}
+
 // src/commands/docs.ts
-import path33 from "path";
+import path36 from "path";
 async function runDocs(ctx) {
   const slug = ctx.positionals[0];
   if (!slug) {
@@ -14896,7 +15284,7 @@ async function runDocs(ctx) {
   const errors = result.diagnostics.filter((d) => d.severity === "error");
   const lines = [msg("docs.title", ctx.language), ""];
   for (const file of result.files) {
-    lines.push(`  ${file.created ? msg("docs.created", ctx.language) : msg("docs.updated", ctx.language)}: ${path33.relative(ctx.cwd, file.path)}`);
+    lines.push(`  ${file.created ? msg("docs.created", ctx.language) : msg("docs.updated", ctx.language)}: ${path36.relative(ctx.cwd, file.path)}`);
   }
   for (const error of errors) lines.push(`  ERROR ${error.code} \u2014 ${error.message}`);
   return {
@@ -14905,19 +15293,85 @@ async function runDocs(ctx) {
     data: {
       slug: result.slug,
       tipo,
-      files: result.files.map((file) => ({ tipo: file.tipo, path: path33.relative(ctx.cwd, file.path), created: file.created }))
+      files: result.files.map((file) => ({ tipo: file.tipo, path: path36.relative(ctx.cwd, file.path), created: file.created }))
     },
     text: lines
   };
 }
 
+// src/commands/link.ts
+import path37 from "path";
+async function runLink(ctx) {
+  const { root } = await requireWorkspace(ctx);
+  const action = ctx.positionals[0] ?? "list";
+  if (action === "list") {
+    const state = await loadLinks(root);
+    const lines = [msg("link.title", ctx.language), ""];
+    if (state.entries.length === 0) {
+      lines.push("Sin enlaces. A\xF1ade uno con `satlas link add <ruta>`.");
+    } else {
+      for (const entry of state.entries) {
+        const status = entry.available ? `${entry.requirements} requisito(s) \xB7 ${entry.domains.join(", ") || "sin dominios"}` : "NO DISPONIBLE";
+        lines.push(`  ${entry.name}  ${path37.relative(ctx.cwd, entry.path)}  ${status}`);
+      }
+    }
+    return {
+      exitCode: 0,
+      diagnostics: [],
+      data: {
+        links: state.entries.map((entry) => ({
+          name: entry.name,
+          path: path37.relative(ctx.cwd, entry.path),
+          available: entry.available,
+          requirements: entry.requirements,
+          domains: entry.domains
+        }))
+      },
+      text: lines
+    };
+  }
+  if (action === "add") {
+    const target = ctx.positionals[1];
+    if (!target) {
+      return { exitCode: 2, diagnostics: [{ code: "ATLAS-LINK-000", severity: "error", message: "Falta la ruta: satlas link add <ruta> [--name <nombre>]" }] };
+    }
+    const name = flagString(ctx.flags, "name");
+    const result = await addLink(root, { path: target, ...name !== void 0 ? { name } : {} });
+    const errors = result.diagnostics.filter((d) => d.severity === "error");
+    if (errors.length > 0) {
+      return { exitCode: 2, diagnostics: result.diagnostics, data: { action: "add" }, text: errors.map((error) => `${error.code} \u2014 ${error.message}`) };
+    }
+    return {
+      exitCode: 0,
+      diagnostics: result.diagnostics,
+      data: { action: "add", link: result.entry },
+      text: [`Enlace a\xF1adido: ${result.entry?.name} \u2192 ${result.entry?.path}`]
+    };
+  }
+  if (action === "remove") {
+    const ref = ctx.positionals[1];
+    if (!ref) {
+      return { exitCode: 2, diagnostics: [{ code: "ATLAS-LINK-000", severity: "error", message: "Falta el nombre o la ruta: satlas link remove <nombre|ruta>" }] };
+    }
+    const result = await removeLink(root, ref);
+    if (result.removed === void 0) {
+      return { exitCode: 2, diagnostics: result.diagnostics, data: { action: "remove" }, text: result.diagnostics.map((diagnostic) => `${diagnostic.code} \u2014 ${diagnostic.message}`) };
+    }
+    return { exitCode: 0, diagnostics: result.diagnostics, data: { action: "remove", removed: result.removed }, text: [`Enlace quitado: ${result.removed}`] };
+  }
+  return {
+    exitCode: 2,
+    diagnostics: [{ code: "ATLAS-LINK-000", severity: "error", message: `Acci\xF3n desconocida: ${action}`, suggestion: "Usa: satlas link add <ruta> | satlas link list | satlas link remove <nombre|ruta>" }]
+  };
+}
+
 // src/commands/profile.ts
-import path34 from "path";
+import path38 from "path";
 async function runProfile(ctx) {
   const action = ctx.positionals[0] ?? "detect";
   const { root, workspace } = await requireWorkspace(ctx);
   const officialDir = await resolveProfilesDir();
-  const customDir = path34.join(workspace.sddDir, "profiles", "custom");
+  const customDir = path38.join(workspace.sddDir, "profiles", "custom");
   const profiles = [...officialDir ? await loadProfilesFromDir(officialDir) : [], ...await loadProfilesFromDir(customDir)];
   if (action === "detect") {
     const result = await detectProfiles(root, profiles);
@@ -14946,7 +15400,7 @@ async function runProfile(ctx) {
     if (!name) {
       return { exitCode: 2, diagnostics: [{ code: "ATLAS-PROFILE-001", severity: "error", message: "Falta el nombre del perfil: satlas profile create <nombre>" }] };
     }
-    const file = path34.join(customDir, `${name}.yaml`);
+    const file = path38.join(customDir, `${name}.yaml`);
     if (await exists(file)) {
       return { exitCode: 2, diagnostics: [{ code: "ATLAS-PROFILE-002", severity: "error", message: `El perfil ya existe: ${file}` }] };
     }
@@ -14955,7 +15409,7 @@ async function runProfile(ctx) {
       exitCode: 0,
       diagnostics: [],
       data: { file },
-      text: [`Perfil creado: ${path34.relative(ctx.cwd, file)}`, "", "Ed\xEDtalo con los comandos reales de tu stack (build/lint/test) y tus anti-patrones."]
+      text: [`Perfil creado: ${path38.relative(ctx.cwd, file)}`, "", "Ed\xEDtalo con los comandos reales de tu stack (build/lint/test) y tus anti-patrones."]
     };
   }
   return {
@@ -14964,7 +15418,7 @@ async function runProfile(ctx) {
   };
 }
 async function isInside(dir, name) {
-  return exists(path34.join(dir, `${name}.yaml`));
+  return exists(path38.join(dir, `${name}.yaml`));
 }
 function profileTemplate(name) {
   return `name: ${name}
@@ -14992,7 +15446,7 @@ assumptions: []
 }
 
 // src/commands/doctor.ts
-import path35 from "path";
+import path39 from "path";
 async function runDoctorCommand(ctx) {
   const { root, config } = await requireWorkspace(ctx);
   const report = await runDoctor(root);
@@ -15017,7 +15471,7 @@ async function runDoctorCommand(ctx) {
     lines.push("Sin hallazgos. El workspace est\xE1 sano.");
   } else {
     for (const finding of report.findings) {
-      const location = finding.path ? ` ${path35.relative(ctx.cwd, finding.path)}${finding.line ? `:${finding.line}` : ""}` : "";
+      const location = finding.path ? ` ${path39.relative(ctx.cwd, finding.path)}${finding.line ? `:${finding.line}` : ""}` : "";
       lines.push(`  ${finding.severity.toUpperCase()}  ${finding.code}${location} \u2014 ${finding.message}`);
       if (finding.suggestion) lines.push(`       \u21B3 ${finding.suggestion}`);
     }
@@ -15091,7 +15545,7 @@ async function runHelp(ctx, commandName) {
 }
 
 // src/commands/init.ts
-import path36 from "path";
+import path40 from "path";
 async function runInit(ctx) {
   const languageFlag = flagString(ctx.flags, "language");
   const language = languageFlag === "en" ? "en" : languageFlag === "es" ? "es" : void 0;
@@ -15138,11 +15592,11 @@ async function runInit(ctx) {
   const lines = [msg("init.title", ctx.language), ""];
   if (result.created.length > 0) {
     lines.push(msg("init.done", ctx.language));
-    for (const file of result.created) lines.push(`  + ${path36.relative(ctx.cwd, file)}`);
+    for (const file of result.created) lines.push(`  + ${path40.relative(ctx.cwd, file)}`);
     if (compiled.length > 0) {
       lines.push("");
       lines.push("Adaptadores compilados:");
-      for (const file of compiled) lines.push(`  + ${path36.relative(ctx.cwd, path36.join(ctx.cwd, file))}`);
+      for (const file of compiled) lines.push(`  + ${path40.relative(ctx.cwd, path40.join(ctx.cwd, file))}`);
     }
     lines.push("");
     lines.push("Siguiente: crea un cambio con `satlas new <slug>` y escribe la spec funcional.");
@@ -15152,8 +15606,8 @@ async function runInit(ctx) {
     exitCode: hasErrors2 ? 1 : 0,
     diagnostics: result.diagnostics,
     data: {
-      sddDir: path36.relative(ctx.cwd, result.sddDir),
-      created: result.created.map((f) => path36.relative(ctx.cwd, f)),
+      sddDir: path40.relative(ctx.cwd, result.sddDir),
+      created: result.created.map((f) => path40.relative(ctx.cwd, f)),
       detected: result.detected?.matches.map((m) => ({ name: m.name, score: m.score })),
       best: result.detected?.best?.name
     },
@@ -15194,7 +15648,7 @@ async function runMetrics(ctx) {
 }
 
 // src/commands/mockup.ts
-import path37 from "path";
+import path41 from "path";
 async function runMockup(ctx) {
   const { root, workspace, config } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -15243,17 +15697,17 @@ async function runMockup(ctx) {
     `  pantallas: ${plan.screens.length}`,
     ...plan.screens.map((s) => `    - ${s.id}: ${s.title} (${s.illustrates.length} escenario(s))`),
     "",
-    `  plan: ${path37.relative(ctx.cwd, planFile)}`,
-    `  manifiesto: ${path37.relative(ctx.cwd, manifestFile)}`,
+    `  plan: ${path41.relative(ctx.cwd, planFile)}`,
+    `  manifiesto: ${path41.relative(ctx.cwd, manifestFile)}`,
     "",
     "Siguiente: genera el HTML de cada pantalla (fase /satlas-mockup) y valida con `satlas mockup " + slug + " --check`."
   ];
-  return { exitCode: 0, diagnostics: [], data: { plan, planFile: path37.relative(ctx.cwd, planFile), manifestFile: path37.relative(ctx.cwd, manifestFile) }, text: lines };
+  return { exitCode: 0, diagnostics: [], data: { plan, planFile: path41.relative(ctx.cwd, planFile), manifestFile: path41.relative(ctx.cwd, manifestFile) }, text: lines };
 }
 
 // src/mcp/server.ts
 import { promises as fs3 } from "fs";
-import path40 from "path";
+import path46 from "path";
 import { createInterface } from "readline/promises";
 
 // src/mcp/protocol.ts
@@ -15314,6 +15768,35 @@ function stringArg(args, key) {
   return typeof value === "string" && value.trim() !== "" ? value.trim() : void 0;
 }
 
+// src/mcp/tools/contracts.ts
+import path42 from "path";
+async function runAtlasContracts(args, host) {
+  const resolved = await host.getWorkspace();
+  if (!resolved) return noWorkspaceResult();
+  const slug = stringArg(args, "slug");
+  if (!slug) return errorResult("ATLAS-MCP-CONTRACTS-001", "Falta el nombre del cambio", { usage: "atlas_contracts { slug }" });
+  const change = resolved.workspace.changes.find((candidate) => candidate.slug === slug);
+  if (!change) {
+    return errorResult("ATLAS-MCP-CONTRACTS-002", `El cambio "${slug}" no existe`, { available: resolved.workspace.changes.map((candidate) => candidate.slug) });
+  }
+  const mode = resolved.config.gates.contracts.mode;
+  const state = change.contracts;
+  if (!state || state.files.length === 0) {
+    return jsonResult({ slug, mode, contracts: [], findings: [], message: "El cambio no declara contratos." });
+  }
+  const findings = [...state.findings, ...contractCoverage(change, mode)];
+  return jsonResult({
+    slug,
+    mode,
+    contracts: state.files.map((file) => ({
+      path: path42.relative(resolved.root, file.path),
+      format: file.format,
+      operations: file.operations.map((operation) => operation.id)
+    })),
+    findings
+  });
+}
+
 // src/mcp/tools/fixes.ts
 async function runAtlasFixes(_args, host) {
   const resolved = await host.getWorkspace();
@@ -15342,12 +15825,12 @@ async function runAtlasFixes(_args, host) {
 }
 
 // src/mcp/tools/glossary.ts
-import path38 from "path";
+import path43 from "path";
 async function runAtlasGlossary(_args, host) {
   const resolved = await host.getWorkspace();
   if (!resolved) return noWorkspaceResult();
   const { root, config } = resolved;
-  const glossaryPath = path38.resolve(root, config.spec.glossary);
+  const glossaryPath = path43.resolve(root, config.spec.glossary);
   const raw = await readTextIfExists(glossaryPath);
   if (raw === void 0) {
     return jsonResult({
@@ -15367,6 +15850,28 @@ async function runAtlasGlossary(_args, host) {
   return jsonResult({ terms: parsed.terms });
 }
 
+// src/mcp/tools/links.ts
+import path44 from "path";
+async function runAtlasLinks(_args, host) {
+  const resolved = await host.getWorkspace();
+  if (!resolved) return noWorkspaceResult();
+  const state = resolved.workspace.links;
+  if (!state || state.entries.length === 0) {
+    return jsonResult({ links: [], message: "El proyecto no tiene enlaces.", action: "satlas link add <ruta>" });
+  }
+  return jsonResult({
+    links: state.entries.map((entry) => ({
+      name: entry.name,
+      path: path44.relative(resolved.root, entry.path),
+      available: entry.available,
+      requirements: entry.requirements,
+      domains: entry.domains
+    })),
+    externalRequirements: linkedRequirementIds(state).length,
+    unavailable: state.unavailable
+  });
+}
+
 // src/mcp/tools/impact.ts
 var REQ_TARGET_RE = /^REQ-[A-Z0-9]+(?:-[A-Z0-9]+)*-\d{3}(?:-S\d+)?$/i;
 async function runAtlasImpact(args, host) {
@@ -15393,7 +15898,7 @@ async function runAtlasImpact(args, host) {
 }
 
 // src/evaluate.ts
-import path39 from "path";
+import path45 from "path";
 function livingRequirementsMap2(specs) {
   const map = /* @__PURE__ */ new Map();
   for (const spec of specs) {
@@ -15402,7 +15907,7 @@ function livingRequirementsMap2(specs) {
   return map;
 }
 async function evaluateChange(workspace, config, change, approvals) {
-  const deltaPath = path39.join(change.dir, "spec.md");
+  const deltaPath = path45.join(change.dir, "spec.md");
   const deltaContent = await readTextIfExists(deltaPath);
   const approval = verifyApproval(change, approvals, config, deltaContent ?? void 0);
   const living = livingRequirementsMap2(workspace.specs);
@@ -15410,7 +15915,8 @@ async function evaluateChange(workspace, config, change, approvals) {
   const trace = checkTrace({
     specs: workspace.specs,
     change,
-    requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence
+    requireEvidence: config.gates.verify.mode !== "off" && config.gates.verify.require_evidence,
+    linked: linkedTraceInput(workspace)
   });
   const blocking = lintFindings.filter((d) => d.severity === "error").length + trace.findings.filter((d) => d.severity === "error").length;
   const mockupsAreReady = requiresMockups(change.meta, config) ? await mockupsReady(workspace.root, change.slug, change) : void 0;
@@ -15421,7 +15927,7 @@ async function evaluateChange(workspace, config, change, approvals) {
     blockingFindings: change.delta ? blocking : 0,
     ...mockupsAreReady !== void 0 ? { mockupsReady: mockupsAreReady } : {}
   });
-  const phaseAdvisories = [...clarifyAdvisory(change, config), ...docsAdvisory(change, config)];
+  const phaseAdvisories = [...clarifyAdvisory(change, config), ...docsAdvisory(change, config), ...contractsAdvisory(change, config)];
   return { change, approval, lintFindings: [...lintFindings, ...phaseAdvisories], trace, blocking, state };
 }
 
@@ -15580,7 +16086,9 @@ var HANDLERS = {
   atlas_trace: runAtlasTrace,
   atlas_impact: runAtlasImpact,
   atlas_glossary: runAtlasGlossary,
-  atlas_fixes: runAtlasFixes
+  atlas_fixes: runAtlasFixes,
+  atlas_contracts: runAtlasContracts,
+  atlas_links: runAtlasLinks
 };
 async function runToolByName(name, args, host) {
   const handler = HANDLERS[name];
@@ -15658,6 +16166,25 @@ function listTools() {
         properties: {},
         additionalProperties: false
       }
+    },
+    {
+      name: "atlas_contracts",
+      description: "Contratos del cambio: operaciones declaradas y hallazgos de forma y cobertura con los escenarios. Solo lectura.",
+      inputSchema: {
+        type: "object",
+        properties: { slug: { type: "string", description: "Nombre del cambio" } },
+        required: ["slug"],
+        additionalProperties: false
+      }
+    },
+    {
+      name: "atlas_links",
+      description: "Enlaces a otros proyectos: nombre, disponibilidad, requisitos externos que aportan y enlaces no disponibles. Solo lectura.",
+      inputSchema: {
+        type: "object",
+        properties: {},
+        additionalProperties: false
+      }
     }
   ];
 }
@@ -15675,8 +16202,8 @@ var WorkspaceCache = class {
   }
 };
 async function workspaceStamp(root) {
-  const sddDir = path40.join(root, ".sdd");
-  const markers = [sddDir, path40.join(sddDir, "config.yaml"), path40.join(sddDir, "changes"), path40.join(sddDir, "specs"), path40.join(sddDir, "approvals.yaml")];
+  const sddDir = path46.join(root, ".sdd");
+  const markers = [sddDir, path46.join(sddDir, "config.yaml"), path46.join(sddDir, "changes"), path46.join(sddDir, "specs"), path46.join(sddDir, "approvals.yaml")];
   let stamp = 0;
   for (const marker of markers) {
     try {
@@ -15694,7 +16221,7 @@ async function resolveMcpWorkspace(cwd, cache) {
   const cached2 = cache.get(root);
   if (cached2 && cached2.mtimeMs === stamp) return cached2.value;
   const { workspace, config } = await loadWorkspace(root);
-  const approvals = await loadApprovals(path40.join(root, ".sdd"));
+  const approvals = await loadApprovals(path46.join(root, ".sdd"));
   const value = { root, workspace, config, approvals: approvals.byArtifact };
   cache.set(root, stamp, value);
   return value;
@@ -15786,7 +16313,7 @@ async function runMcp(ctx) {
 }
 
 // src/commands/packs.ts
-import path41 from "path";
+import path47 from "path";
 async function runPacks(ctx) {
   const { root, config, workspace } = await requireWorkspace(ctx);
   const slug = flagString(ctx.flags, "check");
@@ -15844,14 +16371,14 @@ async function runPacks(ctx) {
     data: {
       slug,
       packs: evaluations.map((evaluation) => ({ id: evaluation.pack.id, status: evaluation.status, passed: evaluation.passed, failed: evaluation.failed, results: evaluation.results })),
-      analyzePath: path41.posix.join(".sdd", "changes", slug, "analyze.md")
+      analyzePath: path47.posix.join(".sdd", "changes", slug, "analyze.md")
     },
     text: lines
   };
 }
 
 // src/commands/new.ts
-import path42 from "path";
+import path48 from "path";
 async function runNew(ctx) {
   const slug = ctx.positionals[0];
   if (!slug) {
@@ -15877,14 +16404,14 @@ async function runNew(ctx) {
     msg("new.title", ctx.language),
     "",
     msg("new.done", ctx.language),
-    ...result.files.map((f) => `  + ${path42.relative(ctx.cwd, f)}`),
+    ...result.files.map((f) => `  + ${path48.relative(ctx.cwd, f)}`),
     "",
     `Siguiente: /satlas.specify ${result.slug} \u2014 escribe la especificaci\xF3n 100% funcional y de negocio.`
   ];
   return {
     exitCode: hasErrors2 ? 1 : 0,
     diagnostics: result.diagnostics,
-    data: { slug: result.slug, files: result.files.map((f) => path42.relative(ctx.cwd, f)) },
+    data: { slug: result.slug, files: result.files.map((f) => path48.relative(ctx.cwd, f)) },
     text: lines
   };
 }
@@ -15919,7 +16446,7 @@ async function runNext(ctx) {
 }
 
 // src/commands/present.ts
-import path43 from "path";
+import path49 from "path";
 async function runPresentCommand(ctx) {
   const { root } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -15931,7 +16458,7 @@ async function runPresentCommand(ctx) {
   if (result.path) {
     lines.push("Propuesta generada");
     lines.push("");
-    lines.push(`  archivo: ${path43.relative(ctx.cwd, result.path)}`);
+    lines.push(`  archivo: ${path49.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.");
@@ -15941,7 +16468,7 @@ async function runPresentCommand(ctx) {
   return {
     exitCode: hasErrors2 ? 1 : 0,
     diagnostics: result.diagnostics,
-    data: result.path ? { path: path43.relative(ctx.cwd, result.path), hash: result.hash } : void 0,
+    data: result.path ? { path: path49.relative(ctx.cwd, result.path), hash: result.hash } : void 0,
     text: lines
   };
 }
@@ -16089,7 +16616,7 @@ async function runStatus(ctx) {
 }
 
 // src/commands/trace.ts
-import path44 from "path";
+import path50 from "path";
 async function runTrace(ctx) {
   const { workspace, config } = await requireWorkspace(ctx);
   const slug = flagString(ctx.flags, "change");
@@ -16109,7 +16636,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 ? ` (${path44.relative(ctx.cwd, finding.path)}${finding.line ? `:${finding.line}` : ""})` : "";
+      const location = finding.path ? ` (${path50.relative(ctx.cwd, finding.path)}${finding.line ? `:${finding.line}` : ""})` : "";
       lines.push(`    ${finding.severity.toUpperCase()} ${finding.code} \u2014 ${finding.message}${location}`);
     }
   }
@@ -16119,7 +16646,7 @@ async function runTrace(ctx) {
 }
 
 // src/commands/upgrade.ts
-import path45 from "path";
+import path51 from "path";
 async function runUpgrade(ctx) {
   const { root } = await requireWorkspace(ctx);
   const apply = flagBool(ctx.flags, "apply");
@@ -16173,7 +16700,7 @@ function renderPreview(plan, root, ctx) {
   }
   for (const item of plan.unreadable) {
     lines.push(`  Ilegible: "${item.artifact}" \u2014 ${item.reason}`);
-    lines.push(`    \u21B3 ${path45.relative(ctx.cwd, item.path)}`);
+    lines.push(`    \u21B3 ${path51.relative(ctx.cwd, item.path)}`);
   }
   return { exitCode: 0, diagnostics: [], data: summarizable(plan), text: lines };
 }
@@ -16236,7 +16763,7 @@ function renderRollback(report, ctx) {
 }
 
 // src/commands/validate.ts
-import path46 from "path";
+import path52 from "path";
 async function runValidate(ctx) {
   const { root, workspace, config, approvals } = await requireWorkspace(ctx);
   const slug = flagString(ctx.flags, "change");
@@ -16263,7 +16790,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: ${path46.relative(ctx.cwd, path46.join(change.dir, "spec.md"))}`);
+    lines.push(`    archivo: ${path52.relative(ctx.cwd, path52.join(change.dir, "spec.md"))}`);
   }
   if (targets.length === 0) lines.push("Sin cambios activos.");
   if (advisory && advisory.plan.pending.length > 0) {
@@ -16291,7 +16818,7 @@ async function runValidate(ctx) {
 }
 
 // src/commands/verify.ts
-import path47 from "path";
+import path53 from "path";
 async function runVerify(ctx) {
   const { root, workspace } = await requireWorkspace(ctx);
   const slug = ctx.positionals[0];
@@ -16334,7 +16861,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(path47.join(root, ".sdd"), [profilesDir ?? "", path47.join(root, ".sdd", "profiles", "custom")].filter(Boolean));
+  const profile = await loadActiveProfile(path53.join(root, ".sdd"), [profilesDir ?? "", path53.join(root, ".sdd", "profiles", "custom")].filter(Boolean));
   const record = await recordEvidence({
     root,
     slug,
@@ -16356,7 +16883,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: ${path47.relative(ctx.cwd, record.path)}`);
+    lines.push(`  archivo: ${path53.relative(ctx.cwd, record.path)}`);
     if (record.stdout) {
       lines.push("");
       lines.push("  salida (\xFAltimas l\xEDneas):");
@@ -16371,7 +16898,7 @@ async function runVerify(ctx) {
   return {
     exitCode: record.exitCode === 0 ? 0 : 1,
     diagnostics: record.diagnostics,
-    data: { evidence: record.evidence, path: path47.relative(ctx.cwd, record.path), exitCode: record.exitCode },
+    data: { evidence: record.evidence, path: path53.relative(ctx.cwd, record.path), exitCode: record.exitCode },
     text: lines
   };
 }
@@ -16428,6 +16955,8 @@ var HANDLERS2 = {
   doctor: runDoctorCommand,
   clarify: runClarify,
   docs: runDocs,
+  contracts: runContracts,
+  link: runLink,
   upgrade: runUpgrade,
   approve: runApprove,
   issue: runIssue,
@@ -16473,7 +17002,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(path48.join(root, ".sdd"));
+  const approvals = await loadApprovals(path54.join(root, ".sdd"));
   return { root, workspace, config, approvals: approvals.byArtifact };
 }
 var CliError = class extends Error {
@@ -16540,7 +17069,7 @@ function printResult(command, result, json2, language) {
   }
   const lines = [...result.text ?? []];
   for (const d of result.diagnostics) {
-    const location = d.path ? ` ${path48.relative(process.cwd(), d.path)}${d.line ? `:${d.line}` : ""}` : "";
+    const location = d.path ? ` ${path54.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}`);
   }