@documentation-robotics/cli 0.3.0 → 0.4.0

package/dist/mcp/tools/project-tools.js

@@ -0,0 +1,505 @@
+import { z } from "zod";
+import { createHash } from "node:crypto";
+import { readdir, readFile, stat } from "node:fs/promises";
+import { isAbsolute, join, relative, resolve, sep } from "node:path";
+import { initProject, hasModel } from "../../core/project-init.js";
+import { previewCatalogMigration, scanUpgrades } from "../../core/upgrade-plan.js";
+import { summarizeRelationshipChanges } from "../../core/relationship-migration.js";
+import { upgradeModel } from "../../core/model-upgrade.js";
+import { Relationships } from "../../core/relationships.js";
+import { installSpecReference } from "../../utils/spec-installer.js";
+import { findProjectRoot } from "../../utils/project-paths.js";
+import { getCliVersion } from "../../utils/spec-version.js";
+import { CLIError, ErrorCategory, getErrorMessage } from "../../utils/errors.js";
+import { isDebug, isVerbose } from "../../utils/globals.js";
+import { Validator } from "../../validators/validator.js";
+import { addModelWarnings } from "../../validators/model-warnings.js";
+import { fileExists } from "../../utils/file-io.js";
+import { hasLayerReports, regenerateLayerReports } from "../../commands/reports.js";
+import { currentProjectRoot, whenProjectRootSettled } from "../project-root.js";
+import { clearModelCache, jsonResult, reloadModel, runTool } from "./shared.js";
+const logToStderr = (message) => {
+  process.stderr.write(`[mcp] ${message}
+`);
+}, verboseToStderr = (message) => {
+  isVerbose() && logToStderr(message);
+}, debugToStderr = (message) => {
+  isDebug() && logToStderr(`[DEBUG] ${message}`);
+};
+let consoleGuards = 0, savedConsole;
+async function withConsoleOnStderr(fn) {
+  if (consoleGuards++ === 0) {
+    savedConsole = { log: console.log, info: console.info, debug: console.debug };
+    const toStderr = (...args) => console.error(...args);
+    console.log = toStderr, console.info = toStderr, console.debug = toStderr;
+  }
+  try {
+    return await fn();
+  } finally {
+    --consoleGuards === 0 && savedConsole && (console.log = savedConsole.log, console.info = savedConsole.info, console.debug = savedConsole.debug, savedConsole = void 0);
+  }
+}
+function absoluteRootPath(rootPath) {
+  if (!isAbsolute(rootPath))
+    throw new CLIError(`rootPath must be an absolute path: ${rootPath}`, ErrorCategory.USER, [
+      "Pass the absolute path of the project folder"
+    ]);
+  return resolve(rootPath);
+}
+const MAX_LISTED = 200, MAX_VALIDATION_ERRORS = 20, initInputSchema = {
+  name: z.string().trim().min(1).describe("The model's name, usually the project's."),
+  description: z.string().optional().describe("What the model describes."),
+  author: z.string().optional().describe("The model's author or owning team."),
+  rootPath: z.string().optional().describe("Absolute path of the folder to create the model in (documentation-robotics/ goes inside it). Defaults to the project the client has open (its MCP roots).")
+};
+async function initRoot(rootPath) {
+  let root;
+  if (rootPath !== void 0)
+    root = absoluteRootPath(rootPath);
+  else {
+    await whenProjectRootSettled();
+    const current = currentProjectRoot();
+    if (current.source === "cwd")
+      throw new CLIError("The client has not said which folder is open (no MCP roots), so there is no folder to create the model in.", ErrorCategory.USER, ["Pass rootPath: the absolute path of the project folder"]);
+    root = current.root;
+  }
+  let isDirectory = !1;
+  try {
+    isDirectory = (await stat(root)).isDirectory();
+  } catch {
+  }
+  if (!isDirectory)
+    throw new CLIError(`Not a folder: ${root}`, ErrorCategory.NOT_FOUND, [
+      "Pass rootPath: the absolute path of an existing project folder"
+    ]);
+  return root;
+}
+async function projectInitHandler(args) {
+  return runTool(() => withConsoleOnStderr(async () => {
+    const root = await initRoot(args.rootPath);
+    if (await hasModel(root))
+      throw new CLIError(`A DR model already exists in ${root}`, ErrorCategory.USER, [
+        'Use the model tools (model_info, model_search) to work with it, or "project_upgrade" to move it to the current spec version'
+      ]);
+    const result = await initProject(root, {
+      name: args.name,
+      description: args.description,
+      author: args.author,
+      log: logToStderr,
+      logVerbose: verboseToStderr,
+      logDebug: debugToStderr
+    });
+    clearModelCache();
+    try {
+      await reloadModel(args.rootPath);
+    } catch (error) {
+      logToStderr(`after project_init, loading the new model failed: ${getErrorMessage(error)}`);
+    }
+    return jsonResult({
+      status: "created",
+      rootPath: result.rootPath,
+      model: {
+        name: result.name,
+        version: result.version,
+        specVersion: result.specVersion,
+        path: result.modelPath
+      },
+      ...result.reportError !== void 0 ? { warnings: [`Layer reports and README were not generated: ${result.reportError}`] } : {},
+      next: "The model is empty. Ask the user whether to bootstrap it from the code now (codebase_index, then codebase_extract) or let it grow with each change (changeset_create), and wait for their answer."
+    });
+  }));
+}
+const projectInitTool = {
+  name: "project_init",
+  description: "Create an empty DR model at the current spec version in the project folder (documentation-robotics/), with its spec reference (.dr/) and layer reports. Before calling it, propose a name (usually the project's) and confirm it with the user. Fails if the folder already has a model. Installs no integration files.",
+  inputSchema: initInputSchema,
+  handler: projectInitHandler
+}, upgradeInputSchema = {
+  apply: z.boolean().optional().describe("Apply the migration. Without it the tool only previews: show the preview to the user and apply only when they approve."),
+  force: z.boolean().optional().describe("Only with apply: true. As `dr upgrade --force`: stamp the new spec version when no migration leads to it (additive spec changes), reinstall the spec reference, and skip migration validation. Use it only when the user approves."),
+  rootPath: z.string().optional().describe("Absolute path to the project root containing documentation-robotics/. Defaults to the project the client has open (its MCP roots).")
+};
+async function integrationsNote(projectRoot) {
+  const notes = [];
+  return await fileExists(join(projectRoot, ".claude", ".dr-version")) && notes.push("This project still has per-project integration files from `dr claude install` (.claude/). The dr Claude Code plugin replaces them and project_upgrade leaves them alone; the user can remove them."), await fileExists(join(projectRoot, ".github", ".dr-copilot-version")) && notes.push("This project has per-project GitHub Copilot integration files from `dr copilot install` (.github/), which project_upgrade leaves alone. To bring them up to this dr's version, the user runs `dr copilot upgrade` in a terminal (there is no tool for it)."), notes.length > 0 ? { integrations: notes.join(" ") } : {};
+}
+async function hashFiles(root, dir) {
+  const hashes = /* @__PURE__ */ new Map();
+  let entries;
+  try {
+    entries = await readdir(join(root, dir), { recursive: !0, withFileTypes: !0 });
+  } catch {
+    return hashes;
+  }
+  for (const entry of entries) {
+    if (!entry.isFile())
+      continue;
+    const file = join(entry.parentPath, entry.name);
+    try {
+      hashes.set(relative(root, file).split(sep).join("/"), createHash("sha1").update(await readFile(file)).digest("hex"));
+    } catch {
+    }
+  }
+  return hashes;
+}
+function filesChanged(before, after) {
+  const modified = [], added = [];
+  for (const [file, hash] of after) {
+    const old = before.get(file);
+    old === void 0 ? added.push(file) : old !== hash && modified.push(file);
+  }
+  const removed = [...before.keys()].filter((file) => !after.has(file));
+  return {
+    filesModified: modified.length + added.length + removed.length,
+    files: { modified: modified.sort(), added: added.sort(), removed: removed.sort() }
+  };
+}
+async function upgradeRoot(rootPath) {
+  rootPath === void 0 && await whenProjectRootSettled();
+  const start = rootPath !== void 0 ? absoluteRootPath(rootPath) : process.cwd(), root = await findProjectRoot(start);
+  if (!root || !await hasModel(root))
+    throw new CLIError(`No DR model found at ${start}`, ErrorCategory.NOT_FOUND, [
+      'Call "project_init" to create one'
+    ]);
+  return root;
+}
+function compareVersions(a, b) {
+  const as = a.split(".").map(Number), bs = b.split(".").map(Number);
+  for (let i = 0; i < Math.max(as.length, bs.length); i++) {
+    const d = (as[i] || 0) - (bs[i] || 0);
+    if (d !== 0)
+      return d < 0 ? -1 : 1;
+  }
+  return 0;
+}
+function formatRelationship(rel) {
+  return `${rel.source} --[${rel.predicate}]--> ${rel.target}`;
+}
+function capped(items) {
+  return items.length > MAX_LISTED ? { items: items.slice(0, MAX_LISTED), omitted: items.length - MAX_LISTED } : { items };
+}
+function elementTypeRenames(changes) {
+  const byType = /* @__PURE__ */ new Map();
+  for (const change of changes) {
+    const key = `${change.fromType}->${change.toType}`, group = byType.get(key) ?? { fromType: change.fromType, toType: change.toType, elements: [] };
+    group.elements.push({ from: change.from, to: change.to }), byType.set(key, group);
+  }
+  return [...byType.values()].map((group) => {
+    const { items, omitted } = capped(group.elements);
+    return {
+      fromType: group.fromType,
+      toType: group.toType,
+      count: group.elements.length,
+      elements: items,
+      ...omitted ? { omitted } : {}
+    };
+  });
+}
+function relationshipChange(change) {
+  const staged = "changeset" in change ? change : void 0;
+  return {
+    action: change.action,
+    before: formatRelationship(change.before),
+    ...change.after ? { after: formatRelationship(change.after) } : {},
+    rules: change.rules,
+    ...staged ? { changeset: staged.changeset, stagedAs: staged.stagedAs } : {},
+    ...staged?.duplicateOf ? { duplicateOf: staged.duplicateOf } : {}
+  };
+}
+function relationshipRewrites(changes, label) {
+  const { items, omitted } = capped(changes);
+  return {
+    summary: summarizeRelationshipChanges(changes, label),
+    changes: items.map(relationshipChange),
+    ...omitted ? { omitted } : {}
+  };
+}
+function catalogReport(catalog, errors) {
+  const dropped = [...catalog.relationshipChanges, ...catalog.stagedRelationshipChanges].filter((change) => change.action === "dropped");
+  return {
+    elementTypeRenames: elementTypeRenames(catalog.elementTypeChanges),
+    relationshipRewrites: relationshipRewrites(catalog.relationshipChanges),
+    ...catalog.stagedRelationshipChanges.length > 0 ? { stagedRelationshipRewrites: relationshipRewrites(catalog.stagedRelationshipChanges, "staged relationship changes") } : {},
+    cannotMigrate: [
+      ...dropped.map((change) => ({
+        kind: "relationship-dropped",
+        relationship: formatRelationship(change.before),
+        reason: "The catalog has no replacement for this relationship type; it is removed.",
+        ..."changeset" in change ? { changeset: change.changeset } : {}
+      })),
+      ...errors.map((message) => ({ kind: "error", message }))
+    ]
+  };
+}
+function predictOrphans(model, catalog) {
+  const after = catalog.committedRelationshipsAfter;
+  if (!after)
+    return null;
+  const renamed = new Map(catalog.elementTypeChanges.map((change) => [change.from, change.to])), id = (elementId) => renamed.get(elementId) ?? elementId, elements = /* @__PURE__ */ new Set(), referenced = /* @__PURE__ */ new Set();
+  for (const layer of model.layers.values())
+    for (const element of layer.listElements()) {
+      const elementId = id(element.path || element.id);
+      if (elements.add(elementId), (element.references ?? []).length !== 0) {
+        referenced.add(elementId);
+        for (const ref of element.references ?? [])
+          referenced.add(id(ref.target));
+      }
+    }
+  const connectedAfter = new Set(referenced);
+  for (const rel of after)
+    connectedAfter.add(id(rel.source)), connectedAfter.add(id(rel.target));
+  const loses = /* @__PURE__ */ new Map();
+  for (const rel of model.getBaseRelationships())
+    for (const end of [id(rel.source), id(rel.target)])
+      !elements.has(end) || connectedAfter.has(end) || loses.set(end, [...loses.get(end) ?? [], formatRelationship(rel)]);
+  return [...loses.entries()].map(([elementId, lost]) => ({ elementId, loses: lost })).sort((a, b) => a.elementId.localeCompare(b.elementId));
+}
+async function wouldOrphan(projectRoot, catalog) {
+  if (!catalog.committedRelationshipsAfter && catalog.relationshipChanges.length === 0)
+    return {};
+  try {
+    const { Model } = await import("../../core/model.js"), orphans = predictOrphans(await Model.load(projectRoot, { lazyLoad: !1 }), catalog);
+    if (orphans === null)
+      return { wouldOrphan: { error: "Could not predict orphaned elements: the dry run didn't produce the migrated relationships." } };
+    if (orphans.length === 0)
+      return {};
+    const { items, omitted } = capped(orphans);
+    return {
+      wouldOrphan: {
+        count: orphans.length,
+        note: "These elements lose their last relationship with the dropped ones; validation reports them as orphaned after apply. Relink them, or accept them as they are.",
+        elements: items,
+        ...omitted ? { omitted } : {}
+      }
+    };
+  } catch (error) {
+    return { wouldOrphan: { error: `Could not predict orphaned elements: ${getErrorMessage(error)}` } };
+  }
+}
+function emptyCatalogDetails() {
+  return { elementTypeChanges: [], relationshipChanges: [], stagedRelationshipChanges: [] };
+}
+function actionSummary(action) {
+  return {
+    type: action.type,
+    description: action.description,
+    ...action.fromVersion ? { from: action.fromVersion } : {},
+    to: action.toVersion,
+    ...action.details?.length ? { details: action.details } : {}
+  };
+}
+function versions(scan) {
+  const model = scan.model.state === "found" ? scan.model : void 0;
+  return {
+    cliVersion: getCliVersion(),
+    cliSpecVersion: scan.bundledSpecVersion,
+    model: { specVersion: model?.specVersion ?? null, targetSpecVersion: model?.targetSpecVersion ?? null },
+    specReference: { installed: scan.installedSpecVersion }
+  };
+}
+async function previewCatalog(projectRoot, scan) {
+  if (scan.catalogPreview)
+    return { details: scan.catalogPreview.details, errors: scan.catalogPreview.errors };
+  if (!scan.steps.some((step) => step.rewritesCatalog))
+    return { details: emptyCatalogDetails(), errors: [] };
+  try {
+    const preview = await previewCatalogMigration(projectRoot);
+    return { details: preview.details, errors: preview.errors };
+  } catch (error) {
+    return {
+      details: emptyCatalogDetails(),
+      errors: [`Could not preview the catalog changes: ${getErrorMessage(error)}`]
+    };
+  }
+}
+async function validationSummary(model) {
+  const base = { ...model, relationships: new Relationships(model.getBaseRelationships()) }, result = await new Validator().validateModel(base);
+  addModelWarnings(result, base);
+  const issue = (item) => ({
+    layer: item.layer,
+    ...item.elementId ? { elementId: item.elementId } : {},
+    message: item.message
+  }), errors = result.errors.slice(0, MAX_VALIDATION_ERRORS).map(issue), warnings = result.warnings.slice(0, MAX_VALIDATION_ERRORS).map(issue);
+  return {
+    scope: "base model (staged changesets not included)",
+    valid: result.isValid(),
+    errorCount: result.errors.length,
+    warningCount: result.warnings.length,
+    ...errors.length > 0 ? { errors } : {},
+    ...result.errors.length > errors.length ? { moreErrors: result.errors.length - errors.length } : {},
+    ...warnings.length > 0 ? { warnings } : {},
+    ...result.warnings.length > warnings.length ? { moreWarnings: result.warnings.length - warnings.length } : {}
+  };
+}
+function changesetSummary(result) {
+  return {
+    rebaselined: result.rebaselined.map((ref) => ref.name),
+    ...result.drifted.length > 0 ? {
+      drifted: result.drifted.map((ref) => ref.name),
+      driftedNote: "These had drifted from the model before the upgrade; they keep their old base and need --force to commit."
+    } : {},
+    ...result.errors.length > 0 ? { errors: result.errors } : {}
+  };
+}
+function catalogCheckErrors(scan) {
+  return [
+    ...scan.catalogCheckError !== void 0 ? [`Could not check the model against the catalog: ${scan.catalogCheckError}`] : [],
+    ...scan.catalogPreview?.errors ?? []
+  ];
+}
+async function projectUpgradeHandler(args) {
+  return runTool(() => withConsoleOnStderr(async () => {
+    if (args.force && !args.apply)
+      throw new CLIError("force is only used together with apply: true", ErrorCategory.USER, [
+        "Preview without force first, then call project_upgrade with apply: true and force: true when the user approves"
+      ]);
+    const projectRoot = await upgradeRoot(args.rootPath), force = args.force === !0, scan = await scanUpgrades(projectRoot, { targetBundledSpec: !0, force });
+    if (scan.model.state !== "found")
+      throw new CLIError("The model's manifest has no spec version, so the upgrade can't tell which migrations it needs.", ErrorCategory.USER, ["Check spec_version in documentation-robotics/model/manifest.yaml"]);
+    const { specVersion, targetSpecVersion } = scan.model;
+    if (compareVersions(specVersion, targetSpecVersion) > 0) {
+      const message = `The model is at spec v${specVersion}, newer than the v${targetSpecVersion} this dr carries. Update dr to work with it.`;
+      if (args.apply)
+        throw new CLIError(message, ErrorCategory.USER, [
+          "Install a newer dr (npm install -g @documentation-robotics/cli)"
+        ]);
+      return jsonResult({ status: "model-newer", rootPath: projectRoot, ...versions(scan), message });
+    }
+    if (scan.noMigrationPath) {
+      const { from, to, available } = scan.noMigrationPath, message = `No migration leads from spec v${from} to v${to}. If the spec change is additive (new types and relationships only), project_upgrade with apply: true and force: true stamps the model with v${to} without changing its data.`;
+      if (args.apply)
+        throw new CLIError(message, ErrorCategory.USER, [
+          "Call project_upgrade with apply: true and force: true once the user approves stamping the new version"
+        ]);
+      return jsonResult({
+        status: "no-migration-path",
+        rootPath: projectRoot,
+        ...versions(scan),
+        message,
+        availableMigrations: available
+      });
+    }
+    const checkErrors = catalogCheckErrors(scan);
+    if (scan.actions.length === 0)
+      return checkErrors.length > 0 ? jsonResult({
+        status: "check-failed",
+        rootPath: projectRoot,
+        ...versions(scan),
+        message: `The model is at spec v${specVersion}, but it could not be checked against the catalog, so it may still need catalog changes. Nothing was changed.`,
+        errors: checkErrors
+      }) : jsonResult({
+        status: "up-to-date",
+        rootPath: projectRoot,
+        ...versions(scan),
+        message: `The model is at spec v${specVersion}, the version this dr carries. Nothing to upgrade.`
+      });
+    if (!args.apply) {
+      const catalog = await previewCatalog(projectRoot, scan), errors = [.../* @__PURE__ */ new Set([...checkErrors, ...catalog.errors])];
+      return jsonResult({
+        status: "preview",
+        rootPath: projectRoot,
+        ...versions(scan),
+        steps: scan.steps,
+        actions: scan.actions.map(actionSummary),
+        ...catalogReport(catalog.details, errors),
+        ...await wouldOrphan(projectRoot, catalog.details),
+        ...await hasLayerReports(projectRoot) ? {} : { reports: "No layer reports yet; applying generates them." },
+        ...await integrationsNote(projectRoot),
+        next: "Nothing has changed. Show this to the user; call project_upgrade with apply: true when they approve."
+      }, { compact: !0 });
+    }
+    const modelFilesBefore = await hashFiles(projectRoot, "documentation-robotics"), applied = [], details = emptyCatalogDetails();
+    let changesets;
+    try {
+      for (const action of scan.actions)
+        if (action.type === "spec")
+          await installSpecReference(projectRoot, !0), applied.push(actionSummary(action));
+        else if (action.type === "model") {
+          const result = await upgradeModel(projectRoot, {
+            fromVersion: action.fromVersion,
+            toVersion: action.toVersion,
+            // As `dr upgrade --force`: skip migration validation
+            validate: !force,
+            catalogOnly: action.catalogOnly,
+            versionBumpOnly: action.versionBumpOnly
+          });
+          changesets = result.changesets, action.versionBumpOnly && applied.push(actionSummary(action));
+          for (const step of result.migration?.applied ?? []) {
+            applied.push({
+              type: "model",
+              from: step.from,
+              to: step.to,
+              description: step.changes?.description ?? step.description
+            });
+            const stepDetails = step.changes?.details;
+            details.elementTypeChanges.push(...stepDetails?.elementTypeChanges ?? []), details.relationshipChanges.push(...stepDetails?.relationshipChanges ?? []), details.stagedRelationshipChanges.push(...stepDetails?.stagedRelationshipChanges ?? []);
+          }
+        }
+    } catch (error) {
+      if (applied.length === 0)
+        throw error;
+      return jsonResult({
+        status: "partially-applied",
+        rootPath: projectRoot,
+        applied,
+        ...filesChanged(modelFilesBefore, await hashFiles(projectRoot, "documentation-robotics")),
+        error: getErrorMessage(error),
+        next: "Some changes were written before the failure. Check the model (model_validate) and tell the user."
+      }, { isError: !0, compact: !0 });
+    } finally {
+      clearModelCache();
+    }
+    const { cannotMigrate, ...rewrites } = catalogReport(details, []), appliedResult = {
+      rootPath: projectRoot,
+      from: specVersion,
+      to: targetSpecVersion,
+      applied,
+      ...filesChanged(modelFilesBefore, await hashFiles(projectRoot, "documentation-robotics")),
+      ...rewrites,
+      ...cannotMigrate.length > 0 ? { dropped: cannotMigrate } : {},
+      ...changesets ? { changesets: changesetSummary(changesets) } : {}
+    }, warnings = [...checkErrors];
+    try {
+      if (!await hasLayerReports(projectRoot))
+        try {
+          await regenerateLayerReports(projectRoot, logToStderr);
+        } catch (error) {
+          warnings.push(`Layer reports were not generated: ${getErrorMessage(error)}`);
+        }
+      const model = await reloadModel(args.rootPath), validation = await validationSummary(model);
+      return jsonResult({
+        status: "applied",
+        ...appliedResult,
+        to: model.manifest.specVersion,
+        validation,
+        ...warnings.length > 0 ? { warnings } : {},
+        ...await integrationsNote(projectRoot)
+      }, { compact: !0 });
+    } catch (error) {
+      return jsonResult({
+        status: "applied-with-errors",
+        ...appliedResult,
+        followUpError: `The migration was applied, but reloading or validating the model failed: ${getErrorMessage(error)}`,
+        ...warnings.length > 0 ? { warnings } : {},
+        ...await integrationsNote(projectRoot),
+        next: "Tell the user the model was migrated, then check it with model_reload and model_validate."
+      }, { compact: !0 });
+    }
+  }));
+}
+const projectUpgradeTool = {
+  name: "project_upgrade",
+  description: "Move the model to the spec version this dr carries. Previews by default: the version path, element type renames, relationship rewrites, anything it can't migrate, and the elements the dropped relationships would leave orphaned (wouldOrphan). apply: true runs the migration, then reloads and validates the base model; force: true (with apply) stamps the version when no migration leads to it. The applied result counts the model files written and the warnings dr validate reports.",
+  inputSchema: upgradeInputSchema,
+  handler: projectUpgradeHandler
+};
+export {
+  predictOrphans,
+  projectInitHandler,
+  projectInitTool,
+  projectUpgradeHandler,
+  projectUpgradeTool,
+  withConsoleOnStderr,
+  wouldOrphan
+};
+//# sourceMappingURL=project-tools.js.map

package/dist/mcp/tools/project-tools.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/mcp/tools/project-tools.ts"],
+  "sourcesContent": ["/**\n * project_init, project_upgrade \u2014 onboard a project and move its model to a new spec version\n * from the conversation.\n *\n * project_init mirrors `dr init` without the prompts: the name and the rest are arguments. It\n * installs no per-project integration files (the Claude Code plugin replaces\n * `dr claude install`).\n *\n * project_upgrade mirrors `dr upgrade` for the spec reference and the model. It previews by\n * default: the version path, the element type renames and relationship rewrites the generated\n * migration table makes, and anything it can't migrate. `apply: true` runs the migration, then\n * reloads and validates the model with the warnings `dr validate` reports, and lists every model\n * file it wrote. Per-project integration files are left alone (the dr plugin replaces them).\n *\n * Both write outside a changeset, so changeset-only mode refuses them (mcp/changeset-only.ts),\n * and DrBot is not given them (coding-agents/drbot-mcp.ts).\n */\n\nimport { z } from \"zod\";\nimport { createHash } from \"node:crypto\";\nimport { readdir, readFile, stat } from \"node:fs/promises\";\nimport { isAbsolute, join, relative, resolve, sep } from \"node:path\";\nimport type { CallToolResult } from \"@modelcontextprotocol/sdk/types.js\";\nimport { initProject, hasModel } from \"../../core/project-init.js\";\nimport {\n  previewCatalogMigration,\n  scanUpgrades,\n  type UpgradeAction,\n  type UpgradeScan,\n  type UpgradeStep,\n} from \"../../core/upgrade-plan.js\";\nimport type { CatalogMigrationResult } from \"../../core/catalog-migration.js\";\nimport type { ElementTypeRenameChange } from \"../../core/element-type-migration.js\";\nimport {\n  summarizeRelationshipChanges,\n  type RelationshipRewriteChange,\n  type StagedRelationshipRewriteChange,\n} from \"../../core/relationship-migration.js\";\nimport { upgradeModel, type ChangesetRebaselineResult } from \"../../core/model-upgrade.js\";\nimport type { Model } from \"../../core/model.js\";\nimport { Relationships } from \"../../core/relationships.js\";\nimport { installSpecReference } from \"../../utils/spec-installer.js\";\nimport { findProjectRoot } from \"../../utils/project-paths.js\";\nimport { getCliVersion } from \"../../utils/spec-version.js\";\nimport { CLIError, ErrorCategory, getErrorMessage } from \"../../utils/errors.js\";\nimport { isDebug, isVerbose } from \"../../utils/globals.js\";\nimport { Validator } from \"../../validators/validator.js\";\nimport { addModelWarnings } from \"../../validators/model-warnings.js\";\nimport { fileExists } from \"../../utils/file-io.js\";\nimport { hasLayerReports, regenerateLayerReports } from \"../../commands/reports.js\";\nimport { currentProjectRoot, whenProjectRootSettled } from \"../project-root.js\";\nimport { clearModelCache, jsonResult, reloadModel, runTool, type McpToolDefinition } from \"./shared.js\";\n\n/** The MCP server's stdout carries the protocol: progress lines go to stderr. */\nconst logToStderr = (message: string): void => {\n  process.stderr.write(`[mcp] ${message}\\n`);\n};\n\n/** --verbose and --debug lines from the shared cores, on stderr. */\nconst verboseToStderr = (message: string): void => {\n  if (isVerbose()) logToStderr(message);\n};\nconst debugToStderr = (message: string): void => {\n  if (isDebug()) logToStderr(`[DEBUG] ${message}`);\n};\n\nlet consoleGuards = 0;\nlet savedConsole: Pick<Console, \"log\" | \"info\" | \"debug\"> | undefined;\n\n/**\n * Runs fn with console.log, console.info and console.debug sent to stderr. The init and upgrade\n * cores are CLI code: any line one of them prints while this server runs over stdio would land in\n * the JSON-RPC stream. Counted, so overlapping calls restore the console only when the last ends.\n */\nexport async function withConsoleOnStderr<T>(fn: () => Promise<T>): Promise<T> {\n  if (consoleGuards++ === 0) {\n    savedConsole = { log: console.log, info: console.info, debug: console.debug };\n    const toStderr = (...args: unknown[]) => console.error(...args);\n    console.log = toStderr;\n    console.info = toStderr;\n    console.debug = toStderr;\n  }\n  try {\n    return await fn();\n  } finally {\n    if (--consoleGuards === 0 && savedConsole) {\n      console.log = savedConsole.log;\n      console.info = savedConsole.info;\n      console.debug = savedConsole.debug;\n      savedConsole = undefined;\n    }\n  }\n}\n\n/** A rootPath argument must be absolute: a relative one would resolve against the server's cwd. */\nfunction absoluteRootPath(rootPath: string): string {\n  if (!isAbsolute(rootPath)) {\n    throw new CLIError(`rootPath must be an absolute path: ${rootPath}`, ErrorCategory.USER, [\n      \"Pass the absolute path of the project folder\",\n    ]);\n  }\n  return resolve(rootPath);\n}\n\n/** At most this many relationship rewrites or element renames are listed; the rest are counted. */\nconst MAX_LISTED = 200;\n/** At most this many validation errors are listed after an upgrade. */\nconst MAX_VALIDATION_ERRORS = 20;\n\n// ---------------------------------------------------------------------------\n// project_init\n// ---------------------------------------------------------------------------\n\nconst initInputSchema = {\n  name: z.string().trim().min(1).describe(\"The model's name, usually the project's.\"),\n  description: z.string().optional().describe(\"What the model describes.\"),\n  author: z.string().optional().describe(\"The model's author or owning team.\"),\n  rootPath: z\n    .string()\n    .optional()\n    .describe(\n      \"Absolute path of the folder to create the model in (documentation-robotics/ goes inside it). Defaults to the project the client has open (its MCP roots).\"\n    ),\n};\n\nexport type ProjectInitArgs = z.infer<z.ZodObject<typeof initInputSchema>>;\n\n/**\n * The folder to create the model in: rootPath, else the folder the client has open (or the one\n * DR_MCP_ROOT_PATH names). Never the server's own working directory, which for a server\n * registered once per user is wherever the client started it.\n */\nasync function initRoot(rootPath: string | undefined): Promise<string> {\n  let root: string;\n  if (rootPath !== undefined) {\n    root = absoluteRootPath(rootPath);\n  } else {\n    await whenProjectRootSettled();\n    const current = currentProjectRoot();\n    if (current.source === \"cwd\") {\n      throw new CLIError(\n        \"The client has not said which folder is open (no MCP roots), so there is no folder to create the model in.\",\n        ErrorCategory.USER,\n        [\"Pass rootPath: the absolute path of the project folder\"]\n      );\n    }\n    root = current.root;\n  }\n\n  let isDirectory = false;\n  try {\n    isDirectory = (await stat(root)).isDirectory();\n  } catch {\n    // Reported below.\n  }\n  if (!isDirectory) {\n    throw new CLIError(`Not a folder: ${root}`, ErrorCategory.NOT_FOUND, [\n      \"Pass rootPath: the absolute path of an existing project folder\",\n    ]);\n  }\n  return root;\n}\n\nexport async function projectInitHandler(args: ProjectInitArgs): Promise<CallToolResult> {\n  return runTool(() => withConsoleOnStderr(async () => {\n    const root = await initRoot(args.rootPath);\n    if (await hasModel(root)) {\n      throw new CLIError(`A DR model already exists in ${root}`, ErrorCategory.USER, [\n        'Use the model tools (model_info, model_search) to work with it, or \"project_upgrade\" to move it to the current spec version',\n      ]);\n    }\n\n    const result = await initProject(root, {\n      name: args.name,\n      description: args.description,\n      author: args.author,\n      log: logToStderr,\n      logVerbose: verboseToStderr,\n      logDebug: debugToStderr,\n    });\n\n    // Drop every cached model (and any failed \"no model\" lookup) so the next call reads the\n    // new one, then warm the cache for the folder the model was created in.\n    clearModelCache();\n    try {\n      await reloadModel(args.rootPath);\n    } catch (error) {\n      // The model was created; the next tool call loads it.\n      logToStderr(`after project_init, loading the new model failed: ${getErrorMessage(error)}`);\n    }\n\n    return jsonResult({\n      status: \"created\",\n      rootPath: result.rootPath,\n      model: {\n        name: result.name,\n        version: result.version,\n        specVersion: result.specVersion,\n        path: result.modelPath,\n      },\n      ...(result.reportError !== undefined\n        ? { warnings: [`Layer reports and README were not generated: ${result.reportError}`] }\n        : {}),\n      next: \"The model is empty. Ask the user whether to bootstrap it from the code now (codebase_index, then codebase_extract) or let it grow with each change (changeset_create), and wait for their answer.\",\n    });\n  }));\n}\n\nexport const projectInitTool: McpToolDefinition<typeof initInputSchema> = {\n  name: \"project_init\",\n  description:\n    \"Create an empty DR model at the current spec version in the project folder (documentation-robotics/), with its spec reference (.dr/) and layer reports. Before calling it, propose a name (usually the project's) and confirm it with the user. Fails if the folder already has a model. Installs no integration files.\",\n  inputSchema: initInputSchema,\n  handler: projectInitHandler,\n};\n\n// ---------------------------------------------------------------------------\n// project_upgrade\n// ---------------------------------------------------------------------------\n\nconst upgradeInputSchema = {\n  apply: z\n    .boolean()\n    .optional()\n    .describe(\n      \"Apply the migration. Without it the tool only previews: show the preview to the user and apply only when they approve.\"\n    ),\n  force: z\n    .boolean()\n    .optional()\n    .describe(\n      \"Only with apply: true. As `dr upgrade --force`: stamp the new spec version when no migration leads to it (additive spec changes), reinstall the spec reference, and skip migration validation. Use it only when the user approves.\"\n    ),\n  rootPath: z\n    .string()\n    .optional()\n    .describe(\n      \"Absolute path to the project root containing documentation-robotics/. Defaults to the project the client has open (its MCP roots).\"\n    ),\n};\n\nexport type ProjectUpgradeArgs = z.infer<z.ZodObject<typeof upgradeInputSchema>>;\n\n/**\n * What to say about per-project integration files, which the dr plugin replaces: nothing when\n * there are none, which is the usual case.\n */\nasync function integrationsNote(projectRoot: string): Promise<{ integrations?: string }> {\n  const notes: string[] = [];\n  if (await fileExists(join(projectRoot, \".claude\", \".dr-version\"))) {\n    notes.push(\n      \"This project still has per-project integration files from `dr claude install` (.claude/). The dr Claude Code plugin replaces them and project_upgrade leaves them alone; the user can remove them.\"\n    );\n  }\n  if (await fileExists(join(projectRoot, \".github\", \".dr-copilot-version\"))) {\n    notes.push(\n      \"This project has per-project GitHub Copilot integration files from `dr copilot install` (.github/), which project_upgrade leaves alone. To bring them up to this dr's version, the user runs `dr copilot upgrade` in a terminal (there is no tool for it).\"\n    );\n  }\n  return notes.length > 0 ? { integrations: notes.join(\" \") } : {};\n}\n\n/** Every file under `dir` with a hash of its content, by path relative to `root`. */\nasync function hashFiles(root: string, dir: string): Promise<Map<string, string>> {\n  const hashes = new Map<string, string>();\n  let entries;\n  try {\n    entries = await readdir(join(root, dir), { recursive: true, withFileTypes: true });\n  } catch {\n    return hashes;\n  }\n  for (const entry of entries) {\n    if (!entry.isFile()) continue;\n    const file = join(entry.parentPath, entry.name);\n    try {\n      hashes.set(relative(root, file).split(sep).join(\"/\"), createHash(\"sha1\").update(await readFile(file)).digest(\"hex\"));\n    } catch {\n      // gone since the listing\n    }\n  }\n  return hashes;\n}\n\n/** The files written, added and removed between two hashFiles snapshots. */\nfunction filesChanged(before: Map<string, string>, after: Map<string, string>) {\n  const modified: string[] = [];\n  const added: string[] = [];\n  for (const [file, hash] of after) {\n    const old = before.get(file);\n    if (old === undefined) added.push(file);\n    else if (old !== hash) modified.push(file);\n  }\n  const removed = [...before.keys()].filter((file) => !after.has(file));\n  return {\n    filesModified: modified.length + added.length + removed.length,\n    files: { modified: modified.sort(), added: added.sort(), removed: removed.sort() },\n  };\n}\n\nasync function upgradeRoot(rootPath: string | undefined): Promise<string> {\n  if (rootPath === undefined) await whenProjectRootSettled();\n  const start = rootPath !== undefined ? absoluteRootPath(rootPath) : process.cwd();\n  const root = await findProjectRoot(start);\n  if (!root || !(await hasModel(root))) {\n    throw new CLIError(`No DR model found at ${start}`, ErrorCategory.NOT_FOUND, [\n      'Call \"project_init\" to create one',\n    ]);\n  }\n  return root;\n}\n\nfunction compareVersions(a: string, b: string): number {\n  const as = a.split(\".\").map(Number);\n  const bs = b.split(\".\").map(Number);\n  for (let i = 0; i < Math.max(as.length, bs.length); i++) {\n    const d = (as[i] || 0) - (bs[i] || 0);\n    if (d !== 0) return d < 0 ? -1 : 1;\n  }\n  return 0;\n}\n\nfunction formatRelationship(rel: { source: string; predicate: string; target: string }): string {\n  return `${rel.source} --[${rel.predicate}]--> ${rel.target}`;\n}\n\nfunction capped<T>(items: T[]): { items: T[]; omitted?: number } {\n  return items.length > MAX_LISTED ? { items: items.slice(0, MAX_LISTED), omitted: items.length - MAX_LISTED } : { items };\n}\n\nfunction elementTypeRenames(changes: ElementTypeRenameChange[]) {\n  const byType = new Map<string, { fromType: string; toType: string; elements: Array<{ from: string; to: string }> }>();\n  for (const change of changes) {\n    const key = `${change.fromType}->${change.toType}`;\n    const group = byType.get(key) ?? { fromType: change.fromType, toType: change.toType, elements: [] };\n    group.elements.push({ from: change.from, to: change.to });\n    byType.set(key, group);\n  }\n  return [...byType.values()].map((group) => {\n    const { items, omitted } = capped(group.elements);\n    return {\n      fromType: group.fromType,\n      toType: group.toType,\n      count: group.elements.length,\n      elements: items,\n      ...(omitted ? { omitted } : {}),\n    };\n  });\n}\n\nfunction relationshipChange(change: RelationshipRewriteChange | StagedRelationshipRewriteChange) {\n  const staged = \"changeset\" in change ? change : undefined;\n  return {\n    action: change.action,\n    before: formatRelationship(change.before),\n    ...(change.after ? { after: formatRelationship(change.after) } : {}),\n    rules: change.rules,\n    ...(staged ? { changeset: staged.changeset, stagedAs: staged.stagedAs } : {}),\n    ...(staged?.duplicateOf ? { duplicateOf: staged.duplicateOf } : {}),\n  };\n}\n\nfunction relationshipRewrites(changes: RelationshipRewriteChange[], label?: string) {\n  const { items, omitted } = capped(changes);\n  return {\n    summary: summarizeRelationshipChanges(changes, label),\n    changes: items.map(relationshipChange),\n    ...(omitted ? { omitted } : {}),\n  };\n}\n\n/** What a catalog migration renames and rewrites, and what it drops or fails on. */\nfunction catalogReport(catalog: CatalogMigrationResult[\"details\"], errors: string[]) {\n  const dropped = [...catalog.relationshipChanges, ...catalog.stagedRelationshipChanges].filter(\n    (change) => change.action === \"dropped\"\n  );\n  return {\n    elementTypeRenames: elementTypeRenames(catalog.elementTypeChanges),\n    relationshipRewrites: relationshipRewrites(catalog.relationshipChanges),\n    ...(catalog.stagedRelationshipChanges.length > 0\n      ? { stagedRelationshipRewrites: relationshipRewrites(catalog.stagedRelationshipChanges, \"staged relationship changes\") }\n      : {}),\n    cannotMigrate: [\n      ...dropped.map((change) => ({\n        kind: \"relationship-dropped\",\n        relationship: formatRelationship(change.before),\n        reason: \"The catalog has no replacement for this relationship type; it is removed.\",\n        ...(\"changeset\" in change ? { changeset: (change as StagedRelationshipRewriteChange).changeset } : {}),\n      })),\n      ...errors.map((message) => ({ kind: \"error\", message })),\n    ],\n  };\n}\n\n/**\n * The elements the migration would leave with no relationship and no reference: connected now,\n * and not in the relationships the migration itself produces (`committedRelationshipsAfter`,\n * from its dry run). What `dr validate` reports as orphaned after apply, staged changes aside as\n * in the applied validation. Only elements are reported, under their post-migration ids; a\n * relationship end that names no element is never one. Null when the dry run didn't produce the\n * migrated relationships.\n */\nexport function predictOrphans(\n  model: Pick<Model, \"layers\" | \"getBaseRelationships\">,\n  catalog: CatalogMigrationResult[\"details\"]\n): Array<{ elementId: string; loses: string[] }> | null {\n  const after = catalog.committedRelationshipsAfter;\n  if (!after) return null;\n  // In a dry run the element files aren't renamed yet, so ids may still be the old ones.\n  const renamed = new Map(catalog.elementTypeChanges.map((change) => [change.from, change.to]));\n  const id = (elementId: string) => renamed.get(elementId) ?? elementId;\n\n  const elements = new Set<string>();\n  const referenced = new Set<string>();\n  for (const layer of model.layers.values()) {\n    for (const element of layer.listElements()) {\n      const elementId = id(element.path || element.id);\n      elements.add(elementId);\n      if ((element.references ?? []).length === 0) continue;\n      referenced.add(elementId);\n      for (const ref of element.references ?? []) referenced.add(id(ref.target));\n    }\n  }\n\n  const connectedAfter = new Set(referenced);\n  for (const rel of after) {\n    connectedAfter.add(id(rel.source));\n    connectedAfter.add(id(rel.target));\n  }\n  const loses = new Map<string, string[]>();\n  for (const rel of model.getBaseRelationships()) {\n    for (const end of [id(rel.source), id(rel.target)]) {\n      if (!elements.has(end) || connectedAfter.has(end)) continue;\n      loses.set(end, [...(loses.get(end) ?? []), formatRelationship(rel)]);\n    }\n  }\n  return [...loses.entries()]\n    .map(([elementId, lost]) => ({ elementId, loses: lost }))\n    .sort((a, b) => a.elementId.localeCompare(b.elementId));\n}\n\n/** predictOrphans for the preview, loading the model; says so when it can't predict. */\nexport async function wouldOrphan(projectRoot: string, catalog: CatalogMigrationResult[\"details\"]) {\n  // Any rewrite can orphan an element (one that moves a relationship to other elements, as much\n  // as a drop), so it runs whenever the dry run gave the migrated relationships.\n  if (!catalog.committedRelationshipsAfter && catalog.relationshipChanges.length === 0) return {};\n  try {\n    const { Model } = await import(\"../../core/model.js\");\n    const orphans = predictOrphans(await Model.load(projectRoot, { lazyLoad: false }), catalog);\n    if (orphans === null) {\n      return { wouldOrphan: { error: \"Could not predict orphaned elements: the dry run didn't produce the migrated relationships.\" } };\n    }\n    if (orphans.length === 0) return {};\n    const { items, omitted } = capped(orphans);\n    return {\n      wouldOrphan: {\n        count: orphans.length,\n        note: \"These elements lose their last relationship with the dropped ones; validation reports them as orphaned after apply. Relink them, or accept them as they are.\",\n        elements: items,\n        ...(omitted ? { omitted } : {}),\n      },\n    };\n  } catch (error) {\n    return { wouldOrphan: { error: `Could not predict orphaned elements: ${getErrorMessage(error)}` } };\n  }\n}\n\nfunction emptyCatalogDetails(): CatalogMigrationResult[\"details\"] {\n  return { elementTypeChanges: [], relationshipChanges: [], stagedRelationshipChanges: [] };\n}\n\nfunction actionSummary(action: UpgradeAction) {\n  return {\n    type: action.type,\n    description: action.description,\n    ...(action.fromVersion ? { from: action.fromVersion } : {}),\n    to: action.toVersion,\n    ...(action.details?.length ? { details: action.details } : {}),\n  };\n}\n\nfunction versions(scan: UpgradeScan) {\n  const model = scan.model.state === \"found\" ? scan.model : undefined;\n  return {\n    cliVersion: getCliVersion(),\n    cliSpecVersion: scan.bundledSpecVersion,\n    model: { specVersion: model?.specVersion ?? null, targetSpecVersion: model?.targetSpecVersion ?? null },\n    specReference: { installed: scan.installedSpecVersion },\n  };\n}\n\n/** The catalog changes the plan makes: from the scan, or a dry run when a step rewrites the catalog. */\nasync function previewCatalog(\n  projectRoot: string,\n  scan: UpgradeScan\n): Promise<{ details: CatalogMigrationResult[\"details\"]; errors: string[] }> {\n  if (scan.catalogPreview) {\n    return { details: scan.catalogPreview.details, errors: scan.catalogPreview.errors };\n  }\n  if (!scan.steps.some((step: UpgradeStep) => step.rewritesCatalog)) {\n    return { details: emptyCatalogDetails(), errors: [] };\n  }\n  try {\n    const preview = await previewCatalogMigration(projectRoot);\n    return { details: preview.details, errors: preview.errors };\n  } catch (error) {\n    return {\n      details: emptyCatalogDetails(),\n      errors: [`Could not preview the catalog changes: ${getErrorMessage(error)}`],\n    };\n  }\n}\n\n/**\n * Validate the committed model only, with the warnings `dr validate` adds (orphaned elements, no\n * source reference), so the counts match it. Model.load merges an active changeset's staged\n * relationship adds and deletes into `relationships` (its layers stay the base), so the check\n * swaps the committed relationships back in rather than validate a mix of base and plan.\n */\nasync function validationSummary(model: Model) {\n  const base = { ...model, relationships: new Relationships(model.getBaseRelationships()) } as unknown as Model;\n  const result = await new Validator().validateModel(base);\n  addModelWarnings(result, base);\n  const issue = (item: { layer: string; elementId?: string; message: string }) => ({\n    layer: item.layer,\n    ...(item.elementId ? { elementId: item.elementId } : {}),\n    message: item.message,\n  });\n  const errors = result.errors.slice(0, MAX_VALIDATION_ERRORS).map(issue);\n  const warnings = result.warnings.slice(0, MAX_VALIDATION_ERRORS).map(issue);\n  return {\n    scope: \"base model (staged changesets not included)\",\n    valid: result.isValid(),\n    errorCount: result.errors.length,\n    warningCount: result.warnings.length,\n    ...(errors.length > 0 ? { errors } : {}),\n    ...(result.errors.length > errors.length ? { moreErrors: result.errors.length - errors.length } : {}),\n    ...(warnings.length > 0 ? { warnings } : {}),\n    ...(result.warnings.length > warnings.length ? { moreWarnings: result.warnings.length - warnings.length } : {}),\n  };\n}\n\nfunction changesetSummary(result: ChangesetRebaselineResult) {\n  return {\n    rebaselined: result.rebaselined.map((ref) => ref.name),\n    ...(result.drifted.length > 0\n      ? {\n          drifted: result.drifted.map((ref) => ref.name),\n          driftedNote:\n            \"These had drifted from the model before the upgrade; they keep their old base and need --force to commit.\",\n        }\n      : {}),\n    ...(result.errors.length > 0 ? { errors: result.errors } : {}),\n  };\n}\n\n/** Why the scan couldn't check the model against the catalog, if it couldn't. */\nfunction catalogCheckErrors(scan: UpgradeScan): string[] {\n  return [\n    ...(scan.catalogCheckError !== undefined\n      ? [`Could not check the model against the catalog: ${scan.catalogCheckError}`]\n      : []),\n    ...(scan.catalogPreview?.errors ?? []),\n  ];\n}\n\nexport async function projectUpgradeHandler(args: ProjectUpgradeArgs): Promise<CallToolResult> {\n  return runTool(() => withConsoleOnStderr(async () => {\n    if (args.force && !args.apply) {\n      throw new CLIError(\"force is only used together with apply: true\", ErrorCategory.USER, [\n        \"Preview without force first, then call project_upgrade with apply: true and force: true when the user approves\",\n      ]);\n    }\n    const projectRoot = await upgradeRoot(args.rootPath);\n    const force = args.force === true;\n    const scan = await scanUpgrades(projectRoot, { targetBundledSpec: true, force });\n\n    if (scan.model.state !== \"found\") {\n      throw new CLIError(\n        \"The model's manifest has no spec version, so the upgrade can't tell which migrations it needs.\",\n        ErrorCategory.USER,\n        [\"Check spec_version in documentation-robotics/model/manifest.yaml\"]\n      );\n    }\n\n    // A model ahead of this dr can't be migrated, with or without force.\n    const { specVersion, targetSpecVersion } = scan.model;\n    if (compareVersions(specVersion, targetSpecVersion) > 0) {\n      const message = `The model is at spec v${specVersion}, newer than the v${targetSpecVersion} this dr carries. Update dr to work with it.`;\n      if (args.apply) {\n        throw new CLIError(message, ErrorCategory.USER, [\n          \"Install a newer dr (npm install -g @documentation-robotics/cli)\",\n        ]);\n      }\n      return jsonResult({ status: \"model-newer\", rootPath: projectRoot, ...versions(scan), message });\n    }\n\n    if (scan.noMigrationPath) {\n      const { from, to, available } = scan.noMigrationPath;\n      const message = `No migration leads from spec v${from} to v${to}. If the spec change is additive (new types and relationships only), project_upgrade with apply: true and force: true stamps the model with v${to} without changing its data.`;\n      if (args.apply) {\n        throw new CLIError(message, ErrorCategory.USER, [\n          \"Call project_upgrade with apply: true and force: true once the user approves stamping the new version\",\n        ]);\n      }\n      return jsonResult({\n        status: \"no-migration-path\",\n        rootPath: projectRoot,\n        ...versions(scan),\n        message,\n        availableMigrations: available,\n      });\n    }\n\n    const checkErrors = catalogCheckErrors(scan);\n    if (scan.actions.length === 0) {\n      if (checkErrors.length > 0) {\n        return jsonResult({\n          status: \"check-failed\",\n          rootPath: projectRoot,\n          ...versions(scan),\n          message: `The model is at spec v${specVersion}, but it could not be checked against the catalog, so it may still need catalog changes. Nothing was changed.`,\n          errors: checkErrors,\n        });\n      }\n      return jsonResult({\n        status: \"up-to-date\",\n        rootPath: projectRoot,\n        ...versions(scan),\n        message: `The model is at spec v${specVersion}, the version this dr carries. Nothing to upgrade.`,\n      });\n    }\n\n    if (!args.apply) {\n      const catalog = await previewCatalog(projectRoot, scan);\n      const errors = [...new Set([...checkErrors, ...catalog.errors])];\n      return jsonResult(\n        {\n          status: \"preview\",\n          rootPath: projectRoot,\n          ...versions(scan),\n          steps: scan.steps,\n          actions: scan.actions.map(actionSummary),\n          ...catalogReport(catalog.details, errors),\n          ...(await wouldOrphan(projectRoot, catalog.details)),\n          ...(!(await hasLayerReports(projectRoot)) ? { reports: \"No layer reports yet; applying generates them.\" } : {}),\n          ...(await integrationsNote(projectRoot)),\n          next: \"Nothing has changed. Show this to the user; call project_upgrade with apply: true when they approve.\",\n        },\n        { compact: true }\n      );\n    }\n\n    // Apply: spec reference first, then the model, as `dr upgrade` does. The model folder is\n    // hashed before and after, so the result names every file the migration wrote, added or removed.\n    const modelFilesBefore = await hashFiles(projectRoot, \"documentation-robotics\");\n    const applied: Array<Record<string, unknown>> = [];\n    const details = emptyCatalogDetails();\n    let changesets: ChangesetRebaselineResult | undefined;\n    try {\n      for (const action of scan.actions) {\n        if (action.type === \"spec\") {\n          await installSpecReference(projectRoot, true);\n          applied.push(actionSummary(action));\n        } else if (action.type === \"model\") {\n          const result = await upgradeModel(projectRoot, {\n            fromVersion: action.fromVersion!,\n            toVersion: action.toVersion,\n            // As `dr upgrade --force`: skip migration validation\n            validate: !force,\n            catalogOnly: action.catalogOnly,\n            versionBumpOnly: action.versionBumpOnly,\n          });\n          changesets = result.changesets;\n          if (action.versionBumpOnly) {\n            applied.push(actionSummary(action));\n          }\n          for (const step of result.migration?.applied ?? []) {\n            // No per-step file count: the migrations count only some of the files they write.\n            applied.push({\n              type: \"model\",\n              from: step.from,\n              to: step.to,\n              description: step.changes?.description ?? step.description,\n            });\n            const stepDetails = step.changes?.details as Partial<CatalogMigrationResult[\"details\"]> | undefined;\n            details.elementTypeChanges.push(...(stepDetails?.elementTypeChanges ?? []));\n            details.relationshipChanges.push(...(stepDetails?.relationshipChanges ?? []));\n            details.stagedRelationshipChanges.push(...(stepDetails?.stagedRelationshipChanges ?? []));\n          }\n        }\n      }\n    } catch (error) {\n      if (applied.length === 0) throw error;\n      // Part of the plan is already on disk: say what, then what failed.\n      return jsonResult(\n        {\n          status: \"partially-applied\",\n          rootPath: projectRoot,\n          applied,\n          ...filesChanged(modelFilesBefore, await hashFiles(projectRoot, \"documentation-robotics\")),\n          error: getErrorMessage(error),\n          next: \"Some changes were written before the failure. Check the model (model_validate) and tell the user.\",\n        },\n        { isError: true, compact: true }\n      );\n    } finally {\n      // Files changed on disk under any cached model, even when a step failed part way.\n      clearModelCache();\n    }\n\n    const { cannotMigrate, ...rewrites } = catalogReport(details, []);\n    const appliedResult = {\n      rootPath: projectRoot,\n      from: specVersion,\n      to: targetSpecVersion,\n      applied,\n      ...filesChanged(modelFilesBefore, await hashFiles(projectRoot, \"documentation-robotics\")),\n      ...rewrites,\n      ...(cannotMigrate.length > 0 ? { dropped: cannotMigrate } : {}),\n      ...(changesets ? { changesets: changesetSummary(changesets) } : {}),\n    };\n    const warnings = [...checkErrors];\n\n    // The migration is on disk from here: a failure in the follow-up steps is reported with it.\n    try {\n      if (!(await hasLayerReports(projectRoot))) {\n        try {\n          await regenerateLayerReports(projectRoot, logToStderr);\n        } catch (error) {\n          warnings.push(`Layer reports were not generated: ${getErrorMessage(error)}`);\n        }\n      }\n      const model = await reloadModel(args.rootPath);\n      const validation = await validationSummary(model);\n      return jsonResult(\n        {\n          status: \"applied\",\n          ...appliedResult,\n          to: model.manifest.specVersion,\n          validation,\n          ...(warnings.length > 0 ? { warnings } : {}),\n          ...(await integrationsNote(projectRoot)),\n        },\n        { compact: true }\n      );\n    } catch (error) {\n      return jsonResult(\n        {\n          status: \"applied-with-errors\",\n          ...appliedResult,\n          followUpError: `The migration was applied, but reloading or validating the model failed: ${getErrorMessage(error)}`,\n          ...(warnings.length > 0 ? { warnings } : {}),\n          ...(await integrationsNote(projectRoot)),\n          next: \"Tell the user the model was migrated, then check it with model_reload and model_validate.\",\n        },\n        { compact: true }\n      );\n    }\n  }));\n}\n\nexport const projectUpgradeTool: McpToolDefinition<typeof upgradeInputSchema> = {\n  name: \"project_upgrade\",\n  description:\n    \"Move the model to the spec version this dr carries. Previews by default: the version path, element type renames, relationship rewrites, anything it can't migrate, and the elements the dropped relationships would leave orphaned (wouldOrphan). apply: true runs the migration, then reloads and validates the base model; force: true (with apply) stamps the version when no migration leads to it. The applied result counts the model files written and the warnings dr validate reports.\",\n  inputSchema: upgradeInputSchema,\n  handler: projectUpgradeHandler,\n};\n"],
+  "mappings": "AAkBA,SAAS,SAAS;AAClB,SAAS,kBAAkB;AAC3B,SAAS,SAAS,UAAU,YAAY;AACxC,SAAS,YAAY,MAAM,UAAU,SAAS,WAAW;AAEzD,SAAS,aAAa,gBAAgB;AACtC,SACE,yBACA,oBAIK;AAGP,SACE,oCAGK;AACP,SAAS,oBAAoD;AAE7D,SAAS,qBAAqB;AAC9B,SAAS,4BAA4B;AACrC,SAAS,uBAAuB;AAChC,SAAS,qBAAqB;AAC9B,SAAS,UAAU,eAAe,uBAAuB;AACzD,SAAS,SAAS,iBAAiB;AACnC,SAAS,iBAAiB;AAC1B,SAAS,wBAAwB;AACjC,SAAS,kBAAkB;AAC3B,SAAS,iBAAiB,8BAA8B;AACxD,SAAS,oBAAoB,8BAA8B;AAC3D,SAAS,iBAAiB,YAAY,aAAa,eAAuC;AAG1F,MAAM,cAAc,CAAC,YAAyB;AAC5C,UAAQ,OAAO,MAAM,SAAS,OAAO;CAAI;AAC3C,GAGM,kBAAkB,CAAC,YAAyB;AAChD,EAAI,UAAS,KAAI,YAAY,OAAO;AACtC,GACM,gBAAgB,CAAC,YAAyB;AAC9C,EAAI,QAAO,KAAI,YAAY,WAAW,OAAO,EAAE;AACjD;AAEA,IAAI,gBAAgB,GAChB;AAOJ,eAAsB,oBAAuB,IAAoB;AAC/D,MAAI,oBAAoB,GAAG;AACzB,mBAAe,EAAE,KAAK,QAAQ,KAAK,MAAM,QAAQ,MAAM,OAAO,QAAQ,MAAK;AAC3E,UAAM,WAAW,IAAI,SAAoB,QAAQ,MAAM,GAAG,IAAI;AAC9D,YAAQ,MAAM,UACd,QAAQ,OAAO,UACf,QAAQ,QAAQ;EAClB;AACA,MAAI;AACF,WAAO,MAAM,GAAE;EACjB;AACE,IAAI,EAAE,kBAAkB,KAAK,iBAC3B,QAAQ,MAAM,aAAa,KAC3B,QAAQ,OAAO,aAAa,MAC5B,QAAQ,QAAQ,aAAa,OAC7B,eAAe;EAEnB;AACF;AAGA,SAAS,iBAAiB,UAAgB;AACxC,MAAI,CAAC,WAAW,QAAQ;AACtB,UAAM,IAAI,SAAS,sCAAsC,QAAQ,IAAI,cAAc,MAAM;MACvF;KACD;AAEH,SAAO,QAAQ,QAAQ;AACzB;AAGA,MAAM,aAAa,KAEb,wBAAwB,IAMxB,kBAAkB;EACtB,MAAM,EAAE,OAAM,EAAG,KAAI,EAAG,IAAI,CAAC,EAAE,SAAS,0CAA0C;EAClF,aAAa,EAAE,OAAM,EAAG,SAAQ,EAAG,SAAS,2BAA2B;EACvE,QAAQ,EAAE,OAAM,EAAG,SAAQ,EAAG,SAAS,oCAAoC;EAC3E,UAAU,EACP,OAAM,EACN,SAAQ,EACR,SACC,2JAA2J;;AAWjK,eAAe,SAAS,UAA4B;AAClD,MAAI;AACJ,MAAI,aAAa;AACf,WAAO,iBAAiB,QAAQ;OAC3B;AACL,UAAM,uBAAsB;AAC5B,UAAM,UAAU,mBAAkB;AAClC,QAAI,QAAQ,WAAW;AACrB,YAAM,IAAI,SACR,8GACA,cAAc,MACd,CAAC,wDAAwD,CAAC;AAG9D,WAAO,QAAQ;EACjB;AAEA,MAAI,cAAc;AAClB,MAAI;AACF,mBAAe,MAAM,KAAK,IAAI,GAAG,YAAW;EAC9C,QAAQ;EAER;AACA,MAAI,CAAC;AACH,UAAM,IAAI,SAAS,iBAAiB,IAAI,IAAI,cAAc,WAAW;MACnE;KACD;AAEH,SAAO;AACT;AAEA,eAAsB,mBAAmB,MAAqB;AAC5D,SAAO,QAAQ,MAAM,oBAAoB,YAAW;AAClD,UAAM,OAAO,MAAM,SAAS,KAAK,QAAQ;AACzC,QAAI,MAAM,SAAS,IAAI;AACrB,YAAM,IAAI,SAAS,gCAAgC,IAAI,IAAI,cAAc,MAAM;QAC7E;OACD;AAGH,UAAM,SAAS,MAAM,YAAY,MAAM;MACrC,MAAM,KAAK;MACX,aAAa,KAAK;MAClB,QAAQ,KAAK;MACb,KAAK;MACL,YAAY;MACZ,UAAU;KACX;AAID,oBAAe;AACf,QAAI;AACF,YAAM,YAAY,KAAK,QAAQ;IACjC,SAAS,OAAO;AAEd,kBAAY,qDAAqD,gBAAgB,KAAK,CAAC,EAAE;IAC3F;AAEA,WAAO,WAAW;MAChB,QAAQ;MACR,UAAU,OAAO;MACjB,OAAO;QACL,MAAM,OAAO;QACb,SAAS,OAAO;QAChB,aAAa,OAAO;QACpB,MAAM,OAAO;;MAEf,GAAI,OAAO,gBAAgB,SACvB,EAAE,UAAU,CAAC,gDAAgD,OAAO,WAAW,EAAE,EAAC,IAClF,CAAA;MACJ,MAAM;KACP;EACH,CAAC,CAAC;AACJ;AAEO,MAAM,kBAA6D;EACxE,MAAM;EACN,aACE;EACF,aAAa;EACb,SAAS;GAOL,qBAAqB;EACzB,OAAO,EACJ,QAAO,EACP,SAAQ,EACR,SACC,wHAAwH;EAE5H,OAAO,EACJ,QAAO,EACP,SAAQ,EACR,SACC,oOAAoO;EAExO,UAAU,EACP,OAAM,EACN,SAAQ,EACR,SACC,oIAAoI;;AAU1I,eAAe,iBAAiB,aAAmB;AACjD,QAAM,QAAkB,CAAA;AACxB,SAAI,MAAM,WAAW,KAAK,aAAa,WAAW,aAAa,CAAC,KAC9D,MAAM,KACJ,oMAAoM,GAGpM,MAAM,WAAW,KAAK,aAAa,WAAW,qBAAqB,CAAC,KACtE,MAAM,KACJ,4PAA4P,GAGzP,MAAM,SAAS,IAAI,EAAE,cAAc,MAAM,KAAK,GAAG,EAAC,IAAK,CAAA;AAChE;AAGA,eAAe,UAAU,MAAc,KAAW;AAChD,QAAM,SAAS,oBAAI,IAAG;AACtB,MAAI;AACJ,MAAI;AACF,cAAU,MAAM,QAAQ,KAAK,MAAM,GAAG,GAAG,EAAE,WAAW,IAAM,eAAe,GAAI,CAAE;EACnF,QAAQ;AACN,WAAO;EACT;AACA,aAAW,SAAS,SAAS;AAC3B,QAAI,CAAC,MAAM,OAAM;AAAI;AACrB,UAAM,OAAO,KAAK,MAAM,YAAY,MAAM,IAAI;AAC9C,QAAI;AACF,aAAO,IAAI,SAAS,MAAM,IAAI,EAAE,MAAM,GAAG,EAAE,KAAK,GAAG,GAAG,WAAW,MAAM,EAAE,OAAO,MAAM,SAAS,IAAI,CAAC,EAAE,OAAO,KAAK,CAAC;IACrH,QAAQ;IAER;EACF;AACA,SAAO;AACT;AAGA,SAAS,aAAa,QAA6B,OAA0B;AAC3E,QAAM,WAAqB,CAAA,GACrB,QAAkB,CAAA;AACxB,aAAW,CAAC,MAAM,IAAI,KAAK,OAAO;AAChC,UAAM,MAAM,OAAO,IAAI,IAAI;AAC3B,IAAI,QAAQ,SAAW,MAAM,KAAK,IAAI,IAC7B,QAAQ,QAAM,SAAS,KAAK,IAAI;EAC3C;AACA,QAAM,UAAU,CAAC,GAAG,OAAO,KAAI,CAAE,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC;AACpE,SAAO;IACL,eAAe,SAAS,SAAS,MAAM,SAAS,QAAQ;IACxD,OAAO,EAAE,UAAU,SAAS,KAAI,GAAI,OAAO,MAAM,KAAI,GAAI,SAAS,QAAQ,KAAI,EAAE;;AAEpF;AAEA,eAAe,YAAY,UAA4B;AACrD,EAAI,aAAa,UAAW,MAAM,uBAAsB;AACxD,QAAM,QAAQ,aAAa,SAAY,iBAAiB,QAAQ,IAAI,QAAQ,IAAG,GACzE,OAAO,MAAM,gBAAgB,KAAK;AACxC,MAAI,CAAC,QAAQ,CAAE,MAAM,SAAS,IAAI;AAChC,UAAM,IAAI,SAAS,wBAAwB,KAAK,IAAI,cAAc,WAAW;MAC3E;KACD;AAEH,SAAO;AACT;AAEA,SAAS,gBAAgB,GAAW,GAAS;AAC3C,QAAM,KAAK,EAAE,MAAM,GAAG,EAAE,IAAI,MAAM,GAC5B,KAAK,EAAE,MAAM,GAAG,EAAE,IAAI,MAAM;AAClC,WAAS,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK;AACvD,UAAM,KAAK,GAAG,CAAC,KAAK,MAAM,GAAG,CAAC,KAAK;AACnC,QAAI,MAAM;AAAG,aAAO,IAAI,IAAI,KAAK;EACnC;AACA,SAAO;AACT;AAEA,SAAS,mBAAmB,KAA0D;AACpF,SAAO,GAAG,IAAI,MAAM,OAAO,IAAI,SAAS,QAAQ,IAAI,MAAM;AAC5D;AAEA,SAAS,OAAU,OAAU;AAC3B,SAAO,MAAM,SAAS,aAAa,EAAE,OAAO,MAAM,MAAM,GAAG,UAAU,GAAG,SAAS,MAAM,SAAS,WAAU,IAAK,EAAE,MAAK;AACxH;AAEA,SAAS,mBAAmB,SAAkC;AAC5D,QAAM,SAAS,oBAAI,IAAG;AACtB,aAAW,UAAU,SAAS;AAC5B,UAAM,MAAM,GAAG,OAAO,QAAQ,KAAK,OAAO,MAAM,IAC1C,QAAQ,OAAO,IAAI,GAAG,KAAK,EAAE,UAAU,OAAO,UAAU,QAAQ,OAAO,QAAQ,UAAU,CAAA,EAAE;AACjG,UAAM,SAAS,KAAK,EAAE,MAAM,OAAO,MAAM,IAAI,OAAO,GAAE,CAAE,GACxD,OAAO,IAAI,KAAK,KAAK;EACvB;AACA,SAAO,CAAC,GAAG,OAAO,OAAM,CAAE,EAAE,IAAI,CAAC,UAAS;AACxC,UAAM,EAAE,OAAO,QAAO,IAAK,OAAO,MAAM,QAAQ;AAChD,WAAO;MACL,UAAU,MAAM;MAChB,QAAQ,MAAM;MACd,OAAO,MAAM,SAAS;MACtB,UAAU;MACV,GAAI,UAAU,EAAE,QAAO,IAAK,CAAA;;EAEhC,CAAC;AACH;AAEA,SAAS,mBAAmB,QAAmE;AAC7F,QAAM,SAAS,eAAe,SAAS,SAAS;AAChD,SAAO;IACL,QAAQ,OAAO;IACf,QAAQ,mBAAmB,OAAO,MAAM;IACxC,GAAI,OAAO,QAAQ,EAAE,OAAO,mBAAmB,OAAO,KAAK,EAAC,IAAK,CAAA;IACjE,OAAO,OAAO;IACd,GAAI,SAAS,EAAE,WAAW,OAAO,WAAW,UAAU,OAAO,SAAQ,IAAK,CAAA;IAC1E,GAAI,QAAQ,cAAc,EAAE,aAAa,OAAO,YAAW,IAAK,CAAA;;AAEpE;AAEA,SAAS,qBAAqB,SAAsC,OAAc;AAChF,QAAM,EAAE,OAAO,QAAO,IAAK,OAAO,OAAO;AACzC,SAAO;IACL,SAAS,6BAA6B,SAAS,KAAK;IACpD,SAAS,MAAM,IAAI,kBAAkB;IACrC,GAAI,UAAU,EAAE,QAAO,IAAK,CAAA;;AAEhC;AAGA,SAAS,cAAc,SAA4C,QAAgB;AACjF,QAAM,UAAU,CAAC,GAAG,QAAQ,qBAAqB,GAAG,QAAQ,yBAAyB,EAAE,OACrF,CAAC,WAAW,OAAO,WAAW,SAAS;AAEzC,SAAO;IACL,oBAAoB,mBAAmB,QAAQ,kBAAkB;IACjE,sBAAsB,qBAAqB,QAAQ,mBAAmB;IACtE,GAAI,QAAQ,0BAA0B,SAAS,IAC3C,EAAE,4BAA4B,qBAAqB,QAAQ,2BAA2B,6BAA6B,EAAC,IACpH,CAAA;IACJ,eAAe;MACb,GAAG,QAAQ,IAAI,CAAC,YAAY;QAC1B,MAAM;QACN,cAAc,mBAAmB,OAAO,MAAM;QAC9C,QAAQ;QACR,GAAI,eAAe,SAAS,EAAE,WAAY,OAA2C,UAAS,IAAK,CAAA;QACnG;MACF,GAAG,OAAO,IAAI,CAAC,aAAa,EAAE,MAAM,SAAS,QAAO,EAAG;;;AAG7D;AAUM,SAAU,eACd,OACA,SAA0C;AAE1C,QAAM,QAAQ,QAAQ;AACtB,MAAI,CAAC;AAAO,WAAO;AAEnB,QAAM,UAAU,IAAI,IAAI,QAAQ,mBAAmB,IAAI,CAAC,WAAW,CAAC,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC,GACtF,KAAK,CAAC,cAAsB,QAAQ,IAAI,SAAS,KAAK,WAEtD,WAAW,oBAAI,IAAG,GAClB,aAAa,oBAAI,IAAG;AAC1B,aAAW,SAAS,MAAM,OAAO,OAAM;AACrC,eAAW,WAAW,MAAM,aAAY,GAAI;AAC1C,YAAM,YAAY,GAAG,QAAQ,QAAQ,QAAQ,EAAE;AAE/C,UADA,SAAS,IAAI,SAAS,IACjB,QAAQ,cAAc,CAAA,GAAI,WAAW,GAC1C;mBAAW,IAAI,SAAS;AACxB,mBAAW,OAAO,QAAQ,cAAc,CAAA;AAAI,qBAAW,IAAI,GAAG,IAAI,MAAM,CAAC;;IAC3E;AAGF,QAAM,iBAAiB,IAAI,IAAI,UAAU;AACzC,aAAW,OAAO;AAChB,mBAAe,IAAI,GAAG,IAAI,MAAM,CAAC,GACjC,eAAe,IAAI,GAAG,IAAI,MAAM,CAAC;AAEnC,QAAM,QAAQ,oBAAI,IAAG;AACrB,aAAW,OAAO,MAAM,qBAAoB;AAC1C,eAAW,OAAO,CAAC,GAAG,IAAI,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC;AAC/C,MAAI,CAAC,SAAS,IAAI,GAAG,KAAK,eAAe,IAAI,GAAG,KAChD,MAAM,IAAI,KAAK,CAAC,GAAI,MAAM,IAAI,GAAG,KAAK,CAAA,GAAK,mBAAmB,GAAG,CAAC,CAAC;AAGvE,SAAO,CAAC,GAAG,MAAM,QAAO,CAAE,EACvB,IAAI,CAAC,CAAC,WAAW,IAAI,OAAO,EAAE,WAAW,OAAO,KAAI,EAAG,EACvD,KAAK,CAAC,GAAG,MAAM,EAAE,UAAU,cAAc,EAAE,SAAS,CAAC;AAC1D;AAGA,eAAsB,YAAY,aAAqB,SAA0C;AAG/F,MAAI,CAAC,QAAQ,+BAA+B,QAAQ,oBAAoB,WAAW;AAAG,WAAO,CAAA;AAC7F,MAAI;AACF,UAAM,EAAE,MAAK,IAAK,MAAM,OAAO,qBAAqB,GAC9C,UAAU,eAAe,MAAM,MAAM,KAAK,aAAa,EAAE,UAAU,GAAK,CAAE,GAAG,OAAO;AAC1F,QAAI,YAAY;AACd,aAAO,EAAE,aAAa,EAAE,OAAO,8FAA6F,EAAE;AAEhI,QAAI,QAAQ,WAAW;AAAG,aAAO,CAAA;AACjC,UAAM,EAAE,OAAO,QAAO,IAAK,OAAO,OAAO;AACzC,WAAO;MACL,aAAa;QACX,OAAO,QAAQ;QACf,MAAM;QACN,UAAU;QACV,GAAI,UAAU,EAAE,QAAO,IAAK,CAAA;;;EAGlC,SAAS,OAAO;AACd,WAAO,EAAE,aAAa,EAAE,OAAO,wCAAwC,gBAAgB,KAAK,CAAC,GAAE,EAAE;EACnG;AACF;AAEA,SAAS,sBAAmB;AAC1B,SAAO,EAAE,oBAAoB,CAAA,GAAI,qBAAqB,CAAA,GAAI,2BAA2B,CAAA,EAAE;AACzF;AAEA,SAAS,cAAc,QAAqB;AAC1C,SAAO;IACL,MAAM,OAAO;IACb,aAAa,OAAO;IACpB,GAAI,OAAO,cAAc,EAAE,MAAM,OAAO,YAAW,IAAK,CAAA;IACxD,IAAI,OAAO;IACX,GAAI,OAAO,SAAS,SAAS,EAAE,SAAS,OAAO,QAAO,IAAK,CAAA;;AAE/D;AAEA,SAAS,SAAS,MAAiB;AACjC,QAAM,QAAQ,KAAK,MAAM,UAAU,UAAU,KAAK,QAAQ;AAC1D,SAAO;IACL,YAAY,cAAa;IACzB,gBAAgB,KAAK;IACrB,OAAO,EAAE,aAAa,OAAO,eAAe,MAAM,mBAAmB,OAAO,qBAAqB,KAAI;IACrG,eAAe,EAAE,WAAW,KAAK,qBAAoB;;AAEzD;AAGA,eAAe,eACb,aACA,MAAiB;AAEjB,MAAI,KAAK;AACP,WAAO,EAAE,SAAS,KAAK,eAAe,SAAS,QAAQ,KAAK,eAAe,OAAM;AAEnF,MAAI,CAAC,KAAK,MAAM,KAAK,CAAC,SAAsB,KAAK,eAAe;AAC9D,WAAO,EAAE,SAAS,oBAAmB,GAAI,QAAQ,CAAA,EAAE;AAErD,MAAI;AACF,UAAM,UAAU,MAAM,wBAAwB,WAAW;AACzD,WAAO,EAAE,SAAS,QAAQ,SAAS,QAAQ,QAAQ,OAAM;EAC3D,SAAS,OAAO;AACd,WAAO;MACL,SAAS,oBAAmB;MAC5B,QAAQ,CAAC,0CAA0C,gBAAgB,KAAK,CAAC,EAAE;;EAE/E;AACF;AAQA,eAAe,kBAAkB,OAAY;AAC3C,QAAM,OAAO,EAAE,GAAG,OAAO,eAAe,IAAI,cAAc,MAAM,qBAAoB,CAAE,EAAC,GACjF,SAAS,MAAM,IAAI,UAAS,EAAG,cAAc,IAAI;AACvD,mBAAiB,QAAQ,IAAI;AAC7B,QAAM,QAAQ,CAAC,UAAkE;IAC/E,OAAO,KAAK;IACZ,GAAI,KAAK,YAAY,EAAE,WAAW,KAAK,UAAS,IAAK,CAAA;IACrD,SAAS,KAAK;MAEV,SAAS,OAAO,OAAO,MAAM,GAAG,qBAAqB,EAAE,IAAI,KAAK,GAChE,WAAW,OAAO,SAAS,MAAM,GAAG,qBAAqB,EAAE,IAAI,KAAK;AAC1E,SAAO;IACL,OAAO;IACP,OAAO,OAAO,QAAO;IACrB,YAAY,OAAO,OAAO;IAC1B,cAAc,OAAO,SAAS;IAC9B,GAAI,OAAO,SAAS,IAAI,EAAE,OAAM,IAAK,CAAA;IACrC,GAAI,OAAO,OAAO,SAAS,OAAO,SAAS,EAAE,YAAY,OAAO,OAAO,SAAS,OAAO,OAAM,IAAK,CAAA;IAClG,GAAI,SAAS,SAAS,IAAI,EAAE,SAAQ,IAAK,CAAA;IACzC,GAAI,OAAO,SAAS,SAAS,SAAS,SAAS,EAAE,cAAc,OAAO,SAAS,SAAS,SAAS,OAAM,IAAK,CAAA;;AAEhH;AAEA,SAAS,iBAAiB,QAAiC;AACzD,SAAO;IACL,aAAa,OAAO,YAAY,IAAI,CAAC,QAAQ,IAAI,IAAI;IACrD,GAAI,OAAO,QAAQ,SAAS,IACxB;MACE,SAAS,OAAO,QAAQ,IAAI,CAAC,QAAQ,IAAI,IAAI;MAC7C,aACE;QAEJ,CAAA;IACJ,GAAI,OAAO,OAAO,SAAS,IAAI,EAAE,QAAQ,OAAO,OAAM,IAAK,CAAA;;AAE/D;AAGA,SAAS,mBAAmB,MAAiB;AAC3C,SAAO;IACL,GAAI,KAAK,sBAAsB,SAC3B,CAAC,kDAAkD,KAAK,iBAAiB,EAAE,IAC3E,CAAA;IACJ,GAAI,KAAK,gBAAgB,UAAU,CAAA;;AAEvC;AAEA,eAAsB,sBAAsB,MAAwB;AAClE,SAAO,QAAQ,MAAM,oBAAoB,YAAW;AAClD,QAAI,KAAK,SAAS,CAAC,KAAK;AACtB,YAAM,IAAI,SAAS,gDAAgD,cAAc,MAAM;QACrF;OACD;AAEH,UAAM,cAAc,MAAM,YAAY,KAAK,QAAQ,GAC7C,QAAQ,KAAK,UAAU,IACvB,OAAO,MAAM,aAAa,aAAa,EAAE,mBAAmB,IAAM,MAAK,CAAE;AAE/E,QAAI,KAAK,MAAM,UAAU;AACvB,YAAM,IAAI,SACR,kGACA,cAAc,MACd,CAAC,kEAAkE,CAAC;AAKxE,UAAM,EAAE,aAAa,kBAAiB,IAAK,KAAK;AAChD,QAAI,gBAAgB,aAAa,iBAAiB,IAAI,GAAG;AACvD,YAAM,UAAU,yBAAyB,WAAW,qBAAqB,iBAAiB;AAC1F,UAAI,KAAK;AACP,cAAM,IAAI,SAAS,SAAS,cAAc,MAAM;UAC9C;SACD;AAEH,aAAO,WAAW,EAAE,QAAQ,eAAe,UAAU,aAAa,GAAG,SAAS,IAAI,GAAG,QAAO,CAAE;IAChG;AAEA,QAAI,KAAK,iBAAiB;AACxB,YAAM,EAAE,MAAM,IAAI,UAAS,IAAK,KAAK,iBAC/B,UAAU,iCAAiC,IAAI,QAAQ,EAAE,gJAAgJ,EAAE;AACjN,UAAI,KAAK;AACP,cAAM,IAAI,SAAS,SAAS,cAAc,MAAM;UAC9C;SACD;AAEH,aAAO,WAAW;QAChB,QAAQ;QACR,UAAU;QACV,GAAG,SAAS,IAAI;QAChB;QACA,qBAAqB;OACtB;IACH;AAEA,UAAM,cAAc,mBAAmB,IAAI;AAC3C,QAAI,KAAK,QAAQ,WAAW;AAC1B,aAAI,YAAY,SAAS,IAChB,WAAW;QAChB,QAAQ;QACR,UAAU;QACV,GAAG,SAAS,IAAI;QAChB,SAAS,yBAAyB,WAAW;QAC7C,QAAQ;OACT,IAEI,WAAW;QAChB,QAAQ;QACR,UAAU;QACV,GAAG,SAAS,IAAI;QAChB,SAAS,yBAAyB,WAAW;OAC9C;AAGH,QAAI,CAAC,KAAK,OAAO;AACf,YAAM,UAAU,MAAM,eAAe,aAAa,IAAI,GAChD,SAAS,CAAC,GAAG,oBAAI,IAAI,CAAC,GAAG,aAAa,GAAG,QAAQ,MAAM,CAAC,CAAC;AAC/D,aAAO,WACL;QACE,QAAQ;QACR,UAAU;QACV,GAAG,SAAS,IAAI;QAChB,OAAO,KAAK;QACZ,SAAS,KAAK,QAAQ,IAAI,aAAa;QACvC,GAAG,cAAc,QAAQ,SAAS,MAAM;QACxC,GAAI,MAAM,YAAY,aAAa,QAAQ,OAAO;QAClD,GAAM,MAAM,gBAAgB,WAAW,IAAqE,CAAA,IAAhE,EAAE,SAAS,iDAAgD;QACvG,GAAI,MAAM,iBAAiB,WAAW;QACtC,MAAM;SAER,EAAE,SAAS,GAAI,CAAE;IAErB;AAIA,UAAM,mBAAmB,MAAM,UAAU,aAAa,wBAAwB,GACxE,UAA0C,CAAA,GAC1C,UAAU,oBAAmB;AACnC,QAAI;AACJ,QAAI;AACF,iBAAW,UAAU,KAAK;AACxB,YAAI,OAAO,SAAS;AAClB,gBAAM,qBAAqB,aAAa,EAAI,GAC5C,QAAQ,KAAK,cAAc,MAAM,CAAC;iBACzB,OAAO,SAAS,SAAS;AAClC,gBAAM,SAAS,MAAM,aAAa,aAAa;YAC7C,aAAa,OAAO;YACpB,WAAW,OAAO;;YAElB,UAAU,CAAC;YACX,aAAa,OAAO;YACpB,iBAAiB,OAAO;WACzB;AACD,uBAAa,OAAO,YAChB,OAAO,mBACT,QAAQ,KAAK,cAAc,MAAM,CAAC;AAEpC,qBAAW,QAAQ,OAAO,WAAW,WAAW,CAAA,GAAI;AAElD,oBAAQ,KAAK;cACX,MAAM;cACN,MAAM,KAAK;cACX,IAAI,KAAK;cACT,aAAa,KAAK,SAAS,eAAe,KAAK;aAChD;AACD,kBAAM,cAAc,KAAK,SAAS;AAClC,oBAAQ,mBAAmB,KAAK,GAAI,aAAa,sBAAsB,CAAA,CAAG,GAC1E,QAAQ,oBAAoB,KAAK,GAAI,aAAa,uBAAuB,CAAA,CAAG,GAC5E,QAAQ,0BAA0B,KAAK,GAAI,aAAa,6BAA6B,CAAA,CAAG;UAC1F;QACF;IAEJ,SAAS,OAAO;AACd,UAAI,QAAQ,WAAW;AAAG,cAAM;AAEhC,aAAO,WACL;QACE,QAAQ;QACR,UAAU;QACV;QACA,GAAG,aAAa,kBAAkB,MAAM,UAAU,aAAa,wBAAwB,CAAC;QACxF,OAAO,gBAAgB,KAAK;QAC5B,MAAM;SAER,EAAE,SAAS,IAAM,SAAS,GAAI,CAAE;IAEpC;AAEE,sBAAe;IACjB;AAEA,UAAM,EAAE,eAAe,GAAG,SAAQ,IAAK,cAAc,SAAS,CAAA,CAAE,GAC1D,gBAAgB;MACpB,UAAU;MACV,MAAM;MACN,IAAI;MACJ;MACA,GAAG,aAAa,kBAAkB,MAAM,UAAU,aAAa,wBAAwB,CAAC;MACxF,GAAG;MACH,GAAI,cAAc,SAAS,IAAI,EAAE,SAAS,cAAa,IAAK,CAAA;MAC5D,GAAI,aAAa,EAAE,YAAY,iBAAiB,UAAU,EAAC,IAAK,CAAA;OAE5D,WAAW,CAAC,GAAG,WAAW;AAGhC,QAAI;AACF,UAAI,CAAE,MAAM,gBAAgB,WAAW;AACrC,YAAI;AACF,gBAAM,uBAAuB,aAAa,WAAW;QACvD,SAAS,OAAO;AACd,mBAAS,KAAK,qCAAqC,gBAAgB,KAAK,CAAC,EAAE;QAC7E;AAEF,YAAM,QAAQ,MAAM,YAAY,KAAK,QAAQ,GACvC,aAAa,MAAM,kBAAkB,KAAK;AAChD,aAAO,WACL;QACE,QAAQ;QACR,GAAG;QACH,IAAI,MAAM,SAAS;QACnB;QACA,GAAI,SAAS,SAAS,IAAI,EAAE,SAAQ,IAAK,CAAA;QACzC,GAAI,MAAM,iBAAiB,WAAW;SAExC,EAAE,SAAS,GAAI,CAAE;IAErB,SAAS,OAAO;AACd,aAAO,WACL;QACE,QAAQ;QACR,GAAG;QACH,eAAe,4EAA4E,gBAAgB,KAAK,CAAC;QACjH,GAAI,SAAS,SAAS,IAAI,EAAE,SAAQ,IAAK,CAAA;QACzC,GAAI,MAAM,iBAAiB,WAAW;QACtC,MAAM;SAER,EAAE,SAAS,GAAI,CAAE;IAErB;EACF,CAAC,CAAC;AACJ;AAEO,MAAM,qBAAmE;EAC9E,MAAM;EACN,aACE;EACF,aAAa;EACb,SAAS;;",
+  "names": []
+}