@contractspec/bundle.workspace 1.44.1 → 1.45.1

package/dist/services/layer-discovery.js

@@ -0,0 +1,121 @@
+import { isExampleFile, isFeatureFile, scanAllSpecsFromSource, scanExampleSource, scanFeatureSource } from "@contractspec/module.workspace";
+
+//#region src/services/layer-discovery.ts
+/**
+* Layer discovery service.
+*
+* Discovers all contract layer files in a workspace:
+* - Features (*.feature.ts)
+* - Examples (example.ts, *.example.ts)
+* - App Configs (*.app-config.ts, *.blueprint.ts)
+* - Workspace Config (.contractsrc.json)
+*/
+/**
+* Create an empty layer inventory.
+*/
+function createEmptyLayerInventory() {
+	return {
+		features: /* @__PURE__ */ new Map(),
+		examples: /* @__PURE__ */ new Map(),
+		appConfigs: /* @__PURE__ */ new Map(),
+		workspaceConfigs: /* @__PURE__ */ new Map()
+	};
+}
+/**
+* Discover all contract layers in a workspace.
+*/
+async function discoverLayers(adapters, options = {}) {
+	const { fs, logger } = adapters;
+	const inventory = createEmptyLayerInventory();
+	const pattern = options.pattern ?? "**/*.{ts,tsx}";
+	logger.info("Scanning for contract layer files...");
+	const files = await fs.glob({ pattern });
+	for (const file of files) {
+		if (file.includes("node_modules") || file.includes("/dist/")) continue;
+		try {
+			const code = await fs.readFile(file);
+			if (isFeatureFile(file)) {
+				const result = scanFeatureSource(code, file);
+				inventory.features.set(result.key, result);
+				continue;
+			}
+			if (isExampleFile(file)) {
+				const result = scanExampleSource(code, file);
+				inventory.examples.set(result.key, result);
+				continue;
+			}
+			if (file.includes(".app-config.") || file.includes(".blueprint.")) {
+				const specs = scanAllSpecsFromSource(code, file);
+				for (const spec of specs) if (spec.specType === "app-config" && spec.key) inventory.appConfigs.set(spec.key, spec);
+			}
+		} catch {}
+	}
+	try {
+		const configFiles = await fs.glob({ pattern: "**/.contractsrc.json" });
+		for (const configFile of configFiles) {
+			if (configFile.includes("node_modules")) continue;
+			try {
+				const content = await fs.readFile(configFile);
+				const config = JSON.parse(content);
+				inventory.workspaceConfigs.set(configFile, {
+					file: configFile,
+					config,
+					valid: true,
+					errors: []
+				});
+			} catch (e) {
+				inventory.workspaceConfigs.set(configFile, {
+					file: configFile,
+					config: {},
+					valid: false,
+					errors: [e instanceof Error ? e.message : "Parse error"]
+				});
+			}
+		}
+	} catch {}
+	const stats = {
+		features: inventory.features.size,
+		examples: inventory.examples.size,
+		appConfigs: inventory.appConfigs.size,
+		workspaceConfigs: inventory.workspaceConfigs.size,
+		total: inventory.features.size + inventory.examples.size + inventory.appConfigs.size + inventory.workspaceConfigs.size
+	};
+	logger.info(`Discovered ${stats.features} features, ${stats.examples} examples, ${stats.appConfigs} app configs, ${stats.workspaceConfigs} workspace configs`);
+	return {
+		inventory,
+		stats
+	};
+}
+/**
+* Get all layers as a flat list with locations.
+*/
+function getAllLayerLocations(inventory) {
+	const locations = [];
+	for (const [key, feature] of inventory.features) locations.push({
+		key,
+		file: feature.filePath,
+		type: "feature"
+	});
+	for (const [key, example] of inventory.examples) locations.push({
+		key,
+		version: example.version,
+		file: example.filePath,
+		type: "example"
+	});
+	for (const [key, appConfig] of inventory.appConfigs) locations.push({
+		key,
+		version: appConfig.version,
+		file: appConfig.filePath,
+		type: "app-config"
+	});
+	for (const [, config] of inventory.workspaceConfigs) locations.push({
+		key: config.file,
+		file: config.file,
+		type: "workspace-config"
+	});
+	return locations;
+}
+
+//#endregion
+export { createEmptyLayerInventory, discoverLayers, getAllLayerLocations };
+//# sourceMappingURL=layer-discovery.js.map

package/dist/services/layer-discovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-discovery.js","names":["locations: LayerLocation[]"],"sources":["../../src/services/layer-discovery.ts"],"sourcesContent":["/**\n * Layer discovery service.\n *\n * Discovers all contract layer files in a workspace:\n * - Features (*.feature.ts)\n * - Examples (example.ts, *.example.ts)\n * - App Configs (*.app-config.ts, *.blueprint.ts)\n * - Workspace Config (.contractsrc.json)\n */\n\nimport {\n  isFeatureFile,\n  scanFeatureSource,\n  isExampleFile,\n  scanExampleSource,\n  type FeatureScanResult,\n  type ExampleScanResult,\n  type SpecScanResult,\n  scanAllSpecsFromSource,\n} from '@contractspec/module.workspace';\nimport type { FsAdapter } from '../ports/fs';\nimport type { LoggerAdapter } from '../ports/logger';\n\n/**\n * Location of a layer file in the codebase.\n */\nexport interface LayerLocation {\n  key: string;\n  version?: string;\n  file: string;\n  type: 'feature' | 'example' | 'app-config' | 'workspace-config';\n}\n\n/**\n * Inventory of all discovered layers.\n */\nexport interface LayerInventory {\n  /** Discovered features */\n  features: Map<string, FeatureScanResult>;\n  /** Discovered examples */\n  examples: Map<string, ExampleScanResult>;\n  /** Discovered app configs */\n  appConfigs: Map<string, SpecScanResult>;\n  /** Discovered workspace configs */\n  workspaceConfigs: Map<string, WorkspaceConfigInfo>;\n}\n\n/**\n * Workspace config information.\n */\nexport interface WorkspaceConfigInfo {\n  file: string;\n  config: Record<string, unknown>;\n  valid: boolean;\n  errors: string[];\n}\n\n/**\n * Options for layer discovery.\n */\nexport interface LayerDiscoveryOptions {\n  /** Glob pattern for file discovery */\n  pattern?: string;\n  /** Scan all packages in monorepo */\n  all?: boolean;\n}\n\n/**\n * Result of layer discovery.\n */\nexport interface LayerDiscoveryResult {\n  inventory: LayerInventory;\n  stats: {\n    features: number;\n    examples: number;\n    appConfigs: number;\n    workspaceConfigs: number;\n    total: number;\n  };\n}\n\n/**\n * Create an empty layer inventory.\n */\nexport function createEmptyLayerInventory(): LayerInventory {\n  return {\n    features: new Map(),\n    examples: new Map(),\n    appConfigs: new Map(),\n    workspaceConfigs: new Map(),\n  };\n}\n\n/**\n * Discover all contract layers in a workspace.\n */\nexport async function discoverLayers(\n  adapters: { fs: FsAdapter; logger: LoggerAdapter },\n  options: LayerDiscoveryOptions = {}\n): Promise<LayerDiscoveryResult> {\n  const { fs, logger } = adapters;\n  const inventory = createEmptyLayerInventory();\n\n  // Default pattern for spec files\n  const pattern = options.pattern ?? '**/*.{ts,tsx}';\n\n  // Find all TypeScript files\n  logger.info('Scanning for contract layer files...');\n  const files = await fs.glob({ pattern });\n\n  // Process each file\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    try {\n      const code = await fs.readFile(file);\n\n      // Check for feature files\n      if (isFeatureFile(file)) {\n        const result = scanFeatureSource(code, file);\n        inventory.features.set(result.key, result);\n        continue;\n      }\n\n      // Check for example files\n      if (isExampleFile(file)) {\n        const result = scanExampleSource(code, file);\n        inventory.examples.set(result.key, result);\n        continue;\n      }\n\n      // Check for app-config files\n      if (file.includes('.app-config.') || file.includes('.blueprint.')) {\n        const specs = scanAllSpecsFromSource(code, file);\n        for (const spec of specs) {\n          if (spec.specType === 'app-config' && spec.key) {\n            inventory.appConfigs.set(spec.key, spec);\n          }\n        }\n      }\n    } catch {\n      // Skip files that can't be read\n    }\n  }\n\n  // Find workspace config files\n  try {\n    const configFiles = await fs.glob({ pattern: '**/.contractsrc.json' });\n    for (const configFile of configFiles) {\n      if (configFile.includes('node_modules')) continue;\n\n      try {\n        const content = await fs.readFile(configFile);\n        const config = JSON.parse(content) as Record<string, unknown>;\n        inventory.workspaceConfigs.set(configFile, {\n          file: configFile,\n          config,\n          valid: true,\n          errors: [],\n        });\n      } catch (e) {\n        inventory.workspaceConfigs.set(configFile, {\n          file: configFile,\n          config: {},\n          valid: false,\n          errors: [e instanceof Error ? e.message : 'Parse error'],\n        });\n      }\n    }\n  } catch {\n    // Glob failed, no config files found\n  }\n\n  const stats = {\n    features: inventory.features.size,\n    examples: inventory.examples.size,\n    appConfigs: inventory.appConfigs.size,\n    workspaceConfigs: inventory.workspaceConfigs.size,\n    total:\n      inventory.features.size +\n      inventory.examples.size +\n      inventory.appConfigs.size +\n      inventory.workspaceConfigs.size,\n  };\n\n  logger.info(\n    `Discovered ${stats.features} features, ${stats.examples} examples, ` +\n      `${stats.appConfigs} app configs, ${stats.workspaceConfigs} workspace configs`\n  );\n\n  return { inventory, stats };\n}\n\n/**\n * Get all layers as a flat list with locations.\n */\nexport function getAllLayerLocations(\n  inventory: LayerInventory\n): LayerLocation[] {\n  const locations: LayerLocation[] = [];\n\n  for (const [key, feature] of inventory.features) {\n    locations.push({\n      key,\n      file: feature.filePath,\n      type: 'feature',\n    });\n  }\n\n  for (const [key, example] of inventory.examples) {\n    locations.push({\n      key,\n      version: example.version,\n      file: example.filePath,\n      type: 'example',\n    });\n  }\n\n  for (const [key, appConfig] of inventory.appConfigs) {\n    locations.push({\n      key,\n      version: appConfig.version,\n      file: appConfig.filePath,\n      type: 'app-config',\n    });\n  }\n\n  for (const [, config] of inventory.workspaceConfigs) {\n    locations.push({\n      key: config.file,\n      file: config.file,\n      type: 'workspace-config',\n    });\n  }\n\n  return locations;\n}\n"],"mappings":";;;;;;;;;;;;;;;AAoFA,SAAgB,4BAA4C;AAC1D,QAAO;EACL,0BAAU,IAAI,KAAK;EACnB,0BAAU,IAAI,KAAK;EACnB,4BAAY,IAAI,KAAK;EACrB,kCAAkB,IAAI,KAAK;EAC5B;;;;;AAMH,eAAsB,eACpB,UACA,UAAiC,EAAE,EACJ;CAC/B,MAAM,EAAE,IAAI,WAAW;CACvB,MAAM,YAAY,2BAA2B;CAG7C,MAAM,UAAU,QAAQ,WAAW;AAGnC,QAAO,KAAK,uCAAuC;CACnD,MAAM,QAAQ,MAAM,GAAG,KAAK,EAAE,SAAS,CAAC;AAGxC,MAAK,MAAM,QAAQ,OAAO;AAExB,MAAI,KAAK,SAAS,eAAe,IAAI,KAAK,SAAS,SAAS,CAC1D;AAGF,MAAI;GACF,MAAM,OAAO,MAAM,GAAG,SAAS,KAAK;AAGpC,OAAI,cAAc,KAAK,EAAE;IACvB,MAAM,SAAS,kBAAkB,MAAM,KAAK;AAC5C,cAAU,SAAS,IAAI,OAAO,KAAK,OAAO;AAC1C;;AAIF,OAAI,cAAc,KAAK,EAAE;IACvB,MAAM,SAAS,kBAAkB,MAAM,KAAK;AAC5C,cAAU,SAAS,IAAI,OAAO,KAAK,OAAO;AAC1C;;AAIF,OAAI,KAAK,SAAS,eAAe,IAAI,KAAK,SAAS,cAAc,EAAE;IACjE,MAAM,QAAQ,uBAAuB,MAAM,KAAK;AAChD,SAAK,MAAM,QAAQ,MACjB,KAAI,KAAK,aAAa,gBAAgB,KAAK,IACzC,WAAU,WAAW,IAAI,KAAK,KAAK,KAAK;;UAIxC;;AAMV,KAAI;EACF,MAAM,cAAc,MAAM,GAAG,KAAK,EAAE,SAAS,wBAAwB,CAAC;AACtE,OAAK,MAAM,cAAc,aAAa;AACpC,OAAI,WAAW,SAAS,eAAe,CAAE;AAEzC,OAAI;IACF,MAAM,UAAU,MAAM,GAAG,SAAS,WAAW;IAC7C,MAAM,SAAS,KAAK,MAAM,QAAQ;AAClC,cAAU,iBAAiB,IAAI,YAAY;KACzC,MAAM;KACN;KACA,OAAO;KACP,QAAQ,EAAE;KACX,CAAC;YACK,GAAG;AACV,cAAU,iBAAiB,IAAI,YAAY;KACzC,MAAM;KACN,QAAQ,EAAE;KACV,OAAO;KACP,QAAQ,CAAC,aAAa,QAAQ,EAAE,UAAU,cAAc;KACzD,CAAC;;;SAGA;CAIR,MAAM,QAAQ;EACZ,UAAU,UAAU,SAAS;EAC7B,UAAU,UAAU,SAAS;EAC7B,YAAY,UAAU,WAAW;EACjC,kBAAkB,UAAU,iBAAiB;EAC7C,OACE,UAAU,SAAS,OACnB,UAAU,SAAS,OACnB,UAAU,WAAW,OACrB,UAAU,iBAAiB;EAC9B;AAED,QAAO,KACL,cAAc,MAAM,SAAS,aAAa,MAAM,SAAS,aACpD,MAAM,WAAW,gBAAgB,MAAM,iBAAiB,oBAC9D;AAED,QAAO;EAAE;EAAW;EAAO;;;;;AAM7B,SAAgB,qBACd,WACiB;CACjB,MAAMA,YAA6B,EAAE;AAErC,MAAK,MAAM,CAAC,KAAK,YAAY,UAAU,SACrC,WAAU,KAAK;EACb;EACA,MAAM,QAAQ;EACd,MAAM;EACP,CAAC;AAGJ,MAAK,MAAM,CAAC,KAAK,YAAY,UAAU,SACrC,WAAU,KAAK;EACb;EACA,SAAS,QAAQ;EACjB,MAAM,QAAQ;EACd,MAAM;EACP,CAAC;AAGJ,MAAK,MAAM,CAAC,KAAK,cAAc,UAAU,WACvC,WAAU,KAAK;EACb;EACA,SAAS,UAAU;EACnB,MAAM,UAAU;EAChB,MAAM;EACP,CAAC;AAGJ,MAAK,MAAM,GAAG,WAAW,UAAU,iBACjC,WAAU,KAAK;EACb,KAAK,OAAO;EACZ,MAAM,OAAO;EACb,MAAM;EACP,CAAC;AAGJ,QAAO"}

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

@@ -0,0 +1,28 @@
+import { FsAdapter } from "../../ports/fs.js";
+import { VerificationIssue, formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./verify-static.js";
+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.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","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.js

@@ -0,0 +1,187 @@
+import { listSpecs } from "../list.js";
+import { formatVerificationReport, verifyImplementationAgainstParsedSpec } from "./verify-static.js";
+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.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","names":["parts: string[]","lines: string[]"],"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,MAAMA,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,MAAMC,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,MAAMA,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.ts

@@ -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.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-static.d.ts","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.js

@@ -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.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verify-static.js","names":["issues: VerificationIssue[]","lines: string[]"],"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,MAAMA,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,MAAMC,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/openapi/import-service.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import-service.d.ts","names":[],"sources":["../../../src/services/openapi/import-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAuBqC,iBAHf,wBAAA,CAGe,mBAAA,EAFd,iBAEc,EAAA,OAAA,EAD1B,2BAC0B,EAAA,QAAA,EAAA;EAC1B,EAAA,EADO,SACP;EAAR,MAAA,EADkC,aAClC;CAAO,CAAA,EAAP,OAAO,CAAC,0BAAD,CAAA"}
+{"version":3,"file":"import-service.d.ts","names":[],"sources":["../../../src/services/openapi/import-service.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AA2DqC,iBAHf,wBAAA,CAGe,mBAAA,EAFd,iBAEc,EAAA,OAAA,EAD1B,2BAC0B,EAAA,QAAA,EAAA;EAC1B,EAAA,EADO,SACP;EAAR,MAAA,EADkC,aAClC;CAAO,CAAA,EAAP,OAAO,CAAC,0BAAD,CAAA"}

package/dist/services/openapi/import-service.js

@@ -1,16 +1,33 @@
+import { basename, dirname, join } from "path";
 import { importFromOpenApi, parseOpenApi } from "@contractspec/lib.contracts-transformers/openapi";
-import { dirname, join } from "path";
 
 //#region src/services/openapi/import-service.ts
 /**
 * OpenAPI import service - imports specs from OpenAPI documents.
 */
 /**
+* Get output directory for spec type
+*/
+function getOutputDir(type, options, config) {
+	if (options.outputDir) return options.outputDir;
+	const baseDir = config.outputDir ?? "src";
+	const conventions = config.conventions ?? {
+		operations: "operations",
+		events: "events"
+	};
+	switch (type) {
+		case "operation": return join(baseDir, conventions.operations.split("|")[0] ?? "operations");
+		case "event": return join(baseDir, conventions.events ?? "events");
+		case "model": return join(baseDir, "models");
+		default: return baseDir;
+	}
+}
+/**
 * Import ContractSpec specs from an OpenAPI document.
 */
 async function importFromOpenApiService(contractspecOptions, options, adapters) {
 	const { fs, logger } = adapters;
-	const { source, outputDir, prefix, tags, exclude, defaultStability, defaultOwners, defaultAuth, dryRun = false } = options;
+	const { source, prefix, tags, exclude, defaultStability, defaultOwners, defaultAuth, dryRun = false } = options;
 	logger.info(`Importing from OpenAPI: ${source}`);
 	const parseResult = await parseOpenApi(source, {
 		fetch: globalThis.fetch,
@@ -30,12 +47,29 @@ async function importFromOpenApiService(contractspecOptions, options, adapters)
 	const files = [];
 	const skippedOperations = [];
 	const errorMessages = [];
+	const specsByDir = /* @__PURE__ */ new Map();
 	for (const spec of importResult.operationSpecs) {
-		const filePath = join(outputDir, spec.fileName);
+		let type = "operation";
+		let match = null;
+		if (spec.code.includes("defineEvent(")) {
+			type = "event";
+			match = spec.code.match(/export const (\w+)\s*=\s*defineEvent/);
+		} else if ((spec.code.includes("defineSchemaModel(") || spec.code.includes("new EnumType(") || spec.code.includes("ScalarTypeEnum.") || spec.code.includes("new ZodSchemaType(") || spec.code.includes("z.enum(") || spec.code.includes("new JsonSchemaType(") || spec.code.includes("new GraphQLSchemaType(")) && !spec.code.includes("defineCommand(") && !spec.code.includes("defineQuery(")) type = "model";
+		else {
+			type = "operation";
+			match = spec.code.match(/export const (\w+)\s*=\s*define(?:Command|Query)/);
+		}
+		const filePath = join(getOutputDir(type, options, contractspecOptions), spec.fileName);
+		if (!match && type === "model") {
+			if (spec.code.includes("new ZodSchemaType(")) match = spec.code.match(/export const (\w+)\s*=\s*new ZodSchemaType\(/);
+			else if (spec.code.includes("new JsonSchemaType(")) match = spec.code.match(/export const (\w+)\s*=\s*new JsonSchemaType\(/);
+			else if (spec.code.includes("new GraphQLSchemaType(")) match = spec.code.match(/export const (\w+)\s*=\s*new GraphQLSchemaType\(/);
+			if (!match) match = spec.code.match(/export const (\w+)\s*=/);
+		}
 		if (dryRun) logger.info(`[DRY RUN] Would create: ${filePath}`);
 		else {
 			const dir = dirname(filePath);
-			await fs.mkdir(dir);
+			if (!await fs.exists(dir)) await fs.mkdir(dir);
 			await fs.writeFile(filePath, spec.code);
 			logger.info(`Created: ${filePath}`);
 		}
@@ -44,6 +78,66 @@ async function importFromOpenApiService(contractspecOptions, options, adapters)
 			operationId: spec.source.sourceId,
 			specName: spec.fileName.replace(".ts", "")
 		});
+		if (match) {
+			const dir = dirname(filePath);
+			const existing = specsByDir.get(dir) || [];
+			existing.push({
+				file: basename(filePath),
+				name: match[1],
+				type
+			});
+			specsByDir.set(dir, existing);
+		}
+	}
+	if (!dryRun && files.length > 0) for (const [dir, specs] of specsByDir.entries()) {
+		if (specs.length === 0) continue;
+		const types = specs.map((s) => s.type);
+		const isOperations = types.every((t) => t === "operation");
+		const isEvents = types.every((t) => t === "event");
+		const isModels = types.every((t) => t === "model");
+		let registryCode = `/**\n * Auto-generated registry file.\n */\n`;
+		specs.forEach((s) => {
+			const importPath = `./${basename(s.file, ".ts")}`;
+			registryCode += `import { ${s.name} } from '${importPath}';\n`;
+		});
+		registryCode += "\n";
+		let hasRegistry = false;
+		if (isOperations) {
+			registryCode += `import { OperationSpecRegistry } from '@contractspec/lib.contracts';\n\n`;
+			registryCode += `export const operationRegistry = new OperationSpecRegistry();\n`;
+			specs.forEach((s) => {
+				registryCode += `operationRegistry.register(${s.name});\n`;
+			});
+			hasRegistry = true;
+		} else if (isEvents) {
+			registryCode += `import { EventRegistry } from '@contractspec/lib.contracts';\n\n`;
+			registryCode += `export const eventRegistry = new EventRegistry();\n`;
+			specs.forEach((s) => {
+				registryCode += `eventRegistry.register(${s.name});\n`;
+			});
+			hasRegistry = true;
+		} else if (isModels) {
+			registryCode += `import { ModelRegistry } from '@contractspec/lib.contracts';\n\n`;
+			registryCode += `export const modelRegistry = new ModelRegistry();\n`;
+			specs.forEach((s) => {
+				registryCode += `modelRegistry.register(${s.name});\n`;
+			});
+			hasRegistry = true;
+		}
+		if (hasRegistry) {
+			const registryPath = join(dir, "registry.ts");
+			await fs.writeFile(registryPath, registryCode);
+			logger.info(`Created/Updated registry: ${registryPath}`);
+		}
+		let indexCode = `/**\n * Auto-generated barrel file.\n */\n\n`;
+		specs.forEach((s) => {
+			const importPath = `./${basename(s.file, ".ts")}`;
+			indexCode += `export * from '${importPath}';\n`;
+		});
+		if (hasRegistry) indexCode += `export * from './registry';\n`;
+		const indexPath = join(dir, "index.ts");
+		await fs.writeFile(indexPath, indexCode);
+		logger.info(`Created/Updated index: ${indexPath}`);
 	}
 	for (const skipped of importResult.skipped) {
 		skippedOperations.push({