@derive-ltd/sysml-emitter 1.0.0

package/dist/emitters/connection-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact } from '../types.js';
+/** Emit connection definitions and port definitions from CONNECTS facts */
+export declare function emitConnections(connectsFacts: DeriveFact[]): string;
+//# sourceMappingURL=connection-emitter.d.ts.map

package/dist/emitters/connection-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/connection-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,2EAA2E;AAC3E,wBAAgB,eAAe,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,MAAM,CA4BnE"}

package/dist/emitters/connection-emitter.js

@@ -0,0 +1,33 @@
+import { toSysmlId, toLowerCamel } from '../utils/identifier.js';
+import { parsePipeFact } from '../utils/parse-fact.js';
+/** Emit connection definitions and port definitions from CONNECTS facts */
+export function emitConnections(connectsFacts) {
+    if (connectsFacts.length === 0)
+        return '';
+    const lines = [];
+    lines.push('    // === Connections ===');
+    lines.push('');
+    for (const f of connectsFacts) {
+        const parsed = parsePipeFact(f.object);
+        const targetName = parsed.name || parsed.description || f.object.split('|')[0].trim();
+        const sourceId = toSysmlId(f.subject);
+        const targetId = toSysmlId(targetName);
+        const connId = `${sourceId}To${targetId}`;
+        const flowType = parsed.flowtype ?? parsed['flow-type'] ?? 'data';
+        const protocol = parsed.protocol;
+        const rate = parsed.rate;
+        lines.push(`    connection def ${connId} {`);
+        lines.push(`        end ${toLowerCamel(sourceId)} : ${sourceId};`);
+        lines.push(`        end ${toLowerCamel(targetId)} : ${targetId};`);
+        if (flowType)
+            lines.push(`        attribute flowType = "${flowType}";`);
+        if (protocol)
+            lines.push(`        attribute protocol = "${protocol}";`);
+        if (rate)
+            lines.push(`        attribute rate = "${rate}";`);
+        lines.push(`    }`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=connection-emitter.js.map

package/dist/emitters/connection-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-emitter.js","sourceRoot":"","sources":["../../src/emitters/connection-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,aAA2B;IACzD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtF,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC;QAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QAEzB,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,IAAI,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,eAAe,YAAY,CAAC,QAAQ,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,eAAe,YAAY,CAAC,QAAQ,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC;QACnE,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,iCAAiC,QAAQ,IAAI,CAAC,CAAC;QACxE,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,iCAAiC,QAAQ,IAAI,CAAC,CAAC;QACxE,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,6BAA6B,IAAI,IAAI,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/constraint-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact } from '../types.js';
+/** Emit constraint definitions from HAS_CONSTRAINT facts */
+export declare function emitConstraints(constraintFacts: DeriveFact[]): string;
+//# sourceMappingURL=constraint-emitter.d.ts.map

package/dist/emitters/constraint-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/constraint-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,4DAA4D;AAC5D,wBAAgB,eAAe,CAAC,eAAe,EAAE,UAAU,EAAE,GAAG,MAAM,CAoBrE"}

package/dist/emitters/constraint-emitter.js

@@ -0,0 +1,22 @@
+import { toSysmlId } from '../utils/identifier.js';
+import { parsePipeFact } from '../utils/parse-fact.js';
+/** Emit constraint definitions from HAS_CONSTRAINT facts */
+export function emitConstraints(constraintFacts) {
+    if (constraintFacts.length === 0)
+        return '';
+    const lines = [];
+    lines.push('    // === Constraints ===');
+    lines.push('');
+    for (const f of constraintFacts) {
+        const parsed = parsePipeFact(f.object);
+        const name = parsed.name || `Constraint${lines.length}`;
+        const desc = parsed.description || f.object;
+        const id = toSysmlId(name);
+        lines.push(`    constraint def ${id} {`);
+        lines.push(`        doc /* ${desc.replace(/\*\//g, '* /')} */`);
+        lines.push(`    }`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=constraint-emitter.js.map

package/dist/emitters/constraint-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-emitter.js","sourceRoot":"","sources":["../../src/emitters/constraint-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,4DAA4D;AAC5D,MAAM,UAAU,eAAe,CAAC,eAA6B;IAC3D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC;QAC5C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/hazard-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact } from '../types.js';
+/** Emit concern definitions from HAS_HAZARD facts */
+export declare function emitHazards(hazardFacts: DeriveFact[]): string;
+//# sourceMappingURL=hazard-emitter.d.ts.map

package/dist/emitters/hazard-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hazard-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/hazard-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,qDAAqD;AACrD,wBAAgB,WAAW,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,MAAM,CAsB7D"}

package/dist/emitters/hazard-emitter.js

@@ -0,0 +1,28 @@
+import { toSysmlId } from '../utils/identifier.js';
+import { parseHazard } from '../utils/parse-fact.js';
+/** Emit concern definitions from HAS_HAZARD facts */
+export function emitHazards(hazardFacts) {
+    if (hazardFacts.length === 0)
+        return '';
+    const lines = [];
+    lines.push('    // === Hazards ===');
+    lines.push('');
+    for (const f of hazardFacts) {
+        const h = parseHazard(f.subject, f.object);
+        const id = toSysmlId(h.id);
+        lines.push(`    concern def ${id} {`);
+        lines.push(`        doc /* ${h.description.replace(/\*\//g, '* /')} */`);
+        if (h.severity)
+            lines.push(`        attribute severity = "${h.severity.toLowerCase()}";`);
+        if (h.frequency)
+            lines.push(`        attribute frequency = "${h.frequency.toLowerCase()}";`);
+        if (h.sil)
+            lines.push(`        attribute sil = ${h.sil};`);
+        if (h.safeState)
+            lines.push(`        attribute safeState = "${h.safeState.replace(/"/g, '\\"')}";`);
+        lines.push(`    }`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=hazard-emitter.js.map

package/dist/emitters/hazard-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hazard-emitter.js","sourceRoot":"","sources":["../../src/emitters/hazard-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGrD,qDAAqD;AACrD,MAAM,UAAU,WAAW,CAAC,WAAyB;IACnD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC7F,IAAI,CAAC,CAAC,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,CAAC,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACpG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/interface-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact } from '../types.js';
+/** Emit interface definitions from INTERFACES_WITH facts */
+export declare function emitInterfaces(interfaceFacts: DeriveFact[]): string;
+//# sourceMappingURL=interface-emitter.d.ts.map

package/dist/emitters/interface-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/interface-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,4DAA4D;AAC5D,wBAAgB,cAAc,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,MAAM,CA0BnE"}

package/dist/emitters/interface-emitter.js

@@ -0,0 +1,30 @@
+import { toSysmlId } from '../utils/identifier.js';
+import { parsePipeFact } from '../utils/parse-fact.js';
+/** Emit interface definitions from INTERFACES_WITH facts */
+export function emitInterfaces(interfaceFacts) {
+    if (interfaceFacts.length === 0)
+        return '';
+    const lines = [];
+    lines.push('    // === External Interfaces ===');
+    lines.push('');
+    for (const f of interfaceFacts) {
+        const parsed = parsePipeFact(f.object);
+        const extSystem = parsed.name || parsed.description || f.object.split(':')[0].trim();
+        const extId = toSysmlId(extSystem);
+        const desc = parsed.description || f.object;
+        const protocol = parsed.protocol;
+        const rate = parsed.rate ?? parsed.datarate;
+        lines.push(`    interface def ${extId}Interface {`);
+        lines.push(`        doc /* ${f.subject} interfaces with ${desc.replace(/\*\//g, '* /')} */`);
+        lines.push(`        end system : ${toSysmlId(f.subject)};`);
+        lines.push(`        end external : ${extId};`);
+        if (protocol)
+            lines.push(`        attribute protocol = "${protocol}";`);
+        if (rate)
+            lines.push(`        attribute dataRate = "${rate}";`);
+        lines.push(`    }`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=interface-emitter.js.map

package/dist/emitters/interface-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface-emitter.js","sourceRoot":"","sources":["../../src/emitters/interface-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,4DAA4D;AAC5D,MAAM,UAAU,cAAc,CAAC,cAA4B;IACzD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC;QAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC;QAE5C,KAAK,CAAC,IAAI,CAAC,qBAAqB,KAAK,aAAa,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,OAAO,oBAAoB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7F,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,GAAG,CAAC,CAAC;QAC/C,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,iCAAiC,QAAQ,IAAI,CAAC,CAAC;QACxE,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,iCAAiC,IAAI,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/package-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveProject } from '../types.js';
+/** Emit the top-level SysML v2 package wrapper */
+export declare function emitPackage(project: DeriveProject, body: string): string;
+//# sourceMappingURL=package-emitter.d.ts.map

package/dist/emitters/package-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/package-emitter.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,kDAAkD;AAClD,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAQxE"}

package/dist/emitters/package-emitter.js

@@ -0,0 +1,12 @@
+import { toSysmlId } from '../utils/identifier.js';
+/** Emit the top-level SysML v2 package wrapper */
+export function emitPackage(project, body) {
+    const id = toSysmlId(project.name);
+    return `package ${id} {
+    doc /* Generated from Derive SE project ${project.slug} */
+
+${body}
+}
+`;
+}
+//# sourceMappingURL=package-emitter.js.map

package/dist/emitters/package-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-emitter.js","sourceRoot":"","sources":["../../src/emitters/package-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAGnD,kDAAkD;AAClD,MAAM,UAAU,WAAW,CAAC,OAAsB,EAAE,IAAY;IAC9D,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,WAAW,EAAE;8CACwB,OAAO,CAAC,IAAI;;EAExD,IAAI;;CAEL,CAAC;AACF,CAAC"}

package/dist/emitters/part-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact, DeriveEntity } from '../types.js';
+/** Emit part definitions and usages from PART_OF hierarchy */
+export declare function emitParts(partOfFacts: DeriveFact[], entities: DeriveEntity[]): string;
+//# sourceMappingURL=part-emitter.d.ts.map

package/dist/emitters/part-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"part-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/part-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AA6C5D,8DAA8D;AAC9D,wBAAgB,SAAS,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,MAAM,CAuCrF"}

package/dist/emitters/part-emitter.js

@@ -0,0 +1,70 @@
+import { toSysmlId, toLowerCamel } from '../utils/identifier.js';
+/** Build a tree from PART_OF facts */
+function buildTree(partOfFacts, entities) {
+    const entityMap = new Map(entities.map(e => [e.name.toLowerCase(), e]));
+    const childToParent = new Map();
+    const allNames = new Set();
+    for (const f of partOfFacts) {
+        childToParent.set(f.subject, f.object);
+        allNames.add(f.subject);
+        allNames.add(f.object);
+    }
+    // Find roots (parents that are not children of anything)
+    const roots = new Set();
+    for (const name of allNames) {
+        if (!childToParent.has(name))
+            roots.add(name);
+    }
+    // Build children map
+    const childrenMap = new Map();
+    for (const [child, parent] of childToParent) {
+        const list = childrenMap.get(parent) ?? [];
+        list.push(child);
+        childrenMap.set(parent, list);
+    }
+    function buildNode(name) {
+        return {
+            name,
+            children: (childrenMap.get(name) ?? []).map(buildNode),
+            entity: entityMap.get(name.toLowerCase()),
+        };
+    }
+    return [...roots].map(buildNode);
+}
+/** Emit part definitions and usages from PART_OF hierarchy */
+export function emitParts(partOfFacts, entities) {
+    if (partOfFacts.length === 0)
+        return '';
+    const trees = buildTree(partOfFacts, entities);
+    const lines = [];
+    const emitted = new Set();
+    function emitDef(node, level) {
+        const id = toSysmlId(node.name);
+        if (emitted.has(id))
+            return;
+        emitted.add(id);
+        // Emit child definitions first (bottom-up)
+        for (const child of node.children) {
+            emitDef(child, level);
+        }
+        // Emit this node's definition
+        const parts = node.children.map(c => {
+            const childId = toSysmlId(c.name);
+            const usageName = toLowerCamel(childId);
+            return `        part ${usageName} : ${childId};`;
+        });
+        lines.push(`    part def ${id} {`);
+        if (parts.length > 0) {
+            lines.push(...parts);
+        }
+        lines.push(`    }`);
+        lines.push('');
+    }
+    lines.push('    // === Part Definitions (structural decomposition) ===');
+    lines.push('');
+    for (const root of trees) {
+        emitDef(root, 1);
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=part-emitter.js.map

package/dist/emitters/part-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"part-emitter.js","sourceRoot":"","sources":["../../src/emitters/part-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAUjE,sCAAsC;AACtC,SAAS,SAAS,CAAC,WAAyB,EAAE,QAAwB;IACpE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACxB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAED,yDAAyD;IACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,qBAAqB;IACrB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,SAAS,SAAS,CAAC,IAAY;QAC7B,OAAO;YACL,IAAI;YACJ,QAAQ,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;YACtD,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,SAAS,CAAC,WAAyB,EAAE,QAAwB;IAC3E,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,SAAS,OAAO,CAAC,IAAc,EAAE,KAAa;QAC5C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC5B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,2CAA2C;QAC3C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;QAED,8BAA8B;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAClC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACxC,OAAO,gBAAgB,SAAS,MAAM,OAAO,GAAG,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/requirement-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveRequirement, DeriveTraceLink } from '../types.js';
+/** Emit requirement definitions and trace relationships */
+export declare function emitRequirements(requirements: DeriveRequirement[], traceLinks: DeriveTraceLink[]): string;
+//# sourceMappingURL=requirement-emitter.d.ts.map

package/dist/emitters/requirement-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/requirement-emitter.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAWtE,2DAA2D;AAC3D,wBAAgB,gBAAgB,CAC9B,YAAY,EAAE,iBAAiB,EAAE,EACjC,UAAU,EAAE,eAAe,EAAE,GAC5B,MAAM,CAgER"}

package/dist/emitters/requirement-emitter.js

@@ -0,0 +1,68 @@
+import { refToId } from '../utils/identifier.js';
+const DOC_LABELS = {
+    'stakeholder-requirements': 'Stakeholder Requirements',
+    'system-requirements': 'System Requirements',
+    'subsystem-requirements': 'Subsystem Requirements',
+    'interface-requirements': 'Interface Requirements',
+    'verification-requirements': 'Verification Requirements',
+    'architecture-decisions': 'Architecture Decisions',
+};
+/** Emit requirement definitions and trace relationships */
+export function emitRequirements(requirements, traceLinks) {
+    if (requirements.length === 0)
+        return '';
+    const lines = [];
+    // Group by document type
+    const byDoc = new Map();
+    for (const r of requirements) {
+        const list = byDoc.get(r.document) ?? [];
+        list.push(r);
+        byDoc.set(r.document, list);
+    }
+    // Emit requirement definitions grouped by document
+    for (const [doc, reqs] of byDoc) {
+        const label = DOC_LABELS[doc] ?? doc;
+        lines.push(`    // --- ${label} ---`);
+        lines.push('');
+        for (const r of reqs) {
+            const id = refToId(r.ref);
+            const escapedText = r.text.replace(/\*\//g, '* /');
+            lines.push(`    requirement def ${id} {`);
+            lines.push(`        doc /* ${r.ref}: ${escapedText} */`);
+            if (r.verification) {
+                lines.push(`        attribute verificationMethod = "${r.verification}";`);
+            }
+            if (r.rationale) {
+                const escapedRationale = r.rationale.replace(/\*\//g, '* /').slice(0, 200);
+                lines.push(`        attribute rationale = "${escapedRationale}";`);
+            }
+            // SIL tag
+            const silTag = r.tags?.find(t => /^sil-\d$/.test(t));
+            if (silTag) {
+                lines.push(`        attribute sil = ${silTag.replace('sil-', '')};`);
+            }
+            lines.push(`    }`);
+            lines.push('');
+        }
+    }
+    // Emit trace links
+    const derives = traceLinks.filter(l => l.type === 'derives');
+    const verifies = traceLinks.filter(l => l.type === 'verifies');
+    if (derives.length > 0 || verifies.length > 0) {
+        lines.push('    // === Traceability ===');
+        lines.push('');
+        for (const l of derives) {
+            const targetId = refToId(l.target);
+            const sourceId = refToId(l.source);
+            lines.push(`    dependency derive ${targetId} from ${sourceId};`);
+        }
+        for (const l of verifies) {
+            const sourceId = refToId(l.source);
+            const targetId = refToId(l.target);
+            lines.push(`    dependency verify ${targetId} by ${sourceId};`);
+        }
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=requirement-emitter.js.map

package/dist/emitters/requirement-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirement-emitter.js","sourceRoot":"","sources":["../../src/emitters/requirement-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAGjD,MAAM,UAAU,GAA2B;IACzC,0BAA0B,EAAE,0BAA0B;IACtD,qBAAqB,EAAE,qBAAqB;IAC5C,wBAAwB,EAAE,wBAAwB;IAClD,wBAAwB,EAAE,wBAAwB;IAClD,2BAA2B,EAAE,2BAA2B;IACxD,wBAAwB,EAAE,wBAAwB;CACnD,CAAC;AAEF,2DAA2D;AAC3D,MAAM,UAAU,gBAAgB,CAC9B,YAAiC,EACjC,UAA6B;IAE7B,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,yBAAyB;IACzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,mDAAmD;IACnD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1B,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,uBAAuB,EAAE,IAAI,CAAC,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,KAAK,WAAW,KAAK,CAAC,CAAC;YACzD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBACnB,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChB,MAAM,gBAAgB,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC3E,KAAK,CAAC,IAAI,CAAC,kCAAkC,gBAAgB,IAAI,CAAC,CAAC;YACrE,CAAC;YACD,UAAU;YACV,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YACvE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAE/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,yBAAyB,QAAQ,SAAS,QAAQ,GAAG,CAAC,CAAC;QACpE,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,yBAAyB,QAAQ,OAAO,QAAQ,GAAG,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/stakeholder-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact } from '../types.js';
+/** Emit stakeholder/actor definitions from HAS_STAKEHOLDER facts */
+export declare function emitStakeholders(stakeholderFacts: DeriveFact[]): string;
+//# sourceMappingURL=stakeholder-emitter.d.ts.map

package/dist/emitters/stakeholder-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stakeholder-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/stakeholder-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,gBAAgB,EAAE,UAAU,EAAE,GAAG,MAAM,CAoBvE"}

package/dist/emitters/stakeholder-emitter.js

@@ -0,0 +1,22 @@
+import { toSysmlId } from '../utils/identifier.js';
+import { parsePipeFact } from '../utils/parse-fact.js';
+/** Emit stakeholder/actor definitions from HAS_STAKEHOLDER facts */
+export function emitStakeholders(stakeholderFacts) {
+    if (stakeholderFacts.length === 0)
+        return '';
+    const lines = [];
+    lines.push('    // === Stakeholders ===');
+    lines.push('');
+    for (const f of stakeholderFacts) {
+        const parsed = parsePipeFact(f.object);
+        const role = parsed.name || f.object.split(':')[0].trim();
+        const desc = parsed.description || f.object;
+        const id = toSysmlId(role);
+        lines.push(`    part def ${id} {`);
+        lines.push(`        doc /* ${desc.replace(/\*\//g, '* /')} */`);
+        lines.push(`    }`);
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=stakeholder-emitter.js.map

package/dist/emitters/stakeholder-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stakeholder-emitter.js","sourceRoot":"","sources":["../../src/emitters/stakeholder-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,oEAAoE;AACpE,MAAM,UAAU,gBAAgB,CAAC,gBAA8B;IAC7D,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC;QAC5C,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/emitters/state-emitter.d.ts

@@ -0,0 +1,4 @@
+import type { DeriveFact } from '../types.js';
+/** Emit state machine definition from HAS_MODE and MODE_TRANSITION facts */
+export declare function emitStateMachine(modeFacts: DeriveFact[], transitionFacts: DeriveFact[], systemName: string): string;
+//# sourceMappingURL=state-emitter.d.ts.map

package/dist/emitters/state-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-emitter.d.ts","sourceRoot":"","sources":["../../src/emitters/state-emitter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,4EAA4E;AAC5E,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,UAAU,EAAE,EACvB,eAAe,EAAE,UAAU,EAAE,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,CAoCR"}

package/dist/emitters/state-emitter.js

@@ -0,0 +1,38 @@
+import { toSysmlId } from '../utils/identifier.js';
+import { parseTransition } from '../utils/parse-fact.js';
+/** Emit state machine definition from HAS_MODE and MODE_TRANSITION facts */
+export function emitStateMachine(modeFacts, transitionFacts, systemName) {
+    if (modeFacts.length === 0)
+        return '';
+    const lines = [];
+    lines.push('    // === Operating Modes (State Machine) ===');
+    lines.push('');
+    lines.push(`    state def ${toSysmlId(systemName)}Modes {`);
+    // Emit states
+    for (const f of modeFacts) {
+        const modeName = f.object.split(':')[0].trim();
+        const modeId = toSysmlId(modeName);
+        const desc = f.object.includes(':') ? f.object.split(':').slice(1).join(':').trim() : '';
+        lines.push(`        state ${modeId};`);
+    }
+    lines.push('');
+    // Emit transitions
+    for (const f of transitionFacts) {
+        const t = parseTransition(f.subject, f.object);
+        const sourceId = toSysmlId(t.sourceMode);
+        const targetId = toSysmlId(t.targetMode);
+        const attrs = [];
+        if (t.trigger)
+            attrs.push(`trigger: ${t.trigger}`);
+        if (t.guard)
+            attrs.push(`guard: ${t.guard}`);
+        if (t.timing)
+            attrs.push(`timing: ${t.timing}ms`);
+        const comment = attrs.length > 0 ? ` /* ${attrs.join(', ')} */` : '';
+        lines.push(`        transition ${sourceId} to ${targetId};${comment}`);
+    }
+    lines.push(`    }`);
+    lines.push('');
+    return lines.join('\n');
+}
+//# sourceMappingURL=state-emitter.js.map

package/dist/emitters/state-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-emitter.js","sourceRoot":"","sources":["../../src/emitters/state-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAGzD,4EAA4E;AAC5E,MAAM,UAAU,gBAAgB,CAC9B,SAAuB,EACvB,eAA6B,EAC7B,UAAkB;IAElB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAE5D,cAAc;IACd,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QAElD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,sBAAsB,QAAQ,OAAO,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;IACzE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,10 @@
+export type { DeriveProject, DeriveRequirement, DeriveTraceLink, DeriveFact, DeriveEntity, ParsedHazard, ParsedTransition } from './types.js';
+export { toSysmlId, refToId, toLowerCamel } from './utils/identifier.js';
+export { parsePipeFact, parseHazard, parseTransition } from './utils/parse-fact.js';
+import type { DeriveProject } from './types.js';
+/**
+ * Emit a complete SysML v2 package from a Derive project.
+ * Pure function: data in, .sysml text out.
+ */
+export declare function emitProject(project: DeriveProject): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9I,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAEpF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAgBhD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAwC1D"}

package/dist/index.js

@@ -0,0 +1,56 @@
+export { toSysmlId, refToId, toLowerCamel } from './utils/identifier.js';
+export { parsePipeFact, parseHazard, parseTransition } from './utils/parse-fact.js';
+import { emitPackage } from './emitters/package-emitter.js';
+import { emitParts } from './emitters/part-emitter.js';
+import { emitRequirements } from './emitters/requirement-emitter.js';
+import { emitConnections } from './emitters/connection-emitter.js';
+import { emitStateMachine } from './emitters/state-emitter.js';
+import { emitHazards } from './emitters/hazard-emitter.js';
+import { emitConstraints } from './emitters/constraint-emitter.js';
+import { emitInterfaces } from './emitters/interface-emitter.js';
+import { emitStakeholders } from './emitters/stakeholder-emitter.js';
+/** Filter facts by predicate */
+function factsOf(facts, predicate) {
+    return facts.filter(f => f.predicate === predicate);
+}
+/**
+ * Emit a complete SysML v2 package from a Derive project.
+ * Pure function: data in, .sysml text out.
+ */
+export function emitProject(project) {
+    const sections = [];
+    // Stakeholders
+    const stakeholders = emitStakeholders(factsOf(project.facts, 'HAS_STAKEHOLDER'));
+    if (stakeholders)
+        sections.push(stakeholders);
+    // Part definitions (structural decomposition)
+    const parts = emitParts(factsOf(project.facts, 'PART_OF'), project.entities);
+    if (parts)
+        sections.push(parts);
+    // Connections
+    const connections = emitConnections(factsOf(project.facts, 'CONNECTS'));
+    if (connections)
+        sections.push(connections);
+    // External interfaces
+    const interfaces = emitInterfaces(factsOf(project.facts, 'INTERFACES_WITH'));
+    if (interfaces)
+        sections.push(interfaces);
+    // Requirements + traceability
+    const reqs = emitRequirements(project.requirements, project.traceLinks);
+    if (reqs)
+        sections.push(reqs);
+    // State machine
+    const states = emitStateMachine(factsOf(project.facts, 'HAS_MODE'), factsOf(project.facts, 'MODE_TRANSITION'), project.name);
+    if (states)
+        sections.push(states);
+    // Hazards
+    const hazards = emitHazards(factsOf(project.facts, 'HAS_HAZARD'));
+    if (hazards)
+        sections.push(hazards);
+    // Constraints
+    const constraints = emitConstraints(factsOf(project.facts, 'HAS_CONSTRAINT'));
+    if (constraints)
+        sections.push(constraints);
+    return emitPackage(project, sections.join('\n'));
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGpF,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAErE,gCAAgC;AAChC,SAAS,OAAO,CAAC,KAA6B,EAAE,SAAiB;IAC/D,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;AACtD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAAsB;IAChD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,eAAe;IACf,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACjF,IAAI,YAAY;QAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAE9C,8CAA8C;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7E,IAAI,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEhC,cAAc;IACd,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IACxE,IAAI,WAAW;QAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAE5C,sBAAsB;IACtB,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC7E,IAAI,UAAU;QAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAE1C,8BAA8B;IAC9B,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACxE,IAAI,IAAI;QAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE9B,gBAAgB;IAChB,MAAM,MAAM,GAAG,gBAAgB,CAC7B,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EAClC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC,EACzC,OAAO,CAAC,IAAI,CACb,CAAC;IACF,IAAI,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAElC,UAAU;IACV,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEpC,cAAc;IACd,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAC9E,IAAI,WAAW;QAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAE5C,OAAO,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACnD,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,52 @@
+/** Input types matching Derive MCP tool outputs */
+export interface DeriveProject {
+    slug: string;
+    name: string;
+    requirements: DeriveRequirement[];
+    traceLinks: DeriveTraceLink[];
+    facts: DeriveFact[];
+    entities: DeriveEntity[];
+}
+export interface DeriveRequirement {
+    ref: string;
+    text: string;
+    rationale?: string;
+    verification?: string;
+    document: string;
+    tags?: string[];
+}
+export interface DeriveTraceLink {
+    source: string;
+    target: string;
+    type: 'derives' | 'verifies';
+    description?: string;
+}
+export interface DeriveFact {
+    subject: string;
+    predicate: string;
+    object: string;
+}
+export interface DeriveEntity {
+    name: string;
+    hexCode?: string;
+    namespace?: string;
+}
+/** Parsed hazard from pipe-delimited HAS_HAZARD fact object */
+export interface ParsedHazard {
+    id: string;
+    description: string;
+    severity?: string;
+    frequency?: string;
+    sil?: string;
+    safeState?: string;
+}
+/** Parsed mode transition from MODE_TRANSITION fact */
+export interface ParsedTransition {
+    sourceMode: string;
+    targetMode: string;
+    trigger?: string;
+    guard?: string;
+    timing?: string;
+    sil?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,GAAG,UAAU,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,+DAA+D;AAC/D,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,uDAAuD;AACvD,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd"}

package/dist/types.js

@@ -0,0 +1,3 @@
+/** Input types matching Derive MCP tool outputs */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,mDAAmD"}

package/dist/utils/identifier.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Convert a human-readable name to a valid SysML v2 identifier.
+ * SysML identifiers must start with a letter or underscore and contain
+ * only letters, digits, and underscores. We use PascalCase.
+ */
+export declare function toSysmlId(name: string): string;
+/** Convert a requirement ref like "SYS-REQ-001" to a SysML identifier like "SysReq001" */
+export declare function refToId(ref: string): string;
+/** Lowercase first character (for usage names) */
+export declare function toLowerCamel(id: string): string;
+//# sourceMappingURL=identifier.d.ts.map

package/dist/utils/identifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identifier.d.ts","sourceRoot":"","sources":["../../src/utils/identifier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAO9C;AAED,0FAA0F;AAC1F,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAS3C;AAED,kDAAkD;AAClD,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE/C"}

package/dist/utils/identifier.js

@@ -0,0 +1,31 @@
+/**
+ * Convert a human-readable name to a valid SysML v2 identifier.
+ * SysML identifiers must start with a letter or underscore and contain
+ * only letters, digits, and underscores. We use PascalCase.
+ */
+export function toSysmlId(name) {
+    return name
+        .replace(/[^a-zA-Z0-9\s]/g, '')
+        .split(/\s+/)
+        .filter(Boolean)
+        .map(w => w.charAt(0).toUpperCase() + w.slice(1).toLowerCase())
+        .join('');
+}
+/** Convert a requirement ref like "SYS-REQ-001" to a SysML identifier like "SysReq001" */
+export function refToId(ref) {
+    return ref
+        .split('-')
+        .map((part, i) => {
+        if (i === 0)
+            return part.charAt(0).toUpperCase() + part.slice(1).toLowerCase();
+        if (/^\d+$/.test(part))
+            return part;
+        return part.charAt(0).toUpperCase() + part.slice(1).toLowerCase();
+    })
+        .join('');
+}
+/** Lowercase first character (for usage names) */
+export function toLowerCamel(id) {
+    return id.charAt(0).toLowerCase() + id.slice(1);
+}
+//# sourceMappingURL=identifier.js.map

package/dist/utils/identifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identifier.js","sourceRoot":"","sources":["../../src/utils/identifier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,IAAI;SACR,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;SAC9B,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,OAAO,CAAC;SACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC9D,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,OAAO,GAAG;SACP,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/E,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACpE,CAAC,CAAC;SACD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/dist/utils/indent.d.ts

@@ -0,0 +1,5 @@
+/** Indent every line by N levels (4 spaces each) */
+export declare function indent(text: string, level: number): string;
+/** Wrap text as a SysML doc comment */
+export declare function docComment(text: string, level: number): string;
+//# sourceMappingURL=indent.d.ts.map

package/dist/utils/indent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"indent.d.ts","sourceRoot":"","sources":["../../src/utils/indent.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAM1D;AAED,uCAAuC;AACvC,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAG9D"}

package/dist/utils/indent.js

@@ -0,0 +1,14 @@
+/** Indent every line by N levels (4 spaces each) */
+export function indent(text, level) {
+    const prefix = '    '.repeat(level);
+    return text
+        .split('\n')
+        .map(line => (line.trim() ? prefix + line : ''))
+        .join('\n');
+}
+/** Wrap text as a SysML doc comment */
+export function docComment(text, level) {
+    const prefix = '    '.repeat(level);
+    return `${prefix}doc /* ${text.replace(/\*\//g, '* /')} */`;
+}
+//# sourceMappingURL=indent.js.map

package/dist/utils/indent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"indent.js","sourceRoot":"","sources":["../../src/utils/indent.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,KAAa;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,IAAI;SACR,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC/C,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,KAAa;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,GAAG,MAAM,UAAU,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;AAC9D,CAAC"}

package/dist/utils/parse-fact.d.ts

@@ -0,0 +1,10 @@
+import type { ParsedHazard, ParsedTransition } from '../types.js';
+/** Parse a pipe-delimited fact object into key-value pairs.
+ *  Format: "Primary: description | key1:value1 | key2:value2"
+ */
+export declare function parsePipeFact(object: string): Record<string, string>;
+/** Parse a HAS_HAZARD fact object */
+export declare function parseHazard(subject: string, object: string): ParsedHazard;
+/** Parse a MODE_TRANSITION fact object */
+export declare function parseTransition(sourceMode: string, object: string): ParsedTransition;
+//# sourceMappingURL=parse-fact.d.ts.map

package/dist/utils/parse-fact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-fact.d.ts","sourceRoot":"","sources":["../../src/utils/parse-fact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAElE;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAqBpE;AAED,qCAAqC;AACrC,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CAUzE;AAED,0CAA0C;AAC1C,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAUpF"}

package/dist/utils/parse-fact.js

@@ -0,0 +1,51 @@
+/** Parse a pipe-delimited fact object into key-value pairs.
+ *  Format: "Primary: description | key1:value1 | key2:value2"
+ */
+export function parsePipeFact(object) {
+    const result = {};
+    const parts = object.split('|').map(p => p.trim());
+    if (parts.length > 0) {
+        const [name, ...descParts] = parts[0].split(':');
+        if (descParts.length > 0) {
+            result.name = name.trim();
+            result.description = descParts.join(':').trim();
+        }
+        else {
+            result.description = parts[0];
+        }
+    }
+    for (let i = 1; i < parts.length; i++) {
+        const colonIdx = parts[i].indexOf(':');
+        if (colonIdx > 0) {
+            const key = parts[i].slice(0, colonIdx).trim().replace(/-/g, '');
+            const val = parts[i].slice(colonIdx + 1).trim();
+            result[key] = val;
+        }
+    }
+    return result;
+}
+/** Parse a HAS_HAZARD fact object */
+export function parseHazard(subject, object) {
+    const p = parsePipeFact(object);
+    return {
+        id: p.name ?? subject,
+        description: p.description ?? object,
+        severity: p.severity,
+        frequency: p.frequency,
+        sil: p.SIL ?? p.sil,
+        safeState: p.safestate ?? p['safe-state'] ?? p.safeState,
+    };
+}
+/** Parse a MODE_TRANSITION fact object */
+export function parseTransition(sourceMode, object) {
+    const p = parsePipeFact(object);
+    return {
+        sourceMode,
+        targetMode: p.name ?? p.description ?? object.split('|')[0].trim(),
+        trigger: p.trigger,
+        guard: p.guard,
+        timing: p.timing,
+        sil: p.SIL ?? p.sil,
+    };
+}
+//# sourceMappingURL=parse-fact.js.map

package/dist/utils/parse-fact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-fact.js","sourceRoot":"","sources":["../../src/utils/parse-fact.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,CAAC,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjE,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,MAAc;IACzD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,OAAO;QACrB,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,MAAM;QACpC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG;QACnB,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS;KACzD,CAAC;AACJ,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,eAAe,CAAC,UAAkB,EAAE,MAAc;IAChE,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO;QACL,UAAU;QACV,UAAU,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;QAClE,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG;KACpB,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,20 @@
+{
+  "name": "@derive-ltd/sysml-emitter",
+  "version": "1.0.0",
+  "description": "Derive project → SysML v2 textual notation emitter (a DERIVE LTD product).",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "test": "node --test dist/test/*.test.js"
+  },
+  "license": "MIT",
+  "author": "DERIVE LTD",
+  "devDependencies": {
+    "typescript": "^5.9.3"
+  }
+}