@memoarchitect/tools 0.6.7 → 0.7.2

package/packages/tools/lib/model/view-kinds.js

@@ -20,6 +20,17 @@ export const VIEW_KINDS = [
     'browser',
     'geometry',
 ];
+/** Compact identifier prefix used by views of each standard SysML view kind. */
+export const VIEW_KIND_SHORT_ID_PREFIX = {
+    general: 'GEN',
+    interconnection: 'INT',
+    actionflow: 'ACT',
+    statetransition: 'STM',
+    sequence: 'SEQ',
+    grid: 'GRID',
+    browser: 'BRW',
+    geometry: 'GEO',
+};
 const VIEW_KIND_SET = new Set(VIEW_KINDS);
 export function isViewKind(value) {
     return VIEW_KIND_SET.has(value);

package/packages/tools/lib/model/view-kinds.js.map

@@ -1 +1 @@
-{"version":3,"file":"view-kinds.js","sourceRoot":"","sources":["../../src/model/view-kinds.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,yEAAyE;AACzE,yDAAyD;AACzD,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,0BAA0B;AAC1B,gFAAgF;AAEhF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,SAAS;IACT,iBAAiB;IACjB,YAAY;IACZ,iBAAiB;IACjB,UAAU;IACV,MAAM;IACN,SAAS;IACT,UAAU;CACJ,CAAC;AAIX,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;AAE/D,MAAM,UAAU,UAAU,CAAC,KAAa;IACpC,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAA6B;IAC/D,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,SAAS;IACf,cAAc,EAAE,SAAS;IACzB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;CAChB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAuB;IACrD,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC3B,gBAAoC,EACpC,WAA+B;IAE/B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;IACrD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,WAAW;QAAE,OAAO,yBAAyB,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC;IAC5E,OAAO,SAAS,CAAC;AACrB,CAAC"}
+{"version":3,"file":"view-kinds.js","sourceRoot":"","sources":["../../src/model/view-kinds.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,yEAAyE;AACzE,yDAAyD;AACzD,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,0BAA0B;AAC1B,gFAAgF;AAEhF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,SAAS;IACT,iBAAiB;IACjB,YAAY;IACZ,iBAAiB;IACjB,UAAU;IACV,MAAM;IACN,SAAS;IACT,UAAU;CACJ,CAAC;AAIX,gFAAgF;AAChF,MAAM,CAAC,MAAM,yBAAyB,GAA6B;IAC/D,OAAO,EAAE,KAAK;IACd,eAAe,EAAE,KAAK;IACtB,UAAU,EAAE,KAAK;IACjB,eAAe,EAAE,KAAK;IACtB,QAAQ,EAAE,KAAK;IACf,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,KAAK;CAClB,CAAC;AAEF,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;AAE/D,MAAM,UAAU,UAAU,CAAC,KAAa;IACpC,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAA6B;IAC/D,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,SAAS;IACf,cAAc,EAAE,SAAS;IACzB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;CAChB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAuB;IACrD,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC3B,gBAAoC,EACpC,WAA+B;IAE/B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;IACrD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,WAAW;QAAE,OAAO,yBAAyB,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC;IAC5E,OAAO,SAAS,CAAC;AACrB,CAAC"}

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

@@ -38,6 +38,6 @@ export interface OntologyConfig {
         license?: string;
     };
 }
-export declare function exportToOwlTurtle(config: OntologyConfig, namespace?: string): string;
-export declare function exportToOwlXml(config: OntologyConfig, namespace?: string): string;
+export declare function exportToOwlTurtle(ontology: OntologyConfig, namespace?: string): string;
+export declare function exportToOwlXml(ontology: OntologyConfig, namespace?: string): string;
 //# sourceMappingURL=owl-exporter.d.ts.map

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,MAAM,EAAE,cAAc,EACtB,SAAS,GAAE,MAAoD,GAChE,MAAM,CAyCR;AAED,wBAAgB,cAAc,CAC1B,MAAM,EAAE,cAAc,EACtB,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,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"}

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

@@ -1,4 +1,4 @@
-export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontology/memo/medical#') {
+export function exportToOwlTurtle(ontology, namespace = 'https://sysand.dev/ontology/memo/medical#') {
     const lines = [];
     const prefix = 'memo';
     lines.push(`@prefix ${prefix}: <${namespace}> .`);
@@ -7,19 +7,19 @@ export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontolo
     lines.push('@prefix dcterms: <http://purl.org/dc/terms/> .');
     lines.push('');
     lines.push(`<${namespace.replace(/#$/, '')}> a owl:Ontology ;`);
-    if (config.ontologyMetadata) {
-        lines.push(`    dcterms:title "${escape(config.ontologyMetadata.description)}" ;`);
-        lines.push(`    owl:versionInfo "${config.ontologyMetadata.version}" ;`);
-        if (config.ontologyMetadata.author) {
-            lines.push(`    dcterms:creator "${escape(config.ontologyMetadata.author)}" ;`);
+    if (ontology.ontologyMetadata) {
+        lines.push(`    dcterms:title "${escape(ontology.ontologyMetadata.description)}" ;`);
+        lines.push(`    owl:versionInfo "${ontology.ontologyMetadata.version}" ;`);
+        if (ontology.ontologyMetadata.author) {
+            lines.push(`    dcterms:creator "${escape(ontology.ontologyMetadata.author)}" ;`);
         }
     }
     else {
-        lines.push(`    dcterms:title "${escape(config.projectName)}" ;`);
+        lines.push(`    dcterms:title "${escape(ontology.projectName)}" ;`);
     }
     lines.push('    .');
     lines.push('');
-    for (const [kindName, kindDef] of Object.entries(config.kinds ?? {})) {
+    for (const [kindName, kindDef] of Object.entries(ontology.kinds ?? {})) {
         lines.push(`${prefix}:${kindName} a owl:Class ;`);
         lines.push(`    rdfs:label "${escape(kindDef.label)}" ;`);
         if (kindDef.layer) {
@@ -28,7 +28,7 @@ export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontolo
         lines.push(`    ${prefix}:sysmlConstruct "${kindDef.sysmlConstruct}" .`);
         lines.push('');
     }
-    for (const rel of (config.relationshipTypes ?? [])) {
+    for (const rel of (ontology.relationshipTypes ?? [])) {
         lines.push(`${prefix}:${rel.name} a owl:ObjectProperty ;`);
         lines.push(`    rdfs:label "${escape(rel.label)}" ;`);
         lines.push(`    ${prefix}:layer "${rel.layer}" .`);
@@ -36,7 +36,7 @@ export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontolo
     }
     return lines.join('\n');
 }
-export function exportToOwlXml(config, namespace = 'https://sysand.dev/ontology/memo/medical#') {
+export function exportToOwlXml(ontology, namespace = 'https://sysand.dev/ontology/memo/medical#') {
     const lines = [];
     const ns = namespace.replace(/#$/, '');
     lines.push('<?xml version="1.0" encoding="UTF-8"?>');
@@ -47,12 +47,12 @@ export function exportToOwlXml(config, namespace = 'https://sysand.dev/ontology/
     lines.push('');
     lines.push(`  <owl:Ontology rdf:about="${ns}"/>`);
     lines.push('');
-    for (const [kindName, kindDef] of Object.entries(config.kinds ?? {})) {
+    for (const [kindName, kindDef] of Object.entries(ontology.kinds ?? {})) {
         lines.push(`  <owl:Class rdf:about="${namespace}${kindName}">`);
         lines.push(`    <rdfs:label>${escapeXml(kindDef.label)}</rdfs:label>`);
         lines.push('  </owl:Class>');
     }
-    for (const rel of (config.relationshipTypes ?? [])) {
+    for (const rel of (ontology.relationshipTypes ?? [])) {
         lines.push(`  <owl:ObjectProperty rdf:about="${namespace}${rel.name}">`);
         lines.push(`    <rdfs:label>${escapeXml(rel.label)}</rdfs:label>`);
         lines.push('  </owl:ObjectProperty>');

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,MAAsB,EACtB,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,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,gBAAgB,CAAC,OAAO,KAAK,CAAC,CAAC;QACzE,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpF,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,MAAM,CAAC,WAAW,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,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACnE,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,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACjD,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,MAAsB,EACtB,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,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACnE,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,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACjD,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,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"}

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

@@ -0,0 +1,24 @@
+import type { Diagnostic } from '../toolchain/diagnostic.js';
+import { type GenerateResult, type LLMProvider } from '../llm/index.js';
+export declare const MAX_SYSML_GENERATION_ATTEMPTS = 3;
+export interface AiChangeRecord {
+    guidanceVersion: string;
+    compiler: {
+        id: string;
+        version?: string;
+    };
+    libraries: Record<string, string>;
+}
+export interface ValidatedGenerateResult extends GenerateResult {
+    initialSysml: string;
+    attempts: number;
+    diagnostics: Diagnostic[];
+    changeRecord: AiChangeRecord;
+}
+export declare function validateGeneratedSysml(projectRoot: string, sysml: string): Promise<Diagnostic[]>;
+export declare function generateValidatedSysml(options: {
+    projectRoot: string;
+    description: string;
+    provider?: LLMProvider;
+}): Promise<ValidatedGenerateResult>;
+//# sourceMappingURL=ai-authoring.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,77 @@
+// ─── AI authoring operation ─────────────────────────────────────────────────
+// The server and CLI-facing surfaces delegate here. Validation improves a draft;
+// it never decides whether source may be saved (§1.1).
+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 { 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 { SYSML_MEMO_GUIDANCE_VERSION } from '../llm/sysml-guidance.js';
+export const MAX_SYSML_GENERATION_ATTEMPTS = 3;
+export async function validateGeneratedSysml(projectRoot, sysml) {
+    const config = loadProjectConfig(projectRoot);
+    const scratch = await mkdtemp(join(tmpdir(), 'memo-ai-sysml-'));
+    const candidatePath = join(scratch, 'generated.sysml');
+    await writeFile(candidatePath, sysml, 'utf8');
+    try {
+        const options = { config, projectDir: projectRoot, files: [candidatePath] };
+        const validator = await runValidator(options);
+        const lowering = await runLowering(options);
+        const diagnostics = mergeDiagnostics(validator.diagnostics, lowering.diagnostics);
+        if (lowering.accepted) {
+            const model = dtoToModel(lowering.ir.model);
+            diagnostics.push(...validateModel(model).violations.map(violation => ({
+                domain: 'memo-methodology',
+                provider: 'memo', severity: violation.severity === 'error' ? 'warning' : violation.severity,
+                code: violation.ruleId,
+                message: violation.description,
+                file: violation.provenance?.declaration.sourceUri,
+            })));
+        }
+        return diagnostics;
+    }
+    finally {
+        await rm(scratch, { recursive: true, force: true });
+    }
+}
+export async function generateValidatedSysml(options) {
+    const config = loadProjectConfig(options.projectRoot);
+    const provider = options.provider ?? (() => {
+        const llm = resolveLLMConfig(options.projectRoot);
+        if (!llm)
+            throw new Error('No LLM provider configured. Set ANTHROPIC_API_KEY or OPENAI_API_KEY.');
+        return createProvider(llm);
+    })();
+    let ontology = EMPTY_ONTOLOGY_VIEW;
+    try {
+        const loaded = await loadOntologyRegistries(options.projectRoot);
+        ontology = ontologyViewFrom(loaded.registries.kindRegistry, loaded.registries.relationshipRegistry);
+    }
+    catch {
+        // Generation remains available without installed MEMO content. The
+        // diagnostics will make any resulting methodology gap visible.
+    }
+    let candidate = await generateSysml(options.description, ontology, provider);
+    const initialSysml = candidate.sysml;
+    let diagnostics = await validateGeneratedSysml(options.projectRoot, candidate.sysml);
+    let attempts = 1;
+    while (diagnostics.length > 0 && attempts < MAX_SYSML_GENERATION_ATTEMPTS) {
+        candidate = await repairSysml(options.description, candidate.sysml, diagnostics, ontology, provider);
+        diagnostics = await validateGeneratedSysml(options.projectRoot, candidate.sysml);
+        attempts += 1;
+    }
+    const probe = probeToolchain({ config, projectDir: options.projectRoot });
+    const selected = probe.roles.find(role => role.role === 'validator');
+    const libraries = Object.assign({}, ...findMemoManifests(options.projectRoot).map(found => found.manifest.packages));
+    return { ...candidate, initialSysml, attempts, diagnostics, changeRecord: {
+            guidanceVersion: SYSML_MEMO_GUIDANCE_VERSION,
+            compiler: { id: selected.provider, version: selected.availability.version }, libraries,
+        } };
+}
+//# sourceMappingURL=ai-authoring.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,40 @@
+import type { MEMOConfig } from '../model/config.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 ElementWriteRequest, type ElementWriteResult } from '../server/persistor.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;
+}
+/** 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. */
+    provider: string;
+}
+/**
+ * Recompile the project through the selected lowering provider.
+ *
+ * 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 declare function recompileProject(context: AuthoringContext): Promise<RecompiledRevision>;
+export interface ElementWriteBackResult extends ElementWriteResult {
+    /** The revision the write produced, absent when nothing was written. */
+    revision?: RecompiledRevision;
+}
+/**
+ * Write one element and recompile.
+ *
+ * A failed write does not recompile: there is nothing new to compile, and
+ * running the provider anyway would charge every rejected edit the cost of a
+ * full lowering.
+ */
+export declare function writeElement(context: AuthoringContext, element: ElementWriteRequest): Promise<ElementWriteBackResult>;
+//# sourceMappingURL=authoring.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,56 @@
+// ─── Authoring write-back ────────────────────────────────────────────────────
+//
+// The one implementation behind "the canvas changed the model", reached from
+// the CLI and from Architect's server protocol alike (§1.2.2). A write-back is
+// 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
+//      revision that resulted.
+//
+// Step 2 is not a refresh optimisation. Before this session the editing path
+// wrote source and let the file watcher discover it, which meant the identities
+// the UI held were only as fresh as the next watcher tick — and a write made
+// against them in the meantime was addressed to a revision nobody had compiled.
+// Recompiling as part of the action closes that window: the write returns the
+// identities its own result created.
+//
+// It goes through the provider rather than calling the builder directly for the
+// same reason everything else does: the lowering role is configurable, and an
+// 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 { saveElementToFile } from '../server/persistor.js';
+/**
+ * Recompile the project through the selected lowering provider.
+ *
+ * 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 });
+    return {
+        ir: result.ir,
+        index: buildIrIdentityIndex(result.ir.model.sysmlIr),
+        diagnostics: result.diagnostics,
+        provider: result.provider,
+    };
+}
+/**
+ * Write one element and recompile.
+ *
+ * A failed write does not recompile: there is nothing new to compile, and
+ * running the provider anyway would charge every rejected edit the cost of a
+ * full lowering.
+ */
+export async function writeElement(context, element) {
+    const result = await saveElementToFile(context.projectDir, element, context.irIndex);
+    if (!result.success)
+        return result;
+    return { ...result, revision: await recompileProject(context) };
+}
+//# sourceMappingURL=authoring.js.map

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

@@ -0,0 +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"}

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

@@ -2,7 +2,9 @@
 export { initCommand as initializeProject } from '../commands/init.js';
 export { validateCommand as validateProject } from '../commands/validate.js';
 export { saveElementToFile as createElement } from '../server/persistor.js';
+export { writeElement, recompileProject } from './authoring.js';
 export { compileMarkdownDocument as generateDocument } from '../dhf/document-compiler.js';
 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';
 //# 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,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"}
+{"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"}

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

@@ -2,7 +2,9 @@
 export { initCommand as initializeProject } from '../commands/init.js';
 export { validateCommand as validateProject } from '../commands/validate.js';
 export { saveElementToFile as createElement } from '../server/persistor.js';
+export { writeElement, recompileProject } from './authoring.js';
 export { compileMarkdownDocument as generateDocument } from '../dhf/document-compiler.js';
 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';
 //# 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,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"}
+{"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"}

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

@@ -1,17 +1,42 @@
 import type { MEMOConfig } from '../model/config.js';
 import type { MemoModelDTO } from '../model/semantic.js';
 import type { CompletenessReport, ValidationResult } from '../validator/types.js';
+import type { Diagnostic } from '../toolchain/diagnostic.js';
+import type { ProviderRegistry } from '../toolchain/registry.js';
 export interface ProjectSnapshot {
     projectRoot: string;
-    configPath: string;
+    /** Absolute path of the settings file, when the project has one. */
+    configPath?: string;
     config: MEMOConfig;
     model: MemoModelDTO;
     validation: ValidationResult;
     completeness: CompletenessReport;
-    compiler: 'internal' | 'syside';
+    /** Provider that answered "is this valid SysML?". */
+    validator: string;
+    /** Provider that answered "what can MEMO ingest?". */
+    lowering: string;
+    /**
+     * @deprecated Reads as the validator. Kept so callers written against the
+     * single-provider shape keep working while they move to `validator`.
+     */
+    compiler: string;
+    /** Normalized diagnostics from both roles, each in its own domain. */
+    diagnostics: Diagnostic[];
+    /**
+     * True when the model shown is the last one that built, not this revision.
+     *
+     * §1.1: while the current revision is broken the diagram keeps the last
+     * good scene rather than blanking. A caller that draws needs to know which
+     * it is holding.
+     */
+    stale: boolean;
 }
+/** Drop the retained model for a project — a fresh start really is fresh. */
+export declare function forgetLastGoodModel(projectRoot?: string): void;
 /** Build the immutable data payload consumed by exports and Architect. */
-export declare function buildProjectSnapshot(projectRoot?: string): Promise<ProjectSnapshot>;
+export declare function buildProjectSnapshot(projectRoot?: string, options?: {
+    registry?: ProviderRegistry;
+}): Promise<ProjectSnapshot>;
 /** Serialize data for an inline script without permitting script termination. */
 export declare function serializeForInlineScript(value: unknown): string;
 //# sourceMappingURL=project-snapshot.d.ts.map

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":"AAUA,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;AAKlF,MAAM,WAAW,eAAe;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,EAAE,YAAY,CAAC;IACpB,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,kBAAkB,CAAC;IACjC,QAAQ,EAAE,UAAU,GAAG,QAAQ,CAAC;CACnC;AAED,0EAA0E;AAC1E,wBAAsB,oBAAoB,CAAC,WAAW,SAAgB,GAAG,OAAO,CAAC,eAAe,CAAC,CAmDhG;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":"AAOA,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,CAyF1B;AAED,iFAAiF;AACjF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAO/D"}

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

@@ -1,64 +1,113 @@
 import { resolve } from 'node:path';
-import { buildMemoModel } from '../model/builder.js';
-import { compileWithConfiguredTool } from '../model/toolchain.js';
 import { computeCompleteness } from '../completeness/tracker.js';
 import { deriveModelViews } from '../model/view-deriver.js';
 import { findConfigFile } from '../model/config-loader.js';
 import { loadOntologyRegistries } from '../model/ontology-loader.js';
-import { parseFiles } from '../model/parser-utils.js';
 import { validateModel } from '../validator/rule-engine.js';
-import { modelToDTO } from '../model/semantic.js';
+import { dtoToModel, modelToDTO } from '../model/semantic.js';
 import { loadAndResolveConfig } from '../server/config-resolver.js';
-import { findSysmlFiles } from '../model/sysml-files.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';
+/**
+ * Last model that built, per project root.
+ *
+ * The point of keeping it is the §1.1 rule: a broken revision leaves the last
+ * good picture on screen plus current diagnostics. It never blanks and never
+ * shows a half-built model. Process-scoped, which is the scope of the server
+ * that draws from it.
+ */
+const lastGoodModel = new Map();
+/** Drop the retained model for a project — a fresh start really is fresh. */
+export function forgetLastGoodModel(projectRoot) {
+    if (projectRoot)
+        lastGoodModel.delete(resolve(projectRoot));
+    else
+        lastGoodModel.clear();
+}
 /** Build the immutable data payload consumed by exports and Architect. */
-export async function buildProjectSnapshot(projectRoot = process.cwd()) {
+export async function buildProjectSnapshot(projectRoot = process.cwd(), options = {}) {
     const cwd = resolve(projectRoot);
-    const configPath = findConfigFile(cwd);
-    if (!configPath) {
-        throw new Error('No memo config found. Run `memo init` first.');
+    const registry = options.registry ?? defaultRegistry;
+    // A project is identified by its native entrypoint. Settings are optional:
+    // a project with none is complete, because settings carry no meaning.
+    if (!findProjectRoot(cwd)) {
+        throw new Error('No model/catalog/project.sysml found. A MEMO project declares its identity and method '
+            + 'binding in SysML — run `memo init` to scaffold one.');
     }
-    const config = loadAndResolveConfig(configPath);
-    const compiler = compileWithConfiguredTool(config, cwd, configPath);
+    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.
     let ontologyRegistries;
     try {
-        const loadResult = await loadOntologyRegistries(configPath);
+        const loadResult = await loadOntologyRegistries(cwd);
         if (loadResult.fileCount > 0)
             ontologyRegistries = loadResult.registries;
     }
     catch {
         // Snapshot generation remains available with reduced kind resolution.
     }
-    const { documents, errors } = await parseFiles(findSysmlFiles(cwd), `${cwd}/`);
-    const semanticModel = buildMemoModel(documents, config, errors, ontologyRegistries);
+    // 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.
+    const validatorRun = await runValidator({ config, projectDir: cwd, registry });
+    // Lowering answers "what can MEMO ingest from this revision?". Its failures
+    // are `memo-ingest` by construction — MEMO reporting the limits of its own
+    // reading, not a verdict on the source. The rule this implements verbatim:
+    //
+    //   an internal-parser failure on source the validator accepted is a
+    //   `memo-ingest` diagnostic, never a SysML error.
+    //
+    // `mergeDiagnostics` then collapses the duplicate when one provider filled
+    // both roles, so a defect is reported once, in the domain with the most
+    // authority.
+    //
+    // What comes back is IR, not an AST. That is what makes the lowering role
+    // implementable by a separate process at all — and it means this function
+    // no longer builds the model itself, it receives one. Rehydrating the DTO
+    // restores the indexes the validator and view deriver read; nothing else
+    // about it depends on which transport produced it.
+    const loweringRun = await runLowering({
+        config, projectDir: cwd, registry, registries: ontologyRegistries,
+    });
+    const diagnostics = mergeDiagnostics(validatorRun.diagnostics, loweringRun.diagnostics);
+    const semanticModel = dtoToModel(loweringRun.ir.model);
     const validation = validateModel(semanticModel, [], ontologyRegistries?.kindRegistry);
-    const completeness = computeCompleteness(semanticModel, validation, config);
-    const viewpoints = config.viewpoints?.map(vp => ({
-        id: vp.id,
-        label: vp.label,
-        group: vp.group,
-        visibleKinds: vp.visibleKinds,
-        visibleRelationships: vp.visibleRelationships,
-        visibleLayers: vp.visibleLayers,
-    })) ?? [];
-    const architectureLayers = config.architectureLayers?.map(layer => ({
-        id: layer.id,
-        label: layer.label,
-        color: layer.color,
-    }));
+    const completeness = computeCompleteness(semanticModel, validation);
+    // Viewpoints and layers are derived from the model. The `viewpoints:` and
+    // `architectureLayers:` settings blocks that used to supply them are gone:
+    // a portable view's content cannot depend on a file the model does not carry.
+    const viewpoints = [];
+    const architectureLayers = undefined;
     // Diagrams are authored model views. Do not fabricate one generic BDD per
     // layer: those views carry no diagram intent and obscure the useful views.
     const diagrams = [];
     const derivedViews = deriveModelViews(semanticModel, ontologyRegistries?.kindRegistry);
     viewpoints.push(...derivedViews.viewpoints);
     diagrams.push(...derivedViews.diagrams);
+    const model = modelToDTO(semanticModel, { viewpoints, architectureLayers, diagrams });
+    // "Built" means lowering produced a model without ingest failures. A
+    // revision that lowered cleanly becomes the new last good picture; one that
+    // did not keeps the previous picture on screen next to its diagnostics.
+    const lowered = loweringRun.accepted;
+    if (lowered)
+        lastGoodModel.set(cwd, model);
+    const retained = lowered ? undefined : lastGoodModel.get(cwd);
     return {
         projectRoot: cwd,
         configPath,
         config,
-        model: modelToDTO(semanticModel, { viewpoints, architectureLayers, diagrams }),
+        model: retained ?? model,
         validation,
         completeness,
-        compiler,
+        validator: effective.validator,
+        lowering: effective.lowering,
+        compiler: effective.validator,
+        diagnostics,
+        stale: retained !== undefined,
     };
 }
 /** Serialize data for an inline script without permitting script termination. */