@memoarchitect/tools 0.13.2 → 0.15.1

package/packages/tools/lib/model/workspace-membership.js

@@ -0,0 +1,281 @@
+// ─── Workspace membership ────────────────────────────────────────────────────
+//
+// A workspace (one system, or the system of systems) is not declared. It is the
+// closure of what is linked to its root, and this module computes it
+// (plans/memo-model-product-project-structure.md, T2).
+//
+// Roots are DEFINITIONS of a System-kind or SystemOfSystems-kind, and a root's
+// top-level usage joins it (`part robotCell : RoboticCell`). From each root,
+// to a fixpoint:
+//
+//   ownership   a member's owned elements join it (which places ports, steps and
+//               nested parts), downward only
+//   typing      a member usage reaches its definition, never the reverse; so a
+//               definition two systems use is reached by both. A feature an
+//               element owns counts the same way: an action's parameter types
+//               and a port's directed features are types the element reaches.
+//   relations   every other relation goes through the ontology's table
+//               (`registry.workspaceMembership()`): `sourceFollowsTarget` puts
+//               the source in whenever the target is in, `targetFollowsSource`
+//               the reverse, `neither` places nothing
+//   typed link  a link typed by a definition (`interface pointCloudFeed :
+//               PerceptionToNavigationIcd connect a to b`) places that definition
+//               when BOTH ends are in the workspace, which is how an interface
+//               control document lands in the system of systems and in no system
+//
+// A system is a boundary. The system of systems holds its constituent systems as
+// parts (ownership) but never absorbs a system's definition; and a system's
+// workspace never reaches another system, or the system of systems. Only
+// ownership and the seeded top-level usage may bring a System-kind or
+// SystemOfSystems-kind element in.
+//
+// A feature a port DEFINITION owns (`out item pointCloud : PointCloud` in
+// `port def PointCloudPort`) is not an element, so its type is not read here;
+// the same item definitions are reached through the functions that move them.
+//
+// A model is required to declare at least one System, and there is no implicit
+// workspace: with none, `missingSystem` is set and everything is Unassigned
+// (measured on gpca, which types its parts by ontology kinds and declares none).
+//
+// What this module does not do is decide. Direction is the ontology's, kind
+// derivation is the kind registry's, and the two names below are the structural
+// roots those derivations start from: the ontology says what a System is, not
+// that a workspace is rooted at one.
+// ─────────────────────────────────────────────────────────────────────────────
+/** The ontology kinds a workspace is rooted at: a System, and a SystemOfSystems. */
+const SYSTEM_KIND = 'System';
+const SOS_KIND = 'SystemOfSystems';
+/** The layer of the elements that describe how the model is worked on, which no workspace holds. */
+const METHODOLOGY_LAYER = 'methodology';
+/** Whether `kind` is `root` or specializes it, through the kind registry's chain (every supertype). */
+export function derivesFrom(kinds, kind, root) {
+    const seen = new Set();
+    const queue = [kind];
+    for (let next = queue.pop(); next !== undefined; next = queue.pop()) {
+        if (next === root)
+            return true;
+        if (seen.has(next))
+            continue;
+        seen.add(next);
+        const entry = kinds.getKind(next);
+        if (!entry)
+            continue;
+        for (const up of [entry.superType, ...(entry.additionalSuperTypes ?? [])]) {
+            if (up)
+                queue.push(up.split('::').pop());
+        }
+    }
+    return false;
+}
+export function computeWorkspaceMembership(model, registries) {
+    const { kindRegistry: kinds, relationshipRegistry } = registries;
+    if (!kinds || !relationshipRegistry)
+        throw new Error('workspace membership needs the ontology registries the model was built with');
+    const table = relationshipRegistry.workspaceMembership();
+    const elements = model.elements;
+    const unresolved = new Map();
+    const scopeOf = (element) => derivesFrom(kinds, element.kind, SOS_KIND) ? 'sos'
+        : derivesFrom(kinds, element.kind, SYSTEM_KIND) ? 'system' : undefined;
+    /** The definition a short or qualified type name names, if exactly one does. */
+    const definitionNamed = (owner, type) => {
+        const exact = elements.get(type);
+        if (exact?.isDefinition)
+            return exact.id;
+        const candidates = elements.idsNamed(type.split('::').pop()).filter(id => elements.get(id)?.isDefinition);
+        if (candidates.length === 1)
+            return candidates[0];
+        // An ontology kind is a type but not an element of the model: nothing to place.
+        if (candidates.length === 0 && kinds.has(type))
+            return undefined;
+        unresolved.set(`${owner.id}|${type}`, { elementId: owner.id, type, candidates });
+        return undefined;
+    };
+    /** What an element is typed by: the classifier the builder resolved, else the type name it wrote. */
+    const typeOf = (element) => {
+        const classifier = element.provenance?.classifier?.qualifiedName;
+        if (classifier && elements.has(classifier))
+            return classifier;
+        const written = element.attributes.usageType ?? element.portSpec?.type;
+        return written ? definitionNamed(element, written) : undefined;
+    };
+    /** The definitions the features an element owns are typed by (an action's parameters, a port's flows). */
+    const featureTypesOf = (element) => (element.parameters ?? []).flatMap(parameter => {
+        const id = parameter.type ? definitionNamed(element, parameter.type) : undefined;
+        return id ? [id] : [];
+    });
+    const children = new Map();
+    for (const element of elements.values()) {
+        const parent = element.owner ?? element.parentAction;
+        if (parent)
+            children.set(parent, [...(children.get(parent) ?? []), element.id]);
+    }
+    const incident = new Map();
+    for (const relationship of model.relationships) {
+        for (const end of new Set([relationship.sourceId, relationship.targetId])) {
+            incident.set(end, [...(incident.get(end) ?? []), relationship]);
+        }
+    }
+    const closure = (root, scope) => {
+        const members = new Set();
+        const queue = [];
+        const join = (id, via) => {
+            if (!id || members.has(id))
+                return;
+            const element = elements.get(id);
+            if (!element)
+                return;
+            // A system is a boundary: only structure brings another one in.
+            if (via === 'reach' && id !== root.id && scopeOf(element))
+                return;
+            members.add(id);
+            queue.push(id);
+        };
+        join(root.id, 'root');
+        for (const element of elements.values()) {
+            if (!element.isDefinition && !element.owner && typeOf(element) === root.id)
+                join(element.id, 'root');
+        }
+        for (let id = queue.shift(); id !== undefined; id = queue.shift()) {
+            const element = elements.get(id);
+            for (const child of children.get(id) ?? [])
+                join(child, 'owner');
+            join(typeOf(element), 'reach');
+            for (const type of featureTypesOf(element))
+                join(type, 'reach');
+            for (const relationship of incident.get(id) ?? []) {
+                const direction = (table.get(relationship.type) ?? 'neither');
+                if (direction === 'sourceFollowsTarget' && relationship.targetId === id)
+                    join(relationship.sourceId, 'reach');
+                if (direction === 'targetFollowsSource' && relationship.sourceId === id)
+                    join(relationship.targetId, 'reach');
+                if (relationship.kind && members.has(relationship.sourceId) && members.has(relationship.targetId)) {
+                    join(definitionNamed(elements.get(relationship.sourceId), relationship.kind), 'reach');
+                }
+            }
+        }
+        return { root: root.id, scope, members };
+    };
+    const workspaces = [];
+    for (const element of elements.values()) {
+        if (!element.isDefinition)
+            continue;
+        const scope = scopeOf(element);
+        if (scope)
+            workspaces.push(closure(element, scope));
+    }
+    const systems = new Map();
+    const sos = new Map();
+    for (const workspace of workspaces) {
+        const into = workspace.scope === 'system' ? systems : sos;
+        for (const id of workspace.members)
+            into.set(id, [...(into.get(id) ?? []), workspace.root]);
+    }
+    // A pass over the finished closure, not a record of what `join` refused: the system of systems'
+    // closure refuses systems too (allowed), and a `neither` relation is never attempted at all.
+    const boundaryReferences = [];
+    for (const workspace of workspaces) {
+        if (workspace.scope !== 'system')
+            continue;
+        const crosses = (id) => {
+            const target = id ? elements.get(id) : undefined;
+            return target && scopeOf(target) && !workspace.members.has(target.id) ? target.id : undefined;
+        };
+        for (const id of workspace.members) {
+            const element = elements.get(id);
+            for (const type of [typeOf(element), ...featureTypesOf(element)]) {
+                const target = crosses(type);
+                if (target)
+                    boundaryReferences.push({ workspace: workspace.root, elementId: id, target, via: 'typing' });
+            }
+        }
+        for (const relationship of model.relationships) {
+            if (!workspace.members.has(relationship.sourceId))
+                continue;
+            const target = crosses(relationship.targetId);
+            if (target)
+                boundaryReferences.push({ workspace: workspace.root, elementId: relationship.sourceId, target, via: relationship.type });
+        }
+    }
+    const definitionOf = new Map();
+    for (const element of elements.values()) {
+        if (element.isDefinition)
+            continue;
+        const type = typeOf(element);
+        if (type && type !== element.id)
+            definitionOf.set(element.id, type);
+    }
+    return {
+        workspaces,
+        boundaryReferences,
+        definitionOf,
+        systems,
+        sos,
+        shared: [...systems].filter(([, roots]) => roots.length >= 2).map(([id]) => id),
+        unassigned: [...elements.values()]
+            // A dependency's element belongs to its own package, not to a system of this model.
+            .filter(element => !systems.has(element.id) && !sos.has(element.id) && element.layer !== METHODOLOGY_LAYER
+            && element.provenance?.declaration.origin !== 'dependency')
+            .map(element => element.id),
+        unresolvedTypes: [...unresolved.values()],
+        missingSystem: !workspaces.some(workspace => workspace.scope === 'system'),
+    };
+}
+export function workspaceMembershipToDTO(result, model) {
+    const membership = {};
+    for (const workspace of result.workspaces) {
+        for (const id of workspace.members)
+            (membership[id] ??= []).push(workspace.root);
+    }
+    return {
+        workspaces: result.workspaces.map(workspace => ({
+            root: workspace.root,
+            scope: workspace.scope,
+            name: model.elements.get(workspace.root)?.name ?? workspace.root,
+        })),
+        membership,
+        shared: [...result.shared],
+        unassigned: [...result.unassigned],
+        definitionOf: Object.fromEntries(result.definitionOf),
+        missingSystem: result.missingSystem,
+    };
+}
+/** Choose a workspace by its root's id, name or short id. An unknown or ambiguous request lists the candidates. */
+export function selectWorkspace(model, membership, requested) {
+    const describe = (root) => `${model.elements.get(root)?.name ?? root} (${membership.workspaces.find(w => w.root === root).scope})`;
+    const all = membership.workspaces.map(workspace => workspace.root);
+    if (membership.missingSystem) {
+        return { ok: false, message: `this model declares no System, so it has no workspace to validate; declare a part def that specializes System.` };
+    }
+    const names = (root) => {
+        const element = model.elements.get(root);
+        return [root, element?.name, element?.shortId].filter((s) => !!s).map(s => s.toLowerCase());
+    };
+    const wanted = requested.toLowerCase();
+    const exact = all.filter(root => names(root).includes(wanted));
+    const hits = exact.length > 0 ? exact : all.filter(root => names(root).some(name => name.split('::').pop() === wanted));
+    if (hits.length !== 1) {
+        const list = (hits.length > 1 ? hits : all).map(describe).join(', ');
+        return { ok: false, message: `${hits.length > 1 ? `"${requested}" names more than one workspace` : `no workspace is named "${requested}"`}; choose one of: ${list}.` };
+    }
+    const workspace = membership.workspaces.find(w => w.root === hits[0]);
+    const foreign = new Set();
+    if (workspace.scope === 'system') {
+        for (const [id, roots] of membership.systems) {
+            if (!roots.includes(workspace.root) && !membership.sos.has(id))
+                foreign.add(id);
+        }
+    }
+    return {
+        ok: true,
+        scope: {
+            root: workspace.root,
+            scope: workspace.scope,
+            name: model.elements.get(workspace.root)?.name ?? workspace.root,
+            // The system of systems' workspace is where the whole picture is, so the elements no
+            // workspace holds are judged here: a finding about an orphan must not read as clean.
+            subjects: workspace.scope === 'sos' ? new Set([...workspace.members, ...membership.unassigned]) : workspace.members,
+            foreign,
+        },
+    };
+}
+//# sourceMappingURL=workspace-membership.js.map

package/packages/tools/lib/model/workspace-membership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-membership.js","sourceRoot":"","sources":["../../src/model/workspace-membership.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,gFAAgF;AAChF,qEAAqE;AACrE,uDAAuD;AACvD,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,iBAAiB;AACjB,EAAE;AACF,iFAAiF;AACjF,6CAA6C;AAC7C,+EAA+E;AAC/E,4EAA4E;AAC5E,8EAA8E;AAC9E,8EAA8E;AAC9E,uEAAuE;AACvE,+EAA+E;AAC/E,+EAA+E;AAC/E,sDAAsD;AACtD,0EAA0E;AAC1E,kFAAkF;AAClF,+EAA+E;AAC/E,iFAAiF;AACjF,EAAE;AACF,iFAAiF;AACjF,4EAA4E;AAC5E,yEAAyE;AACzE,sEAAsE;AACtE,mCAAmC;AACnC,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,8EAA8E;AAC9E,EAAE;AACF,+EAA+E;AAC/E,4EAA4E;AAC5E,iFAAiF;AACjF,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAChF,8EAA8E;AAC9E,qCAAqC;AACrC,gFAAgF;AAMhF,oFAAoF;AACpF,MAAM,WAAW,GAAG,QAAQ,CAAC;AAC7B,MAAM,QAAQ,GAAG,iBAAiB,CAAC;AAEnC,oGAAoG;AACpG,MAAM,iBAAiB,GAAG,aAAa,CAAC;AAuDxC,uGAAuG;AACvG,MAAM,UAAU,WAAW,CAAC,KAAmB,EAAE,IAAY,EAAE,IAAY;IACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,KAAK,SAAS,EAAE,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;QAClE,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACxE,IAAI,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC;QAC9C,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACtC,KAAgB,EAChB,UAA6B;IAE7B,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,oBAAoB,EAAE,GAAG,UAAU,CAAC;IACjE,IAAI,CAAC,KAAK,IAAI,CAAC,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAC;IACpI,MAAM,KAAK,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmC,CAAC;IAE9D,MAAM,OAAO,GAAG,CAAC,OAAoB,EAAgC,EAAE,CACnE,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK;QAC9C,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAE/E,gFAAgF;IAChF,MAAM,eAAe,GAAG,CAAC,KAAkB,EAAE,IAAY,EAAsB,EAAE;QAC7E,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,KAAK,EAAE,YAAY;YAAE,OAAO,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;QAC3G,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;QAClD,gFAAgF;QAChF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACjE,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACjF,OAAO,SAAS,CAAC;IACrB,CAAC,CAAC;IAEF,qGAAqG;IACrG,MAAM,MAAM,GAAG,CAAC,OAAoB,EAAsB,EAAE;QACxD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,CAAC;QACjE,IAAI,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,OAAO,UAAU,CAAC;QAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC;QACvE,OAAO,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,CAAC,CAAC;IAEF,0GAA0G;IAC1G,MAAM,cAAc,GAAG,CAAC,OAAoB,EAAY,EAAE,CACtD,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;QAC3C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjF,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEP,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,YAAY,CAAC;QACrD,IAAI,MAAM;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACxE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;QACpE,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,IAAiB,EAAE,KAAuB,EAAa,EAAE;QACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,CAAC,EAAsB,EAAE,GAA+B,EAAE,EAAE;YACrE,IAAI,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO;YACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,CAAC,OAAO;gBAAE,OAAO;YACrB,gEAAgE;YAChE,IAAI,GAAG,KAAK,OAAO,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,IAAI,OAAO,CAAC,OAAO,CAAC;gBAAE,OAAO;YAClE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC,CAAC;QAEF,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtB,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,EAAE;gBAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzG,CAAC;QAED,KAAK,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,SAAS,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YAChE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YAClC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACjE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAChE,KAAK,MAAM,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAChD,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,SAAS,CAAc,CAAC;gBAC3E,IAAI,SAAS,KAAK,qBAAqB,IAAI,YAAY,CAAC,QAAQ,KAAK,EAAE;oBAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAC9G,IAAI,SAAS,KAAK,qBAAqB,IAAI,YAAY,CAAC,QAAQ,KAAK,EAAE;oBAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAC9G,IAAI,YAAY,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAE,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC5F,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC7C,CAAC,CAAC;IAEF,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,YAAY;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,KAAK;YAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QAC1D,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,CAAC;IAED,gGAAgG;IAChG,6FAA6F;IAC7F,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IACnD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ;YAAE,SAAS;QAC3C,MAAM,OAAO,GAAG,CAAC,EAAsB,EAAE,EAAE;YACvC,MAAM,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACjD,OAAO,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClG,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YAClC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBAC/D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,MAAM;oBAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC7G,CAAC;QACL,CAAC;QACD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,MAAM;gBAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;QACzI,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,YAAY;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,IAAI,IAAI,IAAI,KAAK,OAAO,CAAC,EAAE;YAAE,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,OAAO;QACH,UAAU;QACV,kBAAkB;QAClB,YAAY;QACZ,OAAO;QACP,GAAG;QACH,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAC/E,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC9B,oFAAoF;aACnF,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,KAAK,KAAK,iBAAiB;eACnG,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC;aAC9D,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,eAAe,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QACzC,aAAa,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC;KAC7E,CAAC;AACN,CAAC;AAmBD,MAAM,UAAU,wBAAwB,CAAC,MAA2B,EAAE,KAAgB;IAClF,MAAM,UAAU,GAA6B,EAAE,CAAC;IAChD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACxC,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,OAAO;YAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC;IACD,OAAO;QACH,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI;SACnE,CAAC,CAAC;QACH,UAAU;QACV,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;QAClC,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC;QACrD,aAAa,EAAE,MAAM,CAAC,aAAa;KACtC,CAAC;AACN,CAAC;AAoBD,mHAAmH;AACnH,MAAM,UAAU,eAAe,CAC3B,KAAgB,EAChB,UAA+B,EAC/B,SAAiB;IAEjB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC,KAAK,GAAG,CAAC;IAC5I,MAAM,GAAG,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,gHAAgH,EAAE,CAAC;IACpJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAY,EAAE;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7G,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC;IACxH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,iCAAiC,CAAC,CAAC,CAAC,0BAA0B,SAAS,GAAG,oBAAoB,IAAI,GAAG,EAAE,CAAC;IAC3K,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YAC3C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;IACL,CAAC;IACD,OAAO;QACH,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACH,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI;YAChE,qFAAqF;YACrF,qFAAqF;YACrF,QAAQ,EAAE,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO;YACnH,OAAO;SACV;KACJ,CAAC;AACN,CAAC"}

package/packages/tools/lib/ontology/owl-exporter.d.ts

@@ -1,5 +1,5 @@
 export interface OntologyConfig {
-    projectName: string;
+    modelName: string;
     architectureLayers?: {
         id: string;
         label: string;

package/packages/tools/lib/ontology/owl-exporter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"owl-exporter.d.ts","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,cAAc;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAClB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,iBAAiB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnF,YAAY,EAAE;QACV,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,YAAY,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ,gBAAgB,CAAC,EAAE;QACf,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;CACL;AAED,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,GAAE,MAAoD,GAChE,MAAM,CAyCR;AAED,wBAAgB,cAAc,CAC1B,QAAQ,EAAE,cAAc,EACxB,SAAS,GAAE,MAAoD,GAChE,MAAM,CA6BR"}
+{"version":3,"file":"owl-exporter.d.ts","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,cAAc;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAClB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,iBAAiB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnF,YAAY,EAAE;QACV,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,YAAY,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ,gBAAgB,CAAC,EAAE;QACf,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;CACL;AAED,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,GAAE,MAAoD,GAChE,MAAM,CAyCR;AAED,wBAAgB,cAAc,CAC1B,QAAQ,EAAE,cAAc,EACxB,SAAS,GAAE,MAAoD,GAChE,MAAM,CA6BR"}

package/packages/tools/lib/ontology/owl-exporter.js

@@ -15,7 +15,7 @@ export function exportToOwlTurtle(ontology, namespace = 'https://sysand.dev/onto
         }
     }
     else {
-        lines.push(`    dcterms:title "${escape(ontology.projectName)}" ;`);
+        lines.push(`    dcterms:title "${escape(ontology.modelName)}" ;`);
     }
     lines.push('    .');
     lines.push('');

package/packages/tools/lib/ontology/owl-exporter.js.map

@@ -1 +1 @@
-{"version":3,"file":"owl-exporter.js","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,iBAAiB,CAC7B,QAAwB,EACxB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC;IAEtB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,MAAM,SAAS,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,gBAAgB,CAAC,OAAO,KAAK,CAAC,CAAC;QAC3E,IAAI,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,QAAQ,gBAAgB,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,oBAAoB,OAAO,CAAC,cAAc,KAAK,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,yBAAyB,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,QAAwB,EACxB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAEvC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,IAAI,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,2BAA2B,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,oCAAoC,SAAS,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}
+{"version":3,"file":"owl-exporter.js","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,iBAAiB,CAC7B,QAAwB,EACxB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC;IAEtB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,MAAM,SAAS,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,gBAAgB,CAAC,OAAO,KAAK,CAAC,CAAC;QAC3E,IAAI,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,QAAQ,gBAAgB,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,oBAAoB,OAAO,CAAC,cAAc,KAAK,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,yBAAyB,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,QAAwB,EACxB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAEvC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,IAAI,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,2BAA2B,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,oCAAoC,SAAS,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}

package/packages/tools/lib/operations/ai-authoring.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ai-authoring.d.ts","sourceRoot":"","sources":["../../src/operations/ai-authoring.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,EAAgE,KAAK,cAAc,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAGtI,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,MAAM,WAAW,cAAc;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC3D,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,cAAc,CAAC;CAChC;AAED,wBAAsB,sBAAsB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAwBtG;AAED,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,WAAW,CAAC;CAC1B,GAAG,OAAO,CAAC,uBAAuB,CAAC,CA+BnC"}
+{"version":3,"file":"ai-authoring.d.ts","sourceRoot":"","sources":["../../src/operations/ai-authoring.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,EAC2D,KAAK,cAAc,EACjF,KAAK,WAAW,EACnB,MAAM,iBAAiB,CAAC;AAIzB,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,MAAM,WAAW,cAAc;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC3D,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,cAAc,CAAC;CAChC;AAED,wBAAsB,sBAAsB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CA2BtG;AAED,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,WAAW,CAAC;CAC1B,GAAG,OAAO,CAAC,uBAAuB,CAAC,CA+BnC"}

package/packages/tools/lib/operations/ai-authoring.js

@@ -5,14 +5,14 @@ import { mkdtemp, rm, writeFile } from 'node:fs/promises';
 import { tmpdir } from 'node:os';
 import { join } from 'node:path';
 import { findMemoManifests } from '../model/manifest.js';
-import { loadOntologyRegistries } from '../model/ontology-loader.js';
 import { EMPTY_ONTOLOGY_VIEW, ontologyViewFrom } from '../model/kind-registry.js';
-import { loadProjectConfig } from '../toolchain/lowering.js';
+import { loadProjectConfig } from '../toolchain/project-config.js';
 import { mergeDiagnostics, probeToolchain, runLowering, runValidator } from '../toolchain/operations.js';
 import { validateModel } from '../validator/rule-engine.js';
 import { dtoToModel } from '../model/semantic.js';
-import { createProvider, generateSysml, repairSysml, resolveLLMConfig } from '../llm/index.js';
+import { createProvider, generateSysml, repairSysml, resolveLLMConfig, } from '../llm/index.js';
 import { SYSML_MEMO_GUIDANCE_VERSION } from '../llm/sysml-guidance.js';
+import { loadProjectOntology } from '../toolchain/project-model.js';
 export const MAX_SYSML_GENERATION_ATTEMPTS = 3;
 export async function validateGeneratedSysml(projectRoot, sysml) {
     const config = loadProjectConfig(projectRoot);
@@ -26,7 +26,9 @@ export async function validateGeneratedSysml(projectRoot, sysml) {
         const diagnostics = mergeDiagnostics(validator.diagnostics, lowering.diagnostics);
         if (lowering.accepted) {
             const model = dtoToModel(lowering.ir.model);
-            diagnostics.push(...validateModel(model).violations.map(violation => ({
+            // Only what the candidate declares: the project's own findings are not the candidate's to repair.
+            const aboutCandidate = (violation) => violation.provenance?.declaration.sourceUri === candidatePath;
+            diagnostics.push(...validateModel(model).violations.filter(aboutCandidate).map(violation => ({
                 domain: 'memo-methodology',
                 provider: 'memo', severity: violation.severity === 'error' ? 'warning' : violation.severity,
                 code: violation.ruleId,
@@ -50,7 +52,7 @@ export async function generateValidatedSysml(options) {
     })();
     let ontology = EMPTY_ONTOLOGY_VIEW;
     try {
-        const loaded = await loadOntologyRegistries(options.projectRoot);
+        const loaded = await loadProjectOntology({ projectRoot: options.projectRoot, config });
         ontology = ontologyViewFrom(loaded.registries.kindRegistry, loaded.registries.relationshipRegistry);
     }
     catch {

package/packages/tools/lib/operations/ai-authoring.js.map

@@ -1 +1 @@
-{"version":3,"file":"ai-authoring.js","sourceRoot":"","sources":["../../src/operations/ai-authoring.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,iFAAiF;AACjF,uDAAuD;AAEvD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAEzG,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAyC,MAAM,iBAAiB,CAAC;AACtI,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAEvE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAe/C,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,WAAmB,EAAE,KAAa;IAC3E,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACvD,MAAM,SAAS,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;QAC5E,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;QAClF,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBAClE,MAAM,EAAE,kBAA2B;gBACnC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpG,IAAI,EAAE,SAAS,CAAC,MAAM;gBACtB,OAAO,EAAE,SAAS,CAAC,WAAW;gBAC9B,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS;aACpD,CAAC,CAAC,CAAC,CAAC;QACT,CAAC;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;YAAS,CAAC;QACP,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAI5C;IACG,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAClG,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,QAAQ,GAAG,mBAAmB,CAAC;IACnC,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACjE,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;IACxG,CAAC;IAAC,MAAM,CAAC;QACL,mEAAmE;QACnE,+DAA+D;IACnE,CAAC;IACD,IAAI,SAAS,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7E,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC;IACrC,IAAI,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACrF,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,GAAG,6BAA6B,EAAE,CAAC;QACxE,SAAS,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACrG,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACjF,QAAQ,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC;IACtE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrH,OAAO,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE;YACtE,eAAe,EAAE,2BAA2B;YAC5C,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,SAAS;SACzF,EAAE,CAAC;AACR,CAAC"}
+{"version":3,"file":"ai-authoring.js","sourceRoot":"","sources":["../../src/operations/ai-authoring.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,iFAAiF;AACjF,uDAAuD;AAEvD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAEzG,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EACH,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,GAE/D,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEpE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAe/C,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,WAAmB,EAAE,KAAa;IAC3E,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACvD,MAAM,SAAS,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;QAC5E,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;QAClF,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5C,kGAAkG;YAClG,MAAM,cAAc,GAAG,CAAC,SAAmE,EAAE,EAAE,CAC3F,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS,KAAK,aAAa,CAAC;YAClE,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBACzF,MAAM,EAAE,kBAA2B;gBACnC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpG,IAAI,EAAE,SAAS,CAAC,MAAM;gBACtB,OAAO,EAAE,SAAS,CAAC,WAAW;gBAC9B,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS;aACpD,CAAC,CAAC,CAAC,CAAC;QACT,CAAC;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;YAAS,CAAC;QACP,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAI5C;IACG,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAClG,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,QAAQ,GAAG,mBAAmB,CAAC;IACnC,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;QACvF,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;IACxG,CAAC;IAAC,MAAM,CAAC;QACL,mEAAmE;QACnE,+DAA+D;IACnE,CAAC;IACD,IAAI,SAAS,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7E,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC;IACrC,IAAI,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACrF,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,GAAG,6BAA6B,EAAE,CAAC;QACxE,SAAS,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACrG,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACjF,QAAQ,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC;IACtE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrH,OAAO,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE;YACtE,eAAe,EAAE,2BAA2B;YAC5C,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,SAAS;SACzF,EAAE,CAAC;AACR,CAAC"}

package/packages/tools/lib/operations/authoring.d.ts

@@ -1,25 +1,31 @@
 import type { MEMOConfig } from '../model/config.js';
-import { type IrIdentityIndex } from '../model/ir-identity.js';
+import type { IrIdentityIndex } from '../model/ir-identity.js';
 import type { Diagnostic } from '../toolchain/diagnostic.js';
-import type { MemoIr } from '../toolchain/protocol.js';
+import { type MemoIr } from '../toolchain/protocol.js';
 import { type ElementWriteRequest, type ElementWriteResult } from '../server/persistor.js';
+import { type OutlineSource } from '../authoring/outline-source.js';
 export interface AuthoringContext {
     projectDir: string;
     /** Project settings; loaded from the project when the caller has none. */
     config?: MEMOConfig;
     /** Identity index of the revision the caller's request was built against. */
     irIndex?: IrIdentityIndex;
+    /** Outlines of the project's files, from the selected compiler. Its own when absent. */
+    outlines?: OutlineSource;
 }
 /** What a recompile produced, in the shape every write-back returns it. */
 export interface RecompiledRevision {
     ir: MemoIr;
     index: IrIdentityIndex;
     diagnostics: Diagnostic[];
-    /** The provider that answered, so the caller can report which one ran. */
+    /** The compiler that answered, so the caller can report which one ran. */
     provider: string;
+    /** Outlines for the next write, read from this revision. */
+    outlines: OutlineSource;
 }
 /**
- * Recompile the project through the selected lowering provider.
+ * Recompile the project with the selected compiler, and index the identities
+ * of its declarations (plans/memo-write-back-from-handoff.md).
  *
  * Exported on its own because "what does the model look like now" is a question
  * the CLI asks too, not only the thing that happens after a write.

package/packages/tools/lib/operations/authoring.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../src/operations/authoring.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAGrF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAqB,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAE9G,MAAM,WAAW,gBAAgB;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,eAAe,CAAC;CAC7B;AAED,2EAA2E;AAC3E,MAAM,WAAW,kBAAkB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAS7F;AAED,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IAC9D,wEAAwE;IACxE,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CACjC;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAC9B,OAAO,EAAE,gBAAgB,EACzB,OAAO,EAAE,mBAAmB,GAC7B,OAAO,CAAC,sBAAsB,CAAC,CAIjC"}
+{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../src/operations/authoring.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAK/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAqB,KAAK,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAqB,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EAC6E,KAAK,aAAa,EACrG,MAAM,gCAAgC,CAAC;AAExC,MAAM,WAAW,gBAAgB;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,eAAe,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,EAAE,aAAa,CAAC;CAC5B;AAED,2EAA2E;AAC3E,MAAM,WAAW,kBAAkB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,QAAQ,EAAE,aAAa,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAmB7F;AAED,MAAM,WAAW,sBAAuB,SAAQ,kBAAkB;IAC9D,wEAAwE;IACxE,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CACjC;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAC9B,OAAO,EAAE,gBAAgB,EACzB,OAAO,EAAE,mBAAmB,GAC7B,OAAO,CAAC,sBAAsB,CAAC,CAMjC"}

package/packages/tools/lib/operations/authoring.js

@@ -5,7 +5,7 @@
 // two steps that only make sense together:
 //
 //   1. edit the SysML source — by IR identity, in standard notation;
-//   2. recompile through the **selected lowering provider**, and hand back the
+//   2. recompile with the **selected compiler**, and hand back the
 //      revision that resulted.
 //
 // Step 2 is not a refresh optimisation. Before this session the editing path
@@ -20,24 +20,38 @@
 // authoring path that quietly used the internal builder would be a second
 // compiler nobody selected.
 // ─────────────────────────────────────────────────────────────────────────────
-import { buildIrIdentityIndex } from '../model/ir-identity.js';
-import { loadProjectConfig } from '../toolchain/lowering.js';
-import { runLowering } from '../toolchain/operations.js';
+import { projectSysmlIrToMemo, SYSML_IR_VERSION } from '../model/sysml-ir.js';
+import { modelToDTO } from '../model/semantic.js';
+import { loadProjectConfig } from '../toolchain/project-config.js';
+import { loadProjectModel } from '../toolchain/project-model.js';
+import { SYSMLC_IR_VERSION } from '../toolchain/protocol.js';
 import { saveElementToFile } from '../server/persistor.js';
+import { outlineIdentityIndex, outlineSourceFor, projectOutlines, selectedOutlineSource, } from '../authoring/outline-source.js';
 /**
- * Recompile the project through the selected lowering provider.
+ * Recompile the project with the selected compiler, and index the identities
+ * of its declarations (plans/memo-write-back-from-handoff.md).
  *
  * Exported on its own because "what does the model look like now" is a question
  * the CLI asks too, not only the thing that happens after a write.
  */
 export async function recompileProject(context) {
     const config = context.config ?? loadProjectConfig(context.projectDir);
-    const result = await runLowering({ config, projectDir: context.projectDir });
+    const project = await loadProjectModel({ projectRoot: context.projectDir, config });
+    const dto = modelToDTO(project.model);
+    // The handoff is the record of the compile; the IR states no syntax tree.
+    const sysml = { irVersion: SYSML_IR_VERSION, elements: [], diagnostics: [] };
     return {
-        ir: result.ir,
-        index: buildIrIdentityIndex(result.ir.model.sysmlIr),
-        diagnostics: result.diagnostics,
-        provider: result.provider,
+        ir: {
+            irVersion: SYSMLC_IR_VERSION,
+            model: projectSysmlIrToMemo(sysml, dto),
+            parseErrors: [],
+            accepted: true,
+            sysml,
+        },
+        index: outlineIdentityIndex(projectOutlines(context.projectDir, project), project.model.elements.values(), context.projectDir),
+        diagnostics: project.diagnostics,
+        provider: project.compiler,
+        outlines: outlineSourceFor(context.projectDir, config, project),
     };
 }
 /**
@@ -48,7 +62,9 @@ export async function recompileProject(context) {
  * full lowering.
  */
 export async function writeElement(context, element) {
-    const result = await saveElementToFile(context.projectDir, element, context.irIndex);
+    const config = context.config ?? loadProjectConfig(context.projectDir);
+    const outlines = context.outlines ?? selectedOutlineSource(context.projectDir, config);
+    const result = await saveElementToFile(context.projectDir, element, context.irIndex, outlines);
     if (!result.success)
         return result;
     return { ...result, revision: await recompileProject(context) };

package/packages/tools/lib/operations/authoring.js.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../src/operations/authoring.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,2CAA2C;AAC3C,EAAE;AACF,qEAAqE;AACrE,+EAA+E;AAC/E,+BAA+B;AAC/B,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,qCAAqC;AACrC,EAAE;AACF,gFAAgF;AAChF,8EAA8E;AAC9E,0EAA0E;AAC1E,4BAA4B;AAC5B,gFAAgF;AAGhF,OAAO,EAAE,oBAAoB,EAAwB,MAAM,yBAAyB,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAGzD,OAAO,EAAE,iBAAiB,EAAqD,MAAM,wBAAwB,CAAC;AAmB9G;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAyB;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7E,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,KAAK,EAAE,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QACpD,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC5B,CAAC;AACN,CAAC;AAOD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,OAAyB,EACzB,OAA4B;IAE5B,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACrF,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IACnC,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;AACpE,CAAC"}
+{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../src/operations/authoring.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,2CAA2C;AAC3C,EAAE;AACF,qEAAqE;AACrE,mEAAmE;AACnE,+BAA+B;AAC/B,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,qCAAqC;AACrC,EAAE;AACF,gFAAgF;AAChF,8EAA8E;AAC9E,0EAA0E;AAC1E,4BAA4B;AAC5B,gFAAgF;AAIhF,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,EAAE,iBAAiB,EAAe,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAqD,MAAM,wBAAwB,CAAC;AAC9G,OAAO,EACH,oBAAoB,EAAE,gBAAgB,EAAE,eAAe,EAAE,qBAAqB,GACjF,MAAM,gCAAgC,CAAC;AAuBxC;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAyB;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,0EAA0E;IAC1E,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC7E,OAAO;QACH,EAAE,EAAE;YACA,SAAS,EAAE,iBAAiB;YAC5B,KAAK,EAAE,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC;YACvC,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,IAAI;YACd,KAAK;SACR;QACD,KAAK,EAAE,oBAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC;QAC9H,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC;KAClE,CAAC;AACN,CAAC;AAOD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,OAAyB,EACzB,OAA4B;IAE5B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,qBAAqB,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/F,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC;IACnC,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;AACpE,CAAC"}

package/packages/tools/lib/operations/index.d.ts

@@ -7,4 +7,6 @@ export { compileMarkdownDocument as generateDocument } from '../dhf/document-com
 export { buildProjectSnapshot, serializeForInlineScript } from './project-snapshot.js';
 export { devCommand as startProjectServer } from '../commands/dev.js';
 export { generateValidatedSysml, validateGeneratedSysml, MAX_SYSML_GENERATION_ATTEMPTS } from './ai-authoring.js';
+export { pinnedTarget, type PinnedTarget } from '../commands/pinned-target.js';
+export type { PinnedInfo } from '../protocol/messages.js';
 //# sourceMappingURL=index.d.ts.map

package/packages/tools/lib/operations/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/operations/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,eAAe,IAAI,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,uBAAuB,IAAI,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/operations/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,eAAe,IAAI,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,uBAAuB,IAAI,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClH,OAAO,EAAE,YAAY,EAAE,KAAK,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC/E,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC"}

package/packages/tools/lib/operations/index.js

@@ -7,4 +7,5 @@ export { compileMarkdownDocument as generateDocument } from '../dhf/document-com
 export { buildProjectSnapshot, serializeForInlineScript } from './project-snapshot.js';
 export { devCommand as startProjectServer } from '../commands/dev.js';
 export { generateValidatedSysml, validateGeneratedSysml, MAX_SYSML_GENERATION_ATTEMPTS } from './ai-authoring.js';
+export { pinnedTarget } from '../commands/pinned-target.js';
 //# sourceMappingURL=index.js.map

package/packages/tools/lib/operations/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/operations/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,eAAe,IAAI,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,uBAAuB,IAAI,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/operations/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,OAAO,EAAE,WAAW,IAAI,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,eAAe,IAAI,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,uBAAuB,IAAI,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClH,OAAO,EAAE,YAAY,EAAqB,MAAM,8BAA8B,CAAC"}

package/packages/tools/lib/operations/project-snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"project-snapshot.d.ts","sourceRoot":"","sources":["../../src/operations/project-snapshot.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAA4B,YAAY,EAAgB,MAAM,sBAAsB,CAAC;AACjG,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAMlF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAGjE,MAAM,WAAW,eAAe;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,EAAE,YAAY,CAAC;IACpB,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,kBAAkB,CAAC;IACjC,qDAAqD;IACrD,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB,sEAAsE;IACtE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;;;;OAMG;IACH,KAAK,EAAE,OAAO,CAAC;CAClB;AAYD,6EAA6E;AAC7E,wBAAgB,mBAAmB,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAG9D;AAED,0EAA0E;AAC1E,wBAAsB,oBAAoB,CACtC,WAAW,SAAgB,EAC3B,OAAO,GAAE;IAAE,QAAQ,CAAC,EAAE,gBAAgB,CAAA;CAAO,GAC9C,OAAO,CAAC,eAAe,CAAC,CA6G1B;AAED,iFAAiF;AACjF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAO/D"}
+{"version":3,"file":"project-snapshot.d.ts","sourceRoot":"","sources":["../../src/operations/project-snapshot.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAA4B,YAAY,EAAgB,MAAM,sBAAsB,CAAC;AACjG,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAQlF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAGjE,MAAM,WAAW,eAAe;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,EAAE,YAAY,CAAC;IACpB,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,kBAAkB,CAAC;IACjC,qDAAqD;IACrD,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB,sEAAsE;IACtE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;;;;OAMG;IACH,KAAK,EAAE,OAAO,CAAC;CAClB;AAYD,6EAA6E;AAC7E,wBAAgB,mBAAmB,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAG9D;AAED,0EAA0E;AAC1E,wBAAsB,oBAAoB,CACtC,WAAW,SAAgB,EAC3B,OAAO,GAAE;IAAE,QAAQ,CAAC,EAAE,gBAAgB,CAAA;CAAO,GAC9C,OAAO,CAAC,eAAe,CAAC,CAyG1B;AAED,iFAAiF;AACjF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAO/D"}