@memoarchitect/tools 0.6.7 → 0.8.7

package/packages/tools/lib/server/package-writer.js

@@ -0,0 +1,317 @@
+// ─── Package write-back ──────────────────────────────────────────────────────
+//
+// Containment in MEMO is package membership. A container in an Architect
+// explorer is therefore a SysML `package` declaration in project source, and
+// creating, renaming, deleting or moving into one is a source edit — not a
+// directory on disk, and not an attribute on a placeholder element.
+//
+// Every operation here follows the same discipline as ./persistor.ts: locate
+// the declaration by parsing (never by matching its name in the file text),
+// splice one range, parse the result before it reaches disk, and write
+// atomically. A package is addressed by its **qualified name** rather than by
+// an IR identity because the IR does not ingest package declarations — it walks
+// through them — so there is no identity to quote. A qualified name is a real
+// address for the same reason the model uses it: two packages cannot share one.
+//
+// What these operations deliberately do NOT do is update references. Renaming
+// or deleting a package changes the qualified name of everything it declares,
+// and rewriting every reference needs workspace-wide name resolution — the
+// linker, which does not exist yet. The caller is told so, in the same words
+// the element rename uses, rather than being handed a broken model presented as
+// a successful edit.
+// ─────────────────────────────────────────────────────────────────────────────
+import { existsSync, readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { parseText } from '../model/parser-utils.js';
+import { requireIrIdentity, resolveDeclarationByIdentity, StaleIrIdentityError, } from '../model/ir-identity.js';
+import { commitSource } from './persistor.js';
+import { dedent, insertIntoBody, locatePackages, removeLine, spliceIndented, } from './package-source.js';
+/**
+ * Why a package rename or delete is only a text edit.
+ *
+ * Said once here so every surface says the same thing, and phrased as what was
+ * *not* done: the edit succeeded, and the references it invalidated are the
+ * caller's to fix until the linker can do it.
+ */
+export const PACKAGE_EDIT_IS_TEXT_ONLY = 'This edits the package declaration only. MEMO cannot yet update qualified names that refer to it or to '
+    + 'anything it declares — that needs cross-file name resolution — so those references will not resolve '
+    + 'until you update them by hand.';
+/** Names MEMO will write into source. Anything else is refused, not escaped. */
+const PACKAGE_NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;
+/**
+ * Declare a new package.
+ *
+ * With a parent, the package is nested inside that declaration; without one it
+ * is appended at the file's top level. Nesting rather than minting a new file
+ * keeps the edit to a single range in a file the caller already named — the
+ * catalog's namespace-to-directory mirroring is a project layout decision, not
+ * something a right-click in a tree should quietly make.
+ */
+export async function createPackage(cwd, request) {
+    const { file, parent, name } = request;
+    if (!PACKAGE_NAME.test(name)) {
+        return { success: false, filePaths: [], error: `"${name}" is not a valid package name.` };
+    }
+    const qualifiedName = parent ? `${parent}::${name}` : name;
+    const absolute = resolve(cwd, file);
+    const source = existsSync(absolute) ? readFileSync(absolute, 'utf8') : '';
+    const existing = await locatePackages(source);
+    if (existing.some(pkg => pkg.qualifiedName === qualifiedName)) {
+        return { success: false, filePaths: [], error: `Package "${qualifiedName}" already exists in ${file}.` };
+    }
+    let updated;
+    if (parent) {
+        const target = existing.find(pkg => pkg.qualifiedName === parent);
+        if (!target) {
+            return { success: false, filePaths: [], error: `${file} does not declare package "${parent}".` };
+        }
+        updated = insertIntoBody(source, target, `package ${name} {\n}\n`);
+    }
+    else {
+        const separator = source && !source.endsWith('\n\n') ? (source.endsWith('\n') ? '\n' : '\n\n') : '';
+        updated = `${source}${separator}package ${name} {\n}\n`;
+    }
+    const committed = await commitSource(absolute, file, updated);
+    if (!committed.success)
+        return { success: false, filePaths: [], error: committed.error };
+    return { success: true, filePaths: [file], qualifiedName };
+}
+/**
+ * Rename a package in place.
+ *
+ * Only the declared name token is replaced; members keep their positions, so
+ * the operation cannot reorder or reformat a file around them.
+ */
+export async function renamePackage(cwd, request) {
+    const { file, qualifiedName, name } = request;
+    if (!PACKAGE_NAME.test(name)) {
+        return { success: false, filePaths: [], error: `"${name}" is not a valid package name.` };
+    }
+    const absolute = resolve(cwd, file);
+    if (!existsSync(absolute))
+        return { success: false, filePaths: [], error: `${file} does not exist.` };
+    const source = readFileSync(absolute, 'utf8');
+    const packages = await locatePackages(source);
+    const target = packages.find(pkg => pkg.qualifiedName === qualifiedName);
+    if (!target) {
+        return { success: false, filePaths: [], error: `${file} does not declare package "${qualifiedName}".` };
+    }
+    if (target.name === name)
+        return { success: true, filePaths: [], qualifiedName };
+    const parent = parentOf(qualifiedName);
+    const renamed = parent ? `${parent}::${name}` : name;
+    if (packages.some(pkg => pkg.qualifiedName === renamed)) {
+        return { success: false, filePaths: [], error: `Package "${renamed}" already exists in ${file}.` };
+    }
+    const header = source.slice(target.start, target.bodyStart);
+    const match = header.match(new RegExp(`(\\bpackage\\s+)(${escapeRegExp(target.name)})\\b`));
+    if (!match || match.index === undefined) {
+        return { success: false, filePaths: [], error: `Could not find the declared name of "${qualifiedName}".` };
+    }
+    const nameStart = target.start + match.index + match[1].length;
+    const updated = source.slice(0, nameStart) + name + source.slice(nameStart + target.name.length);
+    const committed = await commitSource(absolute, file, updated);
+    if (!committed.success)
+        return { success: false, filePaths: [], error: committed.error };
+    return {
+        success: true, filePaths: [file], qualifiedName: renamed,
+        warnings: [{ code: 'package-edit-is-text-only', message: PACKAGE_EDIT_IS_TEXT_ONLY }],
+    };
+}
+/**
+ * Re-parent a package: move its whole declaration under another package.
+ *
+ * The declaration is moved verbatim, so everything it declares moves with it —
+ * which is what makes this one operation rather than a move per member. Moving
+ * a package into itself or into its own descendant is refused: the result would
+ * be a namespace that contains the thing containing it.
+ */
+export async function movePackage(cwd, request) {
+    const { file, qualifiedName, targetParent, targetFile } = request;
+    if (targetParent === qualifiedName || targetParent?.startsWith(`${qualifiedName}::`)) {
+        return {
+            success: false, filePaths: [],
+            error: `"${qualifiedName}" cannot be moved into itself or into a package it declares.`,
+        };
+    }
+    if (targetParent === parentOf(qualifiedName))
+        return { success: true, filePaths: [], qualifiedName };
+    const absolute = resolve(cwd, file);
+    const targetAbsolute = resolve(cwd, targetFile);
+    if (!existsSync(absolute))
+        return { success: false, filePaths: [], error: `${file} does not exist.` };
+    if (!existsSync(targetAbsolute))
+        return { success: false, filePaths: [], error: `${targetFile} does not exist.` };
+    const source = readFileSync(absolute, 'utf8');
+    const target = (await locatePackages(source)).find(pkg => pkg.qualifiedName === qualifiedName);
+    if (!target) {
+        return { success: false, filePaths: [], error: `${file} does not declare package "${qualifiedName}".` };
+    }
+    const moved = `${target.name.split('::').pop()}`;
+    const renamed = targetParent ? `${targetParent}::${moved}` : moved;
+    const declaration = dedent(source.slice(target.start, target.end).replace(/\s+$/, ''));
+    const withoutPackage = removeLine(source, target.start, target.end);
+    const sameFile = absolute === targetAbsolute;
+    const targetSource = sameFile ? withoutPackage : readFileSync(targetAbsolute, 'utf8');
+    let updatedTarget;
+    if (targetParent) {
+        const parent = (await locatePackages(targetSource)).find(pkg => pkg.qualifiedName === targetParent);
+        if (!parent) {
+            return { success: false, filePaths: [], error: `${targetFile} does not declare package "${targetParent}".` };
+        }
+        updatedTarget = insertIntoBody(targetSource, parent, `${declaration}\n`);
+    }
+    else {
+        const separator = targetSource.endsWith('\n') ? '' : '\n';
+        updatedTarget = `${targetSource}${separator}${declaration}\n`;
+    }
+    const warnings = [{ code: 'package-edit-is-text-only', message: PACKAGE_EDIT_IS_TEXT_ONLY }];
+    if (sameFile) {
+        const committed = await commitSource(absolute, file, updatedTarget);
+        if (!committed.success)
+            return { success: false, filePaths: [], error: committed.error };
+        return { success: true, filePaths: [file], qualifiedName: renamed, warnings };
+    }
+    const committedTarget = await commitSource(targetAbsolute, targetFile, updatedTarget);
+    if (!committedTarget.success)
+        return { success: false, filePaths: [], error: committedTarget.error };
+    const committedSource = await commitSource(absolute, file, withoutPackage);
+    if (!committedSource.success) {
+        return {
+            success: false, filePaths: [targetFile],
+            error: `${committedSource.error} "${qualifiedName}" is now declared in both ${file} and ${targetFile}; `
+                + 'remove the one you do not want.',
+        };
+    }
+    return { success: true, filePaths: [targetFile, file], qualifiedName: renamed, warnings };
+}
+/**
+ * Remove a package declaration, keeping everything it declares.
+ *
+ * The members are lifted into the enclosing scope rather than deleted: emptying
+ * a container is a containment change, and silently deleting a subtree of the
+ * model because someone removed a folder would be the most expensive possible
+ * reading of that gesture.
+ */
+export async function deletePackage(cwd, request) {
+    const { file, qualifiedName } = request;
+    const absolute = resolve(cwd, file);
+    if (!existsSync(absolute))
+        return { success: false, filePaths: [], error: `${file} does not exist.` };
+    const source = readFileSync(absolute, 'utf8');
+    const target = (await locatePackages(source)).find(pkg => pkg.qualifiedName === qualifiedName);
+    if (!target) {
+        return { success: false, filePaths: [], error: `${file} does not declare package "${qualifiedName}".` };
+    }
+    if (!parentOf(qualifiedName)) {
+        return {
+            success: false, filePaths: [],
+            error: `"${qualifiedName}" is a top-level package; removing it would leave its members with no `
+                + 'namespace. Move or delete its contents first.',
+        };
+    }
+    const body = source.slice(target.bodyStart, target.bodyEnd);
+    const lifted = dedent(body.replace(/^\n/, '').replace(/\s+$/, ''));
+    const updated = lifted
+        ? spliceIndented(source, target.start, target.end, lifted)
+        : removeLine(source, target.start, target.end);
+    const committed = await commitSource(absolute, file, updated);
+    if (!committed.success)
+        return { success: false, filePaths: [], error: committed.error };
+    return {
+        success: true, filePaths: [file], qualifiedName,
+        ...(lifted ? { warnings: [{ code: 'package-edit-is-text-only', message: PACKAGE_EDIT_IS_TEXT_ONLY }] } : {}),
+    };
+}
+/**
+ * Move one element's declaration into another package.
+ *
+ * The declaration text is moved verbatim — this is a containment change, not a
+ * rewrite, so nothing the user authored inside the declaration is regenerated.
+ * The element is addressed by IR identity, exactly as an update is, so a move
+ * made against a stale revision fails loudly instead of cutting whatever now
+ * occupies that position.
+ */
+export async function moveElementToPackage(cwd, request, index) {
+    const { elementId, irIdentity, sourceFile, targetFile, targetPackage } = request;
+    const sourceAbsolute = resolve(cwd, sourceFile);
+    const targetAbsolute = resolve(cwd, targetFile);
+    if (!existsSync(sourceAbsolute))
+        return { success: false, filePaths: [], error: `${sourceFile} does not exist.` };
+    if (!existsSync(targetAbsolute))
+        return { success: false, filePaths: [], error: `${targetFile} does not exist.` };
+    const source = readFileSync(sourceAbsolute, 'utf8');
+    let located;
+    try {
+        located = await locateByIdentity(source, index, irIdentity, elementId);
+    }
+    catch (e) {
+        if (e instanceof StaleIrIdentityError)
+            return { success: false, filePaths: [], stale: true, error: e.message };
+        return { success: false, filePaths: [], error: String(e) };
+    }
+    const declaration = dedent(source.slice(located.start, located.end).replace(/\s+$/, ''));
+    const withoutElement = removeLine(source, located.start, located.end);
+    // A move within one file is one edit to one string. Splitting it into a
+    // remove and an insert against the original offsets would place the second
+    // splice using positions the first one invalidated.
+    const sameFile = sourceAbsolute === targetAbsolute;
+    const targetSource = sameFile ? withoutElement : readFileSync(targetAbsolute, 'utf8');
+    let updatedTarget;
+    if (targetPackage) {
+        const target = (await locatePackages(targetSource)).find(pkg => pkg.qualifiedName === targetPackage);
+        if (!target) {
+            return { success: false, filePaths: [], error: `${targetFile} does not declare package "${targetPackage}".` };
+        }
+        updatedTarget = insertIntoBody(targetSource, target, `${declaration}\n`);
+    }
+    else {
+        const separator = targetSource.endsWith('\n') ? '' : '\n';
+        updatedTarget = `${targetSource}${separator}${declaration}\n`;
+    }
+    if (sameFile) {
+        const committed = await commitSource(targetAbsolute, targetFile, updatedTarget);
+        if (!committed.success)
+            return { success: false, filePaths: [], error: committed.error };
+        return { success: true, filePaths: [targetFile], qualifiedName: targetPackage };
+    }
+    // Across files, the destination is written first: if it fails, the source
+    // file still holds the only copy of the declaration. The reverse order can
+    // lose it outright.
+    const committedTarget = await commitSource(targetAbsolute, targetFile, updatedTarget);
+    if (!committedTarget.success)
+        return { success: false, filePaths: [], error: committedTarget.error };
+    const committedSource = await commitSource(sourceAbsolute, sourceFile, withoutElement);
+    if (!committedSource.success) {
+        return {
+            success: false, filePaths: [targetFile],
+            error: `${committedSource.error} "${elementId}" is now declared in both ${sourceFile} and ${targetFile}; `
+                + 'remove the one you do not want.',
+        };
+    }
+    return { success: true, filePaths: [targetFile, sourceFile], qualifiedName: targetPackage };
+}
+// ─── Source location ─────────────────────────────────────────────────────────
+/** Source range of the declaration an IR identity names, in this file's text. */
+async function locateByIdentity(source, index, identityId, elementId) {
+    const record = requireIrIdentity(index, identityId, elementId);
+    const { document, errors } = await parseText(source);
+    if (errors.length > 0) {
+        throw new StaleIrIdentityError(identityId, `its file no longer parses (${errors[0].message})`);
+    }
+    const node = resolveDeclarationByIdentity(document.parseResult.value, record.identity);
+    const cst = node.$cstNode;
+    if (!cst)
+        throw new StaleIrIdentityError(identityId, 'the resolved declaration has no source range');
+    return { start: cst.offset, end: cst.offset + cst.length };
+}
+// ─── Text editing ────────────────────────────────────────────────────────────
+/** Qualified name of the declaring package, or undefined at the top level. */
+function parentOf(qualifiedName) {
+    const separator = qualifiedName.lastIndexOf('::');
+    return separator === -1 ? undefined : qualifiedName.slice(0, separator);
+}
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+//# sourceMappingURL=package-writer.js.map

package/packages/tools/lib/server/package-writer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-writer.js","sourceRoot":"","sources":["../../src/server/package-writer.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,2EAA2E;AAC3E,oEAAoE;AACpE,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,uEAAuE;AACvE,8EAA8E;AAC9E,gFAAgF;AAChF,8EAA8E;AAC9E,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,6EAA6E;AAC7E,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EACH,iBAAiB,EACjB,4BAA4B,EAC5B,oBAAoB,GAEvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EACH,MAAM,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,GACrE,MAAM,qBAAqB,CAAC;AAE7B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAClC,yGAAyG;MACvG,sGAAsG;MACtG,gCAAgC,CAAC;AAevC,gFAAgF;AAChF,MAAM,YAAY,GAAG,0BAA0B,CAAC;AAEhD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,GAAW,EACX,OAAwD;IAExD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACvC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,IAAI,gCAAgC,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE1E,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,aAAa,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,YAAY,aAAa,uBAAuB,IAAI,GAAG,EAAE,CAAC;IAC7G,CAAC;IAED,IAAI,OAAe,CAAC;IACpB,IAAI,MAAM,EAAE,CAAC;QACT,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,MAAM,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,8BAA8B,MAAM,IAAI,EAAE,CAAC;QACrG,CAAC;QACD,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,IAAI,SAAS,CAAC,CAAC;IACvE,CAAC;SAAM,CAAC;QACJ,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpG,OAAO,GAAG,GAAG,MAAM,GAAG,SAAS,WAAW,IAAI,SAAS,CAAC;IAC5D,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACzF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,GAAW,EACX,OAA8D;IAE9D,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IAC9C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,IAAI,gCAAgC,EAAE,CAAC;IAC9F,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACtG,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC;IACzE,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,8BAA8B,aAAa,IAAI,EAAE,CAAC;IAC5G,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC;IAEjF,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,OAAO,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,YAAY,OAAO,uBAAuB,IAAI,GAAG,EAAE,CAAC;IACvG,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,oBAAoB,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5F,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,wCAAwC,aAAa,IAAI,EAAE,CAAC;IAC/G,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEjG,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACzF,OAAO;QACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO;QACxD,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC;KACxF,CAAC;AACN,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC7B,GAAW,EACX,OAMC;IAED,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAClE,IAAI,YAAY,KAAK,aAAa,IAAI,YAAY,EAAE,UAAU,CAAC,GAAG,aAAa,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO;YACH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;YAC7B,KAAK,EAAE,IAAI,aAAa,8DAA8D;SACzF,CAAC;IACN,CAAC;IACD,IAAI,YAAY,KAAK,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC;IAErG,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACtG,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,UAAU,kBAAkB,EAAE,CAAC;IAElH,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,CAAC,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC;IAC/F,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,8BAA8B,aAAa,IAAI,EAAE,CAAC;IAC5G,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IAEnE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAEpE,MAAM,QAAQ,GAAG,QAAQ,KAAK,cAAc,CAAC;IAC7C,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAEtF,IAAI,aAAqB,CAAC;IAC1B,IAAI,YAAY,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,CAAC,MAAM,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC;QACpG,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,UAAU,8BAA8B,YAAY,IAAI,EAAE,CAAC;QACjH,CAAC;QACD,aAAa,GAAG,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,WAAW,IAAI,CAAC,CAAC;IAC7E,CAAC;SAAM,CAAC;QACJ,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,aAAa,GAAG,GAAG,YAAY,GAAG,SAAS,GAAG,WAAW,IAAI,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,EAAE,IAAI,EAAE,2BAAoC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;IACtG,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;QACpE,IAAI,CAAC,SAAS,CAAC,OAAO;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QACzF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAClF,CAAC;IAED,MAAM,eAAe,GAAG,MAAM,YAAY,CAAC,cAAc,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IACtF,IAAI,CAAC,eAAe,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC;IACrG,MAAM,eAAe,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IAC3E,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO;YACH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC;YACvC,KAAK,EAAE,GAAG,eAAe,CAAC,KAAK,KAAK,aAAa,6BAA6B,IAAI,QAAQ,UAAU,IAAI;kBAClG,iCAAiC;SAC1C,CAAC;IACN,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC9F,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,GAAW,EACX,OAAgD;IAEhD,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACtG,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,CAAC,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC;IAC/F,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,8BAA8B,aAAa,IAAI,EAAE,CAAC;IAC5G,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3B,OAAO;YACH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;YAC7B,KAAK,EAAE,IAAI,aAAa,wEAAwE;kBAC1F,+CAA+C;SACxD,CAAC;IACN,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,MAAM;QAClB,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC;QAC1D,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAEnD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACzF,OAAO;QACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa;QAC/C,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,2BAAoC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxH,CAAC;AACN,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,GAAW,EACX,OAOC,EACD,KAAsB;IAEtB,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IACjF,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,UAAU,kBAAkB,EAAE,CAAC;IAClH,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,UAAU,kBAAkB,EAAE,CAAC;IAElH,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,OAAuC,CAAC;IAC5C,IAAI,CAAC;QACD,OAAO,GAAG,MAAM,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC3E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,IAAI,CAAC,YAAY,oBAAoB;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAC/G,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACzF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAEtE,wEAAwE;IACxE,2EAA2E;IAC3E,oDAAoD;IACpD,MAAM,QAAQ,GAAG,cAAc,KAAK,cAAc,CAAC;IACnD,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAEtF,IAAI,aAAqB,CAAC;IAC1B,IAAI,aAAa,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,MAAM,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC;QACrG,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,UAAU,8BAA8B,aAAa,IAAI,EAAE,CAAC;QAClH,CAAC;QACD,aAAa,GAAG,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,WAAW,IAAI,CAAC,CAAC;IAC7E,CAAC;SAAM,CAAC;QACJ,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,aAAa,GAAG,GAAG,YAAY,GAAG,SAAS,GAAG,WAAW,IAAI,CAAC;IAClE,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,cAAc,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;QAChF,IAAI,CAAC,SAAS,CAAC,OAAO;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;QACzF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;IACpF,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,oBAAoB;IACpB,MAAM,eAAe,GAAG,MAAM,YAAY,CAAC,cAAc,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;IACtF,IAAI,CAAC,eAAe,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC;IACrG,MAAM,eAAe,GAAG,MAAM,YAAY,CAAC,cAAc,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IACvF,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO;YACH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC;YACvC,KAAK,EAAE,GAAG,eAAe,CAAC,KAAK,KAAK,SAAS,6BAA6B,UAAU,QAAQ,UAAU,IAAI;kBACpG,iCAAiC;SAC1C,CAAC;IACN,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;AAChG,CAAC;AAED,gFAAgF;AAEhF,iFAAiF;AACjF,KAAK,UAAU,gBAAgB,CAC3B,MAAc,EAAE,KAAsB,EAAE,UAAkB,EAAE,SAAiB;IAE7E,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/D,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,oBAAoB,CAAC,UAAU,EAAE,8BAA8B,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,IAAI,GAAG,4BAA4B,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9F,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC1B,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,oBAAoB,CAAC,UAAU,EAAE,8CAA8C,CAAC,CAAC;IACrG,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;AAC/D,CAAC;AAED,gFAAgF;AAEhF,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,aAAqB;IACnC,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC"}

package/packages/tools/lib/server/persistor.d.ts

@@ -1,12 +1,87 @@
+import { type IrIdentityIndex } from '../model/ir-identity.js';
+/** Default home for an element the request does not place. */
+export declare const DEFAULT_ELEMENT_FILE = "model/catalog/project.sysml";
+export interface ElementWriteRequest {
+    id: string;
+    name?: string;
+    kind?: string;
+    construct?: string;
+    layer?: string;
+    doc?: string;
+    attributes?: Record<string, string>;
+    /** Project-relative source file. */
+    file?: string;
+    /**
+     * Qualified name of the package that should declare this element.
+     *
+     * Creation only — a package change on an existing declaration is a move,
+     * which is ./package-writer.ts's job because it has to cut the declaration
+     * out of where it currently is. Absent means the file's last package, which
+     * is what a request that does not care about placement gets.
+     */
+    package?: string;
+    /**
+     * IR identity of the declaration being edited.
+     *
+     * Required to *update* an existing declaration. Absent means "create":
+     * there is no identity to quote for source that does not exist yet.
+     */
+    irIdentity?: string;
+    /**
+     * The element ID the quoted identity is expected to name, when this write
+     * changes the declaration's own identifier.
+     *
+     * Without it a rename is indistinguishable from a stale address — both are
+     * "the identity names something other than `id`" — and the safe reading of
+     * that ambiguity is to refuse. Saying so explicitly is what makes a rename
+     * a deliberate act rather than an accident the checker has to tolerate.
+     */
+    renamedFrom?: string;
+}
+/** Advisory notes about a write that succeeded. */
+export interface ElementWriteWarning {
+    code: 'rename-is-text-only';
+    message: string;
+}
+export interface ElementWriteResult {
+    success: boolean;
+    filePath: string;
+    /** True when the declaration was replaced rather than appended. */
+    replaced?: boolean;
+    warnings?: ElementWriteWarning[];
+    error?: string;
+    /** Set when the failure was a stale identity, so callers can say so. */
+    stale?: boolean;
+}
+/**
+ * Why a rename is only a text edit, said once here so every surface says the
+ * same thing.
+ *
+ * Updating references would need name resolution across the workspace — the
+ * linker, which is Track B B5 and does not exist yet. Silently rewriting the
+ * declaration and leaving every reference pointing at the old name would be a
+ * broken model presented as a successful edit, so the write succeeds and says
+ * what it did not do.
+ */
+export declare const RENAME_IS_TEXT_ONLY: string;
 /**
- * Persists an element change back to its source .sysml file.
+ * Write one element into project source.
  *
- * If the element is new (no 'file' property), it records it in 'model/generated.sysml'.
- * Uses a regex-based usage block replacement for existing elements.
+ * `index` is the identity index of the current revision. Passing it is what
+ * makes an update identity-addressed; without it only creation is possible,
+ * and an update that quotes an identity is refused rather than silently
+ * degraded to a name match.
  */
-export declare function saveElementToFile(cwd: string, element: any): {
+export declare function saveElementToFile(cwd: string, element: ElementWriteRequest, index?: IrIdentityIndex): Promise<ElementWriteResult>;
+/**
+ * Parse-before-commit, then write atomically.
+ *
+ * Source that does not parse never reaches disk. The editor model (§1.1) says a
+ * *user* may save anything; it does not say a machine-generated splice may
+ * corrupt a file the user did not touch.
+ */
+export declare function commitSource(absolutePath: string, relativePath: string, updated: string): Promise<{
     success: boolean;
-    filePath: string;
     error?: string;
-};
+}>;
 //# sourceMappingURL=persistor.d.ts.map

package/packages/tools/lib/server/persistor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persistor.d.ts","sourceRoot":"","sources":["../../src/server/persistor.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAmEnH"}
+{"version":3,"file":"persistor.d.ts","sourceRoot":"","sources":["../../src/server/persistor.ts"],"names":[],"mappings":"AA4BA,OAAO,EAIH,KAAK,eAAe,EACvB,MAAM,yBAAyB,CAAC;AAGjC,8DAA8D;AAC9D,eAAO,MAAM,oBAAoB,gCAAgC,CAAC;AAElE,MAAM,WAAW,mBAAmB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,oCAAoC;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;;;;OAQG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,mDAAmD;AACnD,MAAM,WAAW,mBAAmB;IAChC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IAC/B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,KAAK,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,mBAAmB,QAGI,CAAC;AAErC;;;;;;;GAOG;AACH,wBAAsB,iBAAiB,CACnC,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,mBAAmB,EAC5B,KAAK,CAAC,EAAE,eAAe,GACxB,OAAO,CAAC,kBAAkB,CAAC,CAyE7B;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAC9B,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAC5D,OAAO,CAAC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAc/C"}