@memoarchitect/tools 0.4.4

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

@@ -0,0 +1,11 @@
+// ─── LLM Module ──────────────────────────────────────────────────────────────
+//
+// Phase 15: LLM Integration — provider abstraction, model Q&A, SysML
+// generation from natural language, and DHF draft assistant.
+// ─────────────────────────────────────────────────────────────────────────────
+export * from './llm-provider.js';
+export * from './model-context.js';
+export * from './ask-engine.js';
+export * from './generate-engine.js';
+export * from './draft-engine.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/llm/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,qEAAqE;AACrE,6DAA6D;AAC7D,gFAAgF;AAEhF,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,mBAAmB,CAAC"}

package/packages/tools/lib/llm/llm-provider.d.ts

@@ -0,0 +1,40 @@
+/** A single message in a chat conversation */
+export interface ChatMessage {
+    role: 'system' | 'user' | 'assistant';
+    content: string;
+}
+/** Options for an LLM completion request */
+export interface CompletionOptions {
+    messages: ChatMessage[];
+    temperature?: number;
+    maxTokens?: number;
+}
+/** Result of an LLM completion */
+export interface CompletionResult {
+    content: string;
+    usage?: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+}
+/** LLM provider interface */
+export interface LLMProvider {
+    readonly name: string;
+    complete(options: CompletionOptions): Promise<CompletionResult>;
+}
+/** Provider configuration resolved from environment */
+export interface LLMConfig {
+    provider: 'openai' | 'anthropic';
+    apiKey: string;
+    model: string;
+    baseUrl?: string;
+}
+/** Resolve LLM config from environment variables */
+export declare function resolveLLMConfig(): LLMConfig | undefined;
+/**
+ * Create an LLM provider from config.
+ * Uses native fetch — no SDK dependencies required.
+ */
+export declare function createProvider(config: LLMConfig): LLMProvider;
+//# sourceMappingURL=llm-provider.d.ts.map

package/packages/tools/lib/llm/llm-provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-provider.d.ts","sourceRoot":"","sources":["../../src/llm/llm-provider.ts"],"names":[],"mappings":"AAMA,8CAA8C;AAC9C,MAAM,WAAW,WAAW;IACxB,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,4CAA4C;AAC5C,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,kCAAkC;AAClC,MAAM,WAAW,gBAAgB;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE;QACJ,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,WAAW,EAAE,MAAM,CAAC;KACvB,CAAC;CACL;AAED,6BAA6B;AAC7B,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;CACnE;AAED,uDAAuD;AACvD,MAAM,WAAW,SAAS;IACtB,QAAQ,EAAE,QAAQ,GAAG,WAAW,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,oDAAoD;AACpD,wBAAgB,gBAAgB,IAAI,SAAS,GAAG,SAAS,CAmBxD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,GAAG,WAAW,CAK7D"}

package/packages/tools/lib/llm/llm-provider.js

@@ -0,0 +1,121 @@
+// ─── LLM Provider Abstraction ────────────────────────────────────────────────
+//
+// Provider-agnostic interface for LLM calls. Supports OpenAI-compatible APIs
+// (OpenAI, Azure, local models) and Anthropic Claude. Configured via env vars.
+// ─────────────────────────────────────────────────────────────────────────────
+/** Resolve LLM config from environment variables */
+export function resolveLLMConfig() {
+    // Anthropic takes priority if both are set
+    if (process.env.ANTHROPIC_API_KEY) {
+        return {
+            provider: 'anthropic',
+            apiKey: process.env.ANTHROPIC_API_KEY,
+            model: process.env.MEMO_LLM_MODEL || 'claude-sonnet-4-20250514',
+            baseUrl: process.env.ANTHROPIC_BASE_URL,
+        };
+    }
+    if (process.env.OPENAI_API_KEY) {
+        return {
+            provider: 'openai',
+            apiKey: process.env.OPENAI_API_KEY,
+            model: process.env.MEMO_LLM_MODEL || 'gpt-4o',
+            baseUrl: process.env.OPENAI_BASE_URL,
+        };
+    }
+    return undefined;
+}
+/**
+ * Create an LLM provider from config.
+ * Uses native fetch — no SDK dependencies required.
+ */
+export function createProvider(config) {
+    if (config.provider === 'anthropic') {
+        return createAnthropicProvider(config);
+    }
+    return createOpenAIProvider(config);
+}
+// ─── OpenAI-compatible provider ─────────────────────────────────────────────
+function createOpenAIProvider(config) {
+    const baseUrl = config.baseUrl || 'https://api.openai.com/v1';
+    return {
+        name: `openai/${config.model}`,
+        async complete(options) {
+            const response = await fetch(`${baseUrl}/chat/completions`, {
+                method: 'POST',
+                headers: {
+                    'Content-Type': 'application/json',
+                    'Authorization': `Bearer ${config.apiKey}`,
+                },
+                body: JSON.stringify({
+                    model: config.model,
+                    messages: options.messages,
+                    temperature: options.temperature ?? 0.3,
+                    max_tokens: options.maxTokens ?? 4096,
+                }),
+            });
+            if (!response.ok) {
+                const text = await response.text();
+                throw new Error(`OpenAI API error ${response.status}: ${text}`);
+            }
+            const data = await response.json();
+            return {
+                content: data.choices[0].message.content,
+                usage: data.usage ? {
+                    promptTokens: data.usage.prompt_tokens,
+                    completionTokens: data.usage.completion_tokens,
+                    totalTokens: data.usage.total_tokens,
+                } : undefined,
+            };
+        },
+    };
+}
+// ─── Anthropic provider ─────────────────────────────────────────────────────
+function createAnthropicProvider(config) {
+    const baseUrl = config.baseUrl || 'https://api.anthropic.com';
+    return {
+        name: `anthropic/${config.model}`,
+        async complete(options) {
+            // Separate system message from user/assistant messages
+            const systemMsg = options.messages.find(m => m.role === 'system');
+            const chatMessages = options.messages
+                .filter(m => m.role !== 'system')
+                .map(m => ({ role: m.role, content: m.content }));
+            const body = {
+                model: config.model,
+                messages: chatMessages,
+                temperature: options.temperature ?? 0.3,
+                max_tokens: options.maxTokens ?? 4096,
+            };
+            if (systemMsg) {
+                body.system = systemMsg.content;
+            }
+            const response = await fetch(`${baseUrl}/v1/messages`, {
+                method: 'POST',
+                headers: {
+                    'Content-Type': 'application/json',
+                    'x-api-key': config.apiKey,
+                    'anthropic-version': '2023-06-01',
+                },
+                body: JSON.stringify(body),
+            });
+            if (!response.ok) {
+                const text = await response.text();
+                throw new Error(`Anthropic API error ${response.status}: ${text}`);
+            }
+            const data = await response.json();
+            const content = data.content
+                .filter((b) => b.type === 'text')
+                .map((b) => b.text)
+                .join('');
+            return {
+                content,
+                usage: data.usage ? {
+                    promptTokens: data.usage.input_tokens,
+                    completionTokens: data.usage.output_tokens,
+                    totalTokens: data.usage.input_tokens + data.usage.output_tokens,
+                } : undefined,
+            };
+        },
+    };
+}
+//# sourceMappingURL=llm-provider.js.map

package/packages/tools/lib/llm/llm-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-provider.js","sourceRoot":"","sources":["../../src/llm/llm-provider.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,gFAAgF;AAuChF,oDAAoD;AACpD,MAAM,UAAU,gBAAgB;IAC5B,2CAA2C;IAC3C,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAChC,OAAO;YACH,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB;YACrC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,0BAA0B;YAC/D,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB;SAC1C,CAAC;IACN,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC7B,OAAO;YACH,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,cAAc;YAClC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,QAAQ;YAC7C,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,eAAe;SACvC,CAAC;IACN,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAiB;IAC5C,IAAI,MAAM,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,+EAA+E;AAE/E,SAAS,oBAAoB,CAAC,MAAiB;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,2BAA2B,CAAC;IAE9D,OAAO;QACH,IAAI,EAAE,UAAU,MAAM,CAAC,KAAK,EAAE;QAC9B,KAAK,CAAC,QAAQ,CAAC,OAA0B;YACrC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,mBAAmB,EAAE;gBACxD,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACL,cAAc,EAAE,kBAAkB;oBAClC,eAAe,EAAE,UAAU,MAAM,CAAC,MAAM,EAAE;iBAC7C;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACjB,KAAK,EAAE,MAAM,CAAC,KAAK;oBACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG;oBACvC,UAAU,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;iBACxC,CAAC;aACL,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YACpE,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAS,CAAC;YAC1C,OAAO;gBACH,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO;gBACxC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAChB,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;oBACtC,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB;oBAC9C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY;iBACvC,CAAC,CAAC,CAAC,SAAS;aAChB,CAAC;QACN,CAAC;KACJ,CAAC;AACN,CAAC;AAED,+EAA+E;AAE/E,SAAS,uBAAuB,CAAC,MAAiB;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,2BAA2B,CAAC;IAE9D,OAAO;QACH,IAAI,EAAE,aAAa,MAAM,CAAC,KAAK,EAAE;QACjC,KAAK,CAAC,QAAQ,CAAC,OAA0B;YACrC,uDAAuD;YACvD,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YAClE,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ;iBAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;iBAChC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAA4B,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAE9E,MAAM,IAAI,GAAQ;gBACd,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,QAAQ,EAAE,YAAY;gBACtB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG;gBACvC,UAAU,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;aACxC,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACZ,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC;YACpC,CAAC;YAED,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,cAAc,EAAE;gBACnD,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACL,cAAc,EAAE,kBAAkB;oBAClC,WAAW,EAAE,MAAM,CAAC,MAAM;oBAC1B,mBAAmB,EAAE,YAAY;iBACpC;gBACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;aAC7B,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;YACvE,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAS,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;iBACvB,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;iBACrC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;iBACvB,IAAI,CAAC,EAAE,CAAC,CAAC;YAEd,OAAO;gBACH,OAAO;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAChB,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY;oBACrC,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;oBAC1C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa;iBAClE,CAAC,CAAC,CAAC,SAAS;aAChB,CAAC;QACN,CAAC;KACJ,CAAC;AACN,CAAC"}

package/packages/tools/lib/llm/model-context.d.ts

@@ -0,0 +1,28 @@
+import type { MEMOConfig } from '../model/config.js';
+import type { QueryContext } from '../dhf/query-engine.js';
+/** Options for context serialization */
+export interface ContextOptions {
+    /** Include element details (default: true) */
+    includeElements?: boolean;
+    /** Include relationships (default: true) */
+    includeRelationships?: boolean;
+    /** Include validation gaps (default: true) */
+    includeGaps?: boolean;
+    /** Maximum elements to include (default: 500) */
+    maxElements?: number;
+    /** Filter to specific kinds */
+    filterKinds?: string[];
+    /** Filter to specific layers */
+    filterLayers?: string[];
+}
+/**
+ * Serialize model into a compact text context for LLM consumption.
+ * Designed to fit within typical context windows while providing
+ * enough information for meaningful Q&A.
+ */
+export declare function serializeModelContext(ctx: QueryContext, options?: ContextOptions): string;
+/**
+ * Serialize ontology context (available kinds, relationships) for SysML generation.
+ */
+export declare function serializeOntologyContext(config: MEMOConfig): string;
+//# sourceMappingURL=model-context.d.ts.map

package/packages/tools/lib/llm/model-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-context.d.ts","sourceRoot":"","sources":["../../src/llm/model-context.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D,wCAAwC;AACxC,MAAM,WAAW,cAAc;IAC3B,8CAA8C;IAC9C,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,4CAA4C;IAC5C,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,8CAA8C;IAC9C,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,iDAAiD;IACjD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+BAA+B;IAC/B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,gCAAgC;IAChC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACjC,GAAG,EAAE,YAAY,EACjB,OAAO,GAAE,cAAmB,GAC7B,MAAM,CAwHR;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CA2CnE"}

package/packages/tools/lib/llm/model-context.js

@@ -0,0 +1,162 @@
+// ─── Model Context Serializer ────────────────────────────────────────────────
+//
+// Serializes MemoModel into a compact text summary suitable for LLM context.
+// Provides model overview, element listing, relationships, and validation gaps.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Serialize model into a compact text context for LLM consumption.
+ * Designed to fit within typical context windows while providing
+ * enough information for meaningful Q&A.
+ */
+export function serializeModelContext(ctx, options = {}) {
+    const { includeElements = true, includeRelationships = true, includeGaps = true, maxElements = 500, filterKinds, filterLayers, } = options;
+    const parts = [];
+    // ─── Project overview ───────────────────────────────────────────────
+    parts.push(`# Model: ${ctx.projectName}`);
+    parts.push(`Elements: ${ctx.totalElements()} | Relationships: ${ctx.totalRelationships()} | Completeness: ${ctx.overallCompleteness()}%`);
+    parts.push('');
+    // ─── Layer summary ──────────────────────────────────────────────────
+    const layers = ctx.layerSummary();
+    if (layers.length > 0) {
+        parts.push('## Layers');
+        for (const l of layers) {
+            parts.push(`- ${l.label} (${l.id}): ${l.count} elements, ${l.completeness}% complete`);
+        }
+        parts.push('');
+    }
+    // ─── Elements ───────────────────────────────────────────────────────
+    if (includeElements) {
+        let elements = ctx.allElements();
+        if (filterKinds?.length) {
+            elements = ctx.elementsByKinds(filterKinds);
+        }
+        if (filterLayers?.length) {
+            elements = elements.filter(e => filterLayers.includes(e.layer));
+        }
+        // Truncate if too many
+        const truncated = elements.length > maxElements;
+        const shown = truncated ? elements.slice(0, maxElements) : elements;
+        parts.push('## Elements');
+        // Group by kind for readability
+        const byKind = new Map();
+        for (const el of shown) {
+            if (!byKind.has(el.kind))
+                byKind.set(el.kind, []);
+            byKind.get(el.kind).push(el);
+        }
+        for (const [kind, els] of byKind) {
+            parts.push(`### ${kind} (${els.length})`);
+            for (const el of els) {
+                let line = `- ${el.name} [${el.id}] (layer: ${el.layer})`;
+                if (el.doc)
+                    line += ` — ${el.doc}`;
+                const attrs = Object.entries(el.attributes);
+                if (attrs.length > 0) {
+                    line += ` {${attrs.map(([k, v]) => `${k}=${v}`).join(', ')}}`;
+                }
+                parts.push(line);
+            }
+        }
+        if (truncated) {
+            parts.push(`... (${elements.length - maxElements} more elements truncated)`);
+        }
+        parts.push('');
+    }
+    // ─── Relationships ──────────────────────────────────────────────────
+    if (includeRelationships) {
+        const rels = ctx.allRelationships();
+        parts.push('## Relationships');
+        // Group by type
+        const byType = new Map();
+        for (const r of rels) {
+            if (!byType.has(r.type))
+                byType.set(r.type, []);
+            byType.get(r.type).push(r);
+        }
+        for (const [type, rs] of byType) {
+            parts.push(`### ${type} (${rs.length})`);
+            const shown = rs.slice(0, 50); // cap per type
+            for (const r of shown) {
+                parts.push(`- ${ctx.elementName(r.sourceId)} → ${ctx.elementName(r.targetId)}`);
+            }
+            if (rs.length > 50) {
+                parts.push(`... (${rs.length - 50} more)`);
+            }
+        }
+        parts.push('');
+    }
+    // ─── Validation gaps ────────────────────────────────────────────────
+    if (includeGaps) {
+        const errors = ctx.violationsBySeverity('error');
+        const warnings = ctx.violationsBySeverity('warning');
+        if (errors.length > 0 || warnings.length > 0) {
+            parts.push('## Validation Gaps');
+            parts.push(`Errors: ${errors.length} | Warnings: ${warnings.length}`);
+            parts.push(`Unmitigated hazards: ${ctx.unmitigatedCount()}`);
+            parts.push(`Untraced requirements: ${ctx.untracedRequirements().length}`);
+            parts.push('');
+            if (errors.length > 0) {
+                parts.push('### Errors');
+                for (const v of errors.slice(0, 30)) {
+                    parts.push(`- [${v.ruleId}] ${v.elementName} (${v.elementKind}): ${v.description}`);
+                }
+                if (errors.length > 30)
+                    parts.push(`... (${errors.length - 30} more)`);
+            }
+            if (warnings.length > 0) {
+                parts.push('### Warnings');
+                for (const v of warnings.slice(0, 20)) {
+                    parts.push(`- [${v.ruleId}] ${v.elementName} (${v.elementKind}): ${v.description}`);
+                }
+                if (warnings.length > 20)
+                    parts.push(`... (${warnings.length - 20} more)`);
+            }
+            parts.push('');
+        }
+    }
+    return parts.join('\n');
+}
+/**
+ * Serialize ontology context (available kinds, relationships) for SysML generation.
+ */
+export function serializeOntologyContext(config) {
+    const parts = [];
+    parts.push('# Ontology Context');
+    parts.push('');
+    // Available kinds grouped by layer
+    if (config.kinds) {
+        parts.push('## Available Kinds');
+        const byLayer = new Map();
+        for (const [name, def] of Object.entries(config.kinds)) {
+            const layer = def.layer || 'unknown';
+            if (!byLayer.has(layer))
+                byLayer.set(layer, []);
+            byLayer.get(layer).push(`${name} (${def.sysmlConstruct})`);
+        }
+        for (const [layer, kinds] of byLayer) {
+            parts.push(`### ${layer}`);
+            for (const k of kinds) {
+                parts.push(`- ${k}`);
+            }
+        }
+        parts.push('');
+    }
+    // Available relationship types
+    if (config.relationshipTypes?.length) {
+        parts.push('## Available Relationship Types');
+        for (const rt of config.relationshipTypes) {
+            parts.push(`- ${rt.name} (${rt.label}) — layer: ${rt.layer}`);
+        }
+        parts.push('');
+    }
+    // Architecture layers
+    if (config.architectureLayers?.length) {
+        parts.push('## Architecture Layers');
+        for (const l of config.architectureLayers) {
+            parts.push(`- ${l.id}: ${l.label}`);
+        }
+        parts.push('');
+    }
+    return parts.join('\n');
+}
+//# sourceMappingURL=model-context.js.map

package/packages/tools/lib/llm/model-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-context.js","sourceRoot":"","sources":["../../src/llm/model-context.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,gFAAgF;AAuBhF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACjC,GAAiB,EACjB,UAA0B,EAAE;IAE5B,MAAM,EACF,eAAe,GAAG,IAAI,EACtB,oBAAoB,GAAG,IAAI,EAC3B,WAAW,GAAG,IAAI,EAClB,WAAW,GAAG,GAAG,EACjB,WAAW,EACX,YAAY,GACf,GAAG,OAAO,CAAC;IAEZ,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,uEAAuE;IACvE,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,CAAC,aAAa,EAAE,qBAAqB,GAAG,CAAC,kBAAkB,EAAE,oBAAoB,GAAG,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;IAC1I,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,uEAAuE;IACvE,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,YAAY,YAAY,CAAC,CAAC;QAC3F,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,uEAAuE;IACvE,IAAI,eAAe,EAAE,CAAC;QAClB,IAAI,QAAQ,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QACjC,IAAI,WAAW,EAAE,MAAM,EAAE,CAAC;YACtB,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,YAAY,EAAE,MAAM,EAAE,CAAC;YACvB,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,CAAC;QAED,uBAAuB;QACvB,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;QAChD,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAEpE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,gCAAgC;QAChC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACrB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACnB,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,KAAK,GAAG,CAAC;gBAC1D,IAAI,EAAE,CAAC,GAAG;oBAAE,IAAI,IAAI,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;gBAC5C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBAClE,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;QACD,IAAI,SAAS,EAAE,CAAC;YACZ,KAAK,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,MAAM,GAAG,WAAW,2BAA2B,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,uEAAuE;IACvE,IAAI,oBAAoB,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,gBAAgB;QAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe;YAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACpF,CAAC;YACD,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,uEAAuE;IACvE,IAAI,WAAW,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,GAAG,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,GAAG,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAErD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,gBAAgB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC,wBAAwB,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,0BAA0B,GAAG,CAAC,oBAAoB,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEf,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;oBAClC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBACxF,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,MAAM,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBACxF,CAAC;gBACD,IAAI,QAAQ,CAAC,MAAM,GAAG,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,MAAM,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC/E,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAkB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mCAAmC;IACnC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,SAAS,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,GAAG,CAAC,cAAc,GAAG,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACzB,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,+BAA+B;IAC/B,IAAI,MAAM,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC9C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,KAAK,cAAc,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,sBAAsB;IACtB,IAAI,MAAM,CAAC,kBAAkB,EAAE,MAAM,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC"}

package/packages/tools/lib/lock.d.ts

@@ -0,0 +1,43 @@
+/** A single package entry in the lock file */
+export interface LockPackageEntry {
+    name: string;
+    version: string;
+    type: string;
+    checksum: string;
+}
+/** The full lock file structure */
+export interface OntologyLock {
+    ontology: string;
+    version: string;
+    lockedAt: string;
+    packages: LockPackageEntry[];
+}
+/** Result of lock check */
+export interface LockCheckResult {
+    ok: boolean;
+    lockPath: string;
+    message?: string;
+    locked?: OntologyLock;
+    current?: {
+        ontology: string;
+        version: string;
+    };
+}
+/**
+ * Create a memo.lock.yaml from the resolved config chain.
+ * Called by `memo init` and `memo lock`.
+ */
+export declare function createLockFile(configPath: string): {
+    lockPath: string;
+    lock: OntologyLock;
+};
+/**
+ * Check the lock file against the current config state.
+ * Returns ok=true if the ontology matches, or if no lock file exists.
+ */
+export declare function checkLockFile(configPath: string): LockCheckResult;
+/**
+ * Read an existing lock file. Returns undefined if not found.
+ */
+export declare function readLockFile(projectDir: string): OntologyLock | undefined;
+//# sourceMappingURL=lock.d.ts.map

package/packages/tools/lib/lock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../src/lock.ts"],"names":[],"mappings":"AAgBA,8CAA8C;AAC9C,MAAM,WAAW,gBAAgB;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CACpB;AAED,mCAAmC;AACnC,MAAM,WAAW,YAAY;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;CAChC;AAED,2BAA2B;AAC3B,MAAM,WAAW,eAAe;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CACnD;AA6DD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CA6C3F;AAoBD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,eAAe,CAoGjE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAIzE"}