@contractspec/bundle.workspace 1.46.2 → 1.47.0

package/dist/services/list.mjs

@@ -0,0 +1,46 @@
+import { isTestFile } from "../utils/filter.mjs";
+import "../utils/index.mjs";
+import { scanSpecSource } from "@contractspec/module.workspace";
+import micromatch from "micromatch";
+
+//#region src/services/list.ts
+/**
+* List specs service.
+*/
+/**
+* List all spec files in the workspace.
+*/
+async function listSpecs(adapters, options = {}) {
+	const { fs, scan = scanSpecSource } = adapters;
+	const pattern = options.pattern;
+	const files = await fs.glob({ pattern });
+	const results = [];
+	for (const file of files) {
+		if (file.includes("node_modules") || file.includes("/dist/")) continue;
+		if (options.config?.excludePackages && micromatch.isMatch(file, options.config.excludePackages, { contains: true })) continue;
+		if (isTestFile(file, options.config)) continue;
+		try {
+			const result = scan(await fs.readFile(file), file);
+			if (result.specType === "unknown") continue;
+			if (options.type && result.specType !== options.type) continue;
+			results.push(result);
+		} catch {}
+	}
+	return results;
+}
+/**
+* Group specs by type.
+*/
+function groupSpecsByType(specs) {
+	const groups = /* @__PURE__ */ new Map();
+	for (const spec of specs) {
+		const group = groups.get(spec.specType) ?? [];
+		group.push(spec);
+		groups.set(spec.specType, group);
+	}
+	return groups;
+}
+
+//#endregion
+export { groupSpecsByType, listSpecs };
+//# sourceMappingURL=list.mjs.map

package/dist/services/list.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"list.mjs","names":[],"sources":["../../src/services/list.ts"],"sourcesContent":["/**\n * List specs service.\n */\n\nimport {\n  scanSpecSource,\n  type SpecScanResult,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../ports/fs';\nimport type { ContractsrcConfig } from '@contractspec/lib.contracts/workspace-config';\nimport micromatch from 'micromatch';\nimport { isTestFile } from '../utils';\n\n/**\n * Options for listing specs.\n */\nexport interface ListSpecsOptions {\n  /**\n   * File pattern to search.\n   */\n  pattern?: string;\n\n  /**\n   * Filter by spec type.\n   */\n  type?: string;\n\n  /**\n   * Workspace configuration\n   */\n  config?: ContractsrcConfig;\n}\n\n/**\n * List all spec files in the workspace.\n */\nexport async function listSpecs(\n  adapters: { fs: FsAdapter; scan?: typeof scanSpecSource },\n  options: ListSpecsOptions = {}\n): Promise<SpecScanResult[]> {\n  const { fs, scan = scanSpecSource } = adapters;\n\n  // Use pattern if provided, otherwise let fs.glob use its defaults (DEFAULT_SPEC_PATTERNS)\n  // This aligns listSpecs behavior with the CI command behavior\n  const pattern = options.pattern;\n  const files = await fs.glob({ pattern });\n  const results: SpecScanResult[] = [];\n\n  for (const file of files) {\n    // Skip node_modules and dist\n    if (file.includes('node_modules') || file.includes('/dist/')) {\n      continue;\n    }\n\n    // If excluding packages via config\n    if (\n      options.config?.excludePackages &&\n      micromatch.isMatch(file, options.config.excludePackages, {\n        contains: true,\n      })\n    ) {\n      continue;\n    }\n\n    // Exclude test files\n    if (isTestFile(file, options.config)) {\n      continue;\n    }\n\n    try {\n      const content = await fs.readFile(file);\n      const result = scan(content, file);\n\n      if (result.specType === 'unknown') {\n        continue;\n      }\n\n      if (options.type && result.specType !== options.type) {\n        continue;\n      }\n\n      results.push(result);\n    } catch {\n      // Ignore read errors\n    }\n  }\n\n  return results;\n}\n\n/**\n * Group specs by type.\n */\nexport function groupSpecsByType(\n  specs: SpecScanResult[]\n): Map<string, SpecScanResult[]> {\n  const groups = new Map<string, SpecScanResult[]>();\n\n  for (const spec of specs) {\n    const group = groups.get(spec.specType) ?? [];\n    group.push(spec);\n    groups.set(spec.specType, group);\n  }\n\n  return groups;\n}\n"],"mappings":";;;;;;;;;;;;AAoCA,eAAsB,UACpB,UACA,UAA4B,EAAE,EACH;CAC3B,MAAM,EAAE,IAAI,OAAO,mBAAmB;CAItC,MAAM,UAAU,QAAQ;CACxB,MAAM,QAAQ,MAAM,GAAG,KAAK,EAAE,SAAS,CAAC;CACxC,MAAM,UAA4B,EAAE;AAEpC,MAAK,MAAM,QAAQ,OAAO;AAExB,MAAI,KAAK,SAAS,eAAe,IAAI,KAAK,SAAS,SAAS,CAC1D;AAIF,MACE,QAAQ,QAAQ,mBAChB,WAAW,QAAQ,MAAM,QAAQ,OAAO,iBAAiB,EACvD,UAAU,MACX,CAAC,CAEF;AAIF,MAAI,WAAW,MAAM,QAAQ,OAAO,CAClC;AAGF,MAAI;GAEF,MAAM,SAAS,KADC,MAAM,GAAG,SAAS,KAAK,EACV,KAAK;AAElC,OAAI,OAAO,aAAa,UACtB;AAGF,OAAI,QAAQ,QAAQ,OAAO,aAAa,QAAQ,KAC9C;AAGF,WAAQ,KAAK,OAAO;UACd;;AAKV,QAAO;;;;;AAMT,SAAgB,iBACd,OAC+B;CAC/B,MAAM,yBAAS,IAAI,KAA+B;AAElD,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,QAAQ,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE;AAC7C,QAAM,KAAK,KAAK;AAChB,SAAO,IAAI,KAAK,UAAU,MAAM;;AAGlC,QAAO"}

package/dist/services/llm/index.d.mts

@@ -0,0 +1,28 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { VerificationIssue, formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./verify-static.mjs";
+import { AgentType, ParsedSpec } from "@contractspec/module.workspace";
+
+//#region src/services/llm/index.d.ts
+
+/**
+ * Generate full markdown context for a feature, including referenced specs.
+ */
+declare function generateFeatureContextMarkdown(feature: ParsedSpec, adapters: {
+  fs: FsAdapter;
+}): Promise<string>;
+/**
+ * Generate an implementation guide for a parsed spec.
+ * This logic was extracted from VSCode extension.
+ */
+declare function generateGuideFromParsedSpec(spec: ParsedSpec, agent: AgentType): string;
+/**
+ * Generate Cursor rules from parsed spec.
+ */
+declare function generateCursorRulesFromParsedSpec(spec: ParsedSpec): string;
+/**
+ * Export spec to clipboard format suitable for pasting into LLM.
+ */
+declare function exportSpecForLLM(spec: ParsedSpec, format: 'guide' | 'rules' | 'prompt' | 'context' | 'full', agent?: AgentType): string;
+//#endregion
+export { exportSpecForLLM, generateCursorRulesFromParsedSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec };
+//# sourceMappingURL=index.d.mts.map

package/dist/services/llm/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../../../src/services/llm/index.ts"],"sourcesContent":[],"mappings":";;;;;;;AAgGA;AAiIA;AAqCgB,iBAjPM,8BAAA,CAoPb,OAAyB,EAnPvB,UAmPuB,EAAA,QAAA,EAAA;MAlPhB;IACf;;;;;iBAwEa,2BAAA,OACR,mBACC;;;;iBA+HO,iCAAA,OAAwC;;;;iBAqCxC,gBAAA,OACR,+EAEC"}

package/dist/services/llm/index.mjs

@@ -0,0 +1,187 @@
+import { listSpecs } from "../list.mjs";
+import { formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./verify-static.mjs";
+import { loadSpecFromSource, specToMarkdown } from "@contractspec/module.workspace";
+
+//#region src/services/llm/index.ts
+/**
+* LLM Service
+*
+* Provides services for generating LLM-friendly content from specs.
+* Primarily used by VSCode and CLI for "Ask AI" features.
+*/
+/**
+* Generate full markdown context for a feature, including referenced specs.
+*/
+async function generateFeatureContextMarkdown(feature, adapters) {
+	const parts = [];
+	parts.push(specToMarkdown(feature, "context"));
+	const allSpecs = await listSpecs(adapters);
+	const loadChild = async (ref) => {
+		const found = allSpecs.find((s) => s.key === ref.name && s.version === ref.version);
+		if (!found) return null;
+		return (await loadSpecFromSource(found.filePath)).find((s) => s.meta.key === ref.name) ?? null;
+	};
+	if (feature.operations?.length) {
+		parts.push(`\n## Operations (${feature.operations.length})\n`);
+		for (const op of feature.operations) {
+			const child = await loadChild(op);
+			if (child) parts.push(specToMarkdown(child, "full"));
+			else parts.push(`### ${op.name} (v${op.version})\n\n*Spec not found*`);
+			parts.push("---");
+		}
+	}
+	if (feature.events?.length) {
+		parts.push(`\n## Events (${feature.events.length})\n`);
+		for (const ev of feature.events) {
+			const child = await loadChild(ev);
+			if (child) parts.push(specToMarkdown(child, "full"));
+			else parts.push(`### ${ev.name} (v${ev.version})\n\n*Spec not found*`);
+			parts.push("---");
+		}
+	}
+	if (feature.presentations?.length) {
+		parts.push(`\n## Presentations (${feature.presentations.length})\n`);
+		for (const pres of feature.presentations) {
+			const child = await loadChild(pres);
+			if (child) parts.push(specToMarkdown(child, "full"));
+			else parts.push(`### ${pres.name} (v${pres.version})\n\n*Spec not found*`);
+			parts.push("---");
+		}
+	}
+	return parts.join("\n");
+}
+/**
+* Generate an implementation guide for a parsed spec.
+* This logic was extracted from VSCode extension.
+*/
+function generateGuideFromParsedSpec(spec, agent) {
+	const lines = [];
+	lines.push(`# Implementation Guide: ${spec.meta.key}`);
+	lines.push("");
+	lines.push(`**Target Agent**: ${agent}`);
+	lines.push(`**Spec Type**: ${spec.specType}${spec.kind ? ` (${spec.kind})` : ""}`);
+	lines.push("");
+	if (spec.meta.description) {
+		lines.push("## Overview");
+		lines.push("");
+		lines.push(spec.meta.description);
+		lines.push("");
+	}
+	if (spec.meta.goal) {
+		lines.push("## Goal");
+		lines.push("");
+		lines.push(spec.meta.goal);
+		lines.push("");
+	}
+	if (spec.meta.context) {
+		lines.push("## Context");
+		lines.push("");
+		lines.push(spec.meta.context);
+		lines.push("");
+	}
+	lines.push("## Implementation Steps");
+	lines.push("");
+	if (spec.specType === "operation") {
+		lines.push(`1. Create the ${spec.kind ?? "operation"} handler function`);
+		if (spec.hasIo) {
+			lines.push("2. Implement input validation according to the schema");
+			lines.push("3. Implement the core business logic");
+			lines.push("4. Return output matching the expected schema");
+		}
+		if (spec.hasPolicy) lines.push("5. Enforce authorization and policies");
+		if (spec.emittedEvents && spec.emittedEvents.length > 0) {
+			lines.push("6. Emit events on success:");
+			for (const ev of spec.emittedEvents) lines.push(`   - \`${ev.name}\` (v${ev.version})`);
+		}
+		lines.push("7. Add error handling for expected failure cases");
+		lines.push("8. Write tests covering success and error scenarios");
+	} else if (spec.specType === "feature") {
+		lines.push("1. Set up the feature module structure");
+		if (spec.operations && spec.operations.length > 0) {
+			lines.push("2. Implement operations:");
+			for (const op of spec.operations) lines.push(`   - \`${op.name}\` (v${op.version})`);
+		}
+		if (spec.presentations && spec.presentations.length > 0) {
+			lines.push("3. Implement presentations:");
+			for (const pres of spec.presentations) lines.push(`   - \`${pres.name}\` (v${pres.version})`);
+		}
+		lines.push("4. Wire up feature exports");
+		lines.push("5. Add integration tests");
+	} else {
+		lines.push("1. Review the spec requirements");
+		lines.push("2. Implement the core logic");
+		lines.push("3. Add tests");
+		lines.push("4. Document the implementation");
+	}
+	lines.push("");
+	lines.push("## Constraints");
+	lines.push("");
+	lines.push(`- Stability: ${spec.meta.stability ?? "experimental"}`);
+	if (spec.meta.owners && spec.meta.owners.length > 0) lines.push(`- Owners: ${spec.meta.owners.join(", ")}`);
+	if (spec.meta.tags && spec.meta.tags.length > 0) lines.push(`- Tags: ${spec.meta.tags.join(", ")}`);
+	lines.push("");
+	if (agent === "cursor-cli") {
+		lines.push("## Cursor Notes");
+		lines.push("");
+		lines.push("- Use Composer mode for multi-file changes");
+		lines.push("- Reference this guide in your cursor rules");
+		lines.push("- Break implementation into small, focused commits");
+	} else if (agent === "claude-code") {
+		lines.push("## Claude Code Notes");
+		lines.push("");
+		lines.push("- Use extended thinking for complex logic");
+		lines.push("- Ask for clarification on ambiguous requirements");
+		lines.push("- Provide step-by-step reasoning");
+	} else if (agent === "generic-mcp") {
+		lines.push("## General Notes");
+		lines.push("");
+		lines.push("- Use inline comments to guide generation");
+		lines.push("- Review generated code carefully");
+	}
+	lines.push("");
+	lines.push("## Spec Definition");
+	lines.push("");
+	lines.push(specToMarkdown(spec, "full"));
+	return lines.join("\n");
+}
+/**
+* Generate Cursor rules from parsed spec.
+*/
+function generateCursorRulesFromParsedSpec(spec) {
+	const lines = [];
+	lines.push(`# ${spec.meta.key}`);
+	lines.push("");
+	lines.push(`Description: ${spec.meta.description ?? "No description"}`);
+	lines.push("");
+	lines.push("## Rules");
+	lines.push("");
+	if (spec.specType === "operation") {
+		lines.push(`- This is a ${spec.kind ?? "operation"} spec`);
+		if (spec.hasIo) lines.push("- Validate input and output against schemas");
+		if (spec.hasPolicy) lines.push("- Enforce authorization policies");
+		if (spec.emittedEvents && spec.emittedEvents.length > 0) lines.push("- Emit documented events");
+	} else if (spec.specType === "feature") {
+		lines.push("- Implement all operations and presentations");
+		lines.push("- Follow modular architecture");
+	} else lines.push(`- Follow ${spec.specType} patterns`);
+	lines.push("- Follow project code quality standards");
+	lines.push("- Write tests for new functionality");
+	return lines.join("\n");
+}
+/**
+* Export spec to clipboard format suitable for pasting into LLM.
+*/
+function exportSpecForLLM(spec, format, agent = "generic-mcp") {
+	switch (format) {
+		case "guide": return generateGuideFromParsedSpec(spec, agent);
+		case "rules": return generateCursorRulesFromParsedSpec(spec);
+		case "prompt": return specToMarkdown(spec, "prompt");
+		case "context": return specToMarkdown(spec, "context");
+		case "full":
+		default: return specToMarkdown(spec, "full");
+	}
+}
+
+//#endregion
+export { exportSpecForLLM, generateCursorRulesFromParsedSpec, generateFeatureContextMarkdown, generateGuideFromParsedSpec };
+//# sourceMappingURL=index.mjs.map

package/dist/services/llm/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":[],"sources":["../../../src/services/llm/index.ts"],"sourcesContent":["/**\n * LLM Service\n *\n * Provides services for generating LLM-friendly content from specs.\n * Primarily used by VSCode and CLI for \"Ask AI\" features.\n */\n\nimport {\n  type AgentType,\n  loadSpecFromSource,\n  type ParsedSpec,\n  specToMarkdown,\n} from '@contractspec/module.workspace';\nimport { listSpecs } from '../list';\nimport type { FsAdapter } from '../../ports/fs';\n\nexport * from './verify-static';\n\n/**\n * Generate full markdown context for a feature, including referenced specs.\n */\nexport async function generateFeatureContextMarkdown(\n  feature: ParsedSpec,\n  adapters: { fs: FsAdapter }\n): Promise<string> {\n  const parts: string[] = [];\n\n  // 1. Render feature header/context\n  parts.push(specToMarkdown(feature, 'context'));\n\n  // 2. Find all referenced specs\n  // We need to scan the workspace to find them\n  // Optimization: In a real app we might have a pre-built index\n  const allSpecs = await listSpecs(adapters);\n\n  // Helper to find and load a spec\n  const loadChild = async (ref: { name: string; version: string }) => {\n    const found = allSpecs.find(\n      (s) => s.key === ref.name && s.version === ref.version\n    );\n    if (!found) return null;\n\n    // Load full parsed spec\n    const specs = await loadSpecFromSource(found.filePath);\n    return specs.find((s) => s.meta.key === ref.name) ?? null;\n  };\n\n  // 3. Render operations\n  if (feature.operations?.length) {\n    parts.push(`\\n## Operations (${feature.operations.length})\\n`);\n    for (const op of feature.operations) {\n      const child = await loadChild(op);\n      if (child) {\n        parts.push(specToMarkdown(child, 'full'));\n      } else {\n        parts.push(`### ${op.name} (v${op.version})\\n\\n*Spec not found*`);\n      }\n      parts.push('---');\n    }\n  }\n\n  // 4. Render events\n  if (feature.events?.length) {\n    parts.push(`\\n## Events (${feature.events.length})\\n`);\n    for (const ev of feature.events) {\n      const child = await loadChild(ev);\n      if (child) {\n        parts.push(specToMarkdown(child, 'full'));\n      } else {\n        parts.push(`### ${ev.name} (v${ev.version})\\n\\n*Spec not found*`);\n      }\n      parts.push('---');\n    }\n  }\n\n  // 5. Render presentations\n  if (feature.presentations?.length) {\n    parts.push(`\\n## Presentations (${feature.presentations.length})\\n`);\n    for (const pres of feature.presentations) {\n      const child = await loadChild(pres);\n      if (child) {\n        parts.push(specToMarkdown(child, 'full'));\n      } else {\n        parts.push(`### ${pres.name} (v${pres.version})\\n\\n*Spec not found*`);\n      }\n      parts.push('---');\n    }\n  }\n\n  return parts.join('\\n');\n}\n\n/**\n * Generate an implementation guide for a parsed spec.\n * This logic was extracted from VSCode extension.\n */\nexport function generateGuideFromParsedSpec(\n  spec: ParsedSpec,\n  agent: AgentType\n): string {\n  const lines: string[] = [];\n\n  // Header\n  lines.push(`# Implementation Guide: ${spec.meta.key}`);\n  lines.push('');\n  lines.push(`**Target Agent**: ${agent}`);\n  lines.push(\n    `**Spec Type**: ${spec.specType}${spec.kind ? ` (${spec.kind})` : ''}`\n  );\n  lines.push('');\n\n  // Description\n  if (spec.meta.description) {\n    lines.push('## Overview');\n    lines.push('');\n    lines.push(spec.meta.description);\n    lines.push('');\n  }\n\n  // Goal and Context\n  if (spec.meta.goal) {\n    lines.push('## Goal');\n    lines.push('');\n    lines.push(spec.meta.goal);\n    lines.push('');\n  }\n\n  if (spec.meta.context) {\n    lines.push('## Context');\n    lines.push('');\n    lines.push(spec.meta.context);\n    lines.push('');\n  }\n\n  // Implementation Steps\n  lines.push('## Implementation Steps');\n  lines.push('');\n\n  if (spec.specType === 'operation') {\n    lines.push(`1. Create the ${spec.kind ?? 'operation'} handler function`);\n    if (spec.hasIo) {\n      lines.push('2. Implement input validation according to the schema');\n      lines.push('3. Implement the core business logic');\n      lines.push('4. Return output matching the expected schema');\n    }\n    if (spec.hasPolicy) {\n      lines.push('5. Enforce authorization and policies');\n    }\n    if (spec.emittedEvents && spec.emittedEvents.length > 0) {\n      lines.push('6. Emit events on success:');\n      for (const ev of spec.emittedEvents) {\n        lines.push(`   - \\`${ev.name}\\` (v${ev.version})`);\n      }\n    }\n    lines.push('7. Add error handling for expected failure cases');\n    lines.push('8. Write tests covering success and error scenarios');\n  } else if (spec.specType === 'feature') {\n    lines.push('1. Set up the feature module structure');\n    if (spec.operations && spec.operations.length > 0) {\n      lines.push('2. Implement operations:');\n      for (const op of spec.operations) {\n        lines.push(`   - \\`${op.name}\\` (v${op.version})`);\n      }\n    }\n    if (spec.presentations && spec.presentations.length > 0) {\n      lines.push('3. Implement presentations:');\n      for (const pres of spec.presentations) {\n        lines.push(`   - \\`${pres.name}\\` (v${pres.version})`);\n      }\n    }\n    lines.push('4. Wire up feature exports');\n    lines.push('5. Add integration tests');\n  } else {\n    lines.push('1. Review the spec requirements');\n    lines.push('2. Implement the core logic');\n    lines.push('3. Add tests');\n    lines.push('4. Document the implementation');\n  }\n\n  lines.push('');\n\n  // Constraints\n  lines.push('## Constraints');\n  lines.push('');\n  lines.push(`- Stability: ${spec.meta.stability ?? 'experimental'}`);\n  if (spec.meta.owners && spec.meta.owners.length > 0) {\n    lines.push(`- Owners: ${spec.meta.owners.join(', ')}`);\n  }\n  if (spec.meta.tags && spec.meta.tags.length > 0) {\n    lines.push(`- Tags: ${spec.meta.tags.join(', ')}`);\n  }\n  lines.push('');\n\n  // Agent-specific notes\n  if (agent === 'cursor-cli') {\n    lines.push('## Cursor Notes');\n    lines.push('');\n    lines.push('- Use Composer mode for multi-file changes');\n    lines.push('- Reference this guide in your cursor rules');\n    lines.push('- Break implementation into small, focused commits');\n  } else if (agent === 'claude-code') {\n    lines.push('## Claude Code Notes');\n    lines.push('');\n    lines.push('- Use extended thinking for complex logic');\n    lines.push('- Ask for clarification on ambiguous requirements');\n    lines.push('- Provide step-by-step reasoning');\n  } else if (agent === 'generic-mcp') {\n    lines.push('## General Notes');\n    lines.push('');\n    lines.push('- Use inline comments to guide generation');\n    lines.push('- Review generated code carefully');\n  }\n\n  // Append context formatted spec\n  lines.push('');\n  lines.push('## Spec Definition');\n  lines.push('');\n  lines.push(specToMarkdown(spec, 'full'));\n\n  return lines.join('\\n');\n}\n\n/**\n * Generate Cursor rules from parsed spec.\n */\nexport function generateCursorRulesFromParsedSpec(spec: ParsedSpec): string {\n  const lines: string[] = [];\n\n  lines.push(`# ${spec.meta.key}`);\n  lines.push('');\n  lines.push(`Description: ${spec.meta.description ?? 'No description'}`);\n  lines.push('');\n  lines.push('## Rules');\n  lines.push('');\n\n  if (spec.specType === 'operation') {\n    lines.push(`- This is a ${spec.kind ?? 'operation'} spec`);\n    if (spec.hasIo) {\n      lines.push('- Validate input and output against schemas');\n    }\n    if (spec.hasPolicy) {\n      lines.push('- Enforce authorization policies');\n    }\n    if (spec.emittedEvents && spec.emittedEvents.length > 0) {\n      lines.push('- Emit documented events');\n    }\n  } else if (spec.specType === 'feature') {\n    lines.push('- Implement all operations and presentations');\n    lines.push('- Follow modular architecture');\n  } else {\n    lines.push(`- Follow ${spec.specType} patterns`);\n  }\n\n  lines.push('- Follow project code quality standards');\n  lines.push('- Write tests for new functionality');\n\n  return lines.join('\\n');\n}\n\n/**\n * Export spec to clipboard format suitable for pasting into LLM.\n */\nexport function exportSpecForLLM(\n  spec: ParsedSpec,\n  format: 'guide' | 'rules' | 'prompt' | 'context' | 'full',\n  agent: AgentType = 'generic-mcp'\n): string {\n  switch (format) {\n    case 'guide':\n      return generateGuideFromParsedSpec(spec, agent);\n    case 'rules':\n      return generateCursorRulesFromParsedSpec(spec);\n    case 'prompt':\n      return specToMarkdown(spec, 'prompt');\n    case 'context':\n      return specToMarkdown(spec, 'context');\n    case 'full':\n    default:\n      return specToMarkdown(spec, 'full');\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;AAqBA,eAAsB,+BACpB,SACA,UACiB;CACjB,MAAM,QAAkB,EAAE;AAG1B,OAAM,KAAK,eAAe,SAAS,UAAU,CAAC;CAK9C,MAAM,WAAW,MAAM,UAAU,SAAS;CAG1C,MAAM,YAAY,OAAO,QAA2C;EAClE,MAAM,QAAQ,SAAS,MACpB,MAAM,EAAE,QAAQ,IAAI,QAAQ,EAAE,YAAY,IAAI,QAChD;AACD,MAAI,CAAC,MAAO,QAAO;AAInB,UADc,MAAM,mBAAmB,MAAM,SAAS,EACzC,MAAM,MAAM,EAAE,KAAK,QAAQ,IAAI,KAAK,IAAI;;AAIvD,KAAI,QAAQ,YAAY,QAAQ;AAC9B,QAAM,KAAK,oBAAoB,QAAQ,WAAW,OAAO,KAAK;AAC9D,OAAK,MAAM,MAAM,QAAQ,YAAY;GACnC,MAAM,QAAQ,MAAM,UAAU,GAAG;AACjC,OAAI,MACF,OAAM,KAAK,eAAe,OAAO,OAAO,CAAC;OAEzC,OAAM,KAAK,OAAO,GAAG,KAAK,KAAK,GAAG,QAAQ,uBAAuB;AAEnE,SAAM,KAAK,MAAM;;;AAKrB,KAAI,QAAQ,QAAQ,QAAQ;AAC1B,QAAM,KAAK,gBAAgB,QAAQ,OAAO,OAAO,KAAK;AACtD,OAAK,MAAM,MAAM,QAAQ,QAAQ;GAC/B,MAAM,QAAQ,MAAM,UAAU,GAAG;AACjC,OAAI,MACF,OAAM,KAAK,eAAe,OAAO,OAAO,CAAC;OAEzC,OAAM,KAAK,OAAO,GAAG,KAAK,KAAK,GAAG,QAAQ,uBAAuB;AAEnE,SAAM,KAAK,MAAM;;;AAKrB,KAAI,QAAQ,eAAe,QAAQ;AACjC,QAAM,KAAK,uBAAuB,QAAQ,cAAc,OAAO,KAAK;AACpE,OAAK,MAAM,QAAQ,QAAQ,eAAe;GACxC,MAAM,QAAQ,MAAM,UAAU,KAAK;AACnC,OAAI,MACF,OAAM,KAAK,eAAe,OAAO,OAAO,CAAC;OAEzC,OAAM,KAAK,OAAO,KAAK,KAAK,KAAK,KAAK,QAAQ,uBAAuB;AAEvE,SAAM,KAAK,MAAM;;;AAIrB,QAAO,MAAM,KAAK,KAAK;;;;;;AAOzB,SAAgB,4BACd,MACA,OACQ;CACR,MAAM,QAAkB,EAAE;AAG1B,OAAM,KAAK,2BAA2B,KAAK,KAAK,MAAM;AACtD,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,qBAAqB,QAAQ;AACxC,OAAM,KACJ,kBAAkB,KAAK,WAAW,KAAK,OAAO,KAAK,KAAK,KAAK,KAAK,KACnE;AACD,OAAM,KAAK,GAAG;AAGd,KAAI,KAAK,KAAK,aAAa;AACzB,QAAM,KAAK,cAAc;AACzB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,KAAK,KAAK,YAAY;AACjC,QAAM,KAAK,GAAG;;AAIhB,KAAI,KAAK,KAAK,MAAM;AAClB,QAAM,KAAK,UAAU;AACrB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,KAAK,KAAK,KAAK;AAC1B,QAAM,KAAK,GAAG;;AAGhB,KAAI,KAAK,KAAK,SAAS;AACrB,QAAM,KAAK,aAAa;AACxB,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,KAAK,KAAK,QAAQ;AAC7B,QAAM,KAAK,GAAG;;AAIhB,OAAM,KAAK,0BAA0B;AACrC,OAAM,KAAK,GAAG;AAEd,KAAI,KAAK,aAAa,aAAa;AACjC,QAAM,KAAK,iBAAiB,KAAK,QAAQ,YAAY,mBAAmB;AACxE,MAAI,KAAK,OAAO;AACd,SAAM,KAAK,wDAAwD;AACnE,SAAM,KAAK,uCAAuC;AAClD,SAAM,KAAK,gDAAgD;;AAE7D,MAAI,KAAK,UACP,OAAM,KAAK,wCAAwC;AAErD,MAAI,KAAK,iBAAiB,KAAK,cAAc,SAAS,GAAG;AACvD,SAAM,KAAK,6BAA6B;AACxC,QAAK,MAAM,MAAM,KAAK,cACpB,OAAM,KAAK,UAAU,GAAG,KAAK,OAAO,GAAG,QAAQ,GAAG;;AAGtD,QAAM,KAAK,mDAAmD;AAC9D,QAAM,KAAK,sDAAsD;YACxD,KAAK,aAAa,WAAW;AACtC,QAAM,KAAK,yCAAyC;AACpD,MAAI,KAAK,cAAc,KAAK,WAAW,SAAS,GAAG;AACjD,SAAM,KAAK,2BAA2B;AACtC,QAAK,MAAM,MAAM,KAAK,WACpB,OAAM,KAAK,UAAU,GAAG,KAAK,OAAO,GAAG,QAAQ,GAAG;;AAGtD,MAAI,KAAK,iBAAiB,KAAK,cAAc,SAAS,GAAG;AACvD,SAAM,KAAK,8BAA8B;AACzC,QAAK,MAAM,QAAQ,KAAK,cACtB,OAAM,KAAK,UAAU,KAAK,KAAK,OAAO,KAAK,QAAQ,GAAG;;AAG1D,QAAM,KAAK,6BAA6B;AACxC,QAAM,KAAK,2BAA2B;QACjC;AACL,QAAM,KAAK,kCAAkC;AAC7C,QAAM,KAAK,8BAA8B;AACzC,QAAM,KAAK,eAAe;AAC1B,QAAM,KAAK,iCAAiC;;AAG9C,OAAM,KAAK,GAAG;AAGd,OAAM,KAAK,iBAAiB;AAC5B,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,gBAAgB,KAAK,KAAK,aAAa,iBAAiB;AACnE,KAAI,KAAK,KAAK,UAAU,KAAK,KAAK,OAAO,SAAS,EAChD,OAAM,KAAK,aAAa,KAAK,KAAK,OAAO,KAAK,KAAK,GAAG;AAExD,KAAI,KAAK,KAAK,QAAQ,KAAK,KAAK,KAAK,SAAS,EAC5C,OAAM,KAAK,WAAW,KAAK,KAAK,KAAK,KAAK,KAAK,GAAG;AAEpD,OAAM,KAAK,GAAG;AAGd,KAAI,UAAU,cAAc;AAC1B,QAAM,KAAK,kBAAkB;AAC7B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,6CAA6C;AACxD,QAAM,KAAK,8CAA8C;AACzD,QAAM,KAAK,qDAAqD;YACvD,UAAU,eAAe;AAClC,QAAM,KAAK,uBAAuB;AAClC,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,4CAA4C;AACvD,QAAM,KAAK,oDAAoD;AAC/D,QAAM,KAAK,mCAAmC;YACrC,UAAU,eAAe;AAClC,QAAM,KAAK,mBAAmB;AAC9B,QAAM,KAAK,GAAG;AACd,QAAM,KAAK,4CAA4C;AACvD,QAAM,KAAK,oCAAoC;;AAIjD,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,qBAAqB;AAChC,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,eAAe,MAAM,OAAO,CAAC;AAExC,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,kCAAkC,MAA0B;CAC1E,MAAM,QAAkB,EAAE;AAE1B,OAAM,KAAK,KAAK,KAAK,KAAK,MAAM;AAChC,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,gBAAgB,KAAK,KAAK,eAAe,mBAAmB;AACvE,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,WAAW;AACtB,OAAM,KAAK,GAAG;AAEd,KAAI,KAAK,aAAa,aAAa;AACjC,QAAM,KAAK,eAAe,KAAK,QAAQ,YAAY,OAAO;AAC1D,MAAI,KAAK,MACP,OAAM,KAAK,8CAA8C;AAE3D,MAAI,KAAK,UACP,OAAM,KAAK,mCAAmC;AAEhD,MAAI,KAAK,iBAAiB,KAAK,cAAc,SAAS,EACpD,OAAM,KAAK,2BAA2B;YAE/B,KAAK,aAAa,WAAW;AACtC,QAAM,KAAK,+CAA+C;AAC1D,QAAM,KAAK,gCAAgC;OAE3C,OAAM,KAAK,YAAY,KAAK,SAAS,WAAW;AAGlD,OAAM,KAAK,0CAA0C;AACrD,OAAM,KAAK,sCAAsC;AAEjD,QAAO,MAAM,KAAK,KAAK;;;;;AAMzB,SAAgB,iBACd,MACA,QACA,QAAmB,eACX;AACR,SAAQ,QAAR;EACE,KAAK,QACH,QAAO,4BAA4B,MAAM,MAAM;EACjD,KAAK,QACH,QAAO,kCAAkC,KAAK;EAChD,KAAK,SACH,QAAO,eAAe,MAAM,SAAS;EACvC,KAAK,UACH,QAAO,eAAe,MAAM,UAAU;EACxC,KAAK;EACL,QACE,QAAO,eAAe,MAAM,OAAO"}

package/dist/services/llm/verify-static.d.mts

@@ -0,0 +1,26 @@
+import { ParsedSpec } from "@contractspec/module.workspace";
+import { VerificationTier } from "@contractspec/lib.contracts/llm";
+
+//#region src/services/llm/verify-static.d.ts
+
+/**
+ * Verification issue found during static check.
+ */
+interface VerificationIssue$1 {
+  severity: 'error' | 'warning' | 'info';
+  message: string;
+  category: string;
+  line?: number;
+}
+/**
+ * Verify implementation against parsed spec.
+ * This is a simplified verification that checks for basic patterns.
+ */
+declare function verifyImplementationAgainstParsedSpec(spec: ParsedSpec, implementationCode: string, tiers: VerificationTier[]): VerificationIssue$1[];
+/**
+ * Format verification report as markdown.
+ */
+declare function formatVerificationReport(spec: ParsedSpec, issues: VerificationIssue$1[]): string;
+//#endregion
+export { VerificationIssue$1 as VerificationIssue, formatVerificationReport, verifyImplementationAgainstParsedSpec };
+//# sourceMappingURL=verify-static.d.mts.map

package/dist/services/llm/verify-static.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-static.d.mts","names":[],"sources":["../../../src/services/llm/verify-static.ts"],"sourcesContent":[],"mappings":";;;;;;;AAyGA;UA5FiB,mBAAA;;;;;;;;;;iBAWD,qCAAA,OACR,+CAEC,qBACN;;;;iBA6Ea,wBAAA,OACR,oBACE"}

package/dist/services/llm/verify-static.mjs

@@ -0,0 +1,82 @@
+//#region src/services/llm/verify-static.ts
+/**
+* Verify implementation against parsed spec.
+* This is a simplified verification that checks for basic patterns.
+*/
+function verifyImplementationAgainstParsedSpec(spec, implementationCode, tiers) {
+	const issues = [];
+	if (tiers.includes("structure")) {
+		if (!/export\s+(async\s+)?function|export\s+class|export\s+const/.test(implementationCode)) issues.push({
+			severity: "warning",
+			message: "No exports found in implementation",
+			category: "structure"
+		});
+		if (spec.meta.key && !implementationCode.includes(spec.meta.key)) issues.push({
+			severity: "info",
+			message: `Spec name "${spec.meta.key}" not found in implementation`,
+			category: "structure"
+		});
+	}
+	if (tiers.includes("behavior")) {
+		if (!/try\s*{|catch\s*\(|throw\s+new/.test(implementationCode)) issues.push({
+			severity: "warning",
+			message: "No error handling patterns found",
+			category: "behavior"
+		});
+		if (spec.specType === "operation") {
+			if (!/async\s+|await\s+|Promise/.test(implementationCode)) issues.push({
+				severity: "info",
+				message: "No async patterns found (operations typically use async)",
+				category: "behavior"
+			});
+		}
+		if (spec.emittedEvents && spec.emittedEvents.length > 0) {
+			if (!/emit|publish|dispatch|fire/i.test(implementationCode)) issues.push({
+				severity: "warning",
+				message: `Spec emits ${spec.emittedEvents.length} event(s) but no event emission found`,
+				category: "behavior"
+			});
+		}
+	}
+	return issues;
+}
+/**
+* Format verification report as markdown.
+*/
+function formatVerificationReport(spec, issues) {
+	const lines = [];
+	lines.push(`# Verification Report: ${spec.meta.key}`);
+	lines.push("");
+	const errors = issues.filter((i) => i.severity === "error");
+	const warnings = issues.filter((i) => i.severity === "warning");
+	const infos = issues.filter((i) => i.severity === "info");
+	lines.push("## Summary");
+	lines.push("");
+	lines.push(`- Errors: ${errors.length}`);
+	lines.push(`- Warnings: ${warnings.length}`);
+	lines.push(`- Info: ${infos.length}`);
+	lines.push("");
+	if (errors.length > 0) {
+		lines.push("## Errors");
+		lines.push("");
+		for (const issue of errors) lines.push(`- ❌ **${issue.category}**: ${issue.message}`);
+		lines.push("");
+	}
+	if (warnings.length > 0) {
+		lines.push("## Warnings");
+		lines.push("");
+		for (const issue of warnings) lines.push(`- ⚠️ **${issue.category}**: ${issue.message}`);
+		lines.push("");
+	}
+	if (infos.length > 0) {
+		lines.push("## Info");
+		lines.push("");
+		for (const issue of infos) lines.push(`- ℹ️ **${issue.category}**: ${issue.message}`);
+		lines.push("");
+	}
+	return lines.join("\n");
+}
+
+//#endregion
+export { formatVerificationReport, verifyImplementationAgainstParsedSpec };
+//# sourceMappingURL=verify-static.mjs.map

package/dist/services/llm/verify-static.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-static.mjs","names":[],"sources":["../../../src/services/llm/verify-static.ts"],"sourcesContent":["/**\n * Static verification of implementation against parsed spec.\n *\n * This performs lightweight checks based on regex and static analysis\n * without requiring a full build or runtime environment.\n */\n\nimport type { VerificationTier } from '@contractspec/lib.contracts/llm';\nimport type { ParsedSpec } from '@contractspec/module.workspace';\n\n/**\n * Verification issue found during static check.\n */\nexport interface VerificationIssue {\n  severity: 'error' | 'warning' | 'info';\n  message: string;\n  category: string;\n  line?: number;\n}\n\n/**\n * Verify implementation against parsed spec.\n * This is a simplified verification that checks for basic patterns.\n */\nexport function verifyImplementationAgainstParsedSpec(\n  spec: ParsedSpec,\n  implementationCode: string,\n  tiers: VerificationTier[]\n): VerificationIssue[] {\n  const issues: VerificationIssue[] = [];\n\n  // Structure checks (Tier 1)\n  if (tiers.includes('structure')) {\n    // Check for function/class export\n    const hasExport =\n      /export\\s+(async\\s+)?function|export\\s+class|export\\s+const/.test(\n        implementationCode\n      );\n    if (!hasExport) {\n      issues.push({\n        severity: 'warning',\n        message: 'No exports found in implementation',\n        category: 'structure',\n      });\n    }\n\n    // Check for spec name reference\n    if (spec.meta.key && !implementationCode.includes(spec.meta.key)) {\n      issues.push({\n        severity: 'info',\n        message: `Spec name \"${spec.meta.key}\" not found in implementation`,\n        category: 'structure',\n      });\n    }\n  }\n\n  // Behavior checks (Tier 2)\n  if (tiers.includes('behavior')) {\n    // Check for error handling\n    const hasErrorHandling = /try\\s*{|catch\\s*\\(|throw\\s+new/.test(\n      implementationCode\n    );\n    if (!hasErrorHandling) {\n      issues.push({\n        severity: 'warning',\n        message: 'No error handling patterns found',\n        category: 'behavior',\n      });\n    }\n\n    // Check for async patterns if needed\n    if (spec.specType === 'operation') {\n      const hasAsyncPattern = /async\\s+|await\\s+|Promise/.test(\n        implementationCode\n      );\n      if (!hasAsyncPattern) {\n        issues.push({\n          severity: 'info',\n          message: 'No async patterns found (operations typically use async)',\n          category: 'behavior',\n        });\n      }\n    }\n\n    // Check for event emission if spec defines emitted events\n    if (spec.emittedEvents && spec.emittedEvents.length > 0) {\n      const hasEventEmit = /emit|publish|dispatch|fire/i.test(\n        implementationCode\n      );\n      if (!hasEventEmit) {\n        issues.push({\n          severity: 'warning',\n          message: `Spec emits ${spec.emittedEvents.length} event(s) but no event emission found`,\n          category: 'behavior',\n        });\n      }\n    }\n  }\n\n  return issues;\n}\n\n/**\n * Format verification report as markdown.\n */\nexport function formatVerificationReport(\n  spec: ParsedSpec,\n  issues: VerificationIssue[]\n): string {\n  const lines: string[] = [];\n\n  lines.push(`# Verification Report: ${spec.meta.key}`);\n  lines.push('');\n\n  const errors = issues.filter((i) => i.severity === 'error');\n  const warnings = issues.filter((i) => i.severity === 'warning');\n  const infos = issues.filter((i) => i.severity === 'info');\n\n  lines.push('## Summary');\n  lines.push('');\n  lines.push(`- Errors: ${errors.length}`);\n  lines.push(`- Warnings: ${warnings.length}`);\n  lines.push(`- Info: ${infos.length}`);\n  lines.push('');\n\n  if (errors.length > 0) {\n    lines.push('## Errors');\n    lines.push('');\n    for (const issue of errors) {\n      lines.push(`- ❌ **${issue.category}**: ${issue.message}`);\n    }\n    lines.push('');\n  }\n\n  if (warnings.length > 0) {\n    lines.push('## Warnings');\n    lines.push('');\n    for (const issue of warnings) {\n      lines.push(`- ⚠️ **${issue.category}**: ${issue.message}`);\n    }\n    lines.push('');\n  }\n\n  if (infos.length > 0) {\n    lines.push('## Info');\n    lines.push('');\n    for (const issue of infos) {\n      lines.push(`- ℹ️ **${issue.category}**: ${issue.message}`);\n    }\n    lines.push('');\n  }\n\n  return lines.join('\\n');\n}\n"],"mappings":";;;;;AAwBA,SAAgB,sCACd,MACA,oBACA,OACqB;CACrB,MAAM,SAA8B,EAAE;AAGtC,KAAI,MAAM,SAAS,YAAY,EAAE;AAM/B,MAAI,CAHF,6DAA6D,KAC3D,mBACD,CAED,QAAO,KAAK;GACV,UAAU;GACV,SAAS;GACT,UAAU;GACX,CAAC;AAIJ,MAAI,KAAK,KAAK,OAAO,CAAC,mBAAmB,SAAS,KAAK,KAAK,IAAI,CAC9D,QAAO,KAAK;GACV,UAAU;GACV,SAAS,cAAc,KAAK,KAAK,IAAI;GACrC,UAAU;GACX,CAAC;;AAKN,KAAI,MAAM,SAAS,WAAW,EAAE;AAK9B,MAAI,CAHqB,iCAAiC,KACxD,mBACD,CAEC,QAAO,KAAK;GACV,UAAU;GACV,SAAS;GACT,UAAU;GACX,CAAC;AAIJ,MAAI,KAAK,aAAa,aAIpB;OAAI,CAHoB,4BAA4B,KAClD,mBACD,CAEC,QAAO,KAAK;IACV,UAAU;IACV,SAAS;IACT,UAAU;IACX,CAAC;;AAKN,MAAI,KAAK,iBAAiB,KAAK,cAAc,SAAS,GAIpD;OAAI,CAHiB,8BAA8B,KACjD,mBACD,CAEC,QAAO,KAAK;IACV,UAAU;IACV,SAAS,cAAc,KAAK,cAAc,OAAO;IACjD,UAAU;IACX,CAAC;;;AAKR,QAAO;;;;;AAMT,SAAgB,yBACd,MACA,QACQ;CACR,MAAM,QAAkB,EAAE;AAE1B,OAAM,KAAK,0BAA0B,KAAK,KAAK,MAAM;AACrD,OAAM,KAAK,GAAG;CAEd,MAAM,SAAS,OAAO,QAAQ,MAAM,EAAE,aAAa,QAAQ;CAC3D,MAAM,WAAW,OAAO,QAAQ,MAAM,EAAE,aAAa,UAAU;CAC/D,MAAM,QAAQ,OAAO,QAAQ,MAAM,EAAE,aAAa,OAAO;AAEzD,OAAM,KAAK,aAAa;AACxB,OAAM,KAAK,GAAG;AACd,OAAM,KAAK,aAAa,OAAO,SAAS;AACxC,OAAM,KAAK,eAAe,SAAS,SAAS;AAC5C,OAAM,KAAK,WAAW,MAAM,SAAS;AACrC,OAAM,KAAK,GAAG;AAEd,KAAI,OAAO,SAAS,GAAG;AACrB,QAAM,KAAK,YAAY;AACvB,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,SAAS,OAClB,OAAM,KAAK,SAAS,MAAM,SAAS,MAAM,MAAM,UAAU;AAE3D,QAAM,KAAK,GAAG;;AAGhB,KAAI,SAAS,SAAS,GAAG;AACvB,QAAM,KAAK,cAAc;AACzB,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,SAAS,SAClB,OAAM,KAAK,UAAU,MAAM,SAAS,MAAM,MAAM,UAAU;AAE5D,QAAM,KAAK,GAAG;;AAGhB,KAAI,MAAM,SAAS,GAAG;AACpB,QAAM,KAAK,UAAU;AACrB,QAAM,KAAK,GAAG;AACd,OAAK,MAAM,SAAS,MAClB,OAAM,KAAK,UAAU,MAAM,SAAS,MAAM,MAAM,UAAU;AAE5D,QAAM,KAAK,GAAG;;AAGhB,QAAO,MAAM,KAAK,KAAK"}

package/dist/services/modules/module-resolver.mjs

@@ -0,0 +1,61 @@
+import { dirname, sep } from "path";
+
+//#region src/services/modules/module-resolver.ts
+var ModuleResolver = class {
+	modules = [];
+	initialized = false;
+	constructor(adapters) {
+		this.adapters = adapters;
+	}
+	/**
+	* Initialize resolver by scanning for module definitions from a list of specs.
+	* This is lightweight - it just indexes the specs passed to it.
+	*/
+	initialize(specs) {
+		this.modules = [];
+		for (const spec of specs) {
+			let type;
+			if (spec.specType === "app-config") type = "app-config";
+			else if (spec.specType === "example") type = "example";
+			else if (spec.specType === "feature") type = "feature";
+			if (type && spec.key) {
+				const dirPath = dirname(spec.filePath);
+				this.modules.push({
+					type,
+					key: spec.key,
+					dirPath
+				});
+			}
+		}
+		this.initialized = true;
+	}
+	/**
+	* Resolve the owning module for a given file path.
+	* Priority: AppConfig > Example > Feature
+	*/
+	resolve(filePath) {
+		if (!this.initialized) throw new Error("ModuleResolver must be initialized before use");
+		const fileDir = dirname(filePath);
+		const candidates = this.modules.filter((mod) => {
+			const modDirWithSep = mod.dirPath.endsWith(sep) ? mod.dirPath : mod.dirPath + sep;
+			return (fileDir.endsWith(sep) ? fileDir : fileDir + sep).startsWith(modDirWithSep) || fileDir === mod.dirPath;
+		});
+		if (candidates.length === 0) return;
+		candidates.sort((a, b) => {
+			const priority = {
+				"app-config": 3,
+				example: 2,
+				feature: 1
+			};
+			const pA = priority[a.type];
+			const pB = priority[b.type];
+			if (pA !== pB) return pB - pA;
+			return b.dirPath.length - a.dirPath.length;
+		});
+		return candidates[0];
+	}
+};
+
+//#endregion
+export { ModuleResolver };
+//# sourceMappingURL=module-resolver.mjs.map

package/dist/services/modules/module-resolver.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-resolver.mjs","names":[],"sources":["../../../src/services/modules/module-resolver.ts"],"sourcesContent":["import { dirname, sep } from 'path';\nimport type { SpecScanResult } from '@contractspec/module.workspace';\nimport type { WorkspaceAdapters } from '../../ports/logger';\n\nexport interface ModuleDefinition {\n  type: 'app-config' | 'example' | 'feature';\n  key: string;\n  dirPath: string;\n}\n\nexport class ModuleResolver {\n  private modules: ModuleDefinition[] = [];\n  private initialized = false;\n\n  constructor(private adapters: WorkspaceAdapters) {}\n\n  /**\n   * Initialize resolver by scanning for module definitions from a list of specs.\n   * This is lightweight - it just indexes the specs passed to it.\n   */\n  public initialize(specs: SpecScanResult[]): void {\n    this.modules = [];\n\n    for (const spec of specs) {\n      // Identify module definitions based on spec type\n      let type: ModuleDefinition['type'] | undefined;\n\n      if (spec.specType === 'app-config') {\n        type = 'app-config';\n      } else if (spec.specType === 'example') {\n        type = 'example';\n      } else if (spec.specType === 'feature') {\n        type = 'feature';\n      }\n\n      if (type && spec.key) {\n        // Store absolute directory path for the module\n        // We assume spec.filePath is absolute (as per scan logic)\n        const dirPath = dirname(spec.filePath);\n        this.modules.push({\n          type,\n          key: spec.key,\n          dirPath,\n        });\n      }\n    }\n    this.initialized = true;\n  }\n\n  /**\n   * Resolve the owning module for a given file path.\n   * Priority: AppConfig > Example > Feature\n   */\n  public resolve(filePath: string): ModuleDefinition | undefined {\n    if (!this.initialized) {\n      throw new Error('ModuleResolver must be initialized before use');\n    }\n\n    const fileDir = dirname(filePath);\n\n    // Find all modules that contain this file\n    const candidates = this.modules.filter((mod) => {\n      // Check if fileDir starts with module dirPath\n      // Ensure we match directory boundaries (add trailing separator if needed for prefix check)\n      const modDirWithSep = mod.dirPath.endsWith(sep)\n        ? mod.dirPath\n        : mod.dirPath + sep;\n      const fileDirWithSep = fileDir.endsWith(sep) ? fileDir : fileDir + sep;\n\n      return (\n        fileDirWithSep.startsWith(modDirWithSep) || fileDir === mod.dirPath\n      );\n    });\n\n    if (candidates.length === 0) {\n      return undefined;\n    }\n\n    // Apply priority: AppConfig > Example > Feature\n    // If multiple of same type, pick the deepest one (longest path)?\n    // The requirement says \"Parent Priority\". Usually \"closest parent\" is desired,\n    // but the conflict might be:\n    // /apps/myapp (AppConfig)\n    //   /src/features/myfeat (Feature)\n    //     /src/ops/op.ts\n    //\n    // Ancestry: [AppConfig (/apps/myapp), Feature (/apps/myapp/src/features/myfeat)]\n    // Requirement priority: AppConfig > Example > Feature.\n    // So if both exist in ancestry, we pick AppConfig (even if Feature is closer).\n\n    // Sort candidates by priority type\n    candidates.sort((a, b) => {\n      const priority = { 'app-config': 3, example: 2, feature: 1 };\n      const pA = priority[a.type];\n      const pB = priority[b.type];\n      if (pA !== pB) {\n        return pB - pA; // Descending priority (3 > 2 > 1)\n      }\n      // Same type? Pick closest (longest path)\n      return b.dirPath.length - a.dirPath.length;\n    });\n\n    return candidates[0];\n  }\n}\n"],"mappings":";;;AAUA,IAAa,iBAAb,MAA4B;CAC1B,AAAQ,UAA8B,EAAE;CACxC,AAAQ,cAAc;CAEtB,YAAY,AAAQ,UAA6B;EAA7B;;;;;;CAMpB,AAAO,WAAW,OAA+B;AAC/C,OAAK,UAAU,EAAE;AAEjB,OAAK,MAAM,QAAQ,OAAO;GAExB,IAAI;AAEJ,OAAI,KAAK,aAAa,aACpB,QAAO;YACE,KAAK,aAAa,UAC3B,QAAO;YACE,KAAK,aAAa,UAC3B,QAAO;AAGT,OAAI,QAAQ,KAAK,KAAK;IAGpB,MAAM,UAAU,QAAQ,KAAK,SAAS;AACtC,SAAK,QAAQ,KAAK;KAChB;KACA,KAAK,KAAK;KACV;KACD,CAAC;;;AAGN,OAAK,cAAc;;;;;;CAOrB,AAAO,QAAQ,UAAgD;AAC7D,MAAI,CAAC,KAAK,YACR,OAAM,IAAI,MAAM,gDAAgD;EAGlE,MAAM,UAAU,QAAQ,SAAS;EAGjC,MAAM,aAAa,KAAK,QAAQ,QAAQ,QAAQ;GAG9C,MAAM,gBAAgB,IAAI,QAAQ,SAAS,IAAI,GAC3C,IAAI,UACJ,IAAI,UAAU;AAGlB,WAFuB,QAAQ,SAAS,IAAI,GAAG,UAAU,UAAU,KAGlD,WAAW,cAAc,IAAI,YAAY,IAAI;IAE9D;AAEF,MAAI,WAAW,WAAW,EACxB;AAgBF,aAAW,MAAM,GAAG,MAAM;GACxB,MAAM,WAAW;IAAE,cAAc;IAAG,SAAS;IAAG,SAAS;IAAG;GAC5D,MAAM,KAAK,SAAS,EAAE;GACtB,MAAM,KAAK,SAAS,EAAE;AACtB,OAAI,OAAO,GACT,QAAO,KAAK;AAGd,UAAO,EAAE,QAAQ,SAAS,EAAE,QAAQ;IACpC;AAEF,SAAO,WAAW"}

package/dist/services/openapi/export-service.d.mts

@@ -0,0 +1,53 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { LoggerAdapter } from "../../ports/logger.mjs";
+import { OpenApiDocument, OpenApiServer } from "@contractspec/lib.contracts";
+
+//#region src/services/openapi/export-service.d.ts
+
+/**
+ * Options for OpenAPI export.
+ */
+interface OpenApiExportOptions {
+  /**
+   * Path to module exporting OperationSpecRegistry.
+   */
+  registryPath: string;
+  /**
+   * Output file path.
+   */
+  outputPath?: string;
+  /**
+   * OpenAPI title.
+   */
+  title?: string;
+  /**
+   * OpenAPI version.
+   */
+  version?: string;
+  /**
+   * OpenAPI description.
+   */
+  description?: string;
+  /**
+   * Server URLs to include.
+   */
+  servers?: OpenApiServer[];
+}
+/**
+ * Result of OpenAPI export.
+ */
+interface OpenApiExportResult {
+  document: OpenApiDocument;
+  outputPath: string;
+  json: string;
+}
+/**
+ * Export OpenAPI document from a OperationSpecRegistry.
+ */
+declare function exportOpenApi(options: OpenApiExportOptions, adapters: {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}): Promise<OpenApiExportResult>;
+//#endregion
+export { OpenApiExportOptions, OpenApiExportResult, exportOpenApi };
+//# sourceMappingURL=export-service.d.mts.map

package/dist/services/openapi/export-service.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-service.d.mts","names":[],"sources":["../../../src/services/openapi/export-service.ts"],"sourcesContent":[],"mappings":";;;;;;AAmDA;AAkBA;;AAEkB,UAvDD,oBAAA,CAuDC;EAAmB;;;EAC3B,YAAA,EAAA,MAAA;;;;;;;;;;;;;;;;;;;;YA3BE;;;;;UAMK,mBAAA;YACL;;;;;;;iBAiBU,aAAA,UACX;MACO;UAAmB;IAClC,QAAQ"}

package/dist/services/openapi/export-service.mjs

@@ -0,0 +1,50 @@
+import { OperationSpecRegistry, openApiForRegistry } from "@contractspec/lib.contracts";
+
+//#region src/services/openapi/export-service.ts
+/**
+* OpenAPI export service - generates OpenAPI documents from OperationSpecRegistry.
+*/
+/**
+* Export OpenAPI document from a OperationSpecRegistry.
+*/
+async function exportOpenApi(options, adapters) {
+	const { fs, logger } = adapters;
+	const { registryPath, outputPath = "./openapi.json" } = options;
+	logger.info("Loading registry...", { registryPath });
+	const registry = await loadRegistry(registryPath, fs);
+	logger.info("Generating OpenAPI document...");
+	const document = openApiForRegistry(registry, {
+		title: options.title,
+		version: options.version,
+		description: options.description,
+		servers: options.servers
+	});
+	const json = JSON.stringify(document, null, 2) + "\n";
+	const resolvedPath = fs.resolve(outputPath);
+	await fs.mkdir(fs.dirname(resolvedPath));
+	await fs.writeFile(resolvedPath, json);
+	logger.info(`OpenAPI document written to ${resolvedPath}`);
+	return {
+		document,
+		outputPath: resolvedPath,
+		json
+	};
+}
+/**
+* Load a OperationSpecRegistry from a module.
+*/
+async function loadRegistry(modulePath, fs) {
+	const exports = await import(fs.resolve(modulePath));
+	if (exports instanceof OperationSpecRegistry) return exports;
+	if (exports.registry instanceof OperationSpecRegistry) return exports.registry;
+	const factory = typeof exports.createRegistry === "function" ? exports.createRegistry : typeof exports.default === "function" ? exports.default : void 0;
+	if (factory) {
+		const result = await factory();
+		if (result instanceof OperationSpecRegistry) return result;
+	}
+	throw new Error(`Registry module ${modulePath} must export a OperationSpecRegistry instance or a factory function returning one.`);
+}
+
+//#endregion
+export { exportOpenApi };
+//# sourceMappingURL=export-service.mjs.map

package/dist/services/openapi/export-service.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"export-service.mjs","names":[],"sources":["../../../src/services/openapi/export-service.ts"],"sourcesContent":["/**\n * OpenAPI export service - generates OpenAPI documents from OperationSpecRegistry.\n */\n\nimport {\n  type OpenApiDocument,\n  openApiForRegistry,\n  type OpenApiServer,\n  OperationSpecRegistry,\n} from '@contractspec/lib.contracts';\nimport type { FsAdapter } from '../../ports/fs';\nimport type { LoggerAdapter } from '../../ports/logger';\n\n/**\n * Options for OpenAPI export.\n */\nexport interface OpenApiExportOptions {\n  /**\n   * Path to module exporting OperationSpecRegistry.\n   */\n  registryPath: string;\n\n  /**\n   * Output file path.\n   */\n  outputPath?: string;\n\n  /**\n   * OpenAPI title.\n   */\n  title?: string;\n\n  /**\n   * OpenAPI version.\n   */\n  version?: string;\n\n  /**\n   * OpenAPI description.\n   */\n  description?: string;\n\n  /**\n   * Server URLs to include.\n   */\n  servers?: OpenApiServer[];\n}\n\n/**\n * Result of OpenAPI export.\n */\nexport interface OpenApiExportResult {\n  document: OpenApiDocument;\n  outputPath: string;\n  json: string;\n}\n\n/**\n * Module that exports a OperationSpecRegistry.\n */\ninterface LoadedRegistryModule {\n  default?: unknown;\n  createRegistry?: () => Promise<OperationSpecRegistry> | OperationSpecRegistry;\n  registry?: OperationSpecRegistry;\n}\n\n/**\n * Export OpenAPI document from a OperationSpecRegistry.\n */\nexport async function exportOpenApi(\n  options: OpenApiExportOptions,\n  adapters: { fs: FsAdapter; logger: LoggerAdapter }\n): Promise<OpenApiExportResult> {\n  const { fs, logger } = adapters;\n  const { registryPath, outputPath = './openapi.json' } = options;\n\n  logger.info('Loading registry...', { registryPath });\n\n  // Load the registry\n  const registry = await loadRegistry(registryPath, fs);\n\n  logger.info('Generating OpenAPI document...');\n\n  // Generate OpenAPI document\n  const document = openApiForRegistry(registry, {\n    title: options.title,\n    version: options.version,\n    description: options.description,\n    servers: options.servers,\n  });\n\n  // Serialize to JSON\n  const json = JSON.stringify(document, null, 2) + '\\n';\n\n  // Resolve output path\n  const resolvedPath = fs.resolve(outputPath);\n\n  // Ensure directory exists\n  await fs.mkdir(fs.dirname(resolvedPath));\n\n  // Write file\n  await fs.writeFile(resolvedPath, json);\n\n  logger.info(`OpenAPI document written to ${resolvedPath}`);\n\n  return {\n    document,\n    outputPath: resolvedPath,\n    json,\n  };\n}\n\n/**\n * Load a OperationSpecRegistry from a module.\n */\nasync function loadRegistry(\n  modulePath: string,\n  fs: FsAdapter\n): Promise<OperationSpecRegistry> {\n  // Resolve absolute path\n  const absPath = fs.resolve(modulePath);\n\n  // Dynamic import\n  const exports = (await import(absPath)) as LoadedRegistryModule;\n\n  // Check if exports is already a registry\n  if (exports instanceof OperationSpecRegistry) {\n    return exports;\n  }\n\n  // Check if registry property exists\n  if (exports.registry instanceof OperationSpecRegistry) {\n    return exports.registry;\n  }\n\n  // Check for factory function\n  const factory =\n    typeof exports.createRegistry === 'function'\n      ? exports.createRegistry\n      : typeof exports.default === 'function'\n        ? (exports.default as () =>\n            | Promise<OperationSpecRegistry>\n            | OperationSpecRegistry)\n        : undefined;\n\n  if (factory) {\n    const result = await factory();\n    if (result instanceof OperationSpecRegistry) {\n      return result;\n    }\n  }\n\n  throw new Error(\n    `Registry module ${modulePath} must export a OperationSpecRegistry instance or a factory function returning one.`\n  );\n}\n"],"mappings":";;;;;;;;;AAqEA,eAAsB,cACpB,SACA,UAC8B;CAC9B,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,EAAE,cAAc,aAAa,qBAAqB;AAExD,QAAO,KAAK,uBAAuB,EAAE,cAAc,CAAC;CAGpD,MAAM,WAAW,MAAM,aAAa,cAAc,GAAG;AAErD,QAAO,KAAK,iCAAiC;CAG7C,MAAM,WAAW,mBAAmB,UAAU;EAC5C,OAAO,QAAQ;EACf,SAAS,QAAQ;EACjB,aAAa,QAAQ;EACrB,SAAS,QAAQ;EAClB,CAAC;CAGF,MAAM,OAAO,KAAK,UAAU,UAAU,MAAM,EAAE,GAAG;CAGjD,MAAM,eAAe,GAAG,QAAQ,WAAW;AAG3C,OAAM,GAAG,MAAM,GAAG,QAAQ,aAAa,CAAC;AAGxC,OAAM,GAAG,UAAU,cAAc,KAAK;AAEtC,QAAO,KAAK,+BAA+B,eAAe;AAE1D,QAAO;EACL;EACA,YAAY;EACZ;EACD;;;;;AAMH,eAAe,aACb,YACA,IACgC;CAKhC,MAAM,UAAW,MAAM,OAHP,GAAG,QAAQ,WAAW;AAMtC,KAAI,mBAAmB,sBACrB,QAAO;AAIT,KAAI,QAAQ,oBAAoB,sBAC9B,QAAO,QAAQ;CAIjB,MAAM,UACJ,OAAO,QAAQ,mBAAmB,aAC9B,QAAQ,iBACR,OAAO,QAAQ,YAAY,aACxB,QAAQ,UAGT;AAER,KAAI,SAAS;EACX,MAAM,SAAS,MAAM,SAAS;AAC9B,MAAI,kBAAkB,sBACpB,QAAO;;AAIX,OAAM,IAAI,MACR,mBAAmB,WAAW,oFAC/B"}

package/dist/services/openapi/import-service.d.mts

@@ -0,0 +1,17 @@
+import { FsAdapter } from "../../ports/fs.mjs";
+import { LoggerAdapter } from "../../ports/logger.mjs";
+import { OpenApiImportServiceOptions, OpenApiImportServiceResult } from "./types.mjs";
+import { ResolvedContractsrcConfig } from "@contractspec/lib.contracts";
+
+//#region src/services/openapi/import-service.d.ts
+
+/**
+ * Import ContractSpec specs from an OpenAPI document.
+ */
+declare function importFromOpenApiService(contractspecOptions: ResolvedContractsrcConfig, options: OpenApiImportServiceOptions, adapters: {
+  fs: FsAdapter;
+  logger: LoggerAdapter;
+}): Promise<OpenApiImportServiceResult>;
+//#endregion
+export { importFromOpenApiService };
+//# sourceMappingURL=import-service.d.mts.map