@memoarchitect/tools 0.13.2 → 0.15.1

package/packages/tools/lib/operations/project-snapshot.js

@@ -3,14 +3,13 @@ import { computeCompleteness } from '../completeness/tracker.js';
 import { deriveModelViews } from '../model/view-deriver.js';
 import { findConfigFile } from '../model/config-loader.js';
 import { identityKey, writeIdentityRegistry } from '../model/identity-registry.js';
-import { loadOntologyRegistries } from '../model/ontology-loader.js';
 import { validateModel } from '../validator/rule-engine.js';
 import { dtoToModel, modelToDTO } from '../model/semantic.js';
 import { loadAndResolveConfig } from '../server/config-resolver.js';
 import { findProjectRoot, loadProjectSettings } from '@memoarchitect/tools';
 import { defaultRegistry } from '../toolchain/default-registry.js';
 import { resolveToolchain } from '../toolchain/effective.js';
-import { mergeDiagnostics, runLowering, runValidator } from '../toolchain/operations.js';
+import { mergeDiagnostics, runLowering, runValidator, } from '../toolchain/operations.js';
 /**
  * Last model that built, per project root.
  *
@@ -36,22 +35,14 @@ export async function buildProjectSnapshot(projectRoot = process.cwd(), options
     if (!findProjectRoot(cwd)) {
         throw new Error('No MEMO project found. A project is located by the `entrypoint` in its '
             + '`memo.package.yaml`, which names the SysML file declaring its identity '
-            + 'and method binding — run `memo init` to scaffold one.');
+            + 'and method binding — run `memo-architect init` to scaffold one.');
     }
     const configPath = findConfigFile(cwd);
     const config = configPath ? loadAndResolveConfig(configPath) : loadProjectSettings(cwd);
     const effective = resolveToolchain(config, registry);
-    // Loaded before either role runs, so the closure is parsed once and offered
-    // to a provider that can use it rather than loaded again inside lowering.
+    // The compiler resolves the ontology from its own handoff and returns it
+    // with the model, so nothing is parsed here.
     let ontologyRegistries;
-    try {
-        const loadResult = await loadOntologyRegistries(cwd);
-        if (loadResult.fileCount > 0)
-            ontologyRegistries = loadResult.registries;
-    }
-    catch {
-        // Snapshot generation remains available with reduced kind resolution.
-    }
     // The validator answers "is this valid SysML?" and nothing else. Its
     // failures are `sysml` errors; a failure to *run* it is still an exception,
     // because a selected tool that is not there must never downgrade in silence.
@@ -76,6 +67,7 @@ export async function buildProjectSnapshot(projectRoot = process.cwd(), options
         config, projectDir: cwd, registry, registries: ontologyRegistries,
     });
     const diagnostics = mergeDiagnostics(validatorRun.diagnostics, loweringRun.diagnostics);
+    ontologyRegistries = loweringRun.registries ?? ontologyRegistries;
     const semanticModel = dtoToModel(loweringRun.ir.model);
     const validation = validateModel(semanticModel, [], ontologyRegistries?.kindRegistry);
     const completeness = computeCompleteness(semanticModel, validation);
@@ -108,6 +100,8 @@ export async function buildProjectSnapshot(projectRoot = process.cwd(), options
             for (const el of semanticModel.elements.values()) {
                 if (!el.shortId && !el.uuid)
                     continue;
+                if (el.provenance?.declaration.origin === 'dependency')
+                    continue;
                 assigned[identityKey(el)] = { shortId: el.shortId, uuid: el.uuid };
             }
             writeIdentityRegistry(cwd, assigned, config.priorIdentities ?? {});

package/packages/tools/lib/operations/project-snapshot.js.map

@@ -1 +1 @@
-{"version":3,"file":"project-snapshot.js","sourceRoot":"","sources":["../../src/operations/project-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEnF,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAG5D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAG9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAkCzF;;;;;;;GAOG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAwB,CAAC;AAEtD,6EAA6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,WAAoB;IACpD,IAAI,WAAW;QAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;;QACvD,aAAa,CAAC,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,EAC3B,UAA2C,EAAE;IAE7C,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,2EAA2E;IAC3E,sEAAsE;IACtE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,yEAAyE;cACvE,yEAAyE;cACzE,uDAAuD,CAC5D,CAAC;IACN,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACxF,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAErD,4EAA4E;IAC5E,0EAA0E;IAC1E,IAAI,kBAAiD,CAAC;IACtD,IAAI,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,SAAS,GAAG,CAAC;YAAE,kBAAkB,GAAG,UAAU,CAAC,UAAU,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACL,sEAAsE;IAC1E,CAAC;IAED,qEAAqE;IACrE,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IAE/E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,EAAE;IACF,qEAAqE;IACrE,mDAAmD;IACnD,EAAE;IACF,2EAA2E;IAC3E,wEAAwE;IACxE,aAAa;IACb,EAAE;IACF,0EAA0E;IAC1E,0EAA0E;IAC1E,0EAA0E;IAC1E,yEAAyE;IACzE,mDAAmD;IACnD,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC;QAClC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,kBAAkB;KACpE,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAExF,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,aAAa,CAAC,aAAa,EAAE,EAAE,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,mBAAmB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAEpE,0EAA0E;IAC1E,2EAA2E;IAC3E,8EAA8E;IAC9E,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,MAAM,kBAAkB,GAA+B,SAAS,CAAC;IACjE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAClC,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;IACvF,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAExC,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEtF,qEAAqE;IACrE,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC;IACrC,IAAI,OAAO;QAAE,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAE3C,yEAAyE;IACzE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,qCAAqC;IACrC,IAAI,OAAO,EAAE,CAAC;QACV,IAAI,CAAC;YACD,MAAM,QAAQ,GAAqB,EAAE,CAAC;YACtC,KAAK,MAAM,EAAE,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC/C,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI;oBAAE,SAAS;gBACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;YACvE,CAAC;YACD,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC;YACL,+DAA+D;YAC/D,2DAA2D;QAC/D,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE9D,OAAO;QACH,WAAW,EAAE,GAAG;QAChB,UAAU;QACV,MAAM;QACN,KAAK,EAAE,QAAQ,IAAI,KAAK;QACxB,UAAU;QACV,YAAY;QACZ,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,QAAQ,EAAE,SAAS,CAAC,SAAS;QAC7B,WAAW;QACX,KAAK,EAAE,QAAQ,KAAK,SAAS;KAChC,CAAC;AACN,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACnD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;SACxB,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;SACxB,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;SACxB,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC;SAC7B,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AACvC,CAAC"}
+{"version":3,"file":"project-snapshot.js","sourceRoot":"","sources":["../../src/operations/project-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEnF,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAG5D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAG9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EACH,gBAAgB,EAAE,WAAW,EAAE,YAAY,GAC9C,MAAM,4BAA4B,CAAC;AAkCpC;;;;;;;GAOG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAwB,CAAC;AAEtD,6EAA6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,WAAoB;IACpD,IAAI,WAAW;QAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;;QACvD,aAAa,CAAC,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE,EAC3B,UAA2C,EAAE;IAE7C,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,2EAA2E;IAC3E,sEAAsE;IACtE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,yEAAyE;cACvE,yEAAyE;cACzE,iEAAiE,CACtE,CAAC;IACN,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACxF,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAErD,yEAAyE;IACzE,6CAA6C;IAC7C,IAAI,kBAAiD,CAAC;IAEtD,qEAAqE;IACrE,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IAE/E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,EAAE;IACF,qEAAqE;IACrE,mDAAmD;IACnD,EAAE;IACF,2EAA2E;IAC3E,wEAAwE;IACxE,aAAa;IACb,EAAE;IACF,0EAA0E;IAC1E,0EAA0E;IAC1E,0EAA0E;IAC1E,yEAAyE;IACzE,mDAAmD;IACnD,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC;QAClC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,kBAAkB;KACpE,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,gBAAgB,CAAC,YAAY,CAAC,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IACxF,kBAAkB,GAAG,WAAW,CAAC,UAAU,IAAI,kBAAkB,CAAC;IAElE,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,aAAa,CAAC,aAAa,EAAE,EAAE,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,mBAAmB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAEpE,0EAA0E;IAC1E,2EAA2E;IAC3E,8EAA8E;IAC9E,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,MAAM,kBAAkB,GAA+B,SAAS,CAAC;IACjE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAClC,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;IACvF,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC5C,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAExC,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEtF,qEAAqE;IACrE,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC;IACrC,IAAI,OAAO;QAAE,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAE3C,yEAAyE;IACzE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,qCAAqC;IACrC,IAAI,OAAO,EAAE,CAAC;QACV,IAAI,CAAC;YACD,MAAM,QAAQ,GAAqB,EAAE,CAAC;YACtC,KAAK,MAAM,EAAE,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC/C,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,IAAI;oBAAE,SAAS;gBACtC,IAAI,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,YAAY;oBAAE,SAAS;gBACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;YACvE,CAAC;YACD,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC;YACL,+DAA+D;YAC/D,2DAA2D;QAC/D,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE9D,OAAO;QACH,WAAW,EAAE,GAAG;QAChB,UAAU;QACV,MAAM;QACN,KAAK,EAAE,QAAQ,IAAI,KAAK;QACxB,UAAU;QACV,YAAY;QACZ,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,QAAQ,EAAE,SAAS,CAAC,SAAS;QAC7B,WAAW;QACX,KAAK,EAAE,QAAQ,KAAK,SAAS;KAChC,CAAC;AACN,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACnD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;SACxB,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;SACxB,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;SACxB,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC;SAC7B,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AACvC,CAAC"}

package/packages/tools/lib/plugin/plugin-scaffold.js

@@ -1,7 +1,7 @@
 // ─── Plugin Scaffolding ──────────────────────────────────────────────────────
 //
 // Generates starter files for new MEMO plugins.
-// `memo plugin create <name> --type export`
+// `memo-architect new plugin <name> --type export`
 // ─────────────────────────────────────────────────────────────────────────────
 /** Generate scaffold files for a new plugin */
 export function scaffoldPlugin(options) {
@@ -196,7 +196,7 @@ const plugin: GeneratorPlugin = {
         //
         // Example: generate a summary file
         // const fs = await import('node:fs');
-        // const summary = \`Model: \${ctx.config.projectName}\\nElements: \${ctx.query.totalElements()}\`;
+        // const summary = \`Model: \${ctx.config.modelName}\\nElements: \${ctx.query.totalElements()}\`;
         // fs.writeFileSync(path.join(ctx.projectDir, 'model-summary.txt'), summary);
         console.log('Generator ${id} ran successfully.');
     },

package/packages/tools/lib/plugin/plugin-scaffold.js.map

@@ -1 +1 @@
-{"version":3,"file":"plugin-scaffold.js","sourceRoot":"","sources":["../../src/plugin/plugin-scaffold.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,gDAAgD;AAChD,4CAA4C;AAC5C,gFAAgF;AAmBhF,+CAA+C;AAC/C,MAAM,UAAU,cAAc,CAAC,OAAwB;IACnD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC1B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAElG,MAAM,KAAK,GAAmB,EAAE,CAAC;IAEjC,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,QAAQ,QAAQ;SACxB,WAAW;;QAEZ,IAAI;gBACI,WAAW,IAAI,QAAQ,IAAI,SAAS;;EAElD,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE;EACnC,OAAO,CAAC,CAAC,CAAC,aAAa,OAAO,GAAG,CAAC,CAAC,CAAC,gBAAgB;sBAChC,IAAI;CACzB;KACI,CAAC,CAAC;IAEH,eAAe;IACf,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACpB,IAAI,EAAE,eAAe,QAAQ,EAAE;YAC/B,OAAO,EAAE,OAAO;YAChB,WAAW,EAAE,WAAW,IAAI,QAAQ,IAAI,SAAS;YACjD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE;gBACL,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,aAAa;aACrB;YACD,YAAY,EAAE;gBACV,sBAAsB,EAAE,aAAa;aACxC;YACD,eAAe,EAAE;gBACb,UAAU,EAAE,QAAQ;gBACpB,MAAM,EAAE,QAAQ;aACnB;YACD,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,OAAO,IAAI,KAAK;YACzB,KAAK,EAAE,CAAC,MAAM,CAAC;SAClB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;KACrB,CAAC,CAAC;IAEH,gBAAgB;IAChB,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACpB,eAAe,EAAE;gBACb,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,UAAU;gBAClB,gBAAgB,EAAE,UAAU;gBAC5B,WAAW,EAAE,IAAI;gBACjB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,OAAO;gBAChB,MAAM,EAAE,IAAI;gBACZ,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,IAAI;aACrB;YACD,OAAO,EAAE,CAAC,MAAM,CAAC;SACpB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;KACrB,CAAC,CAAC;IAEH,mCAAmC;IACnC,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,oBAAoB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC;KAC7D,CAAC,CAAC;IAEH,YAAY;IACZ,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,8BAA8B;QACpC,OAAO,EAAE,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC;KAC9C,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAU,EAAE,IAAY,EAAE,IAAgB;IACpE,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,QAAQ;YACT,OAAO;;;;WAIR,EAAE;aACA,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4BhB,CAAC;QAEM,KAAK,UAAU;YACX,OAAO;;;WAGR,EAAE;aACA,IAAI;;;;;;;;;;uBAUM,EAAE;sBACH,IAAI;;;;;;;;;;;CAWzB,CAAC;QAEM,KAAK,YAAY;YACb,OAAO;;;;WAIR,EAAE;aACA,IAAI;;;;;;;;;;;;+BAYc,EAAE;;;;;;;;;;;;;;;;CAgBhC,CAAC;QAEM,KAAK,WAAW;YACZ,OAAO;;;WAGR,EAAE;aACA,IAAI;;;;;;;;;;;;iCAYgB,EAAE;;;;;CAKlC,CAAC;IACE,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU,EAAE,IAAgB;IACpD,OAAO;;;YAGC,EAAE;;kCAEoB,EAAE;oCACA,IAAI;;;;;CAKvC,CAAC;AACF,CAAC"}
+{"version":3,"file":"plugin-scaffold.js","sourceRoot":"","sources":["../../src/plugin/plugin-scaffold.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,gDAAgD;AAChD,mDAAmD;AACnD,gFAAgF;AAmBhF,+CAA+C;AAC/C,MAAM,UAAU,cAAc,CAAC,OAAwB;IACnD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC1B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAElG,MAAM,KAAK,GAAmB,EAAE,CAAC;IAEjC,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,QAAQ,QAAQ;SACxB,WAAW;;QAEZ,IAAI;gBACI,WAAW,IAAI,QAAQ,IAAI,SAAS;;EAElD,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE;EACnC,OAAO,CAAC,CAAC,CAAC,aAAa,OAAO,GAAG,CAAC,CAAC,CAAC,gBAAgB;sBAChC,IAAI;CACzB;KACI,CAAC,CAAC;IAEH,eAAe;IACf,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACpB,IAAI,EAAE,eAAe,QAAQ,EAAE;YAC/B,OAAO,EAAE,OAAO;YAChB,WAAW,EAAE,WAAW,IAAI,QAAQ,IAAI,SAAS;YACjD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE;gBACL,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,aAAa;aACrB;YACD,YAAY,EAAE;gBACV,sBAAsB,EAAE,aAAa;aACxC;YACD,eAAe,EAAE;gBACb,UAAU,EAAE,QAAQ;gBACpB,MAAM,EAAE,QAAQ;aACnB;YACD,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,OAAO,IAAI,KAAK;YACzB,KAAK,EAAE,CAAC,MAAM,CAAC;SAClB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;KACrB,CAAC,CAAC;IAEH,gBAAgB;IAChB,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACpB,eAAe,EAAE;gBACb,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,UAAU;gBAClB,gBAAgB,EAAE,UAAU;gBAC5B,WAAW,EAAE,IAAI;gBACjB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,OAAO;gBAChB,MAAM,EAAE,IAAI;gBACZ,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,IAAI;aACrB;YACD,OAAO,EAAE,CAAC,MAAM,CAAC;SACpB,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI;KACrB,CAAC,CAAC;IAEH,mCAAmC;IACnC,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,oBAAoB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC;KAC7D,CAAC,CAAC;IAEH,YAAY;IACZ,KAAK,CAAC,IAAI,CAAC;QACP,IAAI,EAAE,8BAA8B;QACpC,OAAO,EAAE,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC;KAC9C,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAU,EAAE,IAAY,EAAE,IAAgB;IACpE,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,QAAQ;YACT,OAAO;;;;WAIR,EAAE;aACA,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4BhB,CAAC;QAEM,KAAK,UAAU;YACX,OAAO;;;WAGR,EAAE;aACA,IAAI;;;;;;;;;;uBAUM,EAAE;sBACH,IAAI;;;;;;;;;;;CAWzB,CAAC;QAEM,KAAK,YAAY;YACb,OAAO;;;;WAIR,EAAE;aACA,IAAI;;;;;;;;;;;;+BAYc,EAAE;;;;;;;;;;;;;;;;CAgBhC,CAAC;QAEM,KAAK,WAAW;YACZ,OAAO;;;WAGR,EAAE;aACA,IAAI;;;;;;;;;;;;iCAYgB,EAAE;;;;;CAKlC,CAAC;IACE,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU,EAAE,IAAgB;IACpD,OAAO;;;YAGC,EAAE;;kCAEoB,EAAE;oCACA,IAAI;;;;;CAKvC,CAAC;AACF,CAAC"}

package/packages/tools/lib/protocol/messages.d.ts

@@ -7,6 +7,9 @@ import type { RelationshipCreateRequest, RelationshipDeleteRequest, Relationship
 import type { ChatMessage } from '../llm/llm-provider.js';
 import type { ProposedChange } from '../llm/chat-engine.js';
 import type { LlmSettingsStatus, LLMProviderName } from '../llm/llm-settings.js';
+import type { UserToolchainStatus } from '../toolchain/user-settings-status.js';
+import type { ClauseFact } from '../validator/rule-clauses.js';
+import type { ConditionSpec } from '../server/rule-writer.js';
 /**
  * Transport ordering for one live project workspace. This intentionally sits
  * beside the protocol rather than in the semantic DTO: restarts make a new
@@ -34,7 +37,150 @@ export interface ModelDelta {
 interface WorkspacePublication {
     revision?: WorkspaceRevision;
 }
-export type ServerMessage = ModelUpdateMessage | ValidationUpdateMessage | CompletenessUpdateMessage | ErrorMessage | ImportResultMessage | DiagramParseResultMessage | DiagramSourceResultMessage | OntologyPackagesMessage | MethodologyUpdateMessage | RulesUpdateMessage | DiagramLayoutMessage | OntologyInstallResultMessage | OntologyRemoveResultMessage | LlmStatusMessage | LlmAskResultMessage | LlmChatResultMessage | LlmApplyResultMessage | LlmSettingsMessage | LlmSettingsSaveResultMessage | LlmGenerateResultMessage | LlmDraftResultMessage | LlmSuggestResultMessage | RestartRequiredMessage | EditConflictMessage | DhfDocsMessage | DhfSettingsMessage | DhfTemplatesResultMessage | DhfTemplateContentMessage | DhfTemplateSaveResultMessage | DashboardsMessage | DashboardResultMessage | RelationshipCreateResultMessage | RelationshipDeleteResultMessage | RelationshipUpdateResultMessage | ElementDeleteResultMessage | ElementMutationResultMessage | PackageMutationResultMessage | MethodologySourceResultMessage | RulePolicyWriteResultMessage | ScreenCaptureUploadResultMessage | SourceCoherenceMessage | SourceChangedMessage;
+export type ServerMessage = UserPreferencesMessage | ModelUpdateMessage | ValidationUpdateMessage | CompletenessUpdateMessage | ErrorMessage | ImportResultMessage | SourceImportResultMessage | SuspectReviewResultMessage | DiagramParseResultMessage | DiagramSourceResultMessage | OntologyPackagesMessage | MethodologyUpdateMessage | RulesUpdateMessage | DiagramLayoutMessage | OntologyInstallResultMessage | OntologyRemoveResultMessage | LlmStatusMessage | LlmAskResultMessage | LlmChatResultMessage | LlmApplyResultMessage | LlmSettingsMessage | LlmSettingsSaveResultMessage | ToolchainSettingsMessage | ToolchainSettingsSaveResultMessage | LlmGenerateResultMessage | LlmDraftResultMessage | LlmSuggestResultMessage | RestartRequiredMessage | EditConflictMessage | DhfDocsMessage | DhfSettingsMessage | DhfTemplatesResultMessage | DhfTemplateContentMessage | DhfTemplateSaveResultMessage | DashboardsMessage | DashboardResultMessage | RelationshipCreateResultMessage | RelationshipDeleteResultMessage | RelationshipUpdateResultMessage | ElementDeleteResultMessage | ElementMutationResultMessage | PackageMutationResultMessage | MethodologySourceResultMessage | RulePolicyWriteResultMessage | RulePreviewResultMessage | RuleCreateResultMessage | ScreenCaptureUploadResultMessage | SourceCoherenceMessage | SourceChangedMessage | PinnedInfoMessage | VersionsUpdateMessage | VersionReadyMessage | VersionErrorMessage | ReleaseDiffResultMessage | ReleaseCreateResultMessage | DeviceDhfResultMessage | GuideResultMessage | ImpactResultMessage;
+/**
+ * What a read-only server says about itself when a client connects: a pinned release or ref, or a
+ * plain read-only view. Sent to each client, never recorded as state.
+ */
+export interface PinnedInfo {
+    kind: 'release' | 'ref' | 'read-only';
+    /** What the person chose: the record, or the ref. */
+    label: string;
+    /** The commits the model was built from, the version's first. */
+    commits?: {
+        name: string;
+        commit: string;
+    }[];
+    /** True for an unreleased ref (a tag, a branch): content can change with every commit. */
+    notARelease?: boolean;
+    /** Where the working model is served, for the way back. */
+    workingUrl?: string;
+    /**
+     * The workspace to open on (a system definition's element id): a release of one system shows that
+     * system, as T2's closure draws it, and not the whole model of the commit.
+     */
+    workspace?: string;
+    /**
+     * Packages whose version in this commit's lock differs from the one this server resolves: the model is built with
+     * today's ontology, not the one the commit was made with, so rules and kinds may differ from then.
+     */
+    ontologyDrift?: {
+        name: string;
+        locked: string;
+        used: string;
+    }[];
+}
+export interface PinnedInfoMessage {
+    type: 'pinned:info';
+    payload: PinnedInfo;
+}
+/** The unreleased refs a Version selector offers; the releases come from the model itself. */
+export interface VersionsUpdateMessage {
+    type: 'versions:update';
+    payload: {
+        refs: {
+            name: string;
+            kind: 'tag' | 'branch';
+            commit: string;
+            label: string;
+        }[];
+    };
+}
+/** The answer to `release:create`: the file written and the commit the record pins, or why not. */
+export interface ReleaseCreateResultMessage {
+    type: 'release:create:result';
+    payload: {
+        requestId?: string;
+        success: boolean;
+        filePath?: string;
+        name?: string;
+        modelCommit?: string;
+        error?: string;
+    };
+}
+/** Where the model stands against its method (`guide:evaluate`): each step done, open or blocked, and the next. */
+export interface GuideResultMessage {
+    type: 'guide:result';
+    payload: import('../methodology/guide-service.js').GuideResult & {
+        requestId?: string;
+    };
+}
+/** What the working tree's change reaches (`impact:compute`), or why it could not be computed. */
+export interface ImpactResultMessage {
+    type: 'impact:result';
+    payload: {
+        requestId?: string;
+        error?: string;
+        report?: import('../model/impact.js').ImpactReport;
+    };
+}
+/** The design history of one regulated device was generated, or why not. */
+export interface DeviceDhfResultMessage {
+    type: 'dhf:device:result';
+    payload: {
+        requestId?: string;
+        success: boolean;
+        error?: string;
+        outputDir?: string;
+        device?: {
+            name: string;
+            jurisdiction: string;
+            submissionId?: string;
+        };
+        releases?: {
+            record: string;
+            commit: string;
+            workspace?: string;
+            excludedVariants: string[];
+            documents: {
+                id: string;
+                title: string;
+                group: string;
+                path: string;
+                warnings: number;
+            }[];
+        }[];
+        riskDocuments?: number;
+        notes?: string[];
+    };
+}
+/** What changed between two releases, as `release:diff` answers it. */
+export interface ReleaseDiffResultMessage {
+    type: 'release:diff:result';
+    payload: {
+        requestId?: string;
+        error?: string;
+        /** The older side and the newer side: the record, its item, and the commit. */
+        before?: {
+            label: string;
+            commit: string;
+        };
+        after?: {
+            label: string;
+            commit: string;
+        };
+        /** True when `before` was found as the previous release of `after`, not named. */
+        previous?: boolean;
+        diff?: import('../model/model-diff.js').ModelDiffSummary;
+    };
+}
+/** A pinned view is running at this address; the client goes there. */
+export interface VersionReadyMessage {
+    type: 'version:ready';
+    payload: {
+        requestId?: string;
+        url: string;
+        info: PinnedInfo;
+    };
+}
+/** A version could not be opened, with the reason (an ordering error, an unpinned folder, drift). */
+export interface VersionErrorMessage {
+    type: 'version:error';
+    payload: {
+        requestId?: string;
+        error: string;
+    };
+}
 export interface ModelUpdateMessage extends WorkspacePublication {
     type: 'model:update';
     payload: MemoModelDTO;
@@ -95,6 +241,10 @@ export interface RulesUpdateMessage {
     payload: {
         rules: EffectiveRule[];
         diagnostics: RuleResolutionDiagnostic[];
+        /** Every clause of every standard the model carries, for naming and choosing what a rule enforces. */
+        clauses?: ClauseFact[];
+        /** The project's own `.sysml` files, project-relative: where a rule of the user's may be written. */
+        projectFiles?: string[];
     };
 }
 /** Server's answer to a RulePolicy write. */
@@ -117,14 +267,16 @@ export interface RulePolicyWriteResultMessage {
  * The editor never composes SysML text itself. It names the rule and the
  * decision; Tools renders the `RulePolicy` and writes it through the same
  * precondition-checked path as every other mutation, so a rule tailored from
- * the browser is subject to the same conflict rules as one typed in SysIDE.
+ * the browser is subject to the same conflict rules as one typed in a text editor.
  */
 export interface RulePolicyWriteMessage {
     type: 'rule:policy:write';
     payload: {
         requestId: string;
-        /** `constraint def` type name the policy targets. */
-        targetRuleType: string;
+        /** What the policy governs: exactly one of a rule's `constraint def` name, a standard's qualified name, or a layer namespace. */
+        targetRuleType?: string;
+        targetStandard?: string;
+        targetCategory?: string;
         disposition: 'enabled' | 'disabled' | 'replaced';
         severityOverride?: 'error' | 'warning' | 'info';
         replacementRuleType?: string;
@@ -136,6 +288,69 @@ export interface RulePolicyWriteMessage {
         baseRevision: string;
     };
 }
+/** What a rule of the user's is, as the form states it. The server turns the condition into the expression. */
+export interface RuleFormPayload {
+    requestId: string;
+    id: string;
+    typeName: string;
+    appliesTo: string;
+    condition: ConditionSpec;
+    severity: 'error' | 'warning' | 'info';
+    rationaleText: string;
+    tailoring?: 'assurance' | 'methodology';
+    /** The rule's normative strength (a standard's shall, should, may); written as `attribute obligation`. */
+    obligation?: 'required' | 'recommended' | 'bestPractice';
+    /** Qualified names of the clauses the rule enforces; each is written as a typed `#EnforcesClause dependency`. */
+    enforces?: string[];
+    /** Project-relative file the rule is written into. */
+    file: string;
+}
+/** Client asks what a rule would flag in the model as it stands. Writes nothing. */
+export interface RulePreviewMessage {
+    type: 'rule:preview';
+    payload: RuleFormPayload;
+}
+export interface RulePreviewResultMessage {
+    type: 'rule:preview:result';
+    payload: {
+        requestId: string;
+        success: boolean;
+        code?: string;
+        error?: string;
+        predicateExpression?: string;
+        /** The target file's revision when previewed; send it back with `rule:create`. */
+        baseRevision?: string;
+        subjects?: number;
+        flagged?: {
+            elementId: string;
+            elementKind: string;
+            elementName: string;
+        }[];
+    };
+}
+/**
+ * Client asks the server to write a rule of the user's. The form names the
+ * rule; Tools renders the `constraint def`, checks it, and writes it through
+ * the compile-before-commit path, so the browser never composes model source.
+ */
+export interface RuleCreateMessage {
+    type: 'rule:create';
+    payload: RuleFormPayload & {
+        baseRevision: string;
+    };
+}
+export interface RuleCreateResultMessage {
+    type: 'rule:create:result';
+    payload: {
+        requestId: string;
+        success: boolean;
+        code?: string;
+        error?: string;
+        revision?: string;
+        transactionId?: string;
+        conflict?: boolean;
+    };
+}
 /** Server sends parsed methodology data — Phase B (data-only, no UI yet) */
 export interface MethodologyUpdateMessage {
     type: 'methodology:update';
@@ -171,7 +386,7 @@ export interface MethodologySourceResultMessage {
         error?: string;
     };
 }
-export type ClientMessage = RequestRefreshMessage | ElementUpdateMessage | ElementCreateMessage | ElementDeleteMessage | RelationshipCreateMessage | RelationshipDeleteMessage | RelationshipUpdateMessage | ScreenCaptureUploadMessage | CsvImportMessage | DiagramCreateMessage | DiagramUpdateMessage | DiagramDeleteMessage | DiagramParseMessage | DiagramSourceRequestMessage | DiagramSourceSaveMessage | MethodologySourceRequestMessage | MethodologySourceSaveMessage | RulePolicyWriteMessage | OntologySaveSelectionMessage | OntologyInstallMessage | OntologyRemoveMessage | DiagramLayoutUpdateMessage | LlmAskMessage | LlmChatMessage | LlmApplyMessage | LlmSettingsSaveMessage | LlmGenerateMessage | LlmDraftMessage | LlmSuggestMessage | DhfDocsLoadMessage | DhfDocSaveMessage | DhfDocDeleteMessage | DhfSettingsSaveMessage | DhfTemplatesListMessage | DhfTemplateReadMessage | DhfTemplateSaveMessage | DashboardSaveMessage | DashboardDeleteMessage | DashboardMoveMessage;
+export type ClientMessage = UserPreferencesSaveMessage | RequestRefreshMessage | ElementUpdateMessage | ElementCreateMessage | ElementDeleteMessage | RelationshipCreateMessage | RelationshipDeleteMessage | RelationshipUpdateMessage | ScreenCaptureUploadMessage | CsvImportMessage | SourceImportMessage | SuspectReviewMessage | DiagramCreateMessage | DiagramUpdateMessage | DiagramDeleteMessage | DiagramParseMessage | DiagramSourceRequestMessage | DiagramSourceSaveMessage | MethodologySourceRequestMessage | MethodologySourceSaveMessage | RulePolicyWriteMessage | RulePreviewMessage | RuleCreateMessage | OntologySaveSelectionMessage | OntologyInstallMessage | OntologyRemoveMessage | DiagramLayoutUpdateMessage | LlmAskMessage | LlmChatMessage | LlmApplyMessage | LlmSettingsSaveMessage | ToolchainSettingsSaveMessage | LlmGenerateMessage | LlmDraftMessage | LlmSuggestMessage | DhfDocsLoadMessage | DhfDocSaveMessage | DhfDocDeleteMessage | DhfSettingsSaveMessage | DhfTemplatesListMessage | DhfTemplateReadMessage | DhfTemplateSaveMessage | DashboardSaveMessage | DashboardDeleteMessage | DashboardMoveMessage;
 export interface RequestRefreshMessage {
     type: 'request:refresh';
 }
@@ -583,7 +798,7 @@ export interface DiagramSourceResultMessage {
         parseErrors?: string[];
     };
 }
-/** Per-node visual override stored in the view's .viewlayout companion. */
+/** Per-node visual override stored in the view's `@MemoLayoutNode` statements. */
 export interface DiagramNodeLayout {
     /**
      * Position, in the coordinate frame named by `parent`.
@@ -674,7 +889,7 @@ export interface DiagramAnnotation {
     text: string;
     color?: string;
 }
-/** Full layout for one diagram, deserialized from its .viewlayout companion. */
+/** Full layout for one diagram, read from the layout statements of its view. */
 export interface DiagramLayout {
     nodes: Record<string, DiagramNodeLayout>;
     edges: Record<string, DiagramEdgeLayout>;
@@ -838,6 +1053,41 @@ export interface LlmSettingsSaveResultMessage {
         error?: string;
     };
 }
+/**
+ * Server → Client: the user's own toolchain settings (which compiler, where its
+ * tools are) and the layer that decided each. They live in the user's settings
+ * file, outside the project, so they are never part of the model.
+ */
+export interface ToolchainSettingsMessage {
+    type: 'toolchain:settings';
+    payload: {
+        settings: UserToolchainStatus;
+    };
+}
+/**
+ * Client → Server: set one toolchain setting; an omitted `value` removes it. The
+ * default scope is the user's own settings file; `project` writes the project's
+ * checked-in settings file instead, and every user of the project then runs it.
+ */
+export interface ToolchainSettingsSaveMessage {
+    type: 'toolchain:settings:save';
+    payload: {
+        requestId: string;
+        path: string;
+        value?: string;
+        scope?: 'user' | 'project';
+    };
+}
+/** Server → Client: the settings after the save, or why it failed. A change applies when Architect restarts. */
+export interface ToolchainSettingsSaveResultMessage {
+    type: 'toolchain:settings:save:result';
+    payload: {
+        requestId: string;
+        settings?: UserToolchainStatus;
+        appliesOnRestart?: boolean;
+        error?: string;
+    };
+}
 /** Client → Server: generate SysML v2 from a natural language description */
 export interface LlmGenerateMessage {
     type: 'llm:generate';
@@ -1139,6 +1389,31 @@ export interface DashboardResultMessage {
         error?: string;
     };
 }
+/**
+ * What one person chose in Architect for this model, kept in `memo.user.yaml`
+ * at the model root and ignored by git. `role` is a stakeholder usage name
+ * (`safetyEngineer`) from the viewpoints' `stakeholders`; unset means every role.
+ */
+export interface UserPreferencesDTO {
+    role?: string;
+    /**
+     * The workspace the person works in: the element id of a system (or system of systems)
+     * definition, as `WorkspaceMembershipDTO.workspaces[].root`. Unset means the whole model.
+     */
+    workspace?: string;
+    /** The attribute the Model Explorer splits its folders by; unset means it does not. */
+    explorerSplit?: string;
+}
+/** Server → Client: the person's choices (on connect and after a save) */
+export interface UserPreferencesMessage {
+    type: 'user-preferences';
+    payload: UserPreferencesDTO;
+}
+/** Client → Server: replace the person's choices */
+export interface UserPreferencesSaveMessage {
+    type: 'user-preferences:save';
+    payload: UserPreferencesDTO;
+}
 /** Server → Client: CSV import results */
 export interface ImportResultMessage {
     type: 'import:result';
@@ -1152,5 +1427,98 @@ export interface ImportResultMessage {
         generatedFile?: string;
     };
 }
+/** What a person has chosen to import: the export's text and where it came from. */
+export interface SourceImportPayload {
+    requestId: string;
+    /** The system the export came from; its records are matched by it and their source id. */
+    system: string;
+    format: 'csv' | 'reqif' | 'trace-matrix';
+    text: string;
+    /** The export's file name, recorded as the last import's source. */
+    fileName?: string;
+    /** The kind of a record that names none. */
+    kind?: string;
+    /** The relationship of a trace row that names none. */
+    relation?: string;
+    /**
+     * Required by `import:apply`: the source file the preview named, with the hash the client saw
+     * of it. An apply is refused when the file has changed since, as every semantic write is.
+     */
+    precondition?: ModelMutationPrecondition;
+}
+/**
+ * Client → Server. `import:preview` computes what an import would do and writes
+ * nothing; `import:apply` computes the same thing and writes the file the source
+ * owns. Both answer with `source-import:result`.
+ */
+export interface SourceImportMessage {
+    type: 'import:preview' | 'import:apply';
+    payload: SourceImportPayload;
+}
+/** One record in an import preview (see `SourceImportPreview` in `import/source-import.ts`). */
+export interface SourceImportPreviewEntry {
+    identifier: string;
+    elementId: string;
+    name: string;
+    kind: string;
+    from?: string;
+    to?: string;
+    changes: {
+        field: string;
+        from: string;
+        to: string;
+    }[];
+    suspectLinks: string[];
+    linkCount: number;
+}
+export interface SourceImportResultMessage {
+    type: 'source-import:result';
+    payload: {
+        requestId: string;
+        mode: 'preview' | 'apply';
+        success: boolean;
+        preview?: {
+            system: string;
+            added: SourceImportPreviewEntry[];
+            changed: SourceImportPreviewEntry[];
+            unchanged: number;
+            deleted: SourceImportPreviewEntry[];
+        };
+        /** Columns left out because the kind declares no such attribute, as `Kind.column`. */
+        dropped?: string[];
+        warnings?: string[];
+        errors?: string[];
+        /** The project-relative file the import writes: named by a preview, written by an apply. */
+        sourceFile?: string;
+        /** The hash of that file the preview was computed from ('' when it does not exist yet). */
+        sourceHash?: string;
+    };
+}
+/**
+ * Client → Server: mark suspect links reviewed. Each is rewritten to carry the
+ * current revision of the record it was suspect about, in the file that declares
+ * it; one precondition per file the client saw.
+ */
+export interface SuspectReviewMessage {
+    type: 'suspect:review';
+    payload: {
+        requestId: string;
+        reviews: {
+            relationshipId: string;
+            elementId: string;
+        }[];
+        preconditions: ModelMutationPrecondition[];
+    };
+}
+export interface SuspectReviewResultMessage {
+    type: 'suspect:review:result';
+    payload: {
+        requestId: string;
+        success: boolean;
+        reviewed: string[];
+        sourceFiles?: string[];
+        error?: string;
+    };
+}
 export {};
 //# sourceMappingURL=messages.d.ts.map