@memoarchitect/tools 0.13.0 → 0.15.0

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

@@ -0,0 +1,87 @@
+import type { ClauseFact } from '../validator/rule-clauses.js';
+import type { KindRegistry } from '../model/kind-registry.js';
+import type { MemoModel } from '../model/semantic.js';
+export interface NewRuleRequest {
+    /** The rule's durable id, e.g. `ORG-001`. */
+    id: string;
+    /** The `constraint def` name, which a policy references. */
+    typeName: string;
+    /** The kind the rule is checked on (`Hazard`, `Requirement[requirementType=system]`, `Model`). */
+    appliesTo: string;
+    /** The condition, in the rule expression language. True means the element is fine. */
+    predicateExpression: string;
+    severity: 'error' | 'warning' | 'info';
+    rationaleText: string;
+    /** Default `methodology`: a methodology may tailor a user's rule. */
+    tailoring?: 'assurance' | 'methodology';
+    /** How firmly the rule's source asks for it. Optional; a rule that states none keeps the severity it names. */
+    obligation?: 'required' | 'recommended' | 'bestPractice';
+    /** Qualified names of the clauses the rule enforces. Optional for a user's rule. */
+    enforces?: string[];
+    /** Project-relative `.sysml` file the rule is written into. */
+    file: string;
+}
+export interface NewRuleContext {
+    existingIds: ReadonlySet<string>;
+    existingTypeNames: ReadonlySet<string>;
+    /** Every kind name the project resolves; absent when the compiler does not state them. */
+    kindNames?: ReadonlySet<string>;
+    clauses: readonly ClauseFact[];
+}
+export interface NewRuleRefusal {
+    code: 'bad-id' | 'duplicate-id' | 'bad-type-name' | 'duplicate-type-name' | 'unknown-kind' | 'invalid-predicate' | 'missing-rationale' | 'bad-severity' | 'unknown-clause' | 'bad-file' | 'bad-tailoring';
+    message: string;
+}
+/** Check a new rule against the project. Returns the refusal rather than throwing, so a form can show it. */
+export declare function checkNewRule(request: NewRuleRequest, context: NewRuleContext): NewRuleRefusal | undefined;
+/**
+ * Resolve what a person typed to a clause: the qualified name, or
+ * `<designation> §<number>` (any unambiguous part of the designation will do,
+ * `62304 §5.2`). Undefined when it names none or several.
+ */
+export declare function resolveClauseReference(clauses: readonly ClauseFact[], text: string): ClauseFact | undefined;
+/** The `constraint def` for a rule, and the imports it needs. */
+export declare function renderRule(request: NewRuleRequest, indent?: string): {
+    imports: string[];
+    text: string;
+};
+/**
+ * Add the rule to a file's last package, with the imports it needs that the
+ * file does not already state. Returns undefined when the file declares no
+ * package, so the caller reports it instead of writing a rule into open space.
+ */
+export declare function insertRule(source: string, request: NewRuleRequest): string | undefined;
+export interface DryRunResult {
+    /** How many elements the rule is checked on. */
+    subjects: number;
+    /** The elements it would flag. */
+    flagged: {
+        elementId: string;
+        elementKind: string;
+        elementName: string;
+    }[];
+}
+/**
+ * What a rule would flag in the model as it stands, without saving it. Uses the
+ * evaluator `memo validate` uses, so the answer is the one the saved rule gives.
+ */
+export declare function dryRunRule(rule: Pick<NewRuleRequest, 'appliesTo' | 'predicateExpression' | 'severity'>, model: MemoModel, kindRegistry?: KindRegistry): DryRunResult;
+/**
+ * What a form asks for. The server turns it into the rule expression, so the
+ * browser never writes the language; `expression` is the way out for anything
+ * the three shapes do not say.
+ */
+export type ConditionSpec = {
+    kind: 'atLeast' | 'atMost';
+    relation: string;
+    count: number;
+} | {
+    kind: 'attributeSet';
+    attribute: string;
+} | {
+    kind: 'expression';
+    expression: string;
+};
+/** The expression a condition stands for. Throws on a name or count that is not one. */
+export declare function conditionExpression(spec: ConditionSpec): string;
+//# sourceMappingURL=rule-writer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-writer.d.ts","sourceRoot":"","sources":["../../src/server/rule-writer.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAGtD,MAAM,WAAW,cAAc;IAC3B,6CAA6C;IAC7C,EAAE,EAAE,MAAM,CAAC;IACX,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC;IACjB,kGAAkG;IAClG,SAAS,EAAE,MAAM,CAAC;IAClB,sFAAsF;IACtF,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qEAAqE;IACrE,SAAS,CAAC,EAAE,WAAW,GAAG,aAAa,CAAC;IACxC,+GAA+G;IAC/G,UAAU,CAAC,EAAE,UAAU,GAAG,aAAa,GAAG,cAAc,CAAC;IACzD,oFAAoF;IACpF,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,0FAA0F;IAC1F,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC3B,IAAI,EACE,QAAQ,GAAG,cAAc,GAAG,eAAe,GAAG,qBAAqB,GACnE,cAAc,GAAG,mBAAmB,GAAG,mBAAmB,GAAG,cAAc,GAC3E,gBAAgB,GAAG,UAAU,GAAG,eAAe,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC;CACnB;AAKD,6GAA6G;AAC7G,wBAAgB,YAAY,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc,GAAG,cAAc,GAAG,SAAS,CAyCzG;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAQ3G;AAQD,iEAAiE;AACjE,wBAAgB,UAAU,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAyBxG;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAMtF;AAID,MAAM,WAAW,YAAY;IACzB,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,kCAAkC;IAClC,OAAO,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;GAGG;AACH,wBAAgB,UAAU,CACtB,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,WAAW,GAAG,qBAAqB,GAAG,UAAU,CAAC,EAC5E,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,GAC5B,YAAY,CAYd;AAID;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACnB;IAAE,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAIjD,wFAAwF;AACxF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAgB/D"}

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

@@ -0,0 +1,165 @@
+// ─── Rule writer ─────────────────────────────────────────────────────────────
+//
+// Turn a rule a user designed into the `constraint def` that states it, and
+// say what it would flag before it is saved.
+//
+// The editor names what the rule applies to, the condition, the severity, the
+// rationale and the clauses it enforces; this renders the SysML. The browser
+// never composes model source (design 18.4), so a rule authored in a form and
+// one typed in a text editor are the same construct in the same file, subject
+// to the same checks. The refusals are enforced here, not in the form: a check
+// in a React component is a suggestion, because the message can come from
+// anywhere. A user's own rule is an `organisation` rule.
+// (plans/memo-rules-domain-trace-and-editor.md)
+// ─────────────────────────────────────────────────────────────────────────────
+import { evaluateConstraintSubjects, parseConstraintExpression } from '../validator/constraint-eval.js';
+import { appendToLastPackage } from './persistor.js';
+const IDENTIFIER = /^[A-Za-z][A-Za-z0-9_-]*$/;
+const TYPE_NAME = /^[A-Z][A-Za-z0-9]*$/;
+/** Check a new rule against the project. Returns the refusal rather than throwing, so a form can show it. */
+export function checkNewRule(request, context) {
+    if (!IDENTIFIER.test(request.id)) {
+        return { code: 'bad-id', message: `"${request.id}" is not a rule id: start with a letter, then letters, digits, "-" or "_".` };
+    }
+    if (context.existingIds.has(request.id)) {
+        return { code: 'duplicate-id', message: `A rule with id ${request.id} already exists. A rule's id is its audit identity and must be unique.` };
+    }
+    if (!TYPE_NAME.test(request.typeName)) {
+        return { code: 'bad-type-name', message: `"${request.typeName}" is not a definition name: start with a capital, then letters and digits.` };
+    }
+    if (context.existingTypeNames.has(request.typeName)) {
+        return { code: 'duplicate-type-name', message: `A definition named ${request.typeName} already exists. A name must resolve to exactly one type.` };
+    }
+    const kind = request.appliesTo.replace(/\[.*\]$/, '').trim();
+    if (!kind || (kind !== 'Model' && context.kindNames && !context.kindNames.has(kind))) {
+        return { code: 'unknown-kind', message: `"${kind}" is not a kind this project resolves, and not "Model".` };
+    }
+    if (!['error', 'warning', 'info'].includes(request.severity)) {
+        return { code: 'bad-severity', message: `Severity must be error, warning or info, not "${request.severity}".` };
+    }
+    if (request.tailoring !== undefined && !['assurance', 'methodology'].includes(request.tailoring)) {
+        return { code: 'bad-tailoring', message: `Tailoring must be assurance or methodology, not "${request.tailoring}". An invariant is the ontology's own, not a user's.` };
+    }
+    if (!request.rationaleText.trim()) {
+        return { code: 'missing-rationale', message: 'A rule needs a written rationale: why it exists is what a reviewer reads.' };
+    }
+    try {
+        parseConstraintExpression(request.predicateExpression);
+    }
+    catch (error) {
+        return { code: 'invalid-predicate', message: `The condition does not parse: ${error instanceof Error ? error.message : String(error)}` };
+    }
+    const known = new Set(context.clauses.map(c => c.qualifiedName));
+    for (const clause of request.enforces ?? []) {
+        if (!known.has(clause)) {
+            return { code: 'unknown-clause', message: `${clause} is not a clause this project's standards carry.` };
+        }
+    }
+    if (!/\.sysml$/.test(request.file) || request.file.split(/[\\/]/).includes('..') || request.file.startsWith('/')) {
+        return { code: 'bad-file', message: `"${request.file}" must be a project-relative .sysml file.` };
+    }
+    return undefined;
+}
+/**
+ * Resolve what a person typed to a clause: the qualified name, or
+ * `<designation> §<number>` (any unambiguous part of the designation will do,
+ * `62304 §5.2`). Undefined when it names none or several.
+ */
+export function resolveClauseReference(clauses, text) {
+    const exact = clauses.find(c => c.qualifiedName === text.trim());
+    if (exact)
+        return exact;
+    const match = /^(.*?)\s*§\s*(\S+)$/.exec(text.trim());
+    if (!match)
+        return undefined;
+    const [, standard, number] = match;
+    const found = clauses.filter(c => c.clauseNumber === number && c.standard.toLowerCase().includes(standard.toLowerCase()));
+    return found.length === 1 ? found[0] : undefined;
+}
+/** A clause's qualified name as the path a trace writes, and the package it needs imported. */
+function clausePath(qualifiedName) {
+    const [importPackage, ...rest] = qualifiedName.split('::');
+    return { importPackage, path: rest.join('::') };
+}
+/** The `constraint def` for a rule, and the imports it needs. */
+export function renderRule(request, indent = '    ') {
+    const imports = [
+        'memo_core_consistency_rules::*',
+        'memo_core_enumerations::*',
+        'memo_core_common::MemoIdentity',
+    ];
+    const lines = [
+        `${indent}constraint def ${request.typeName} :> MemoConsistencyRule {`,
+        `${indent}    @MemoIdentity { :>> providedId = ${JSON.stringify(request.id)}; }`,
+        `${indent}    attribute tailoring = RuleTailoringKind::${request.tailoring ?? 'methodology'};`,
+        `${indent}    attribute domain = RuleDomainKind::organisation;`,
+        `${indent}    attribute appliesTo = ${JSON.stringify(request.appliesTo)};`,
+        `${indent}    attribute severity = RuleSeverityKind::${request.severity};`,
+        ...(request.obligation ? [`${indent}    attribute obligation = RuleObligationKind::${request.obligation};`] : []),
+        `${indent}    attribute rationaleText = ${JSON.stringify(request.rationaleText)};`,
+        `${indent}    attribute predicateExpression = ${JSON.stringify(request.predicateExpression)};`,
+    ];
+    const clauses = (request.enforces ?? []).map(clausePath);
+    lines.push(`${indent}    constraint { true }`, `${indent}}`);
+    if (clauses.length > 0) {
+        imports.push('memo_artifacts_standards_traceability::EnforcesClause');
+        for (const { importPackage } of clauses)
+            imports.push(`${importPackage}::*`);
+        lines.push(`${indent}#EnforcesClause dependency from ${request.typeName} to ${clauses.map(c => c.path).join(', ')};`);
+    }
+    return { imports: [...new Set(imports)], text: lines.join('\n') };
+}
+/**
+ * Add the rule to a file's last package, with the imports it needs that the
+ * file does not already state. Returns undefined when the file declares no
+ * package, so the caller reports it instead of writing a rule into open space.
+ */
+export function insertRule(source, request) {
+    if (!/\bpackage\s+\w+\s*\{/.test(source))
+        return undefined;
+    const { imports, text } = renderRule(request, '');
+    const missing = imports.filter(name => !source.includes(`import ${name};`));
+    const block = [...missing.map(name => `private import ${name};`), text].join('\n');
+    return appendToLastPackage(source, `\n${block}`);
+}
+/**
+ * What a rule would flag in the model as it stands, without saving it. Uses the
+ * evaluator `memo validate` uses, so the answer is the one the saved rule gives.
+ */
+export function dryRunRule(rule, model, kindRegistry) {
+    const ast = parseConstraintExpression(rule.predicateExpression);
+    const { violations, subjectCount } = evaluateConstraintSubjects({
+        id: 'DRY-RUN',
+        description: 'dry run',
+        appliesToKind: rule.appliesTo,
+        severity: rule.severity,
+    }, ast, model, kindRegistry);
+    return {
+        subjects: subjectCount,
+        flagged: violations.map(v => ({ elementId: v.elementId, elementKind: v.elementKind, elementName: v.elementName })),
+    };
+}
+const NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;
+/** The expression a condition stands for. Throws on a name or count that is not one. */
+export function conditionExpression(spec) {
+    switch (spec.kind) {
+        case 'atLeast':
+        case 'atMost':
+            if (!NAME.test(spec.relation))
+                throw new Error(`"${spec.relation}" is not a relation name.`);
+            if (!Number.isInteger(spec.count) || spec.count < 0)
+                throw new Error('The count must be a whole number, zero or more.');
+            return `${spec.relation}->size() ${spec.kind === 'atLeast' ? '>=' : '<='} ${spec.count}`;
+        case 'attributeSet':
+            if (!NAME.test(spec.attribute))
+                throw new Error(`"${spec.attribute}" is not an attribute name.`);
+            return `attributes.${spec.attribute} != ''`;
+        case 'expression':
+            if (!spec.expression.trim())
+                throw new Error('The condition is empty.');
+            return spec.expression.trim();
+        default:
+            throw new Error('Unknown condition.');
+    }
+}
+//# sourceMappingURL=rule-writer.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-writer.js","sourceRoot":"","sources":["../../src/server/rule-writer.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,6CAA6C;AAC7C,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,0EAA0E;AAC1E,yDAAyD;AACzD,gDAAgD;AAChD,gFAAgF;AAEhF,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAIxG,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAuCrD,MAAM,UAAU,GAAG,0BAA0B,CAAC;AAC9C,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC,6GAA6G;AAC7G,MAAM,UAAU,YAAY,CAAC,OAAuB,EAAE,OAAuB;IACzE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,EAAE,4EAA4E,EAAE,CAAC;IACnI,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,OAAO,CAAC,EAAE,wEAAwE,EAAE,CAAC;IACnJ,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,QAAQ,4EAA4E,EAAE,CAAC;IAChJ,CAAC;IACD,IAAI,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,sBAAsB,OAAO,CAAC,QAAQ,2DAA2D,EAAE,CAAC;IACvJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,IAAI,yDAAyD,EAAE,CAAC;IAChH,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,iDAAiD,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACpH,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/F,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,oDAAoD,OAAO,CAAC,SAAS,sDAAsD,EAAE,CAAC;IAC3K,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,2EAA2E,EAAE,CAAC;IAC/H,CAAC;IACD,IAAI,CAAC;QACD,yBAAyB,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,iCAAiC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IAC7I,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,MAAM,kDAAkD,EAAE,CAAC;QAC5G,CAAC;IACL,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/G,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,IAAI,2CAA2C,EAAE,CAAC;IACtG,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAA8B,EAAE,IAAY;IAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACjE,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC1H,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED,+FAA+F;AAC/F,SAAS,UAAU,CAAC,aAAqB;IACrC,MAAM,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3D,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,UAAU,CAAC,OAAuB,EAAE,MAAM,GAAG,MAAM;IAC/D,MAAM,OAAO,GAAG;QACZ,gCAAgC;QAChC,2BAA2B;QAC3B,gCAAgC;KACnC,CAAC;IACF,MAAM,KAAK,GAAG;QACV,GAAG,MAAM,kBAAkB,OAAO,CAAC,QAAQ,2BAA2B;QACtE,GAAG,MAAM,wCAAwC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK;QAChF,GAAG,MAAM,gDAAgD,OAAO,CAAC,SAAS,IAAI,aAAa,GAAG;QAC9F,GAAG,MAAM,sDAAsD;QAC/D,GAAG,MAAM,6BAA6B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG;QAC1E,GAAG,MAAM,8CAA8C,OAAO,CAAC,QAAQ,GAAG;QAC1E,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,kDAAkD,OAAO,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjH,GAAG,MAAM,iCAAiC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG;QAClF,GAAG,MAAM,uCAAuC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG;KACjG,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,yBAAyB,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACtE,KAAK,MAAM,EAAE,aAAa,EAAE,IAAI,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,aAAa,KAAK,CAAC,CAAC;QAC7E,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,mCAAmC,OAAO,CAAC,QAAQ,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,OAAuB;IAC9D,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,MAAM,EAAE,KAAK,KAAK,EAAE,CAAC,CAAC;AACrD,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,UAAU,CACtB,IAA4E,EAC5E,KAAgB,EAChB,YAA2B;IAE3B,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,0BAA0B,CAAC;QAC5D,EAAE,EAAE,SAAS;QACb,WAAW,EAAE,SAAS;QACtB,aAAa,EAAE,IAAI,CAAC,SAAS;QAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;KAC1B,EAAE,GAAG,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7B,OAAO;QACH,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;KACrH,CAAC;AACN,CAAC;AAcD,MAAM,IAAI,GAAG,0BAA0B,CAAC;AAExC,wFAAwF;AACxF,MAAM,UAAU,mBAAmB,CAAC,IAAmB;IACnD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACT,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,2BAA2B,CAAC,CAAC;YAC7F,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;YACxH,OAAO,GAAG,IAAI,CAAC,QAAQ,YAAY,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7F,KAAK,cAAc;YACf,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,6BAA6B,CAAC,CAAC;YACjG,OAAO,cAAc,IAAI,CAAC,SAAS,QAAQ,CAAC;QAChD,KAAK,YAAY;YACb,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACxE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAClC;YACI,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC;AACL,CAAC"}

package/packages/tools/lib/server/suspect-review.d.ts

@@ -0,0 +1,11 @@
+import type { MemoModelDTO } from '../model/semantic.js';
+import type { BaselineReview } from './relationship-writer.js';
+export declare function resolveSuspectReviews(model: Pick<MemoModelDTO, 'elements' | 'relationships'>, requested: readonly {
+    relationshipId: string;
+    elementId: string;
+}[]): {
+    reviews: BaselineReview[];
+} | {
+    error: string;
+};
+//# sourceMappingURL=suspect-review.d.ts.map

package/packages/tools/lib/server/suspect-review.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"suspect-review.d.ts","sourceRoot":"","sources":["../../src/server/suspect-review.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,UAAU,GAAG,eAAe,CAAC,EACvD,SAAS,EAAE,SAAS;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EAAE,GACpE;IAAE,OAAO,EAAE,cAAc,EAAE,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAgBnD"}

package/packages/tools/lib/server/suspect-review.js

@@ -0,0 +1,28 @@
+// ─── Resolving a request to review suspect links ─────────────────────────────
+//
+// A client names a link and the imported record it is suspect about. What the
+// review writes is decided here, from the server's own model: the link must be
+// suspect NOW, a withdrawn record has no revision to review against, and the
+// revision written is the record's current one, not whatever the client held.
+// ─────────────────────────────────────────────────────────────────────────────
+import { computeSuspectLinks } from '../analysis/suspect-links.js';
+export function resolveSuspectReviews(model, requested) {
+    const suspects = computeSuspectLinks(model);
+    const reviews = [];
+    for (const { relationshipId, elementId } of requested) {
+        const suspect = suspects.find(s => s.relationshipId === relationshipId && s.elementId === elementId);
+        if (!suspect)
+            return { error: `"${relationshipId}" is not suspect about "${elementId}" in the current model.` };
+        // A withdrawn record has no revision to review against: the link is removed, not cleared.
+        if (suspect.reason === 'source-withdrawn' || suspect.current === undefined) {
+            return { error: `"${relationshipId}" points at a record withdrawn from its source; remove the link instead.` };
+        }
+        const relationship = model.relationships.find(r => r.id === relationshipId);
+        const identifier = model.elements[elementId]?.attributes['externalReference.identifier'];
+        if (!relationship || !identifier)
+            return { error: `"${elementId}" is not an imported element.` };
+        reviews.push({ relationship, sourceRevision: suspect.current, sourceIdentifier: identifier });
+    }
+    return { reviews };
+}
+//# sourceMappingURL=suspect-review.js.map

package/packages/tools/lib/server/suspect-review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"suspect-review.js","sourceRoot":"","sources":["../../src/server/suspect-review.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,gFAAgF;AAEhF,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAInE,MAAM,UAAU,qBAAqB,CACjC,KAAuD,EACvD,SAAmE;IAEnE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,SAAS,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,cAAc,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QACrG,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,cAAc,2BAA2B,SAAS,yBAAyB,EAAE,CAAC;QAChH,0FAA0F;QAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,kBAAkB,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACzE,OAAO,EAAE,KAAK,EAAE,IAAI,cAAc,0EAA0E,EAAE,CAAC;QACnH,CAAC;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC;QAC5E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,8BAA8B,CAAC,CAAC;QACzF,IAAI,CAAC,YAAY,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,SAAS,+BAA+B,EAAE,CAAC;QACjG,OAAO,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,cAAc,EAAE,OAAO,CAAC,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC;AACvB,CAAC"}

package/packages/tools/lib/server/sysml-notation.d.ts

@@ -1,6 +1,6 @@
 import type { RelationshipDefinitionDTO } from '../model/relationship-legality.js';
 /** The SysML production a relationship is written as. */
-export type RelationshipNotation = 'succession' | 'flow' | 'satisfy' | 'connection';
+export type RelationshipNotation = 'succession' | 'flow' | 'satisfy' | 'typedDependency' | 'connection';
 export interface RelationshipNotationRequest {
     /** Connection usage name, when the form carries one. */
     id: string;

package/packages/tools/lib/server/sysml-notation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sysml-notation.d.ts","sourceRoot":"","sources":["../../src/server/sysml-notation.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAEnF,yDAAyD;AACzD,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,YAAY,CAAC;AAEpF,MAAM,WAAW,2BAA2B;IACxC,wDAAwD;IACxD,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,yBAAyB,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAcD;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,yBAAyB,GAAG,oBAAoB,CAWvF;AAED,mEAAmE;AACnE,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CAE1E;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,2BAA2B,GAAG,MAAM,CAY/E"}
+{"version":3,"file":"sysml-notation.d.ts","sourceRoot":"","sources":["../../src/server/sysml-notation.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAEnF,yDAAyD;AACzD,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,iBAAiB,GAAG,YAAY,CAAC;AAExG,MAAM,WAAW,2BAA2B;IACxC,wDAAwD;IACxD,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,yBAAyB,CAAC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,uDAAuD;IACvD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAcD;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,yBAAyB,GAAG,oBAAoB,CAavF;AAED,mEAAmE;AACnE,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CAE1E;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,2BAA2B,GAAG,MAAM,CAc/E"}

package/packages/tools/lib/server/sysml-notation.js

@@ -42,6 +42,9 @@ export function notationFor(definition) {
     // written.
     if (definition.nativeKeyword === 'satisfy')
         return 'satisfy';
+    // A typed dependency is a Dependency (SysML-textual-bnf.kebnf:51-59) whose prefix metadata names it.
+    if (definition.typedDependency)
+        return 'typedDependency';
     return NATIVE_FORMS[definition.sysmlName]
         ?? NATIVE_FORMS[`${definition.sysmlName}Usage`]
         ?? 'connection';
@@ -67,6 +70,8 @@ export function renderRelationship(request) {
             return renderFlow(request);
         case 'satisfy':
             return renderSatisfy(request);
+        case 'typedDependency':
+            return `#${request.definition.typedDependency} dependency from ${request.sourceId} to ${request.targetId};`;
         default:
             return renderConnection(request);
     }

package/packages/tools/lib/server/sysml-notation.js.map

@@ -1 +1 @@
-{"version":3,"file":"sysml-notation.js","sourceRoot":"","sources":["../../src/server/sysml-notation.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,yEAAyE;AACzE,4EAA4E;AAC5E,gFAAgF;AAChF,gFAAgF;AAChF,6CAA6C;AAC7C,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,qCAAqC;AACrC,gFAAgF;AAqBhF;;;;;;GAMG;AACH,MAAM,YAAY,GAAyC;IACvD,eAAe,EAAE,YAAY;IAC7B,mBAAmB,EAAE,MAAM;CAC9B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,UAAqC;IAC7D,2EAA2E;IAC3E,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,WAAW;IACX,IAAI,UAAU,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC;WAClC,YAAY,CAAC,GAAG,UAAU,CAAC,SAAS,OAAO,CAAC;WAC5C,YAAY,CAAC;AACxB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,QAA8B;IAC7D,OAAO,QAAQ,KAAK,YAAY,CAAC;AACrC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAoC;IACnE,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACjD,QAAQ,QAAQ,EAAE,CAAC;QACf,KAAK,YAAY;YACb,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACrC,KAAK,MAAM;YACP,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/B,KAAK,SAAS;YACV,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;QAClC;YACI,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;AACL,CAAC;AAED,kDAAkD;AAClD,SAAS,aAAa,CAAC,OAAoC;IACvD,yEAAyE;IACzE,0EAA0E;IAC1E,wEAAwE;IACxE,OAAO,WAAW,OAAO,CAAC,QAAQ,OAAO,OAAO,CAAC,QAAQ,GAAG,CAAC;AACjE,CAAC;AAED,wDAAwD;AACxD,SAAS,gBAAgB,CAAC,OAAoC;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC3E,OAAO,oBAAoB,KAAK,SAAS,OAAO,CAAC,QAAQ,GAAG,CAAC;AACjE,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,OAAoC;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,MAAM,CAAC;IACrF,OAAO,WAAW,IAAI,SAAS,OAAO,CAAC,QAAQ,OAAO,OAAO,CAAC,QAAQ,GAAG,CAAC;AAC9E,CAAC;AAED,4EAA4E;AAC5E,SAAS,gBAAgB,CAAC,OAAoC;IAC1D,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnD,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,EAAE,MAAM,UAAU,CAAC,SAAS,WAAW;UACpE,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,QAAQ,QAAQ,MAAM;UAClD,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,QAAQ,QAAQ,EAAE,CAAC;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,IAAI,GAAG,CAAC;IAC7B,MAAM,KAAK,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,MAAM,CAAC;IAChD,OAAO,GAAG,IAAI,OAAO,KAAK,+BAA+B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC;AACnH,CAAC"}
+{"version":3,"file":"sysml-notation.js","sourceRoot":"","sources":["../../src/server/sysml-notation.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,yEAAyE;AACzE,4EAA4E;AAC5E,gFAAgF;AAChF,gFAAgF;AAChF,6CAA6C;AAC7C,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,qCAAqC;AACrC,gFAAgF;AAqBhF;;;;;;GAMG;AACH,MAAM,YAAY,GAAyC;IACvD,eAAe,EAAE,YAAY;IAC7B,mBAAmB,EAAE,MAAM;CAC9B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,UAAqC;IAC7D,2EAA2E;IAC3E,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,WAAW;IACX,IAAI,UAAU,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,qGAAqG;IACrG,IAAI,UAAU,CAAC,eAAe;QAAE,OAAO,iBAAiB,CAAC;IACzD,OAAO,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC;WAClC,YAAY,CAAC,GAAG,UAAU,CAAC,SAAS,OAAO,CAAC;WAC5C,YAAY,CAAC;AACxB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,QAA8B;IAC7D,OAAO,QAAQ,KAAK,YAAY,CAAC;AACrC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAoC;IACnE,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACjD,QAAQ,QAAQ,EAAE,CAAC;QACf,KAAK,YAAY;YACb,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACrC,KAAK,MAAM;YACP,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/B,KAAK,SAAS;YACV,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;QAClC,KAAK,iBAAiB;YAClB,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,eAAe,oBAAoB,OAAO,CAAC,QAAQ,OAAO,OAAO,CAAC,QAAQ,GAAG,CAAC;QAChH;YACI,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;AACL,CAAC;AAED,kDAAkD;AAClD,SAAS,aAAa,CAAC,OAAoC;IACvD,yEAAyE;IACzE,0EAA0E;IAC1E,wEAAwE;IACxE,OAAO,WAAW,OAAO,CAAC,QAAQ,OAAO,OAAO,CAAC,QAAQ,GAAG,CAAC;AACjE,CAAC;AAED,wDAAwD;AACxD,SAAS,gBAAgB,CAAC,OAAoC;IAC1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,QAAQ,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC3E,OAAO,oBAAoB,KAAK,SAAS,OAAO,CAAC,QAAQ,GAAG,CAAC;AACjE,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,OAAoC;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,MAAM,CAAC;IACrF,OAAO,WAAW,IAAI,SAAS,OAAO,CAAC,QAAQ,OAAO,OAAO,CAAC,QAAQ,GAAG,CAAC;AAC9E,CAAC;AAED,4EAA4E;AAC5E,SAAS,gBAAgB,CAAC,OAAoC;IAC1D,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnD,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,EAAE,MAAM,UAAU,CAAC,SAAS,WAAW;UACpE,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,QAAQ,QAAQ,MAAM;UAClD,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,QAAQ,QAAQ,EAAE,CAAC;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,IAAI,GAAG,CAAC;IAC7B,MAAM,KAAK,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,MAAM,CAAC;IAChD,OAAO,GAAG,IAAI,OAAO,KAAK,+BAA+B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC;AACnH,CAAC"}

package/packages/tools/lib/server/user-preferences.d.ts

@@ -0,0 +1,8 @@
+import type { UserPreferencesDTO } from '../protocol/messages.js';
+/** The file, at the model root. */
+export declare const USER_PREFERENCES_FILE = "memo.user.yaml";
+/** What the file holds, or no choices at all when it is absent. */
+export declare function loadUserPreferences(projectRoot: string): UserPreferencesDTO;
+/** Write the person's choices; an unset choice removes its key. */
+export declare function saveUserPreferences(projectRoot: string, preferences: UserPreferencesDTO): UserPreferencesDTO;
+//# sourceMappingURL=user-preferences.d.ts.map

package/packages/tools/lib/server/user-preferences.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-preferences.d.ts","sourceRoot":"","sources":["../../src/server/user-preferences.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAGlE,mCAAmC;AACnC,eAAO,MAAM,qBAAqB,mBAAmB,CAAC;AAMtD,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,kBAAkB,CAK3E;AAYD,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,kBAAkB,GAAG,kBAAkB,CAK5G"}

package/packages/tools/lib/server/user-preferences.js

@@ -0,0 +1,47 @@
+// ─── One person's preferences for one model ─────────────────────────────────
+//
+// What a person chose for themselves in Architect while working on this model —
+// the role whose viewpoints they want to see, how the explorer splits its folders, and the workspace (the system of systems, or one
+// system) they are working in. It is not model content
+// and not something the team shares, so it lives in one visible file at the
+// model root, `memo.user.yaml`, which the model's `.gitignore` keeps out of git
+// (added the first time it is written, as personal dashboards are).
+//
+// Settings that are the same for a person across every model (their compiler,
+// their SysIDE Python) are not here: those are `~/.config/memo/settings.yaml`.
+// ─────────────────────────────────────────────────────────────────────────────
+import { existsSync, readFileSync, writeFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { parse as parseYaml, stringify as stringifyYaml } from 'yaml';
+import { ensureGitIgnored } from './project-gitignore.js';
+/** The file, at the model root. */
+export const USER_PREFERENCES_FILE = 'memo.user.yaml';
+const HEADER = `# Your own MEMO Architect choices for this model. Not committed: the model's
+# .gitignore lists this file. Delete it to go back to the defaults.
+`;
+/** What the file holds, or no choices at all when it is absent. */
+export function loadUserPreferences(projectRoot) {
+    const path = resolve(projectRoot, USER_PREFERENCES_FILE);
+    if (!existsSync(path))
+        return {};
+    const parsed = parseYaml(readFileSync(path, 'utf8'));
+    return clean({ role: parsed?.role, workspace: parsed?.workspace, explorerSplit: parsed?.explorerSplit });
+}
+/** Keep the string choices that are set, trimmed; drop the rest. */
+function clean(raw) {
+    const out = {};
+    for (const key of ['role', 'workspace', 'explorerSplit']) {
+        const value = raw[key];
+        if (typeof value === 'string' && value.trim())
+            out[key] = value.trim();
+    }
+    return out;
+}
+/** Write the person's choices; an unset choice removes its key. */
+export function saveUserPreferences(projectRoot, preferences) {
+    const next = clean({ ...preferences });
+    ensureGitIgnored(projectRoot, USER_PREFERENCES_FILE, 'MEMO Architect: your own choices for this model');
+    writeFileSync(resolve(projectRoot, USER_PREFERENCES_FILE), HEADER + stringifyYaml(next), 'utf8');
+    return next;
+}
+//# sourceMappingURL=user-preferences.js.map

package/packages/tools/lib/server/user-preferences.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-preferences.js","sourceRoot":"","sources":["../../src/server/user-preferences.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,gFAAgF;AAChF,oIAAoI;AACpI,uDAAuD;AACvD,4EAA4E;AAC5E,gFAAgF;AAChF,oEAAoE;AACpE,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,mCAAmC;AACnC,MAAM,CAAC,MAAM,qBAAqB,GAAG,gBAAgB,CAAC;AAEtD,MAAM,MAAM,GAAG;;CAEd,CAAC;AAEF,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IACnD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;IACzD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAmC,CAAC;IACvF,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;AAC7G,CAAC;AAED,oEAAoE;AACpE,SAAS,KAAK,CAAC,GAA4B;IACvC,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,CAAU,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC3E,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,WAAmB,EAAE,WAA+B;IACpF,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;IACvC,gBAAgB,CAAC,WAAW,EAAE,qBAAqB,EAAE,iDAAiD,CAAC,CAAC;IACxG,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,qBAAqB,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACjG,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/packages/tools/lib/server/version-servers.d.ts

@@ -0,0 +1,60 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { MEMOConfig } from '../model/config.js';
+import { type ModelDiffSummary } from '../model/model-diff.js';
+import type { PinnedInfo } from '../protocol/messages.js';
+/** An unreleased ref the selector offers. */
+export interface VersionRef {
+    /** What `--at` is given. */
+    name: string;
+    kind: 'tag' | 'branch';
+    commit: string;
+    /** "Latest tag rc-1", "Latest commit on main". */
+    label: string;
+}
+/** What the person chose: a release record, by element id, or an unreleased ref. */
+export interface VersionSelection {
+    release?: string;
+    ref?: string;
+}
+/** The latest tag and the tip of the current branch. Neither is a release. */
+export declare function listRefs(projectRoot: string): Promise<VersionRef[]>;
+export interface VersionServersOptions {
+    projectRoot: string;
+    /** The command a pinned child runs: the Architect entry and the flags that make it look the same. */
+    entry: string;
+    args: string[];
+    /** The working model, which holds the release records. */
+    workingModel: () => MemoModel | undefined;
+    /** Where the working model is served, for the pinned view's way back. */
+    workingUrl: () => string;
+    toolchain?: MEMOConfig['toolchain'];
+}
+/** Two releases compared: the older side, the newer, and what changed. */
+export interface ReleaseDiff {
+    before: {
+        label: string;
+        commit: string;
+    };
+    after: {
+        label: string;
+        commit: string;
+    };
+    /** True when the older side is the previous release, found by ancestry. */
+    previous: boolean;
+    diff: ModelDiffSummary;
+}
+export interface VersionServers {
+    refs(): Promise<VersionRef[]>;
+    /**
+     * What changed in `release` since `against`: another record's id, or 'previous' for the nearest
+     * earlier record of the same item. Built in this process from the cached pinned builds.
+     */
+    diff(release: string, against: string): Promise<ReleaseDiff>;
+    open(selection: VersionSelection): Promise<{
+        url: string;
+        info: PinnedInfo;
+    }>;
+    close(): void;
+}
+export declare function createVersionServers(options: VersionServersOptions): VersionServers;
+//# sourceMappingURL=version-servers.d.ts.map

package/packages/tools/lib/server/version-servers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-servers.d.ts","sourceRoot":"","sources":["../../src/server/version-servers.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,EAAgD,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC7G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAI1D,6CAA6C;AAC7C,MAAM,WAAW,UAAU;IACvB,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,KAAK,GAAG,QAAQ,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAC;CACjB;AAED,oFAAoF;AACpF,MAAM,WAAW,gBAAgB;IAC7B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;CAChB;AAUD,8EAA8E;AAC9E,wBAAsB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAYzE;AAED,MAAM,WAAW,qBAAqB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,qGAAqG;IACrG,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0DAA0D;IAC1D,YAAY,EAAE,MAAM,SAAS,GAAG,SAAS,CAAC;IAC1C,yEAAyE;IACzE,UAAU,EAAE,MAAM,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;CACvC;AAED,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IACxB,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,gBAAgB,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAC9B;;;OAGG;IACH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC7D,IAAI,CAAC,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC,CAAC;IAC9E,KAAK,IAAI,IAAI,CAAC;CACjB;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,cAAc,CA8DnF"}

package/packages/tools/lib/server/version-servers.js

@@ -0,0 +1,106 @@
+// ─── Opening a version: a read-only server for a pinned directory ────────────
+//
+// The Version selector lists Working, the releases the model's records name, and the unreleased refs
+// of the repository (the latest tag, the tip of the current branch), each marked "not a release".
+// Opening one resolves the pin here, with the library, so an ordering error, an unpinned system folder
+// or drift is answered to the client as a message; then a read-only `memo-architect dev` is started in
+// the pinned directory, and the client is sent to its address. One child per directory: opening the
+// same version twice reuses it. Children are tied to this process over IPC and go when it does.
+// ─────────────────────────────────────────────────────────────────────────────
+import { execFile, spawn } from 'node:child_process';
+import { promisify } from 'node:util';
+import { buildForRecord, pinWorktree, previousRelease, refInfo } from '../model/pinned.js';
+import { computeModelDiff, diffInputOf, summarizeDiff } from '../model/model-diff.js';
+const git = promisify(execFile);
+async function run(cwd, args) {
+    try {
+        return (await git('git', ['-C', cwd, ...args])).stdout.trim();
+    }
+    catch {
+        return '';
+    }
+}
+/** The latest tag and the tip of the current branch. Neither is a release. */
+export async function listRefs(projectRoot) {
+    const refs = [];
+    const branch = await run(projectRoot, ['symbolic-ref', '--short', '-q', 'HEAD']);
+    const head = await run(projectRoot, ['rev-parse', 'HEAD']);
+    if (branch && head)
+        refs.push({ name: branch, kind: 'branch', commit: head, label: `Latest commit on ${branch}` });
+    const tag = await run(projectRoot, ['for-each-ref', '--sort=-creatordate', '--count=1', '--format=%(refname:short) %(objectname)', 'refs/tags']);
+    const [name, object] = tag.split(' ');
+    if (name) {
+        const commit = await run(projectRoot, ['rev-parse', `${name}^{commit}`]) || object;
+        refs.push({ name, kind: 'tag', commit, label: `Latest tag ${name}` });
+    }
+    return refs;
+}
+export function createVersionServers(options) {
+    const children = new Map();
+    async function serve(dir, info) {
+        const withWay = { ...info, workingUrl: options.workingUrl() };
+        const existing = children.get(dir);
+        if (existing && existing.child.exitCode === null)
+            return { url: await existing.opened, info: withWay };
+        const child = spawn(process.execPath, [options.entry, 'dev', '--pinned-dir', dir, '--port', '0', '--no-open', ...options.args], {
+            cwd: dir,
+            env: { ...process.env, MEMO_PINNED_INFO: JSON.stringify(withWay), MEMO_PINNED_PREFERENCES: options.projectRoot },
+            stdio: ['ignore', 'inherit', 'inherit', 'ipc'],
+        });
+        const opened = new Promise((resolve, reject) => {
+            const timer = setTimeout(() => reject(new Error('the pinned view did not start within two minutes')), 120_000);
+            child.once('message', (message) => {
+                clearTimeout(timer);
+                if (message?.type === 'memo:read-only-ready' && message.url)
+                    resolve(message.url);
+                else
+                    reject(new Error('the pinned view started without saying where'));
+            });
+            child.once('exit', code => { clearTimeout(timer); reject(new Error(`the pinned view exited with code ${code}`)); });
+        });
+        opened.catch(() => children.delete(dir));
+        children.set(dir, { child, opened });
+        return { url: await opened, info: withWay };
+    }
+    return {
+        refs: () => listRefs(options.projectRoot),
+        async open(selection) {
+            if (selection.ref) {
+                const pin = await pinWorktree(options.projectRoot, selection.ref);
+                return serve(pin.projectDir, refInfo(selection.ref, pin));
+            }
+            if (selection.release) {
+                const model = options.workingModel();
+                if (!model)
+                    throw new Error('the working model is not built yet');
+                const built = await buildForRecord(options.projectRoot, { model }, selection.release, { config: { toolchain: options.toolchain } });
+                return serve(built.dir, built.info);
+            }
+            throw new Error('say which version to open: a release record or a ref');
+        },
+        async diff(release, against) {
+            const model = options.workingModel();
+            if (!model)
+                throw new Error('the working model is not built yet');
+            const config = { config: { toolchain: options.toolchain } };
+            const olderId = against === 'previous' ? await previousRelease(options.projectRoot, model, release) : against;
+            if (!olderId)
+                throw new Error('This release has no previous release: no earlier record of the same item is an ancestor of it.');
+            const label = (id) => model.elements.get(id)?.shortName ?? id;
+            const newer = await buildForRecord(options.projectRoot, { model }, release, config);
+            const older = await buildForRecord(options.projectRoot, { model }, olderId, config);
+            const before = diffInputOf(older.build.project.model);
+            const after = diffInputOf(newer.build.project.model);
+            return {
+                before: { label: label(olderId), commit: older.commit }, after: { label: label(release), commit: newer.commit },
+                previous: against === 'previous', diff: summarizeDiff(computeModelDiff(before, after), before, after),
+            };
+        },
+        close() {
+            for (const { child } of children.values())
+                child.kill('SIGTERM');
+            children.clear();
+        },
+    };
+}
+//# sourceMappingURL=version-servers.js.map