@memoarchitect/tools 0.13.2 → 0.15.0

package/packages/tools/lib/server/release-writer.d.ts

@@ -0,0 +1,46 @@
+import type { OutlineSource } from '../authoring/outline-source.js';
+export interface ReleaseCreateRequest {
+    requestId?: string;
+    /** The declared name, lowerCamelCase. */
+    name: string;
+    label?: string;
+    /** The element id (a qualified name) of the item the record is a release of. */
+    itemId: string;
+    partNumber: string;
+    revision: string;
+    softwareVersion?: string;
+    codeTag?: string;
+    /** An `ElementStatusKind` literal name: `draft`, `approved`, `released`. */
+    status?: string;
+    /** Default: the commit HEAD names. */
+    modelCommit?: string;
+    /** Element ids (qualified names) of the records it contains, the interface records it implements,
+     *  the features it selects and the verification cases that verified it. */
+    contains?: string[];
+    implements?: string[];
+    features?: string[];
+    verifiedBy?: string[];
+    /** The project-relative file to write into. */
+    file: string;
+}
+export interface ReleaseCreateContext {
+    projectRoot: string;
+    outlines: OutlineSource;
+    /** The project-relative file declaring an element, if the model has it. */
+    fileOf(id: string): string | undefined;
+    /** A release record's `modelCommit`, if the model has it. */
+    commitOf(id: string): string | undefined;
+}
+export interface ReleaseCreateResult {
+    success: boolean;
+    filePath?: string;
+    name?: string;
+    modelCommit?: string;
+    error?: string;
+}
+/** The packages the record's text names: its kind and links, its status, its identity, and features. */
+export declare function releaseImports(request: ReleaseCreateRequest): string[];
+/** The text of the record and its statements. */
+export declare function releaseRecordText(request: ReleaseCreateRequest, modelCommit: string): string;
+export declare function writeRelease(request: ReleaseCreateRequest, context: ReleaseCreateContext): Promise<ReleaseCreateResult>;
+//# sourceMappingURL=release-writer.d.ts.map

package/packages/tools/lib/server/release-writer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"release-writer.d.ts","sourceRoot":"","sources":["../../src/server/release-writer.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAOpE,MAAM,WAAW,oBAAoB;IACjC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;+EAC2E;IAC3E,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,aAAa,CAAC;IACxB,2EAA2E;IAC3E,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACvC,6DAA6D;IAC7D,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;CAClB;AAYD,wGAAwG;AACxG,wBAAgB,cAAc,CAAC,OAAO,EAAE,oBAAoB,GAAG,MAAM,EAAE,CAKtE;AAYD,iDAAiD;AACjD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,oBAAoB,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAc5F;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAyD7H"}

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

@@ -0,0 +1,133 @@
+// ─── Creating a release record: one semantic write ───────────────────────────
+//
+// A record is the part and its typed-dependency statements (`#ReleaseOf`, `#Contains`, `#Implements`,
+// `#SelectsFeature`, `#VerifiedByCase`), and they are written together or not at all: N separate
+// relationship writes could leave a half-made release when one is refused. The text goes through the
+// same compile-before-commit and atomic write as every other semantic write (`commitSource`).
+//
+// Two things the write enforces that the page cannot:
+//   - placement: never under `<include>/systems/` (see `release-target.ts`);
+//   - the commit: `modelCommit` is HEAD unless the caller names one, and HEAD is refused when what the
+//     person sees has uncommitted changes, because the record would pin a commit that does not hold it.
+//     Everything the record contains must be at or before the commit it is written at.
+// ─────────────────────────────────────────────────────────────────────────────
+import { existsSync, mkdirSync, readFileSync } from 'node:fs';
+import { dirname, resolve } from 'node:path';
+import { execFile } from 'node:child_process';
+import { promisify } from 'node:util';
+import { isAncestor } from '../model/pinned.js';
+import { isInSystemFolder } from '../model/release-target.js';
+import { appendToLastPackage, commitSource } from './persistor.js';
+const git = promisify(execFile);
+const IDENTIFIER = /^[A-Za-z_][A-Za-z0-9_]*$/;
+const QUALIFIED = /^[A-Za-z_][A-Za-z0-9_]*(::[A-Za-z_][A-Za-z0-9_]*)*$/;
+const STATUS = /^[a-z][A-Za-z]*$/;
+const quote = (text) => `"${text.replaceAll('\\', '\\\\').replaceAll('"', '\\"')}"`;
+async function run(cwd, args) {
+    return (await git('git', ['-C', cwd, ...args])).stdout.trim();
+}
+/** The packages the record's text names: its kind and links, its status, its identity, and features. */
+export function releaseImports(request) {
+    return [
+        'memo_core_common', 'memo_core_dimensions', 'memo_artifacts_configuration_management',
+        ...(request.features && request.features.length > 0 ? ['memo_architecture_variability'] : []),
+    ];
+}
+/** `source` with an import of each package it does not already import, at the top of its last package. */
+function withImports(source, packages) {
+    const open = [...source.matchAll(/\bpackage\s+[A-Za-z_][\w:]*\s*\{[ \t]*\r?\n/g)].pop();
+    if (!open)
+        return source;
+    const missing = packages.filter(name => !new RegExp(`\\bimport\\s+${name}::`).test(source));
+    if (missing.length === 0)
+        return source;
+    const at = open.index + open[0].length;
+    return `${source.slice(0, at)}${missing.map(name => `    private import ${name}::*;\n`).join('')}${source.slice(at)}`;
+}
+/** The text of the record and its statements. */
+export function releaseRecordText(request, modelCommit) {
+    const lines = [`    part ${request.name} : ReleaseRecord {`];
+    if (request.label)
+        lines.push(`        @MemoIdentity { :>> label = ${quote(request.label)}; }`);
+    if (request.status)
+        lines.push(`        attribute :>> status = ElementStatusKind::${request.status};`);
+    lines.push(`        attribute :>> partNumber = ${quote(request.partNumber)};`);
+    lines.push(`        attribute :>> revision = ${quote(request.revision)};`);
+    if (request.softwareVersion)
+        lines.push(`        attribute :>> softwareVersion = ${quote(request.softwareVersion)};`);
+    if (request.codeTag)
+        lines.push(`        attribute :>> codeTag = ${quote(request.codeTag)};`);
+    lines.push(`        attribute :>> modelCommit = ${quote(modelCommit)};`, '    }');
+    lines.push(`    #ReleaseOf dependency from ${request.name} to ${request.itemId};`);
+    for (const [relation, ends] of [['Contains', request.contains], ['Implements', request.implements], ['SelectsFeature', request.features], ['VerifiedByCase', request.verifiedBy]]) {
+        if (ends && ends.length > 0)
+            lines.push(`    #${relation} dependency from ${request.name} to ${ends.join(', ')};`);
+    }
+    return lines.join('\n');
+}
+export async function writeRelease(request, context) {
+    const fail = (error) => ({ success: false, error });
+    if (!IDENTIFIER.test(request.name))
+        return fail(`"${request.name}" is not a name a record can be declared with.`);
+    for (const [what, value] of [['part number', request.partNumber], ['revision', request.revision]]) {
+        if (!value?.trim())
+            return fail(`A release has a ${what}.`);
+    }
+    if (request.status !== undefined && !STATUS.test(request.status))
+        return fail(`"${request.status}" is not a status.`);
+    for (const id of [request.itemId, ...(request.contains ?? []), ...(request.implements ?? []), ...(request.features ?? []), ...(request.verifiedBy ?? [])]) {
+        if (!QUALIFIED.test(id))
+            return fail(`"${id}" is not an element id.`);
+    }
+    const file = request.file.replaceAll('\\', '/');
+    if (!file.endsWith('.sysml') || file.startsWith('/') || file.split('/').includes('..'))
+        return fail(`"${request.file}" is not a project file.`);
+    if (isInSystemFolder(file)) {
+        return fail(`A release record is not written under systems/ (${file}): a system folder is checked out at the commit the record pins, where the record does not exist yet. Use a file under sos/.`);
+    }
+    let commit = request.modelCommit?.trim();
+    try {
+        const head = await run(context.projectRoot, ['rev-parse', 'HEAD']);
+        if (!commit) {
+            commit = head;
+            // What the person sees must be what the commit holds: the item's system folder, or, for
+            // anything else, the whole project, ignoring the file this write is about to change.
+            const itemFile = context.fileOf(request.itemId)?.replaceAll('\\', '/');
+            const scope = itemFile && isInSystemFolder(itemFile) ? itemFile.replace(/^(.*?\/?systems\/[^/]+)\/.*$/, '$1') : '.';
+            const dirty = await run(context.projectRoot, ['status', '--porcelain', '--untracked-files=no', '--', scope, `:(exclude)${file}`]);
+            if (dirty) {
+                return fail(`There are uncommitted changes in ${scope === '.' ? 'the project' : scope}, so the commit ${head.slice(0, 7)} does not hold what you see. `
+                    + `Commit them first, or name the commit to record.\n${dirty.split('\n').slice(0, 5).join('\n')}`);
+            }
+        }
+        else {
+            commit = await run(context.projectRoot, ['rev-parse', '--verify', `${commit}^{commit}`]);
+        }
+        for (const contained of request.contains ?? []) {
+            const other = context.commitOf(contained);
+            if (other && !(await isAncestor(context.projectRoot, other, commit))) {
+                return fail(`${contained} is at ${other.slice(0, 7)}, which is not at or before ${commit.slice(0, 7)}: a release must be at or after what it contains.`);
+            }
+        }
+    }
+    catch (error) {
+        return fail(`The commit could not be resolved: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    const absolute = resolve(context.projectRoot, file);
+    const root = resolve(context.projectRoot);
+    if (!absolute.startsWith(`${root}/`))
+        return fail('The file is outside the project.');
+    mkdirSync(dirname(absolute), { recursive: true });
+    const text = releaseRecordText(request, commit);
+    const existing = existsSync(absolute) ? readFileSync(absolute, 'utf8') : undefined;
+    const packageName = file.replace(/[^a-zA-Z0-9]/g, '_').replace(/^_/, '').replace(/_sysml$/, '');
+    const updated = existing === undefined
+        ? `package ${packageName} {\n${releaseImports(request).map(name => `    private import ${name}::*;\n`).join('')}${text}\n}\n`
+        : appendToLastPackage(withImports(existing, releaseImports(request)), text);
+    // A new file is verified as a new file: the outline source reads it from the text, not from disk.
+    const committed = await commitSource(absolute, file, updated, context.outlines);
+    if (!committed.success)
+        return fail(committed.error ?? 'The release could not be written.');
+    return { success: true, filePath: file, name: request.name, modelCommit: commit };
+}
+//# sourceMappingURL=release-writer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"release-writer.js","sourceRoot":"","sources":["../../src/server/release-writer.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,sGAAsG;AACtG,iGAAiG;AACjG,qGAAqG;AACrG,8FAA8F;AAC9F,EAAE;AACF,sDAAsD;AACtD,6EAA6E;AAC7E,uGAAuG;AACvG,wGAAwG;AACxG,uFAAuF;AACvF,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEnE,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AA4ChC,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAC9C,MAAM,SAAS,GAAG,qDAAqD,CAAC;AACxE,MAAM,MAAM,GAAG,kBAAkB,CAAC;AAElC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;AAE5F,KAAK,UAAU,GAAG,CAAC,GAAW,EAAE,IAAc;IAC1C,OAAO,CAAC,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AAClE,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,cAAc,CAAC,OAA6B;IACxD,OAAO;QACH,kBAAkB,EAAE,sBAAsB,EAAE,yCAAyC;QACrF,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChG,CAAC;AACN,CAAC;AAED,0GAA0G;AAC1G,SAAS,WAAW,CAAC,MAAc,EAAE,QAA2B;IAC5D,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,8CAA8C,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACxF,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACxC,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;AAC1H,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,iBAAiB,CAAC,OAA6B,EAAE,WAAmB;IAChF,MAAM,KAAK,GAAG,CAAC,YAAY,OAAO,CAAC,IAAI,oBAAoB,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,uCAAuC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChG,IAAI,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,qDAAqD,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACvG,KAAK,CAAC,IAAI,CAAC,sCAAsC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,oCAAoC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3E,IAAI,OAAO,CAAC,eAAe;QAAE,KAAK,CAAC,IAAI,CAAC,2CAA2C,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACtH,IAAI,OAAO,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,mCAAmC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9F,KAAK,CAAC,IAAI,CAAC,uCAAuC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAClF,KAAK,CAAC,IAAI,CAAC,kCAAkC,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACnF,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,gBAAgB,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAU,EAAE,CAAC;QACzL,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,QAAQ,oBAAoB,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAA6B,EAAE,OAA6B;IAC3F,MAAM,IAAI,GAAG,CAAC,KAAa,EAAuB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACjF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,gDAAgD,CAAC,CAAC;IAClH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAU,EAAE,CAAC;QACzG,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC,mBAAmB,IAAI,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,oBAAoB,CAAC,CAAC;IACtH,KAAK,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACxJ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,0BAA0B,CAAC,CAAC;IAChJ,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,mDAAmD,IAAI,8HAA8H,CAAC,CAAC;IACvM,CAAC;IAED,IAAI,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,CAAC;YACd,wFAAwF;YACxF,qFAAqF;YACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvE,MAAM,KAAK,GAAG,QAAQ,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,8BAA8B,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACpH,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,aAAa,EAAE,sBAAsB,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;YAClI,IAAI,KAAK,EAAE,CAAC;gBACR,OAAO,IAAI,CAAC,oCAAoC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,+BAA+B;sBACjJ,qDAAqD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3G,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,MAAM,GAAG,MAAM,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC,CAAC;QAC7F,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC1C,IAAI,KAAK,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBACnE,OAAO,IAAI,CAAC,GAAG,SAAS,UAAU,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,+BAA+B,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mDAAmD,CAAC,CAAC;YAC7J,CAAC;QACL,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,IAAI,CAAC,qCAAqC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACtF,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnF,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAChG,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS;QAClC,CAAC,CAAC,WAAW,WAAW,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,OAAO;QAC7H,CAAC,CAAC,mBAAmB,CAAC,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAChF,kGAAkG;IAClG,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChF,IAAI,CAAC,SAAS,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,mCAAmC,CAAC,CAAC;IAC5F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACtF,CAAC"}

package/packages/tools/lib/server/rule-policy-writer.d.ts

@@ -1,6 +1,13 @@
 import type { EffectiveRule } from '../model/methodology-resolver.js';
+import type { ClauseFact } from '../validator/rule-clauses.js';
 export interface RulePolicyRequest {
-    targetRuleType: string;
+    /**
+     * What the policy governs: exactly one of a rule (a `constraint def` name), a
+     * standard (its qualified name), or a category (a layer namespace).
+     */
+    targetRuleType?: string;
+    targetStandard?: string;
+    targetCategory?: string;
     disposition: 'enabled' | 'disabled' | 'replaced';
     severityOverride?: 'error' | 'warning' | 'info';
     replacementRuleType?: string;
@@ -9,7 +16,7 @@ export interface RulePolicyRequest {
     approvalReference?: string;
 }
 export interface RulePolicyRefusal {
-    code: 'unknown-rule' | 'invariant-not-tailorable' | 'missing-rationale' | 'missing-replacement' | 'replacement-not-resolvable';
+    code: 'unknown-rule' | 'multiple-targets' | 'no-target' | 'selects-no-rule' | 'bulk-replacement' | 'invariant-not-tailorable' | 'missing-rationale' | 'missing-replacement' | 'replacement-not-resolvable';
     message: string;
 }
 /**
@@ -19,19 +26,25 @@ export interface RulePolicyRefusal {
  * the editor as a diagnostic the user can act on.
  */
 export declare function checkRulePolicy(request: RulePolicyRequest, effectiveRules: readonly EffectiveRule[]): RulePolicyRefusal | undefined;
+/**
+ * The standard a person means: its qualified name, or its designation or part
+ * of it ("ISO 14971", "62304"). Undefined unless exactly one standard matches,
+ * so a loose word never selects the wrong set of rules.
+ */
+export declare function resolveStandardReference(clauses: readonly ClauseFact[], text: string): string | undefined;
 /**
  * Render the `RulePolicy` usage.
  *
  * The target is named by narrowing the reference's TYPE — `ref :>> targetRule :
  * X` — not by binding a value. Session 3 established that binding a value to a
- * `constraint def` is not portable: SysIDE rejects it, because a value must be
+ * `constraint def` is not portable: a SysML v2 compiler rejects it, because a value must be
  * a feature and a definition is not.
  */
 export declare function renderRulePolicy(request: RulePolicyRequest, indent?: string): string;
 /**
  * Insert the rendered policy into a methodology definition's body.
  *
- * Appends inside the `MethodologyDefinition` usage the file declares, before
+ * Appends inside the `ModelMethodBinding` (or deprecated `ProjectMethodBinding`) or `MethodologyDefinition` usage the file declares, before
  * its closing brace. Returns undefined when no such usage is found, so the
  * caller reports a diagnostic instead of writing a policy into open space where
  * it would parse but never apply.

package/packages/tools/lib/server/rule-policy-writer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-policy-writer.d.ts","sourceRoot":"","sources":["../../src/server/rule-policy-writer.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAEtE,MAAM,WAAW,iBAAiB;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IACjD,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EACE,cAAc,GACd,0BAA0B,GAC1B,mBAAmB,GACnB,qBAAqB,GACrB,4BAA4B,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,cAAc,EAAE,SAAS,aAAa,EAAE,GACzC,iBAAiB,GAAG,SAAS,CA8C/B;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,EAAE,MAAM,SAAa,GAAG,MAAM,CAsBxF;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAenF"}
+{"version":3,"file":"rule-policy-writer.d.ts","sourceRoot":"","sources":["../../src/server/rule-policy-writer.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAEtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAG/D,MAAM,WAAW,iBAAiB;IAC9B;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IACjD,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EACE,cAAc,GACd,kBAAkB,GAClB,WAAW,GACX,iBAAiB,GACjB,kBAAkB,GAClB,0BAA0B,GAC1B,mBAAmB,GACnB,qBAAqB,GACrB,4BAA4B,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,cAAc,EAAE,SAAS,aAAa,EAAE,GACzC,iBAAiB,GAAG,SAAS,CA0D/B;AAsCD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAOzG;AAUD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,EAAE,MAAM,SAAa,GAAG,MAAM,CA2BxF;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CA0BnF"}

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

@@ -6,7 +6,7 @@
 // the point of "writing SysML through the command boundary" (section 18.4
 // deliverable 8): the browser never composes model source, so a policy authored
 // in the UI is the same construct, in the same file, subject to the same
-// precondition checks, as one typed in SysIDE.
+// precondition checks, as one typed in a text editor.
 //
 // The refusals below are section 10.2's, enforced here rather than in the UI —
 // a check that lives in a React component is a suggestion, because the message
@@ -14,6 +14,8 @@
 //
 // Design reference: sections 10.1-10.3.
 // ─────────────────────────────────────────────────────────────────────────────
+import { layersWithRules, rulesSelectedBy } from '../model/methodology-resolver.js';
+import { METHOD_BINDING_KINDS } from '../model/native-project.js';
 /**
  * Check a tailoring decision against the rule it targets.
  *
@@ -21,6 +23,18 @@
  * the editor as a diagnostic the user can act on.
  */
 export function checkRulePolicy(request, effectiveRules) {
+    const selectors = [request.targetRuleType, request.targetStandard, request.targetCategory].filter(Boolean);
+    if (selectors.length === 0) {
+        return { code: 'no-target', message: 'A policy must name a rule, a standard or a category.' };
+    }
+    if (selectors.length > 1) {
+        return {
+            code: 'multiple-targets',
+            message: 'A policy selects what it governs in exactly one way: a rule, a standard or a category.',
+        };
+    }
+    if (!request.targetRuleType)
+        return checkBulkPolicy(request, effectiveRules);
     const target = effectiveRules.find(rule => rule.sourceRuleType === request.targetRuleType);
     if (!target) {
         return {
@@ -63,19 +77,78 @@ export function checkRulePolicy(request, effectiveRules) {
     }
     return undefined;
 }
+/**
+ * A policy that selects several rules: it must reach at least one the decision
+ * can change, and may not replace them. Invariants in the selection are left
+ * running, as the resolver does; they are not a refusal unless nothing else is.
+ */
+function checkBulkPolicy(request, effectiveRules) {
+    const selection = request.targetStandard ? `the standard ${request.targetStandard}` : `the category ${request.targetCategory}`;
+    const matched = rulesSelectedBy(effectiveRules, request);
+    if (matched.length === 0) {
+        return {
+            code: 'selects-no-rule',
+            message: `${selection} matches no rule in the effective rule set. A policy may only select rules the project resolves.`
+                + (request.targetCategory ? ` Layers with rules: ${layersWithRules(effectiveRules).join(', ')}.` : ''),
+        };
+    }
+    if (request.disposition === 'replaced') {
+        return {
+            code: 'bulk-replacement',
+            message: 'A policy that selects several rules can disable them or change their severity, not replace them.',
+        };
+    }
+    if (request.disposition === 'disabled' && matched.every(rule => rule.tailoring === 'invariant')) {
+        return {
+            code: 'invariant-not-tailorable',
+            message: `Every rule of ${selection} is an invariant, and invariants cannot be disabled by a methodology.`,
+        };
+    }
+    if (request.disposition !== 'enabled' && !request.rationaleText.trim()) {
+        return { code: 'missing-rationale', message: 'A rule may not be disabled or replaced without a written rationale.' };
+    }
+    return undefined;
+}
+/**
+ * The standard a person means: its qualified name, or its designation or part
+ * of it ("ISO 14971", "62304"). Undefined unless exactly one standard matches,
+ * so a loose word never selects the wrong set of rules.
+ */
+export function resolveStandardReference(clauses, text) {
+    const wanted = text.trim().toLowerCase();
+    const standards = new Map();
+    for (const clause of clauses)
+        standards.set(clause.standardName, clause.standard);
+    if (standards.has(text.trim()))
+        return text.trim();
+    const found = [...standards].filter(([, designation]) => designation.toLowerCase().includes(wanted));
+    return found.length === 1 ? found[0][0] : undefined;
+}
+/** The usage name a policy is written under. */
+function policyUsageName(request) {
+    const raw = request.targetRuleType
+        ?? (request.targetStandard ? request.targetStandard.split('::').pop() : request.targetCategory);
+    const camel = raw.replace(/[^A-Za-z0-9]+(.)?/g, (_, c) => (c ?? '').toUpperCase());
+    return `policy${camel.charAt(0).toUpperCase()}${camel.slice(1)}`;
+}
 /**
  * Render the `RulePolicy` usage.
  *
  * The target is named by narrowing the reference's TYPE — `ref :>> targetRule :
  * X` — not by binding a value. Session 3 established that binding a value to a
- * `constraint def` is not portable: SysIDE rejects it, because a value must be
+ * `constraint def` is not portable: a SysML v2 compiler rejects it, because a value must be
  * a feature and a definition is not.
  */
 export function renderRulePolicy(request, indent = '        ') {
-    const usageName = `policy${request.targetRuleType.charAt(0).toUpperCase()}${request.targetRuleType.slice(1)}`;
+    const target = request.targetRuleType
+        ? `ref :>> targetRule : ${request.targetRuleType};`
+        : request.targetStandard
+            // A standard is a usage, not a definition: the reference is valued, not typed.
+            ? `ref :>> targetStandard = ${request.targetStandard};`
+            : `attribute :>> targetCategory = ${quote(request.targetCategory)};`;
     const lines = [
-        `${indent}part ${usageName} : RulePolicy :> rulePolicy {`,
-        `${indent}    ref :>> targetRule : ${request.targetRuleType};`,
+        `${indent}part ${policyUsageName(request)} : RulePolicy :> rulePolicy {`,
+        `${indent}    ${target}`,
         `${indent}    attribute :>> disposition = RuleDispositionKind::${request.disposition};`,
     ];
     if (request.disposition === 'replaced' && request.replacementRuleType) {
@@ -97,14 +170,26 @@ export function renderRulePolicy(request, indent = '        ') {
 /**
  * Insert the rendered policy into a methodology definition's body.
  *
- * Appends inside the `MethodologyDefinition` usage the file declares, before
+ * Appends inside the `ModelMethodBinding` (or deprecated `ProjectMethodBinding`) or `MethodologyDefinition` usage the file declares, before
  * its closing brace. Returns undefined when no such usage is found, so the
  * caller reports a diagnostic instead of writing a policy into open space where
  * it would parse but never apply.
  */
 export function insertRulePolicy(source, policy) {
+    // Two policies cannot share a usage name in one methodology. A later policy
+    // with the same target takes the next free number rather than a compile error.
+    const taken = new Set([...source.matchAll(/part\s+(\w+)\s*:\s*RulePolicy\b/g)].map(match => match[1]));
+    const name = /part\s+(\w+)\s*:\s*RulePolicy\b/.exec(policy)?.[1];
+    if (name && taken.has(name)) {
+        let n = 2;
+        while (taken.has(`${name}${n}`))
+            n++;
+        policy = policy.replace(`part ${name} :`, `part ${name}${n} :`);
+    }
     const lines = source.split('\n');
-    const start = lines.findIndex(line => /part\s+\w+\s*:\s*MethodologyDefinition\s*\{/.test(line));
+    // A model states its own decisions in its binding; a reusable methodology states its own.
+    const owners = ['MethodologyDefinition', ...METHOD_BINDING_KINDS].join('|');
+    const start = lines.findIndex(line => new RegExp(`part\\s+\\w+\\s*:\\s*(${owners})\\s*\\{`).test(line));
     if (start < 0)
         return undefined;
     let depth = 0;

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

@@ -1 +1 @@
-{"version":3,"file":"rule-policy-writer.js","sourceRoot":"","sources":["../../src/server/rule-policy-writer.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,gFAAgF;AAChF,0EAA0E;AAC1E,gFAAgF;AAChF,yEAAyE;AACzE,+CAA+C;AAC/C,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,4BAA4B;AAC5B,EAAE;AACF,wCAAwC;AACxC,gFAAgF;AAwBhF;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC3B,OAA0B,EAC1B,cAAwC;IAExC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3F,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,OAAO;YACH,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,iBAAiB,OAAO,CAAC,cAAc,iCAAiC;kBAC3E,gEAAgE;SACzE,CAAC;IACN,CAAC;IAED,oEAAoE;IACpE,sEAAsE;IACtE,8CAA8C;IAC9C,IAAI,MAAM,CAAC,SAAS,KAAK,WAAW,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO;YACH,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,GAAG,OAAO,CAAC,cAAc,qDAAqD;kBACjF,uEAAuE;SAChF,CAAC;IACN,CAAC;IAED,0EAA0E;IAC1E,8DAA8D;IAC9D,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QACrE,OAAO;YACH,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,qEAAqE;SACjF,CAAC;IACN,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,EAAE,EAAE,CAAC;YACvC,OAAO;gBACH,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,+DAA+D;aAC3E,CAAC;QACN,CAAC;QACD,IAAI,OAAO,CAAC,mBAAmB,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;YACzD,OAAO;gBACH,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,+BAA+B;aAC3C,CAAC;QACN,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAA0B,EAAE,MAAM,GAAG,UAAU;IAC5E,MAAM,SAAS,GAAG,SAAS,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,MAAM,KAAK,GAAG;QACV,GAAG,MAAM,QAAQ,SAAS,+BAA+B;QACzD,GAAG,MAAM,4BAA4B,OAAO,CAAC,cAAc,GAAG;QAC9D,GAAG,MAAM,wDAAwD,OAAO,CAAC,WAAW,GAAG;KAC1F,CAAC;IACF,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iCAAiC,OAAO,CAAC,mBAAmB,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,0DAA0D,OAAO,CAAC,gBAAgB,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,qCAAqC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iCAAiC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yCAAyC,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACtG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,MAAc;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,6CAA6C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9C,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IACxB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC"}
+{"version":3,"file":"rule-policy-writer.js","sourceRoot":"","sources":["../../src/server/rule-policy-writer.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,gFAAgF;AAChF,0EAA0E;AAC1E,gFAAgF;AAChF,yEAAyE;AACzE,sDAAsD;AACtD,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,4BAA4B;AAC5B,EAAE;AACF,wCAAwC;AACxC,gFAAgF;AAGhF,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAEpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAgClE;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC3B,OAA0B,EAC1B,cAAwC;IAExC,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3G,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,sDAAsD,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACH,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,wFAAwF;SACpG,CAAC;IACN,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,eAAe,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAE7E,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3F,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,OAAO;YACH,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,iBAAiB,OAAO,CAAC,cAAc,iCAAiC;kBAC3E,gEAAgE;SACzE,CAAC;IACN,CAAC;IAED,oEAAoE;IACpE,sEAAsE;IACtE,8CAA8C;IAC9C,IAAI,MAAM,CAAC,SAAS,KAAK,WAAW,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO;YACH,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,GAAG,OAAO,CAAC,cAAc,qDAAqD;kBACjF,uEAAuE;SAChF,CAAC;IACN,CAAC;IAED,0EAA0E;IAC1E,8DAA8D;IAC9D,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QACrE,OAAO;YACH,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,qEAAqE;SACjF,CAAC;IACN,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,EAAE,EAAE,CAAC;YACvC,OAAO;gBACH,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,+DAA+D;aAC3E,CAAC;QACN,CAAC;QACD,IAAI,OAAO,CAAC,mBAAmB,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;YACzD,OAAO;gBACH,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,+BAA+B;aAC3C,CAAC;QACN,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAA0B,EAC1B,cAAwC;IAExC,MAAM,SAAS,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,cAAc,EAAE,CAAC;IAC/H,MAAM,OAAO,GAAG,eAAe,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACH,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,GAAG,SAAS,kGAAkG;kBACjH,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,uBAAuB,eAAe,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7G,CAAC;IACN,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO;YACH,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,kGAAkG;SAC9G,CAAC;IACN,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,WAAW,CAAC,EAAE,CAAC;QAC9F,OAAO;YACH,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,iBAAiB,SAAS,uEAAuE;SAC7G,CAAC;IACN,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,qEAAqE,EAAE,CAAC;IACzH,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAA8B,EAAE,IAAY;IACjF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClF,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACrG,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,gDAAgD;AAChD,SAAS,eAAe,CAAC,OAA0B;IAC/C,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc;WAC3B,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,OAAO,CAAC,cAAe,CAAC,CAAC;IACtG,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC,EAAE,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACvG,OAAO,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AACrE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAA0B,EAAE,MAAM,GAAG,UAAU;IAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc;QACjC,CAAC,CAAC,wBAAwB,OAAO,CAAC,cAAc,GAAG;QACnD,CAAC,CAAC,OAAO,CAAC,cAAc;YACpB,+EAA+E;YAC/E,CAAC,CAAC,4BAA4B,OAAO,CAAC,cAAc,GAAG;YACvD,CAAC,CAAC,kCAAkC,KAAK,CAAC,OAAO,CAAC,cAAe,CAAC,GAAG,CAAC;IAC9E,MAAM,KAAK,GAAG;QACV,GAAG,MAAM,QAAQ,eAAe,CAAC,OAAO,CAAC,+BAA+B;QACxE,GAAG,MAAM,OAAO,MAAM,EAAE;QACxB,GAAG,MAAM,wDAAwD,OAAO,CAAC,WAAW,GAAG;KAC1F,CAAC;IACF,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iCAAiC,OAAO,CAAC,mBAAmB,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,0DAA0D,OAAO,CAAC,gBAAgB,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,qCAAqC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,iCAAiC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yCAAyC,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACtG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,MAAc;IAC3D,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,IAAI,GAAG,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;YAAE,CAAC,EAAE,CAAC;QACrC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,IAAI,IAAI,EAAE,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,0FAA0F;IAC1F,MAAM,MAAM,GAAG,CAAC,uBAAuB,EAAE,GAAG,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,yBAAyB,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACxG,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9C,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,KAAK,CAAC,KAAa;IACxB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC"}

package/packages/tools/lib/server/rule-service.d.ts

@@ -0,0 +1,50 @@
+import type { MEMOConfig } from '../model/config.js';
+import type { KindRegistry } from '../model/kind-registry.js';
+import type { MemoModel } from '../model/semantic.js';
+import type { CompiledConstraint } from '../validator/constraint-eval.js';
+import type { ClauseFact } from '../validator/rule-clauses.js';
+import { type ConditionSpec, type DryRunResult, type NewRuleRequest } from './rule-writer.js';
+/** The project as the server last built it. */
+export interface RuleServiceContext {
+    projectRoot: string;
+    config: MEMOConfig;
+    model: MemoModel;
+    kindRegistry?: KindRegistry;
+    constraints: readonly CompiledConstraint[];
+    clauses: readonly ClauseFact[];
+    /** Absolute paths of the project's own `.sysml` files: the only ones a rule may be written into. */
+    projectFiles: ReadonlySet<string>;
+}
+/** A rule as a form states it. */
+export interface RuleFormRequest extends Omit<NewRuleRequest, 'predicateExpression'> {
+    condition: ConditionSpec;
+    /** The revision of `file` the form was loaded from; a write against another is refused. */
+    baseRevision?: string;
+}
+export type RulePreview = ({
+    success: true;
+    predicateExpression: string;
+    /** The revision of the target file now; the write is refused if the file has moved on. */
+    baseRevision?: string;
+} & DryRunResult) | {
+    success: false;
+    code: string;
+    error: string;
+};
+export type RuleWrite = {
+    success: true;
+    revision: string;
+    text: string;
+} | {
+    success: false;
+    code?: string;
+    error: string;
+    conflict?: boolean;
+    revision?: string;
+};
+export declare function revisionOf(text: string): string;
+/** What the rule would flag in the model as it stands. Writes nothing. */
+export declare function previewRule(context: RuleServiceContext, form: RuleFormRequest): RulePreview;
+/** Write the rule into a file of the project, if it is sound and the file is as the form saw it. */
+export declare function createRule(context: RuleServiceContext, form: RuleFormRequest): Promise<RuleWrite>;
+//# sourceMappingURL=rule-service.d.ts.map

package/packages/tools/lib/server/rule-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-service.d.ts","sourceRoot":"","sources":["../../src/server/rule-service.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,EAEH,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,KAAK,cAAc,EAC7D,MAAM,kBAAkB,CAAC;AAE1B,+CAA+C;AAC/C,MAAM,WAAW,kBAAkB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,EAAE,SAAS,CAAC;IACjB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC3C,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IAC/B,oGAAoG;IACpG,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACrC;AAED,kCAAkC;AAClC,MAAM,WAAW,eAAgB,SAAQ,IAAI,CAAC,cAAc,EAAE,qBAAqB,CAAC;IAChF,SAAS,EAAE,aAAa,CAAC;IACzB,2FAA2F;IAC3F,YAAY,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,WAAW,GACjB,CAAC;IACC,OAAO,EAAE,IAAI,CAAC;IAAC,mBAAmB,EAAE,MAAM,CAAC;IAC3C,0FAA0F;IAC1F,YAAY,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,YAAY,CAAC,GACf;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,MAAM,SAAS,GACf;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9F,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAuBD,0EAA0E;AAC1E,wBAAgB,WAAW,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,eAAe,GAAG,WAAW,CAa3F;AAED,oGAAoG;AACpG,wBAAsB,UAAU,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,SAAS,CAAC,CAyBvG"}

package/packages/tools/lib/server/rule-service.js

@@ -0,0 +1,89 @@
+// ─── Rule service ────────────────────────────────────────────────────────────
+//
+// What the dev server does when a browser asks to preview or write a rule of
+// the user's. It lives apart from the socket so it is one function of a
+// context and a request, and a test can call it without a server.
+//
+// Preview and write take the same request and run the same checks, so the
+// answer a person sees before saving is the answer the saved rule gives. The
+// write goes through `commitSource`: a rule the compiler rejects never reaches
+// the file, and a file changed since the form loaded is refused, not
+// overwritten. (plans/memo-rules-domain-trace-and-editor.md)
+// ─────────────────────────────────────────────────────────────────────────────
+import { createHash } from 'node:crypto';
+import { existsSync, readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { selectedOutlineSource } from '../authoring/outline-source.js';
+import { commitSource } from './persistor.js';
+import { checkNewRule, conditionExpression, dryRunRule, insertRule, } from './rule-writer.js';
+export function revisionOf(text) {
+    return createHash('sha256').update(text).digest('hex').slice(0, 16);
+}
+/** The checked request a form stands for, or the reason it does not. */
+function prepare(context, form) {
+    let predicateExpression;
+    try {
+        predicateExpression = conditionExpression(form.condition);
+    }
+    catch (error) {
+        return { code: 'invalid-predicate', error: error instanceof Error ? error.message : String(error) };
+    }
+    const { condition: _condition, baseRevision: _base, ...rest } = form;
+    const request = { ...rest, predicateExpression };
+    const refusal = checkNewRule(request, {
+        existingIds: new Set(context.constraints.map(c => c.id)),
+        existingTypeNames: new Set(context.constraints.map(c => c.typeName).filter((n) => Boolean(n))),
+        kindNames: context.kindRegistry ? new Set(context.kindRegistry.kindNames()) : undefined,
+        clauses: context.clauses,
+    });
+    if (refusal)
+        return { code: refusal.code, error: refusal.message };
+    return { request };
+}
+/** What the rule would flag in the model as it stands. Writes nothing. */
+export function previewRule(context, form) {
+    const prepared = prepare(context, form);
+    if ('error' in prepared)
+        return { success: false, ...prepared };
+    try {
+        const path = resolve(context.projectRoot, prepared.request.file);
+        return {
+            success: true, predicateExpression: prepared.request.predicateExpression,
+            ...(context.projectFiles.has(path) && existsSync(path) ? { baseRevision: revisionOf(readFileSync(path, 'utf8')) } : {}),
+            ...dryRunRule(prepared.request, context.model, context.kindRegistry),
+        };
+    }
+    catch (error) {
+        return { success: false, code: 'invalid-predicate', error: error instanceof Error ? error.message : String(error) };
+    }
+}
+/** Write the rule into a file of the project, if it is sound and the file is as the form saw it. */
+export async function createRule(context, form) {
+    const prepared = prepare(context, form);
+    if ('error' in prepared)
+        return { success: false, ...prepared };
+    const { request } = prepared;
+    const path = resolve(context.projectRoot, request.file);
+    if (!context.projectFiles.has(path)) {
+        return {
+            success: false, code: 'bad-file',
+            error: `${request.file} is not one of this project's source files. A methodology runs only the rules of the packages it includes, so a rule belongs in a file the project already has.`,
+        };
+    }
+    if (!existsSync(path))
+        return { success: false, code: 'bad-file', error: `${request.file} does not exist.` };
+    const onDisk = readFileSync(path, 'utf8');
+    const revision = revisionOf(onDisk);
+    if (form.baseRevision !== undefined && form.baseRevision !== revision) {
+        return { success: false, conflict: true, revision, error: `${request.file} changed on disk; no write was made.` };
+    }
+    const updated = insertRule(onDisk, request);
+    if (updated === undefined) {
+        return { success: false, code: 'bad-file', error: `${request.file} declares no package to put the rule in.` };
+    }
+    const committed = await commitSource(path, request.file.replaceAll('\\', '/'), updated, selectedOutlineSource(context.projectRoot, context.config));
+    if (!committed.success)
+        return { success: false, error: committed.error ?? 'The rule was not accepted.' };
+    return { success: true, revision: revisionOf(updated), text: updated };
+}
+//# sourceMappingURL=rule-service.js.map

package/packages/tools/lib/server/rule-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-service.js","sourceRoot":"","sources":["../../src/server/rule-service.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,wEAAwE;AACxE,kEAAkE;AAClE,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,+EAA+E;AAC/E,qEAAqE;AACrE,6DAA6D;AAC7D,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAMvE,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EACH,YAAY,EAAE,mBAAmB,EAAE,UAAU,EAAE,UAAU,GAE5D,MAAM,kBAAkB,CAAC;AAiC1B,MAAM,UAAU,UAAU,CAAC,IAAY;IACnC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,wEAAwE;AACxE,SAAS,OAAO,CAAC,OAA2B,EAAE,IAAqB;IAE/D,IAAI,mBAA2B,CAAC;IAChC,IAAI,CAAC;QACD,mBAAmB,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACxG,CAAC;IACD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACrE,MAAM,OAAO,GAAmB,EAAE,GAAG,IAAI,EAAE,mBAAmB,EAAE,CAAC;IACjE,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE;QAClC,WAAW,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,iBAAiB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;QACvF,OAAO,EAAE,OAAO,CAAC,OAAO;KAC3B,CAAC,CAAC;IACH,IAAI,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IACnE,OAAO,EAAE,OAAO,EAAE,CAAC;AACvB,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,WAAW,CAAC,OAA2B,EAAE,IAAqB;IAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,OAAO,IAAI,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC;IAChE,IAAI,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACjE,OAAO;YACH,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,CAAC,OAAO,CAAC,mBAAmB;YACxE,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvH,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC;SACvE,CAAC;IACN,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACxH,CAAC;AACL,CAAC;AAED,oGAAoG;AACpG,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAA2B,EAAE,IAAqB;IAC/E,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,OAAO,IAAI,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,EAAE,CAAC;IAChE,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO;YACH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU;YAChC,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,iKAAiK;SAC1L,CAAC;IACN,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,kBAAkB,EAAE,CAAC;IAC7G,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;QACpE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,sCAAsC,EAAE,CAAC;IACtH,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,IAAI,0CAA0C,EAAE,CAAC;IAClH,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,qBAAqB,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACpJ,IAAI,CAAC,SAAS,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,IAAI,4BAA4B,EAAE,CAAC;IAC1G,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3E,CAAC"}