@lssm/module.contractspec-workspace 0.0.0-canary-20251217052941 → 0.0.0-canary-20251217060433

package/dist/ai/code-generation.d.ts

@@ -0,0 +1,27 @@
+//#region src/ai/code-generation.d.ts
+/**
+ * AI prompts for code generation.
+ * Extracted from cli-contracts/src/ai/prompts/code-generation.ts
+ */
+/**
+ * Build prompt for generating handler implementation.
+ */
+declare function buildHandlerPrompt(specCode: string): string;
+/**
+ * Build prompt for generating React component from presentation spec.
+ */
+declare function buildComponentPrompt(specCode: string): string;
+/**
+ * Build prompt for generating form component.
+ */
+declare function buildFormPrompt(specCode: string): string;
+/**
+ * Build prompt for generating tests.
+ */
+declare function buildTestPrompt(specCode: string, implementationCode: string, testType: 'handler' | 'component'): string;
+/**
+ * System prompt for code generation.
+ */
+declare function getCodeGenSystemPrompt(): string;
+//#endregion
+export { buildComponentPrompt, buildFormPrompt, buildHandlerPrompt, buildTestPrompt, getCodeGenSystemPrompt };

package/dist/ai/spec-creation.d.ts

@@ -0,0 +1,26 @@
+import { OpKind, PresentationKind } from "../types/spec-types.js";
+
+//#region src/ai/spec-creation.d.ts
+
+/**
+ * Build prompt for creating operation spec from description.
+ */
+declare function buildOperationSpecPrompt(description: string, kind: OpKind): string;
+/**
+ * Build prompt for creating event spec from description.
+ */
+declare function buildEventSpecPrompt(description: string): string;
+/**
+ * Build prompt for creating presentation spec from description.
+ */
+declare function buildPresentationSpecPrompt(description: string, kind: PresentationKind): string;
+/**
+ * Build system prompt for all spec generation.
+ */
+declare function getSystemPrompt(): string;
+/**
+ * Create example-based prompt for better results.
+ */
+declare function addExampleContext(basePrompt: string, examples: string[]): string;
+//#endregion
+export { addExampleContext, buildEventSpecPrompt, buildOperationSpecPrompt, buildPresentationSpecPrompt, getSystemPrompt };

package/dist/analysis/deps/graph.d.ts

@@ -0,0 +1,33 @@
+import { ContractGraph, ContractNode } from "../../types/analysis-types.js";
+
+//#region src/analysis/deps/graph.d.ts
+
+/**
+ * Build reverse edges (dependents) for all nodes in the graph.
+ */
+declare function buildReverseEdges(graph: ContractGraph): void;
+/**
+ * Detect circular dependencies in the graph.
+ */
+declare function detectCycles(graph: ContractGraph): string[][];
+/**
+ * Find missing dependencies (referenced but not defined).
+ */
+declare function findMissingDependencies(graph: ContractGraph): {
+  contract: string;
+  missing: string[];
+}[];
+/**
+ * Generate DOT format output for visualization.
+ */
+declare function toDot(graph: ContractGraph): string;
+/**
+ * Create an empty contract graph.
+ */
+declare function createContractGraph(): ContractGraph;
+/**
+ * Add a node to the contract graph.
+ */
+declare function addContractNode(graph: ContractGraph, name: string, file: string, dependencies: string[]): void;
+//#endregion
+export { addContractNode, buildReverseEdges, createContractGraph, detectCycles, findMissingDependencies, toDot };

package/dist/analysis/deps/parse-imports.d.ts

@@ -0,0 +1,16 @@
+//#region src/analysis/deps/parse-imports.d.ts
+/**
+ * Import parsing utilities for dependency analysis.
+ * Extracted from cli-contracts/src/commands/deps/parse-imports.ts
+ */
+/**
+ * Parse spec imports from source code.
+ * Returns the names of imported specs based on file naming conventions.
+ *
+ * @param sourceCode - The source code to parse
+ * @param fromFilePath - The path of the file being parsed (for relative resolution)
+ * @returns Array of imported spec names
+ */
+declare function parseImportedSpecNames(sourceCode: string, _fromFilePath: string): string[];
+//#endregion
+export { parseImportedSpecNames };

package/dist/analysis/diff/semantic.d.ts

@@ -0,0 +1,10 @@
+import { SemanticDiffItem, SemanticDiffOptions } from "../../types/analysis-types.js";
+
+//#region src/analysis/diff/semantic.d.ts
+
+/**
+ * Compute semantic differences between two spec sources.
+ */
+declare function computeSemanticDiff(aCode: string, aPath: string, bCode: string, bPath: string, options?: SemanticDiffOptions): SemanticDiffItem[];
+//#endregion
+export { computeSemanticDiff };

package/dist/analysis/feature-scan.d.ts

@@ -0,0 +1,14 @@
+import { FeatureScanResult } from "../types/analysis-types.js";
+
+//#region src/analysis/feature-scan.d.ts
+
+/**
+ * Check if a file is a feature file based on naming conventions.
+ */
+declare function isFeatureFile(filePath: string): boolean;
+/**
+ * Scan a feature source file to extract metadata.
+ */
+declare function scanFeatureSource(code: string, filePath: string): FeatureScanResult;
+//#endregion
+export { isFeatureFile, scanFeatureSource };

package/dist/analysis/spec-scan.d.ts

@@ -0,0 +1,33 @@
+import { AnalyzedSpecType, RefInfo, SpecScanResult } from "../types/analysis-types.js";
+
+//#region src/analysis/spec-scan.d.ts
+
+/**
+ * Infer spec type from file path based on naming conventions.
+ * Supports all contract types from @lssm/lib.contracts.
+ */
+declare function inferSpecTypeFromFilePath(filePath: string): AnalyzedSpecType;
+/**
+ * Scan spec source code to extract metadata without executing it.
+ */
+declare function scanSpecSource(code: string, filePath: string): SpecScanResult;
+/**
+ * Extract emitted event refs from operation spec source.
+ * Looks for sideEffects.emits array entries.
+ */
+declare function extractEmittedEvents(code: string): RefInfo[] | undefined;
+/**
+ * Extract policy refs from operation spec source.
+ */
+declare function extractPolicyRefs(code: string): RefInfo[] | undefined;
+/**
+ * Extract test spec refs.
+ */
+declare function extractTestRefs(code: string): RefInfo[] | undefined;
+/**
+ * Scan spec source code to extract ALL specs from a file.
+ * This function finds multiple spec definitions in a single file.
+ */
+declare function scanAllSpecsFromSource(code: string, filePath: string): SpecScanResult[];
+//#endregion
+export { extractEmittedEvents, extractPolicyRefs, extractTestRefs, inferSpecTypeFromFilePath, scanAllSpecsFromSource, scanSpecSource };

package/dist/analysis/validate/spec-structure.d.ts

@@ -0,0 +1,10 @@
+import { ValidationResult } from "../../types/analysis-types.js";
+
+//#region src/analysis/validate/spec-structure.d.ts
+
+/**
+ * Validate spec structure based on source code and filename.
+ */
+declare function validateSpecStructure(code: string, fileName: string): ValidationResult;
+//#endregion
+export { validateSpecStructure };

package/dist/index.d.ts

@@ -0,0 +1,26 @@
+import { AppBlueprintSpecData, AppConfigFeatureFlagData, AppConfigMappingData, AppRouteConfigData, BaseSpecData, DataViewFieldData, DataViewKind, DataViewSpecData, EventSpecData, ExperimentAllocationData, ExperimentMetricData, ExperimentSpecData, ExperimentVariantData, ExperimentVariantOverrideData, FeatureSpecData, FormSpecData, IntegrationCapabilityRefData, IntegrationCapabilityRequirementData, IntegrationCategoryData, IntegrationConfigFieldData, IntegrationConfigFieldType, IntegrationHealthCheckMethod, IntegrationOwnershipModeData, IntegrationSecretFieldData, IntegrationSpecData, KnowledgeCategoryData, KnowledgeRetentionData, KnowledgeSpaceSpecData, KnowledgeTrustLevel, MigrationSpecData, MigrationStepData, MigrationStepKind, OpKind, OperationSpecData, PresentationKind, PresentationSpecData, RandomAllocationData, SpecType, Stability, StepType, StickyAllocationData, TargetedAllocationData, TargetingRuleData, TelemetryAnomalyRuleData, TelemetryEventData, TelemetryPrivacy, TelemetryPropertyData, TelemetryProviderData, TelemetrySpecData, WorkflowSpecData, WorkflowStepData, WorkflowTransitionData } from "./types/spec-types.js";
+import { AnalyzedOperationKind, AnalyzedSpecType, ContractGraph, ContractNode, ExtractedRef, FeatureScanResult, RefInfo, RefType, SemanticDiffItem, SemanticDiffOptions, SemanticDiffType, SpecScanResult, ValidationResult } from "./types/analysis-types.js";
+import { AIGenerationOptions, CodeGenerationContext, DEFAULT_WORKSPACE_CONFIG, GenerationResult, GenerationTarget, SpecBuildType, SpecGenerationContext, TestTarget, WorkspaceConfig } from "./types/generation-types.js";
+import { extractEmittedEvents, extractPolicyRefs, extractTestRefs, inferSpecTypeFromFilePath, scanAllSpecsFromSource, scanSpecSource } from "./analysis/spec-scan.js";
+import { isFeatureFile, scanFeatureSource } from "./analysis/feature-scan.js";
+import { computeSemanticDiff } from "./analysis/diff/semantic.js";
+import { addContractNode, buildReverseEdges, createContractGraph, detectCycles, findMissingDependencies, toDot } from "./analysis/deps/graph.js";
+import { parseImportedSpecNames } from "./analysis/deps/parse-imports.js";
+import { validateSpecStructure } from "./analysis/validate/spec-structure.js";
+import { generateOperationSpec } from "./templates/operation.js";
+import { generateEventSpec } from "./templates/event.js";
+import { generatePresentationSpec } from "./templates/presentation.js";
+import { generateWorkflowSpec } from "./templates/workflow.js";
+import { generateWorkflowRunnerTemplate } from "./templates/workflow-runner.js";
+import { generateDataViewSpec } from "./templates/data-view.js";
+import { generateTelemetrySpec } from "./templates/telemetry.js";
+import { generateExperimentSpec } from "./templates/experiment.js";
+import { generateAppBlueprintSpec } from "./templates/app-config.js";
+import { generateMigrationSpec } from "./templates/migration.js";
+import { generateIntegrationSpec } from "./templates/integration.js";
+import { generateKnowledgeSpaceSpec } from "./templates/knowledge.js";
+import { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate } from "./templates/handler.js";
+import { capitalize, escapeString, toCamelCase, toKebabCase, toPascalCase } from "./templates/utils.js";
+import { addExampleContext, buildEventSpecPrompt, buildOperationSpecPrompt, buildPresentationSpecPrompt, getSystemPrompt } from "./ai/spec-creation.js";
+import { buildComponentPrompt, buildFormPrompt, buildHandlerPrompt, buildTestPrompt, getCodeGenSystemPrompt } from "./ai/code-generation.js";
+export { AIGenerationOptions, AnalyzedOperationKind, AnalyzedSpecType, AppBlueprintSpecData, AppConfigFeatureFlagData, AppConfigMappingData, AppRouteConfigData, BaseSpecData, CodeGenerationContext, ContractGraph, ContractNode, DEFAULT_WORKSPACE_CONFIG, DataViewFieldData, DataViewKind, DataViewSpecData, EventSpecData, ExperimentAllocationData, ExperimentMetricData, ExperimentSpecData, ExperimentVariantData, ExperimentVariantOverrideData, ExtractedRef, FeatureScanResult, FeatureSpecData, FormSpecData, GenerationResult, GenerationTarget, IntegrationCapabilityRefData, IntegrationCapabilityRequirementData, IntegrationCategoryData, IntegrationConfigFieldData, IntegrationConfigFieldType, IntegrationHealthCheckMethod, IntegrationOwnershipModeData, IntegrationSecretFieldData, IntegrationSpecData, KnowledgeCategoryData, KnowledgeRetentionData, KnowledgeSpaceSpecData, KnowledgeTrustLevel, MigrationSpecData, MigrationStepData, MigrationStepKind, OpKind, OperationSpecData, PresentationKind, PresentationSpecData, RandomAllocationData, RefInfo, RefType, SemanticDiffItem, SemanticDiffOptions, SemanticDiffType, SpecBuildType, SpecGenerationContext, SpecScanResult, SpecType, Stability, StepType, StickyAllocationData, TargetedAllocationData, TargetingRuleData, TelemetryAnomalyRuleData, TelemetryEventData, TelemetryPrivacy, TelemetryPropertyData, TelemetryProviderData, TelemetrySpecData, TestTarget, ValidationResult, WorkflowSpecData, WorkflowStepData, WorkflowTransitionData, WorkspaceConfig, addContractNode, addExampleContext, buildComponentPrompt, buildEventSpecPrompt, buildFormPrompt, buildHandlerPrompt, buildOperationSpecPrompt, buildPresentationSpecPrompt, buildReverseEdges, buildTestPrompt, capitalize, computeSemanticDiff, createContractGraph, detectCycles, escapeString, extractEmittedEvents, extractPolicyRefs, extractTestRefs, findMissingDependencies, generateAppBlueprintSpec, generateComponentTemplate, generateDataViewSpec, generateEventSpec, generateExperimentSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateTelemetrySpec, generateTestTemplate, generateWorkflowRunnerTemplate, generateWorkflowSpec, getCodeGenSystemPrompt, getSystemPrompt, inferSpecTypeFromFilePath, isFeatureFile, parseImportedSpecNames, scanAllSpecsFromSource, scanFeatureSource, scanSpecSource, toCamelCase, toDot, toKebabCase, toPascalCase, validateSpecStructure };

package/dist/templates/app-config.d.ts

@@ -0,0 +1,6 @@
+import { AppBlueprintSpecData } from "../types/spec-types.js";
+
+//#region src/templates/app-config.d.ts
+declare function generateAppBlueprintSpec(data: AppBlueprintSpecData): string;
+//#endregion
+export { generateAppBlueprintSpec };

package/dist/templates/data-view.d.ts

@@ -0,0 +1,6 @@
+import { DataViewSpecData } from "../types/spec-types.js";
+
+//#region src/templates/data-view.d.ts
+declare function generateDataViewSpec(data: DataViewSpecData): string;
+//#endregion
+export { generateDataViewSpec };

package/dist/templates/event.d.ts

@@ -0,0 +1,10 @@
+import { EventSpecData } from "../types/spec-types.js";
+
+//#region src/templates/event.d.ts
+
+/**
+ * Generate event spec TypeScript code.
+ */
+declare function generateEventSpec(data: EventSpecData): string;
+//#endregion
+export { generateEventSpec };

package/dist/templates/experiment.d.ts

@@ -0,0 +1,6 @@
+import { ExperimentSpecData } from "../types/spec-types.js";
+
+//#region src/templates/experiment.d.ts
+declare function generateExperimentSpec(data: ExperimentSpecData): string;
+//#endregion
+export { generateExperimentSpec };

package/dist/templates/handler.d.ts

@@ -0,0 +1,19 @@
+//#region src/templates/handler.d.ts
+/**
+ * Handler and component template generation.
+ * Extracted from cli-contracts/src/templates/handler.template.ts
+ */
+/**
+ * Generate handler implementation template.
+ */
+declare function generateHandlerTemplate(specName: string, kind: 'command' | 'query'): string;
+/**
+ * Generate React component template.
+ */
+declare function generateComponentTemplate(componentName: string, description: string): string;
+/**
+ * Generate test template.
+ */
+declare function generateTestTemplate(targetName: string, type: 'handler' | 'component'): string;
+//#endregion
+export { generateComponentTemplate, generateHandlerTemplate, generateTestTemplate };

package/dist/templates/integration.d.ts

@@ -0,0 +1,6 @@
+import { IntegrationSpecData } from "../types/spec-types.js";
+
+//#region src/templates/integration.d.ts
+declare function generateIntegrationSpec(data: IntegrationSpecData): string;
+//#endregion
+export { generateIntegrationSpec };

package/dist/templates/knowledge.d.ts

@@ -0,0 +1,6 @@
+import { KnowledgeSpaceSpecData } from "../types/spec-types.js";
+
+//#region src/templates/knowledge.d.ts
+declare function generateKnowledgeSpaceSpec(data: KnowledgeSpaceSpecData): string;
+//#endregion
+export { generateKnowledgeSpaceSpec };

package/dist/templates/migration.d.ts

@@ -0,0 +1,6 @@
+import { MigrationSpecData } from "../types/spec-types.js";
+
+//#region src/templates/migration.d.ts
+declare function generateMigrationSpec(data: MigrationSpecData): string;
+//#endregion
+export { generateMigrationSpec };

package/dist/templates/operation.d.ts

@@ -0,0 +1,10 @@
+import { OperationSpecData } from "../types/spec-types.js";
+
+//#region src/templates/operation.d.ts
+
+/**
+ * Generate operation spec TypeScript code.
+ */
+declare function generateOperationSpec(data: OperationSpecData): string;
+//#endregion
+export { generateOperationSpec };

package/dist/templates/presentation.d.ts

@@ -0,0 +1,10 @@
+import { PresentationSpecData } from "../types/spec-types.js";
+
+//#region src/templates/presentation.d.ts
+
+/**
+ * Generate presentation spec TypeScript code.
+ */
+declare function generatePresentationSpec(data: PresentationSpecData): string;
+//#endregion
+export { generatePresentationSpec };

package/dist/templates/telemetry.d.ts

@@ -0,0 +1,6 @@
+import { TelemetrySpecData } from "../types/spec-types.js";
+
+//#region src/templates/telemetry.d.ts
+declare function generateTelemetrySpec(data: TelemetrySpecData): string;
+//#endregion
+export { generateTelemetrySpec };

package/dist/templates/utils.d.ts

@@ -0,0 +1,26 @@
+//#region src/templates/utils.d.ts
+/**
+ * Utility functions for template generation.
+ */
+/**
+ * Convert string to camelCase.
+ */
+declare function toCamelCase(str: string): string;
+/**
+ * Convert string to PascalCase.
+ */
+declare function toPascalCase(str: string): string;
+/**
+ * Convert string to kebab-case.
+ */
+declare function toKebabCase(str: string): string;
+/**
+ * Capitalize first letter.
+ */
+declare function capitalize(str: string): string;
+/**
+ * Escape single quotes in string.
+ */
+declare function escapeString(value: string): string;
+//#endregion
+export { capitalize, escapeString, toCamelCase, toKebabCase, toPascalCase };

package/dist/templates/workflow-runner.d.ts

@@ -0,0 +1,15 @@
+//#region src/templates/workflow-runner.d.ts
+interface RunnerTemplateOptions {
+  exportName: string;
+  specImportPath: string;
+  runnerName: string;
+  workflowName: string;
+}
+declare function generateWorkflowRunnerTemplate({
+  exportName,
+  specImportPath,
+  runnerName,
+  workflowName
+}: RunnerTemplateOptions): string;
+//#endregion
+export { generateWorkflowRunnerTemplate };

package/dist/templates/workflow.d.ts

@@ -0,0 +1,10 @@
+import { WorkflowSpecData } from "../types/spec-types.js";
+
+//#region src/templates/workflow.d.ts
+
+/**
+ * Generate workflow spec TypeScript code.
+ */
+declare function generateWorkflowSpec(data: WorkflowSpecData): string;
+//#endregion
+export { generateWorkflowSpec };

package/dist/types/analysis-types.d.ts

@@ -0,0 +1,125 @@
+import { Stability } from "./spec-types.js";
+
+//#region src/types/analysis-types.d.ts
+
+/**
+ * Spec type detected from file analysis.
+ * Covers all contract types from @lssm/lib.contracts.
+ */
+type AnalyzedSpecType = 'operation' | 'event' | 'presentation' | 'feature' | 'capability' | 'data-view' | 'form' | 'migration' | 'workflow' | 'experiment' | 'integration' | 'knowledge' | 'telemetry' | 'app-config' | 'policy' | 'test-spec' | 'unknown';
+/**
+ * Types that can be referenced by features.
+ */
+type RefType = 'operation' | 'event' | 'presentation' | 'capability' | 'experiment' | 'policy' | 'test';
+/**
+ * Operation kind detected from file analysis.
+ */
+type AnalyzedOperationKind = 'command' | 'query' | 'unknown';
+/**
+ * Reference information (name + version).
+ */
+interface RefInfo {
+  name: string;
+  version: number;
+}
+/**
+ * A reference extracted from source code with location context.
+ */
+interface ExtractedRef {
+  type: RefType;
+  name: string;
+  version: number;
+  sourceFile: string;
+  sourceLine?: number;
+}
+/**
+ * Result of scanning a spec source file.
+ */
+interface SpecScanResult {
+  filePath: string;
+  specType: AnalyzedSpecType;
+  name?: string;
+  version?: number;
+  kind?: AnalyzedOperationKind;
+  stability?: Stability;
+  description?: string;
+  owners?: string[];
+  tags?: string[];
+  hasMeta: boolean;
+  hasIo: boolean;
+  hasPolicy: boolean;
+  hasPayload: boolean;
+  hasContent: boolean;
+  hasDefinition: boolean;
+  emittedEvents?: RefInfo[];
+  policyRefs?: RefInfo[];
+  testRefs?: RefInfo[];
+}
+/**
+ * Result of scanning a feature file.
+ */
+interface FeatureScanResult {
+  filePath: string;
+  key: string;
+  title?: string;
+  description?: string;
+  domain?: string;
+  stability?: Stability;
+  owners?: string[];
+  tags?: string[];
+  operations: RefInfo[];
+  events: RefInfo[];
+  presentations: RefInfo[];
+  experiments: RefInfo[];
+  capabilities: {
+    provides: RefInfo[];
+    requires: RefInfo[];
+  };
+  opToPresentationLinks: {
+    op: RefInfo;
+    pres: RefInfo;
+  }[];
+}
+/**
+ * Semantic diff item types.
+ */
+type SemanticDiffType = 'breaking' | 'changed' | 'added' | 'removed';
+/**
+ * A single semantic difference between two specs.
+ */
+interface SemanticDiffItem {
+  type: SemanticDiffType;
+  path: string;
+  oldValue?: unknown;
+  newValue?: unknown;
+  description: string;
+}
+/**
+ * Options for semantic diff computation.
+ */
+interface SemanticDiffOptions {
+  breakingOnly?: boolean;
+}
+/**
+ * A node in the contract dependency graph.
+ */
+interface ContractNode {
+  name: string;
+  file: string;
+  dependencies: string[];
+  dependents: string[];
+}
+/**
+ * The contract dependency graph.
+ */
+type ContractGraph = Map<string, ContractNode>;
+/**
+ * Result of spec structure validation.
+ */
+interface ValidationResult {
+  valid: boolean;
+  errors: string[];
+  warnings: string[];
+}
+//#endregion
+export { AnalyzedOperationKind, AnalyzedSpecType, ContractGraph, ContractNode, ExtractedRef, FeatureScanResult, RefInfo, RefType, SemanticDiffItem, SemanticDiffOptions, SemanticDiffType, SpecScanResult, ValidationResult };

package/dist/types/generation-types.d.ts

@@ -0,0 +1,83 @@
+import { OpKind, PresentationKind, SpecType } from "./spec-types.js";
+
+//#region src/types/generation-types.d.ts
+
+/**
+ * AI provider options for generation.
+ */
+interface AIGenerationOptions {
+  provider: 'claude' | 'openai' | 'ollama' | 'custom';
+  model?: string;
+  endpoint?: string;
+  stream?: boolean;
+}
+/**
+ * Result of code generation.
+ */
+interface GenerationResult {
+  code: string;
+  filePath: string;
+  specType: SpecType;
+}
+/**
+ * Build target types.
+ */
+type GenerationTarget = 'handler' | 'component' | 'form';
+/**
+ * Test target types.
+ */
+type TestTarget = 'handler' | 'component';
+/**
+ * Spec build type detected during build.
+ */
+type SpecBuildType = 'operation' | 'presentation' | 'form' | 'event' | 'workflow' | 'data-view' | 'telemetry' | 'migration' | 'experiment' | 'app-config' | 'integration' | 'knowledge' | 'unknown';
+/**
+ * Configuration for workspace operations.
+ */
+interface WorkspaceConfig {
+  aiProvider: 'claude' | 'openai' | 'ollama' | 'custom';
+  aiModel?: string;
+  agentMode: 'simple' | 'cursor' | 'claude-code' | 'openai-codex';
+  customEndpoint?: string | null;
+  customApiKey?: string | null;
+  outputDir: string;
+  conventions: {
+    operations: string;
+    events: string;
+    presentations: string;
+    forms: string;
+    workflows?: string;
+    'data-views'?: string;
+    dataViews?: string;
+    migrations?: string;
+    telemetry?: string;
+    experiments?: string;
+    appConfig?: string;
+    integrations?: string;
+    knowledge?: string;
+  };
+  defaultOwners: string[];
+  defaultTags: string[];
+}
+/**
+ * Default workspace configuration.
+ */
+declare const DEFAULT_WORKSPACE_CONFIG: WorkspaceConfig;
+/**
+ * AI prompt context for spec generation.
+ */
+interface SpecGenerationContext {
+  description: string;
+  kind?: OpKind;
+  presentationKind?: PresentationKind;
+}
+/**
+ * AI prompt context for code generation.
+ */
+interface CodeGenerationContext {
+  specCode: string;
+  targetPath?: string;
+  existingCode?: string;
+}
+//#endregion
+export { AIGenerationOptions, CodeGenerationContext, DEFAULT_WORKSPACE_CONFIG, GenerationResult, GenerationTarget, SpecBuildType, SpecGenerationContext, TestTarget, WorkspaceConfig };

package/dist/types/spec-types.d.ts

@@ -0,0 +1,344 @@
+//#region src/types/spec-types.d.ts
+/**
+ * Core spec type definitions.
+ * Extracted from cli-contracts/src/types.ts
+ */
+type SpecType = 'operation' | 'event' | 'presentation' | 'form' | 'feature' | 'workflow' | 'data-view' | 'migration' | 'telemetry' | 'experiment' | 'app-config' | 'integration' | 'knowledge';
+type OpKind = 'command' | 'query';
+type PresentationKind = 'web_component' | 'markdown' | 'data';
+type Stability = 'experimental' | 'beta' | 'stable' | 'deprecated';
+type StepType = 'human' | 'automation' | 'decision';
+interface BaseSpecData {
+  name: string;
+  version: number;
+  description: string;
+  owners: string[];
+  tags: string[];
+  stability: Stability;
+}
+interface OperationSpecData extends BaseSpecData {
+  kind: OpKind;
+  goal: string;
+  context: string;
+  hasInput: boolean;
+  hasOutput: boolean;
+  auth: 'anonymous' | 'user' | 'admin';
+  flags: string[];
+  emitsEvents: boolean;
+}
+interface EventSpecData extends BaseSpecData {
+  piiFields: string[];
+}
+interface PresentationSpecData extends BaseSpecData {
+  presentationKind: PresentationKind;
+}
+type FormSpecData = BaseSpecData;
+interface FeatureSpecData extends BaseSpecData {
+  key: string;
+  operations: {
+    name: string;
+    version: number;
+  }[];
+  events: {
+    name: string;
+    version: number;
+  }[];
+  presentations: {
+    name: string;
+    version: number;
+  }[];
+}
+interface WorkflowStepData {
+  id: string;
+  label: string;
+  type: StepType;
+  description?: string;
+  operation?: {
+    name: string;
+    version: number;
+  };
+  form?: {
+    key: string;
+    version: number;
+  };
+}
+interface WorkflowTransitionData {
+  from: string;
+  to: string;
+  condition?: string;
+}
+interface WorkflowSpecData extends BaseSpecData {
+  title: string;
+  domain: string;
+  entryStepId?: string;
+  steps: WorkflowStepData[];
+  transitions: WorkflowTransitionData[];
+  policyFlags: string[];
+}
+type DataViewKind = 'list' | 'detail' | 'table' | 'grid';
+interface DataViewFieldData {
+  key: string;
+  label: string;
+  dataPath: string;
+  format?: string;
+  sortable?: boolean;
+  filterable?: boolean;
+}
+interface DataViewSpecData extends BaseSpecData {
+  title: string;
+  domain: string;
+  entity: string;
+  kind: DataViewKind;
+  primaryOperation: {
+    name: string;
+    version: number;
+  };
+  itemOperation?: {
+    name: string;
+    version: number;
+  };
+  fields: DataViewFieldData[];
+  primaryField?: string;
+  secondaryFields?: string[];
+}
+type TelemetryPrivacy = 'public' | 'internal' | 'pii' | 'sensitive';
+interface TelemetryPropertyData {
+  name: string;
+  type: 'string' | 'number' | 'boolean' | 'timestamp' | 'json';
+  required?: boolean;
+  pii?: boolean;
+  redact?: boolean;
+  description?: string;
+}
+interface TelemetryAnomalyRuleData {
+  metric: string;
+  min?: number;
+  max?: number;
+}
+interface TelemetryEventData {
+  name: string;
+  version: number;
+  what: string;
+  who?: string;
+  why?: string;
+  privacy: TelemetryPrivacy;
+  properties: TelemetryPropertyData[];
+  retentionDays?: number;
+  retentionPolicy?: 'archive' | 'delete';
+  samplingRate?: number;
+  samplingConditions?: string;
+  anomalyEnabled?: boolean;
+  anomalyMinimumSample?: number;
+  anomalyRules?: TelemetryAnomalyRuleData[];
+  anomalyActions?: ('alert' | 'log' | 'trigger_regen')[];
+  tags?: string[];
+}
+interface TelemetryProviderData {
+  type: 'posthog' | 'segment' | 'opentelemetry' | 'internal';
+  config: string;
+}
+interface TelemetrySpecData extends BaseSpecData {
+  domain: string;
+  defaultRetentionDays?: number;
+  defaultSamplingRate?: number;
+  providers?: TelemetryProviderData[];
+  anomalyEnabled?: boolean;
+  anomalyCheckIntervalMs?: number;
+  events: TelemetryEventData[];
+}
+interface ExperimentVariantOverrideData {
+  type: 'dataView' | 'workflow' | 'theme' | 'policy' | 'presentation';
+  target: string;
+  version?: number;
+}
+interface ExperimentVariantData {
+  id: string;
+  name: string;
+  description?: string;
+  weight?: number;
+  overrides?: ExperimentVariantOverrideData[];
+}
+interface TargetingRuleData {
+  variantId: string;
+  percentage?: number;
+  policy?: {
+    name: string;
+    version?: number;
+  };
+  expression?: string;
+}
+interface RandomAllocationData {
+  type: 'random';
+  salt?: string;
+}
+interface StickyAllocationData {
+  type: 'sticky';
+  attribute: 'userId' | 'organizationId' | 'sessionId';
+  salt?: string;
+}
+interface TargetedAllocationData {
+  type: 'targeted';
+  fallback?: 'control' | 'random';
+  rules: TargetingRuleData[];
+}
+type ExperimentAllocationData = RandomAllocationData | StickyAllocationData | TargetedAllocationData;
+interface ExperimentMetricData {
+  name: string;
+  eventName: string;
+  eventVersion: number;
+  aggregation: 'count' | 'avg' | 'p75' | 'p90' | 'p95' | 'p99';
+  target?: number;
+}
+interface ExperimentSpecData extends BaseSpecData {
+  domain: string;
+  controlVariant: string;
+  variants: ExperimentVariantData[];
+  allocation: ExperimentAllocationData;
+  successMetrics?: ExperimentMetricData[];
+}
+interface AppConfigMappingData {
+  slot: string;
+  name: string;
+  version?: number;
+}
+interface AppConfigFeatureFlagData {
+  key: string;
+  enabled: boolean;
+  variant?: string;
+  description?: string;
+}
+interface AppRouteConfigData {
+  path: string;
+  label?: string;
+  dataView?: string;
+  workflow?: string;
+  guardName?: string;
+  guardVersion?: number;
+  featureFlag?: string;
+  experimentName?: string;
+  experimentVersion?: number;
+}
+interface AppBlueprintSpecData extends BaseSpecData {
+  title: string;
+  domain: string;
+  appId: string;
+  capabilitiesEnabled: string[];
+  capabilitiesDisabled: string[];
+  featureIncludes: string[];
+  featureExcludes: string[];
+  dataViews: AppConfigMappingData[];
+  workflows: AppConfigMappingData[];
+  policyRefs: {
+    name: string;
+    version?: number;
+  }[];
+  theme?: {
+    name: string;
+    version: number;
+  };
+  themeFallbacks: {
+    name: string;
+    version: number;
+  }[];
+  telemetry?: {
+    name: string;
+    version?: number;
+  };
+  activeExperiments: {
+    name: string;
+    version?: number;
+  }[];
+  pausedExperiments: {
+    name: string;
+    version?: number;
+  }[];
+  featureFlags: AppConfigFeatureFlagData[];
+  routes: AppRouteConfigData[];
+  notes?: string;
+}
+type MigrationStepKind = 'schema' | 'data' | 'validation';
+interface MigrationStepData {
+  kind: MigrationStepKind;
+  description?: string;
+  sql?: string;
+  script?: string;
+  assertion?: string;
+  timeoutMs?: number;
+  retries?: number;
+  preChecks?: {
+    description: string;
+    expression: string;
+  }[];
+  postChecks?: {
+    description: string;
+    expression: string;
+  }[];
+}
+interface MigrationSpecData extends BaseSpecData {
+  title: string;
+  domain: string;
+  dependencies: string[];
+  up: MigrationStepData[];
+  down?: MigrationStepData[];
+}
+type IntegrationCategoryData = 'payments' | 'email' | 'calendar' | 'sms' | 'ai-llm' | 'ai-voice' | 'speech-to-text' | 'vector-db' | 'storage' | 'accounting' | 'crm' | 'helpdesk' | 'open-banking' | 'custom';
+type IntegrationConfigFieldType = 'string' | 'number' | 'boolean';
+type IntegrationOwnershipModeData = 'managed' | 'byok';
+type IntegrationHealthCheckMethod = 'ping' | 'list' | 'custom';
+interface IntegrationCapabilityRefData {
+  key: string;
+  version: number;
+}
+interface IntegrationCapabilityRequirementData {
+  key: string;
+  version?: number;
+  optional?: boolean;
+  reason?: string;
+}
+interface IntegrationConfigFieldData {
+  key: string;
+  type: IntegrationConfigFieldType;
+  required: boolean;
+  description?: string;
+}
+type IntegrationSecretFieldData = IntegrationConfigFieldData;
+interface IntegrationSpecData extends BaseSpecData {
+  title: string;
+  domain: string;
+  displayName: string;
+  category: IntegrationCategoryData;
+  supportedModes: IntegrationOwnershipModeData[];
+  capabilitiesProvided: IntegrationCapabilityRefData[];
+  capabilitiesRequired: IntegrationCapabilityRequirementData[];
+  configFields: IntegrationConfigFieldData[];
+  secretFields: IntegrationSecretFieldData[];
+  docsUrl?: string;
+  rateLimitRpm?: number;
+  rateLimitRph?: number;
+  healthCheckMethod: IntegrationHealthCheckMethod;
+  healthCheckTimeoutMs?: number;
+  byokSetupInstructions?: string;
+  byokRequiredScopes?: string[];
+}
+type KnowledgeCategoryData = 'canonical' | 'operational' | 'external' | 'ephemeral';
+type KnowledgeTrustLevel = 'high' | 'medium' | 'low';
+interface KnowledgeRetentionData {
+  ttlDays?: number | null;
+  archiveAfterDays?: number;
+}
+interface KnowledgeSpaceSpecData extends BaseSpecData {
+  title: string;
+  domain: string;
+  displayName: string;
+  category: KnowledgeCategoryData;
+  retention: KnowledgeRetentionData;
+  policyName?: string;
+  policyVersion?: number;
+  trustLevel: KnowledgeTrustLevel;
+  automationWritable: boolean;
+  embeddingModel?: string;
+  chunkSize?: number;
+  vectorDbIntegration?: string;
+}
+//#endregion
+export { AppBlueprintSpecData, AppConfigFeatureFlagData, AppConfigMappingData, AppRouteConfigData, BaseSpecData, DataViewFieldData, DataViewKind, DataViewSpecData, EventSpecData, ExperimentAllocationData, ExperimentMetricData, ExperimentSpecData, ExperimentVariantData, ExperimentVariantOverrideData, FeatureSpecData, FormSpecData, IntegrationCapabilityRefData, IntegrationCapabilityRequirementData, IntegrationCategoryData, IntegrationConfigFieldData, IntegrationConfigFieldType, IntegrationHealthCheckMethod, IntegrationOwnershipModeData, IntegrationSecretFieldData, IntegrationSpecData, KnowledgeCategoryData, KnowledgeRetentionData, KnowledgeSpaceSpecData, KnowledgeTrustLevel, MigrationSpecData, MigrationStepData, MigrationStepKind, OpKind, OperationSpecData, PresentationKind, PresentationSpecData, RandomAllocationData, SpecType, Stability, StepType, StickyAllocationData, TargetedAllocationData, TargetingRuleData, TelemetryAnomalyRuleData, TelemetryEventData, TelemetryPrivacy, TelemetryPropertyData, TelemetryProviderData, TelemetrySpecData, WorkflowSpecData, WorkflowStepData, WorkflowTransitionData };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lssm/module.contractspec-workspace",
-  "version": "0.0.0-canary-20251217052941",
+  "version": "0.0.0-canary-20251217060433",
   "type": "module",
   "main": "./dist/index.js",
   "module": "./dist/index.js",
@@ -23,18 +23,18 @@
     "test": "bun run"
   },
   "dependencies": {
-    "@lssm/lib.contracts": "0.0.0-canary-20251217052941",
-    "@lssm/lib.schema": "0.0.0-canary-20251217052941",
+    "@lssm/lib.contracts": "0.0.0-canary-20251217060433",
+    "@lssm/lib.schema": "0.0.0-canary-20251217060433",
     "zod": "^4.1.13"
   },
   "devDependencies": {
-    "@lssm/tool.tsdown": "0.0.0-canary-20251217052941",
-    "@lssm/tool.typescript": "0.0.0-canary-20251217052941",
+    "@lssm/tool.tsdown": "0.0.0-canary-20251217060433",
+    "@lssm/tool.typescript": "0.0.0-canary-20251217060433",
     "tsdown": "^0.17.4",
     "typescript": "^5.9.3"
   },
   "exports": {
-    ".": "./src/index.ts",
+    ".": "./dist/index.js",
     "./*": "./*"
   },
   "publishConfig": {