@contractspec/module.workspace 1.44.1 → 1.45.0

package/dist/templates/data-view.js

@@ -34,7 +34,7 @@ export const ${viewVarName}: DataViewSpec = {
     },
     ${itemOperation}
     refreshEvents: [
-      // { name: 'entity.updated', version: 1 },
+      // { name: 'entity.updated', version: '1.0.0' },
     ],
   },
   view: {
@@ -54,8 +54,8 @@ ${fields}
     ],
   },
   states: {
-    // empty: { name: 'app.data.empty', version: 1 },
-    // error: { name: 'app.data.error', version: 1 },
+    // empty: { name: 'app.data.empty', version: '1.0.0' },
+    // error: { name: 'app.data.error', version: '1.0.0' },
   },
 };
 `;

package/dist/templates/data-view.js.map

@@ -1 +1 @@
-{"version":3,"file":"data-view.js","names":[],"sources":["../../src/templates/data-view.ts"],"sourcesContent":["import type { DataViewSpecData } from '../types/spec-types';\nimport { toPascalCase, escapeString } from './utils';\n\nexport function generateDataViewSpec(data: DataViewSpecData): string {\n  const viewVarName =\n    toPascalCase(data.name.split('.').pop() ?? 'DataView') + 'DataView';\n\n  const fields = data.fields\n    .map(\n      (field) => `      {\n        key: '${escapeString(field.key)}',\n        label: '${escape(field.label)}',\n        dataPath: '${escapeString(field.dataPath)}',\n        ${field.format ? `format: '${escapeString(field.format)}',` : ''}\n        ${field.sortable ? 'sortable: true,' : ''}\n        ${field.filterable ? 'filterable: true,' : ''}\n      }`\n    )\n    .join(',\\n');\n\n  const secondaryFields = data.secondaryFields?.length\n    ? `secondaryFields: [${data.secondaryFields\n        .map((key) => `'${escapeString(key)}'`)\n        .join(', ')}],`\n    : '';\n\n  const itemOperation = data.itemOperation\n    ? `item: { name: '${escapeString(data.itemOperation.name)}', version: ${data.itemOperation.version} },`\n    : '';\n\n  return `import type { DataViewSpec } from '@contractspec/lib.contracts/data-views';\n\nexport const ${viewVarName}: DataViewSpec = {\n  meta: {\n    key: '${escapeString(data.name)}',\n    version: ${data.version},\n    entity: '${escapeString(data.entity)}',\n    title: '${escape(data.title)}',\n    description: '${escape(\n      data.description || 'Describe the purpose of this data view.'\n    )}',\n    domain: '${escape(data.domain || data.entity)}',\n    owners: [${data.owners.map((owner) => `'${escapeString(owner)}'`).join(', ')}],\n    tags: [${data.tags.map((tag) => `'${escapeString(tag)}'`).join(', ')}],\n    stability: '${data.stability}',\n  },\n  source: {\n    primary: {\n      name: '${escapeString(data.primaryOperation.name)}',\n      version: ${data.primaryOperation.version},\n    },\n    ${itemOperation}\n    refreshEvents: [\n      // { name: 'entity.updated', version: 1 },\n    ],\n  },\n  view: {\n    kind: '${data.kind}',\n    fields: [\n${fields}\n    ],\n    ${data.primaryField ? `primaryField: '${escapeString(data.primaryField)}',` : ''}\n    ${secondaryFields}\n    filters: [\n      // Example filter:\n      // { key: 'search', label: 'Search', field: 'fullName', type: 'search' },\n    ],\n    actions: [\n      // Example action:\n      // { key: 'open', label: 'Open', kind: 'navigation' },\n    ],\n  },\n  states: {\n    // empty: { name: 'app.data.empty', version: 1 },\n    // error: { name: 'app.data.error', version: 1 },\n  },\n};\n`;\n}\n\nfunction escape(value: string): string {\n  return value.replace(/'/g, \"\\\\'\");\n}\n"],"mappings":";;;AAGA,SAAgB,qBAAqB,MAAgC;CACnE,MAAM,cACJ,aAAa,KAAK,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI,WAAW,GAAG;CAE3D,MAAM,SAAS,KAAK,OACjB,KACE,UAAU;gBACD,aAAa,MAAM,IAAI,CAAC;kBACtB,OAAO,MAAM,MAAM,CAAC;qBACjB,aAAa,MAAM,SAAS,CAAC;UACxC,MAAM,SAAS,YAAY,aAAa,MAAM,OAAO,CAAC,MAAM,GAAG;UAC/D,MAAM,WAAW,oBAAoB,GAAG;UACxC,MAAM,aAAa,sBAAsB,GAAG;SAEjD,CACA,KAAK,MAAM;CAEd,MAAM,kBAAkB,KAAK,iBAAiB,SAC1C,qBAAqB,KAAK,gBACvB,KAAK,QAAQ,IAAI,aAAa,IAAI,CAAC,GAAG,CACtC,KAAK,KAAK,CAAC,MACd;CAEJ,MAAM,gBAAgB,KAAK,gBACvB,kBAAkB,aAAa,KAAK,cAAc,KAAK,CAAC,cAAc,KAAK,cAAc,QAAQ,OACjG;AAEJ,QAAO;;eAEM,YAAY;;YAEf,aAAa,KAAK,KAAK,CAAC;eACrB,KAAK,QAAQ;eACb,aAAa,KAAK,OAAO,CAAC;cAC3B,OAAO,KAAK,MAAM,CAAC;oBACb,OACd,KAAK,eAAe,0CACrB,CAAC;eACS,OAAO,KAAK,UAAU,KAAK,OAAO,CAAC;eACnC,KAAK,OAAO,KAAK,UAAU,IAAI,aAAa,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC;aACpE,KAAK,KAAK,KAAK,QAAQ,IAAI,aAAa,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC;kBACvD,KAAK,UAAU;;;;eAIlB,aAAa,KAAK,iBAAiB,KAAK,CAAC;iBACvC,KAAK,iBAAiB,QAAQ;;MAEzC,cAAc;;;;;;aAMP,KAAK,KAAK;;EAErB,OAAO;;MAEH,KAAK,eAAe,kBAAkB,aAAa,KAAK,aAAa,CAAC,MAAM,GAAG;MAC/E,gBAAgB;;;;;;;;;;;;;;;;;AAkBtB,SAAS,OAAO,OAAuB;AACrC,QAAO,MAAM,QAAQ,MAAM,MAAM"}
+{"version":3,"file":"data-view.js","names":[],"sources":["../../src/templates/data-view.ts"],"sourcesContent":["import type { DataViewSpecData } from '../types/spec-types';\nimport { toPascalCase, escapeString } from './utils';\n\nexport function generateDataViewSpec(data: DataViewSpecData): string {\n  const viewVarName =\n    toPascalCase(data.name.split('.').pop() ?? 'DataView') + 'DataView';\n\n  const fields = data.fields\n    .map(\n      (field) => `      {\n        key: '${escapeString(field.key)}',\n        label: '${escape(field.label)}',\n        dataPath: '${escapeString(field.dataPath)}',\n        ${field.format ? `format: '${escapeString(field.format)}',` : ''}\n        ${field.sortable ? 'sortable: true,' : ''}\n        ${field.filterable ? 'filterable: true,' : ''}\n      }`\n    )\n    .join(',\\n');\n\n  const secondaryFields = data.secondaryFields?.length\n    ? `secondaryFields: [${data.secondaryFields\n        .map((key) => `'${escapeString(key)}'`)\n        .join(', ')}],`\n    : '';\n\n  const itemOperation = data.itemOperation\n    ? `item: { name: '${escapeString(data.itemOperation.name)}', version: ${data.itemOperation.version} },`\n    : '';\n\n  return `import type { DataViewSpec } from '@contractspec/lib.contracts/data-views';\n\nexport const ${viewVarName}: DataViewSpec = {\n  meta: {\n    key: '${escapeString(data.name)}',\n    version: ${data.version},\n    entity: '${escapeString(data.entity)}',\n    title: '${escape(data.title)}',\n    description: '${escape(\n      data.description || 'Describe the purpose of this data view.'\n    )}',\n    domain: '${escape(data.domain || data.entity)}',\n    owners: [${data.owners.map((owner) => `'${escapeString(owner)}'`).join(', ')}],\n    tags: [${data.tags.map((tag) => `'${escapeString(tag)}'`).join(', ')}],\n    stability: '${data.stability}',\n  },\n  source: {\n    primary: {\n      name: '${escapeString(data.primaryOperation.name)}',\n      version: ${data.primaryOperation.version},\n    },\n    ${itemOperation}\n    refreshEvents: [\n      // { name: 'entity.updated', version: '1.0.0' },\n    ],\n  },\n  view: {\n    kind: '${data.kind}',\n    fields: [\n${fields}\n    ],\n    ${data.primaryField ? `primaryField: '${escapeString(data.primaryField)}',` : ''}\n    ${secondaryFields}\n    filters: [\n      // Example filter:\n      // { key: 'search', label: 'Search', field: 'fullName', type: 'search' },\n    ],\n    actions: [\n      // Example action:\n      // { key: 'open', label: 'Open', kind: 'navigation' },\n    ],\n  },\n  states: {\n    // empty: { name: 'app.data.empty', version: '1.0.0' },\n    // error: { name: 'app.data.error', version: '1.0.0' },\n  },\n};\n`;\n}\n\nfunction escape(value: string): string {\n  return value.replace(/'/g, \"\\\\'\");\n}\n"],"mappings":";;;AAGA,SAAgB,qBAAqB,MAAgC;CACnE,MAAM,cACJ,aAAa,KAAK,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI,WAAW,GAAG;CAE3D,MAAM,SAAS,KAAK,OACjB,KACE,UAAU;gBACD,aAAa,MAAM,IAAI,CAAC;kBACtB,OAAO,MAAM,MAAM,CAAC;qBACjB,aAAa,MAAM,SAAS,CAAC;UACxC,MAAM,SAAS,YAAY,aAAa,MAAM,OAAO,CAAC,MAAM,GAAG;UAC/D,MAAM,WAAW,oBAAoB,GAAG;UACxC,MAAM,aAAa,sBAAsB,GAAG;SAEjD,CACA,KAAK,MAAM;CAEd,MAAM,kBAAkB,KAAK,iBAAiB,SAC1C,qBAAqB,KAAK,gBACvB,KAAK,QAAQ,IAAI,aAAa,IAAI,CAAC,GAAG,CACtC,KAAK,KAAK,CAAC,MACd;CAEJ,MAAM,gBAAgB,KAAK,gBACvB,kBAAkB,aAAa,KAAK,cAAc,KAAK,CAAC,cAAc,KAAK,cAAc,QAAQ,OACjG;AAEJ,QAAO;;eAEM,YAAY;;YAEf,aAAa,KAAK,KAAK,CAAC;eACrB,KAAK,QAAQ;eACb,aAAa,KAAK,OAAO,CAAC;cAC3B,OAAO,KAAK,MAAM,CAAC;oBACb,OACd,KAAK,eAAe,0CACrB,CAAC;eACS,OAAO,KAAK,UAAU,KAAK,OAAO,CAAC;eACnC,KAAK,OAAO,KAAK,UAAU,IAAI,aAAa,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC;aACpE,KAAK,KAAK,KAAK,QAAQ,IAAI,aAAa,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC;kBACvD,KAAK,UAAU;;;;eAIlB,aAAa,KAAK,iBAAiB,KAAK,CAAC;iBACvC,KAAK,iBAAiB,QAAQ;;MAEzC,cAAc;;;;;;aAMP,KAAK,KAAK;;EAErB,OAAO;;MAEH,KAAK,eAAe,kBAAkB,aAAa,KAAK,aAAa,CAAC,MAAM,GAAG;MAC/E,gBAAgB;;;;;;;;;;;;;;;;;AAkBtB,SAAS,OAAO,OAAuB;AACrC,QAAO,MAAM,QAAQ,MAAM,MAAM"}

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

@@ -20,7 +20,7 @@ type AnalyzedOperationKind = 'command' | 'query' | 'unknown';
  */
 interface RefInfo {
   key: string;
-  version: number;
+  version: string;
 }
 /**
  * A reference extracted from source code with location context.
@@ -28,7 +28,7 @@ interface RefInfo {
 interface ExtractedRef {
   type: RefType;
   key: string;
-  version: number;
+  version: string;
   sourceFile: string;
   sourceLine?: number;
 }
@@ -39,10 +39,12 @@ interface SpecScanResult {
   filePath: string;
   specType: AnalyzedSpecType;
   key?: string;
-  version?: number;
+  version?: string;
   kind?: AnalyzedOperationKind;
   stability?: Stability;
   description?: string;
+  goal?: string;
+  context?: string;
   owners?: string[];
   tags?: string[];
   hasMeta: boolean;
@@ -54,6 +56,7 @@ interface SpecScanResult {
   emittedEvents?: RefInfo[];
   policyRefs?: RefInfo[];
   testRefs?: RefInfo[];
+  sourceBlock?: string;
 }
 /**
  * Result of scanning a feature file.
@@ -63,6 +66,8 @@ interface FeatureScanResult {
   key: string;
   title?: string;
   description?: string;
+  goal?: string;
+  context?: string;
   domain?: string;
   stability?: Stability;
   owners?: string[];
@@ -79,6 +84,53 @@ interface FeatureScanResult {
     op: RefInfo;
     pres: RefInfo;
   }[];
+  sourceBlock?: string;
+}
+/**
+ * Result of scanning an example file.
+ */
+interface ExampleScanResult {
+  filePath: string;
+  key: string;
+  version?: string;
+  title?: string;
+  description?: string;
+  summary?: string;
+  kind?: string;
+  visibility?: string;
+  stability?: Stability;
+  owners?: string[];
+  tags?: string[];
+  domain?: string;
+  docs?: {
+    rootDocId?: string;
+    goalDocId?: string;
+    usageDocId?: string;
+  };
+  surfaces: {
+    templates: boolean;
+    sandbox: {
+      enabled: boolean;
+      modes: string[];
+    };
+    studio: {
+      enabled: boolean;
+      installable: boolean;
+    };
+    mcp: {
+      enabled: boolean;
+    };
+  };
+  entrypoints: {
+    packageName: string;
+    feature?: string;
+    blueprint?: string;
+    contracts?: string;
+    presentations?: string;
+    handlers?: string;
+    ui?: string;
+    docs?: string;
+  };
 }
 /**
  * Semantic diff item types.
@@ -122,5 +174,5 @@ interface ValidationResult {
   warnings: string[];
 }
 //#endregion
-export { AnalyzedOperationKind, AnalyzedSpecType, ContractGraph, ContractNode, ExtractedRef, FeatureScanResult, RefInfo, RefType, SemanticDiffItem, SemanticDiffOptions, SemanticDiffType, SpecScanResult, ValidationResult };
+export { AnalyzedOperationKind, AnalyzedSpecType, ContractGraph, ContractNode, ExampleScanResult, ExtractedRef, FeatureScanResult, RefInfo, RefType, SemanticDiffItem, SemanticDiffOptions, SemanticDiffType, SpecScanResult, ValidationResult };
 //# sourceMappingURL=analysis-types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"analysis-types.d.ts","names":[],"sources":["../../src/types/analysis-types.ts"],"sourcesContent":[],"mappings":";;;;AAgCA;AAYA;AAKA;AAQA;AAWiB,KA1DL,gBAAA,GA0DmB,WAAA,GAAA,OAAA,GAAA,cAAA,GAAA,SAAA,GAAA,YAAA,GAAA,WAAA,GAAA,MAAA,GAAA,WAAA,GAAA,UAAA,GAAA,YAAA,GAAA,aAAA,GAAA,WAAA,GAAA,WAAA,GAAA,YAAA,GAAA,QAAA,GAAA,WAAA,GAAA,SAAA;;;;AAoBb,KAxDN,OAAA,GAwDM,WAAA,GAAA,OAAA,GAAA,cAAA,GAAA,YAAA,GAAA,YAAA,GAAA,QAAA,GAAA,MAAA;;;;AAQD,KApDL,qBAAA,GAoDsB,SAAA,GAAA,OAAA,GAAA,SAAA;;;;AAajB,UA5DA,OAAA,CA4DA;EACF,GAAA,EAAA,MAAA;EAID,OAAA,EAAA,MAAA;;;;;AAWF,UApEK,YAAA,CAoEW;EAKX,IAAA,EAxET,OAwES;EAWA,GAAA,EAAA,MAAA;EAOA,OAAA,EAAA,MAAY;EAUjB,UAAA,EAAA,MAAa;EAKR,UAAA,CAAA,EAAA,MAAgB;;;;;UA/FhB,cAAA;;YAEL;;;SAGH;cACK;;;;;;;;;;kBAcI;eACH;aACF;;;;;UAMI,iBAAA;;;;;;cAMH;;;cAKA;UACJ;iBACO;eACF;;cAID;cACA;;;QAIiB;UAAe;;;;;;KAMlC,gBAAA;;;;UAKK,gBAAA;QACT;;;;;;;;;UAUS,mBAAA;;;;;;UAOA,YAAA;;;;;;;;;KAUL,aAAA,GAAgB,YAAY;;;;UAKvB,gBAAA"}
+{"version":3,"file":"analysis-types.d.ts","names":[],"sources":["../../src/types/analysis-types.ts"],"sourcesContent":[],"mappings":";;;;AAgCA;AAYA;AAKA;AAQA;AAWiB,KA1DL,gBAAA,GA0DmB,WAAA,GAAA,OAAA,GAAA,cAAA,GAAA,SAAA,GAAA,YAAA,GAAA,WAAA,GAAA,MAAA,GAAA,WAAA,GAAA,UAAA,GAAA,YAAA,GAAA,aAAA,GAAA,WAAA,GAAA,WAAA,GAAA,YAAA,GAAA,QAAA,GAAA,WAAA,GAAA,SAAA;;;;AAsBb,KA1DN,OAAA,GA0DM,WAAA,GAAA,OAAA,GAAA,cAAA,GAAA,YAAA,GAAA,YAAA,GAAA,QAAA,GAAA,MAAA;;;;AAWD,KAzDL,qBAAA,GAyDsB,SAAA,GAAA,OAAA,GAAA,SAAA;;;;AAejB,UAnEA,OAAA,CAmEA;EACF,GAAA,EAAA,MAAA;EAID,OAAA,EAAA,MAAA;;;;;AAcG,UA9EA,YAAA,CA8EiB;EA6CtB,IAAA,EA1HJ,OA0HI;EAKK,GAAA,EAAA,MAAA;EAWA,OAAA,EAAA,MAAA;EAOA,UAAA,EAAA,MAAY;EAUjB,UAAA,CAAA,EAAA,MAAa;AAKzB;;;;UAtJiB,cAAA;;YAEL;;;SAGH;cACK;;;;;;;;;;;;kBAgBI;eACH;aACF;;;;;;UASI,iBAAA;;;;;;;;cAQH;;;cAKA;UACJ;iBACO;eACF;;cAID;cACA;;;QAIiB;UAAe;;;;;;;UAS7B,iBAAA;;;;;;;;;cASH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAoCF,gBAAA;;;;UAKK,gBAAA;QACT;;;;;;;;;UAUS,mBAAA;;;;;;UAOA,YAAA;;;;;;;;;KAUL,aAAA,GAAgB,YAAY;;;;UAKvB,gBAAA"}

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

@@ -1,4 +1,5 @@
-import { OpKind, PresentationKind, SpecType } from "./spec-types.js";
+import { PresentationKind, SpecType } from "./spec-types.js";
+import { OpKind } from "@contractspec/lib.contracts";
 
 //#region src/types/generation-types.d.ts
 

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

@@ -1 +1 @@
-{"version":3,"file":"generation-types.d.ts","names":[],"sources":["../../src/types/generation-types.ts"],"sourcesContent":[],"mappings":";;;;AAmBA;AASA;AAKA;AAKY,UA7BK,mBAAA,CA6BQ;EAkBR,QAAA,EAAA,QAAe,GAAA,QAAA,GAAA,QAAA,GAAA,QAAA;EA6BnB,KAAA,CAAA,EAAA,MAAA;EAiBI,QAAA,CAAA,EAAA,MAAA;EASA,MAAA,CAAA,EAAA,OAAA;;;;;UA5FA,gBAAA;;;YAGL;;;;;KAMA,gBAAA;;;;KAKA,UAAA;;;;KAKA,aAAA;;;;UAkBK,eAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;cA6BJ,0BAA0B;;;;UAiBtB,qBAAA;;SAER;qBACY;;;;;UAMJ,qBAAA"}
+{"version":3,"file":"generation-types.d.ts","names":[],"sources":["../../src/types/generation-types.ts"],"sourcesContent":[],"mappings":";;;;;AAoBA;AASA;AAKA;AAKY,UA7BK,mBAAA,CA6BQ;EAkBR,QAAA,EAAA,QAAe,GAAA,QAAA,GAAA,QAAA,GAAA,QAAA;EA6BnB,KAAA,CAAA,EAAA,MAAA;EAiBI,QAAA,CAAA,EAAA,MAAA;EASA,MAAA,CAAA,EAAA,OAAA;;;;;UA5FA,gBAAA;;;YAGL;;;;;KAMA,gBAAA;;;;KAKA,UAAA;;;;KAKA,aAAA;;;;UAkBK,eAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;cA6BJ,0BAA0B;;;;UAiBtB,qBAAA;;SAER;qBACY;;;;;UAMJ,qBAAA"}

package/dist/types/generation-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"generation-types.js","names":["DEFAULT_WORKSPACE_CONFIG: WorkspaceConfig"],"sources":["../../src/types/generation-types.ts"],"sourcesContent":["/**\n * Code generation related type definitions.\n */\n\nimport type { SpecType, OpKind, PresentationKind } from './spec-types';\n\n/**\n * AI provider options for generation.\n */\nexport interface AIGenerationOptions {\n  provider: 'claude' | 'openai' | 'ollama' | 'custom';\n  model?: string;\n  endpoint?: string;\n  stream?: boolean;\n}\n\n/**\n * Result of code generation.\n */\nexport interface GenerationResult {\n  code: string;\n  filePath: string;\n  specType: SpecType;\n}\n\n/**\n * Build target types.\n */\nexport type GenerationTarget = 'handler' | 'component' | 'form';\n\n/**\n * Test target types.\n */\nexport type TestTarget = 'handler' | 'component';\n\n/**\n * Spec build type detected during build.\n */\nexport type SpecBuildType =\n  | 'operation'\n  | 'presentation'\n  | 'form'\n  | 'event'\n  | 'workflow'\n  | 'data-view'\n  | 'telemetry'\n  | 'migration'\n  | 'experiment'\n  | 'app-config'\n  | 'integration'\n  | 'knowledge'\n  | 'unknown';\n\n/**\n * Configuration for workspace operations.\n */\nexport interface WorkspaceConfig {\n  aiProvider: 'claude' | 'openai' | 'ollama' | 'custom';\n  aiModel?: string;\n  agentMode: 'simple' | 'cursor' | 'claude-code' | 'openai-codex';\n  customEndpoint?: string | null;\n  customApiKey?: string | null;\n  outputDir: string;\n  conventions: {\n    operations: string;\n    events: string;\n    presentations: string;\n    forms: string;\n    workflows?: string;\n    'data-views'?: string;\n    dataViews?: string;\n    migrations?: string;\n    telemetry?: string;\n    experiments?: string;\n    appConfig?: string;\n    integrations?: string;\n    knowledge?: string;\n  };\n  defaultOwners: string[];\n  defaultTags: string[];\n}\n\n/**\n * Default workspace configuration.\n */\nexport const DEFAULT_WORKSPACE_CONFIG: WorkspaceConfig = {\n  aiProvider: 'claude',\n  agentMode: 'simple',\n  outputDir: './src',\n  conventions: {\n    operations: 'interactions/commands|queries',\n    events: 'events',\n    presentations: 'presentations',\n    forms: 'forms',\n  },\n  defaultOwners: [],\n  defaultTags: [],\n};\n\n/**\n * AI prompt context for spec generation.\n */\nexport interface SpecGenerationContext {\n  description: string;\n  kind?: OpKind;\n  presentationKind?: PresentationKind;\n}\n\n/**\n * AI prompt context for code generation.\n */\nexport interface CodeGenerationContext {\n  specCode: string;\n  targetPath?: string;\n  existingCode?: string;\n}\n"],"mappings":";;;;AAqFA,MAAaA,2BAA4C;CACvD,YAAY;CACZ,WAAW;CACX,WAAW;CACX,aAAa;EACX,YAAY;EACZ,QAAQ;EACR,eAAe;EACf,OAAO;EACR;CACD,eAAe,EAAE;CACjB,aAAa,EAAE;CAChB"}
+{"version":3,"file":"generation-types.js","names":["DEFAULT_WORKSPACE_CONFIG: WorkspaceConfig"],"sources":["../../src/types/generation-types.ts"],"sourcesContent":["/**\n * Code generation related type definitions.\n */\n\nimport type { OpKind } from '@contractspec/lib.contracts';\nimport type { SpecType, PresentationKind } from './spec-types';\n\n/**\n * AI provider options for generation.\n */\nexport interface AIGenerationOptions {\n  provider: 'claude' | 'openai' | 'ollama' | 'custom';\n  model?: string;\n  endpoint?: string;\n  stream?: boolean;\n}\n\n/**\n * Result of code generation.\n */\nexport interface GenerationResult {\n  code: string;\n  filePath: string;\n  specType: SpecType;\n}\n\n/**\n * Build target types.\n */\nexport type GenerationTarget = 'handler' | 'component' | 'form';\n\n/**\n * Test target types.\n */\nexport type TestTarget = 'handler' | 'component';\n\n/**\n * Spec build type detected during build.\n */\nexport type SpecBuildType =\n  | 'operation'\n  | 'presentation'\n  | 'form'\n  | 'event'\n  | 'workflow'\n  | 'data-view'\n  | 'telemetry'\n  | 'migration'\n  | 'experiment'\n  | 'app-config'\n  | 'integration'\n  | 'knowledge'\n  | 'unknown';\n\n/**\n * Configuration for workspace operations.\n */\nexport interface WorkspaceConfig {\n  aiProvider: 'claude' | 'openai' | 'ollama' | 'custom';\n  aiModel?: string;\n  agentMode: 'simple' | 'cursor' | 'claude-code' | 'openai-codex';\n  customEndpoint?: string | null;\n  customApiKey?: string | null;\n  outputDir: string;\n  conventions: {\n    operations: string;\n    events: string;\n    presentations: string;\n    forms: string;\n    workflows?: string;\n    'data-views'?: string;\n    dataViews?: string;\n    migrations?: string;\n    telemetry?: string;\n    experiments?: string;\n    appConfig?: string;\n    integrations?: string;\n    knowledge?: string;\n  };\n  defaultOwners: string[];\n  defaultTags: string[];\n}\n\n/**\n * Default workspace configuration.\n */\nexport const DEFAULT_WORKSPACE_CONFIG: WorkspaceConfig = {\n  aiProvider: 'claude',\n  agentMode: 'simple',\n  outputDir: './src',\n  conventions: {\n    operations: 'interactions/commands|queries',\n    events: 'events',\n    presentations: 'presentations',\n    forms: 'forms',\n  },\n  defaultOwners: [],\n  defaultTags: [],\n};\n\n/**\n * AI prompt context for spec generation.\n */\nexport interface SpecGenerationContext {\n  description: string;\n  kind?: OpKind;\n  presentationKind?: PresentationKind;\n}\n\n/**\n * AI prompt context for code generation.\n */\nexport interface CodeGenerationContext {\n  specCode: string;\n  targetPath?: string;\n  existingCode?: string;\n}\n"],"mappings":";;;;AAsFA,MAAaA,2BAA4C;CACvD,YAAY;CACZ,WAAW;CACX,WAAW;CACX,aAAa;EACX,YAAY;EACZ,QAAQ;EACR,eAAe;EACf,OAAO;EACR;CACD,eAAe,EAAE;CACjB,aAAa,EAAE;CAChB"}

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

@@ -0,0 +1,138 @@
+import { Stability } from "./spec-types.js";
+
+//#region src/types/llm-types.d.ts
+
+/**
+ * LLM export format options.
+ * - **full**: Complete information including source code and all details (for deep LLM context)
+ * - **prompt**: Concise with implementation instructions (actionable for LLM)
+ * - **context**: Brief summary with counts and key fields (lightweight overview)
+ */
+type LLMExportFormat = 'full' | 'prompt' | 'context';
+/**
+ * Agent types for implementation guides.
+ */
+type AgentType = 'claude-code' | 'cursor-cli' | 'generic-mcp';
+/**
+ * Verification tier for implementation checks.
+ */
+type VerificationTier = 'quick' | 'standard' | 'thorough';
+/**
+ * Reference to a related spec (operation, event, policy, test, etc.)
+ */
+interface SpecRef {
+  name: string;
+  version: string;
+}
+/**
+ * Metadata extracted from a parsed spec.
+ */
+interface ParsedSpecMeta {
+  /** Unique identifier for the spec */
+  key: string;
+  /** Version number */
+  version: string;
+  /** Human-readable description */
+  description?: string;
+  /** Stability level */
+  stability?: Stability;
+  /** Team or individual owners */
+  owners?: string[];
+  /** Categorization tags */
+  tags?: string[];
+  /** Business goal this spec achieves */
+  goal?: string;
+  /** Additional context for implementation */
+  context?: string;
+}
+/**
+ * Lightweight representation of a spec extracted from source code.
+ * This is used for LLM export without requiring full compilation.
+ */
+interface ParsedSpec {
+  /** Spec metadata */
+  meta: ParsedSpecMeta;
+  /** Type of spec (operation, event, feature, etc.) */
+  specType: string;
+  /** For operations: command or query */
+  kind?: 'command' | 'query' | 'unknown';
+  /** Whether the spec defines input/output schemas */
+  hasIo?: boolean;
+  /** Whether the spec defines policy rules */
+  hasPolicy?: boolean;
+  /** Whether the spec defines a payload */
+  hasPayload?: boolean;
+  /** Whether the spec defines content */
+  hasContent?: boolean;
+  /** Whether the spec has a definition block */
+  hasDefinition?: boolean;
+  /** Events this spec may emit */
+  emittedEvents?: SpecRef[];
+  /** Policy specs referenced by this spec */
+  policyRefs?: SpecRef[];
+  /** Test specs associated with this spec */
+  testRefs?: SpecRef[];
+  /** Path to the source file */
+  filePath?: string;
+  /** The actual source code block of the spec */
+  sourceBlock?: string;
+  /** Operations included in this feature */
+  operations?: SpecRef[];
+  /** Events included in this feature */
+  events?: SpecRef[];
+  /** Presentations included in this feature */
+  presentations?: SpecRef[];
+}
+/**
+ * Options for spec-to-markdown conversion.
+ */
+interface SpecToMarkdownOptions {
+  /** Export format */
+  format: LLMExportFormat;
+  /** Indentation depth for nested specs */
+  depth?: number;
+  /** Include source code blocks */
+  includeSource?: boolean;
+  /** Include implementation instructions */
+  includeInstructions?: boolean;
+}
+/**
+ * Result of LLM export operation.
+ */
+interface LLMExportResult {
+  /** Generated markdown content */
+  content: string;
+  /** Number of specs included */
+  specCount: number;
+  /** Format used for export */
+  format: LLMExportFormat;
+}
+/**
+ * Result of implementation verification.
+ */
+interface VerificationResult {
+  /** Whether verification passed */
+  passed: boolean;
+  /** Issues found during verification */
+  issues: VerificationIssue[];
+  /** Suggestions for improvement */
+  suggestions: string[];
+  /** Verification tier used */
+  tier: VerificationTier;
+}
+/**
+ * Single verification issue.
+ */
+interface VerificationIssue {
+  /** Severity of the issue */
+  severity: 'error' | 'warning' | 'info';
+  /** Issue message */
+  message: string;
+  /** Location in the spec or implementation */
+  location?: string;
+  /** Suggested fix */
+  suggestion?: string;
+}
+//#endregion
+export { AgentType, LLMExportFormat, LLMExportResult, ParsedSpec, ParsedSpecMeta, SpecRef, SpecToMarkdownOptions, VerificationIssue, VerificationResult, VerificationTier };
+//# sourceMappingURL=llm-types.d.ts.map

package/dist/types/llm-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-types.d.ts","names":[],"sources":["../../src/types/llm-types.ts"],"sourcesContent":[],"mappings":";;;;AA6BA;AAQA;AAuBA;;;;AAsBa,KApED,eAAA,GAoEC,MAAA,GAAA,QAAA,GAAA,SAAA;;;;AAYY,KA3Eb,SAAA,GA2Ea,aAAA,GAAA,YAAA,GAAA,aAAA;AAMzB;AAcA;AAYA;AAciB,KApHL,gBAAA,GAoHsB,OAAA,GAAA,UAAA,GAAA,UAAA;;;;UA/GjB,OAAA;;;;;;;UAQA,cAAA;;;;;;;;cAQH;;;;;;;;;;;;;;UAeG,UAAA;;QAET;;;;;;;;;;;;;;;;kBAgBU;;eAEH;;aAEF;;;;;;eAQE;;WAEJ;;kBAEO;;;;;UAMD,qBAAA;;UAEP;;;;;;;;;;;UAYO,eAAA;;;;;;UAMP;;;;;UAMO,kBAAA;;;;UAIP;;;;QAIF;;;;;UAMS,iBAAA"}

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

@@ -1,16 +1,14 @@
+import { OpKind } from "@contractspec/lib.contracts";
+
 //#region src/types/spec-types.d.ts
-/**
- * Core spec type definitions.
- * Extracted from cli-contractspec/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;
+  version: string;
   description: string;
   owners: string[];
   tags: string[];
@@ -37,15 +35,15 @@ interface FeatureSpecData extends BaseSpecData {
   key: string;
   operations: {
     name: string;
-    version: number;
+    version: string;
   }[];
   events: {
     name: string;
-    version: number;
+    version: string;
   }[];
   presentations: {
     name: string;
-    version: number;
+    version: string;
   }[];
 }
 interface WorkflowStepData {
@@ -55,11 +53,11 @@ interface WorkflowStepData {
   description?: string;
   operation?: {
     name: string;
-    version: number;
+    version: string;
   };
   form?: {
     key: string;
-    version: number;
+    version: string;
   };
 }
 interface WorkflowTransitionData {
@@ -91,11 +89,11 @@ interface DataViewSpecData extends BaseSpecData {
   kind: DataViewKind;
   primaryOperation: {
     name: string;
-    version: number;
+    version: string;
   };
   itemOperation?: {
     name: string;
-    version: number;
+    version: string;
   };
   fields: DataViewFieldData[];
   primaryField?: string;
@@ -117,7 +115,7 @@ interface TelemetryAnomalyRuleData {
 }
 interface TelemetryEventData {
   name: string;
-  version: number;
+  version: string;
   what: string;
   who?: string;
   why?: string;
@@ -149,7 +147,7 @@ interface TelemetrySpecData extends BaseSpecData {
 interface ExperimentVariantOverrideData {
   type: 'dataView' | 'workflow' | 'theme' | 'policy' | 'presentation';
   target: string;
-  version?: number;
+  version?: string;
 }
 interface ExperimentVariantData {
   id: string;
@@ -163,7 +161,7 @@ interface TargetingRuleData {
   percentage?: number;
   policy?: {
     name: string;
-    version?: number;
+    version?: string;
   };
   expression?: string;
 }
@@ -199,7 +197,7 @@ interface ExperimentSpecData extends BaseSpecData {
 interface AppConfigMappingData {
   slot: string;
   name: string;
-  version?: number;
+  version?: string;
 }
 interface AppConfigFeatureFlagData {
   key: string;
@@ -230,27 +228,27 @@ interface AppBlueprintSpecData extends BaseSpecData {
   workflows: AppConfigMappingData[];
   policyRefs: {
     name: string;
-    version?: number;
+    version?: string;
   }[];
   theme?: {
     name: string;
-    version: number;
+    version: string;
   };
   themeFallbacks: {
     name: string;
-    version: number;
+    version: string;
   }[];
   telemetry?: {
     name: string;
-    version?: number;
+    version?: string;
   };
   activeExperiments: {
     name: string;
-    version?: number;
+    version?: string;
   }[];
   pausedExperiments: {
     name: string;
-    version?: number;
+    version?: string;
   }[];
   featureFlags: AppConfigFeatureFlagData[];
   routes: AppRouteConfigData[];
@@ -287,11 +285,11 @@ type IntegrationOwnershipModeData = 'managed' | 'byok';
 type IntegrationHealthCheckMethod = 'ping' | 'list' | 'custom';
 interface IntegrationCapabilityRefData {
   key: string;
-  version: number;
+  version: string;
 }
 interface IntegrationCapabilityRequirementData {
   key: string;
-  version?: number;
+  version?: string;
   optional?: boolean;
   reason?: string;
 }
@@ -341,5 +339,5 @@ interface KnowledgeSpaceSpecData extends BaseSpecData {
   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 };
+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, OperationSpecData, PresentationKind, PresentationSpecData, RandomAllocationData, SpecType, Stability, StepType, StickyAllocationData, TargetedAllocationData, TargetingRuleData, TelemetryAnomalyRuleData, TelemetryEventData, TelemetryPrivacy, TelemetryPropertyData, TelemetryProviderData, TelemetrySpecData, WorkflowSpecData, WorkflowStepData, WorkflowTransitionData };
 //# sourceMappingURL=spec-types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"spec-types.d.ts","names":[],"sources":["../../src/types/spec-types.ts"],"sourcesContent":[],"mappings":";;AAKA;AAeA;AAEA;AAEY,KAnBA,QAAA,GAmBS,WAAA,GAAA,OAAA,GAAA,cAAA,GAAA,MAAA,GAAA,SAAA,GAAA,UAAA,GAAA,WAAA,GAAA,WAAA,GAAA,WAAA,GAAA,YAAA,GAAA,YAAA,GAAA,aAAA,GAAA,WAAA;AAET,KANA,MAAA,GAMQ,SAAA,GAAA,OAAA;AAEH,KANL,gBAAA,GAYC,eAAS,GAAA,UAAA,GAAA,MAAA;AAGL,KAbL,SAAA,GAauB,cAC3B,GAAA,MADmC,GAAA,QAAY,GAAA,YAAA;AAWtC,KAtBL,QAAA,GAsBmB,OAAA,GAAQ,YAAY,GAAA,UAAA;AAIlC,UAxBA,YAAA,CAwBqB;EAI1B,IAAA,EAAA,MAAA;EAEK,OAAA,EAAA,MAAA;EAOA,WAAA,EAAA,MAAgB;EAShB,MAAA,EAAA,MAAA,EAAA;EAMA,IAAA,EAAA,MAAA,EAAA;EAIR,SAAA,EAlDI,SAkDJ;;AAJiC,UA3CzB,iBAAA,SAA0B,YA2CD,CAAA;EAAY,IAAA,EA1C9C,MA0C8C;EAS1C,IAAA,EAAA,MAAA;EAEK,OAAA,EAAA,MAAA;EASA,QAAA,EAAA,OAAA;EAIT,SAAA,EAAA,OAAA;EAGE,IAAA,EAAA,WAAA,GAAA,MAAA,GAAA,OAAA;EAPgC,KAAA,EAAA,MAAA,EAAA;EAAY,WAAA,EAAA,OAAA;AAYtD;AAEiB,UAlEA,aAAA,SAAsB,YAkED,CAAA;EASrB,SAAA,EAAA,MAAA,EAAA;AAMjB;AAMW,UAnFM,oBAAA,SAA6B,YAmFnC,CAAA;EACG,gBAAA,EAnFM,gBAmFN;;AAO2B,KAvF7B,YAAA,GAAe,YAuFc;AAKxB,UA1FA,eAAA,SAAwB,YA0FH,CAAA;EAKrB,GAAA,EAAA,MAAA;EAIH,UAAA,EAAA;IAGJ,IAAA,EAAA,MAAA;IAPiC,OAAA,EAAA,MAAA;EAAY,CAAA,EAAA;EAUtC,MAAA,EAAA;IAMA,IAAA,EAAA,MAAA;IAQA,OAAA,EAAA,MAAA;EAOA,CAAA,EAAA;EAKA,aAAA,EAAA;IAMA,IAAA,EAAA,MAAA;IAML,OAAA,EAAA,MAAA;EACR,CAAA,EAAA;;AAEA,UA3Ia,gBAAA,CA2Ib;EAAsB,EAAA,EAAA,MAAA;EAET,KAAA,EAAA,MAAA;EAQA,IAAA,EAlJT,QAkJS;EAGL,WAAA,CAAA,EAAA,MAAA;EACE,SAAA,CAAA,EAAA;IACK,IAAA,EAAA,MAAA;IALyB,OAAA,EAAA,MAAA;EAAY,CAAA;EAQvC,IAAA,CAAA,EAAA;IAMA,GAAA,EAAA,MAAA;IAOA,OAAA,EAAA,MAAA;EAYA,CAAA;;AASJ,UAtLI,sBAAA,CAsLJ;EAOG,IAAA,EAAA,MAAA;EACN,EAAA,EAAA,MAAA;EAjBoC,SAAA,CAAA,EAAA,MAAA;;AAqBlC,UA5LK,gBAAA,SAAyB,YA4Lb,CAAA;EAEZ,KAAA,EAAA,MAAA;EAYA,MAAA,EAAA,MAAA;EAIX,WAAA,CAAA,EAAA,MAAA;EACG,KAAA,EA3MA,gBA2MA,EAAA;EALkC,WAAA,EArM5B,sBAqM4B,EAAA;EAAY,WAAA,EAAA,MAAA,EAAA;AAQvD;AAgBY,KAzNA,YAAA,GAyNA,MAA0B,GAAA,QAAA,GAAA,OAAA,GAAA,MAAA;AAE1B,UAzNK,iBAAA,CAyNuB;EAE5B,GAAA,EAAA,MAAA;EAEK,KAAA,EAAA,MAAA;EAKA,QAAA,EAAA,MAAA;EAOA,MAAA,CAAA,EAAA,MAAA;EAOL,QAAA,CAAA,EAAA,OAAA;EAEK,UAAA,CAAA,EAAA,OAAA;;AAKC,UA9OD,gBAAA,SAAyB,YA8OxB,CAAA;EACM,KAAA,EAAA,MAAA;EACA,MAAA,EAAA,MAAA;EACR,MAAA,EAAA,MAAA;EACA,IAAA,EA9OR,YA8OQ;EAIK,gBAAA,EAAA;IAbwB,IAAA,EAAA,MAAA;IAAY,OAAA,EAAA,MAAA;EAmB7C,CAAA;EAMA,aAAA,CAAA,EAAA;IAEK,IAAA,EAAA,MAAA;IAKA,OAAA,EAAA,MAAA;EAIL,CAAA;EACC,MAAA,EAvQH,iBAuQG,EAAA;EAGC,YAAA,CAAA,EAAA,MAAA;EARkC,eAAA,CAAA,EAAA,MAAA,EAAA;;KA7PpC,gBAAA;UAEK,qBAAA;;;;;;;;UASA,wBAAA;;;;;UAMA,kBAAA;;;;;;WAMN;cACG;;;;;;;iBAOG;;;;UAKA,qBAAA;;;;UAKA,iBAAA,SAA0B;;;;cAI7B;;;UAGJ;;UAGO,6BAAA;;;;;UAMA,qBAAA;;;;;cAKH;;UAGG,iBAAA;;;;;;;;;UAOA,oBAAA;;;;UAKA,oBAAA;;;;;UAMA,sBAAA;;;SAGR;;KAGG,wBAAA,GACR,uBACA,uBACA;UAEa,oBAAA;;;;;;;UAQA,kBAAA,SAA2B;;;YAGhC;cACE;mBACK;;UAGF,oBAAA;;;;;UAMA,wBAAA;;;;;;UAOA,kBAAA;;;;;;;;;;;UAYA,oBAAA,SAA6B;;;;;;;;aAQjC;aACA;;;;;;;;;;;;;;;;;;;;;;;;;gBAOG;UACN;;;KAIE,iBAAA;UAEK,iBAAA;QACT;;;;;;;;;;;;;;;;UAWS,iBAAA,SAA0B;;;;MAIrC;SACG;;KAGG,uBAAA;KAgBA,0BAAA;KAEA,4BAAA;KAEA,4BAAA;UAEK,4BAAA;;;;UAKA,oCAAA;;;;;;UAOA,0BAAA;;QAET;;;;KAKI,0BAAA,GAA6B;UAExB,mBAAA,SAA4B;;;;YAIjC;kBACM;wBACM;wBACA;gBACR;gBACA;;;;qBAIK;;;;;KAMT,qBAAA;KAMA,mBAAA;UAEK,sBAAA;;;;UAKA,sBAAA,SAA+B;;;;YAIpC;aACC;;;cAGC"}
+{"version":3,"file":"spec-types.d.ts","names":[],"sources":["../../src/types/spec-types.ts"],"sourcesContent":[],"mappings":";;;;AAwBY,KAjBA,QAAA,GAiBS,WAAA,GAAA,OAAA,GAAA,cAAA,GAAA,MAAA,GAAA,SAAA,GAAA,UAAA,GAAA,WAAA,GAAA,WAAA,GAAA,WAAA,GAAA,YAAA,GAAA,YAAA,GAAA,aAAA,GAAA,WAAA;AAET,KAJA,gBAAA,GAIQ,eAAA,GAAA,UAAA,GAAA,MAAA;AAEH,KAJL,SAAA,GAIiB,cAMhB,GAAS,MAAA,GAAA,QAAA,GAAA,YAAA;AAGL,KAXL,QAAA,GAWK,OAAkB,GAAA,YAAQ,GAAA,UAAY;AAWtC,UApBA,YAAA,CAoBc;EAId,IAAA,EAAA,MAAA;EAIL,OAAA,EAAA,MAAY;EAEP,WAAA,EAAA,MAAgB;EAOhB,MAAA,EAAA,MAAA,EAAA;EASA,IAAA,EAAA,MAAA,EAAA;EAMA,SAAA,EA9CJ,SA8CqB;;AAKnB,UAhDE,iBAAA,SAA0B,YAgD5B,CAAA;EAL2B,IAAA,EA1ClC,MA0CkC;EAAY,IAAA,EAAA,MAAA;EAS1C,OAAA,EAAA,MAAY;EAEP,QAAA,EAAA,OAAA;EASA,SAAA,EAAA,OAAA;EAIT,IAAA,EAAA,WAAA,GAAA,MAAA,GAAA,OAAA;EAGE,KAAA,EAAA,MAAA,EAAA;EAPgC,WAAA,EAAA,OAAA;;AAY9B,UAhEK,aAAA,SAAsB,YAgEX,CAAA;EAEX,SAAA,EAAA,MAAA,EAAA;AASjB;AAMiB,UA7EA,oBAAA,SAA6B,YA6EX,CAAA;EAMxB,gBAAA,EAlFS,gBAkFT;;AAQM,KAvFL,YAAA,GAAe,YAuFV;AAAwB,UArFxB,eAAA,SAAwB,YAqFA,CAAA;EAKxB,GAAA,EAAA,MAAA;EAKA,UAAA,EAAA;IAIH,IAAA,EAAA,MAAA;IAGJ,OAAA,EAAA,MAAA;EAPiC,CAAA,EAAA;EAAY,MAAA,EAAA;IAUtC,IAAA,EAAA,MAAA;IAMA,OAAA,EAAA,MAAA;EAQA,CAAA,EAAA;EAOA,aAAA,EAAA;IAKA,IAAA,EAAA,MAAA;IAMA,OAAA,EAAA,MAAA;EAML,CAAA,EAAA;;AAER,UA1Ia,gBAAA,CA0Ib;EACA,EAAA,EAAA,MAAA;EAAsB,KAAA,EAAA,MAAA;EAET,IAAA,EA1IT,QA0IS;EAQA,WAAA,CAAA,EAAA,MAAA;EAGL,SAAA,CAAA,EAAA;IACE,IAAA,EAAA,MAAA;IACK,OAAA,EAAA,MAAA;EALyB,CAAA;EAAY,IAAA,CAAA,EAAA;IAQvC,GAAA,EAAA,MAAA;IAMA,OAAA,EAAA,MAAA;EAOA,CAAA;AAYjB;AAQa,UArLI,sBAAA,CAqLJ;EACA,IAAA,EAAA,MAAA;EAOG,EAAA,EAAA,MAAA;EACN,SAAA,CAAA,EAAA,MAAA;;AAjBgD,UAvKzC,gBAAA,SAAyB,YAuKgB,CAAA;EAqB9C,KAAA,EAAA,MAAA;EAEK,MAAA,EAAA,MAAA;EAYA,WAAA,CAAA,EAAA,MAAkB;EAI7B,KAAA,EA1MG,gBA0MH,EAAA;EACG,WAAA,EA1MM,sBA0MN,EAAA;EALkC,WAAA,EAAA,MAAA,EAAA;;AAQ/B,KAzMA,YAAA,GAyMA,MAAuB,GAAA,QAAA,GAAA,OAAA,GAAA,MAAA;AAgBvB,UAvNK,iBAAA,CAuNqB;EAE1B,GAAA,EAAA,MAAA;EAEA,KAAA,EAAA,MAAA;EAEK,QAAA,EAAA,MAAA;EAKA,MAAA,CAAA,EAAA,MAAA;EAOA,QAAA,CAAA,EAAA,OAAA;EAOL,UAAA,CAAA,EAAA,OAAA;AAEZ;AAIY,UA7OK,gBAAA,SAAyB,YA6O9B,CAAA;EACM,KAAA,EAAA,MAAA;EACM,MAAA,EAAA,MAAA;EACA,MAAA,EAAA,MAAA;EACR,IAAA,EA7OR,YA6OQ;EACA,gBAAA,EAAA;IAIK,IAAA,EAAA,MAAA;IAbwB,OAAA,EAAA,MAAA;EAAY,CAAA;EAmB7C,aAAA,CAAA,EAAA;IAMA,IAAA,EAAA,MAAA;IAEK,OAAA,EAAA,MAAA;EAKA,CAAA;EAIL,MAAA,EAtQF,iBAsQE,EAAA;EACC,YAAA,CAAA,EAAA,MAAA;EAGC,eAAA,CAAA,EAAA,MAAA,EAAA;;AAR8C,KA7PhD,gBAAA,GA6PgD,QAAA,GAAA,UAAA,GAAA,KAAA,GAAA,WAAA;UA3P3C,qBAAA;;;;;;;;UASA,wBAAA;;;;;UAMA,kBAAA;;;;;;WAMN;cACG;;;;;;;iBAOG;;;;UAKA,qBAAA;;;;UAKA,iBAAA,SAA0B;;;;cAI7B;;;UAGJ;;UAGO,6BAAA;;;;;UAMA,qBAAA;;;;;cAKH;;UAGG,iBAAA;;;;;;;;;UAOA,oBAAA;;;;UAKA,oBAAA;;;;;UAMA,sBAAA;;;SAGR;;KAGG,wBAAA,GACR,uBACA,uBACA;UAEa,oBAAA;;;;;;;UAQA,kBAAA,SAA2B;;;YAGhC;cACE;mBACK;;UAGF,oBAAA;;;;;UAMA,wBAAA;;;;;;UAOA,kBAAA;;;;;;;;;;;UAYA,oBAAA,SAA6B;;;;;;;;aAQjC;aACA;;;;;;;;;;;;;;;;;;;;;;;;;gBAOG;UACN;;;KAIE,iBAAA;UAEK,iBAAA;QACT;;;;;;;;;;;;;;;;UAWS,iBAAA,SAA0B;;;;MAIrC;SACG;;KAGG,uBAAA;KAgBA,0BAAA;KAEA,4BAAA;KAEA,4BAAA;UAEK,4BAAA;;;;UAKA,oCAAA;;;;;;UAOA,0BAAA;;QAET;;;;KAKI,0BAAA,GAA6B;UAExB,mBAAA,SAA4B;;;;YAIjC;kBACM;wBACM;wBACA;gBACR;gBACA;;;;qBAIK;;;;;KAMT,qBAAA;KAMA,mBAAA;UAEK,sBAAA;;;;UAKA,sBAAA,SAA+B;;;;YAIpC;aACC;;;cAGC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contractspec/module.workspace",
-  "version": "1.44.1",
+  "version": "1.45.0",
   "description": "Workspace discovery and management module",
   "keywords": [
     "contractspec",
@@ -31,13 +31,14 @@
     "test": "bun run"
   },
   "dependencies": {
-    "@contractspec/lib.contracts": "1.44.1",
-    "@contractspec/lib.schema": "1.44.1",
+    "@contractspec/lib.contracts": "1.45.0",
+    "@contractspec/lib.schema": "1.45.0",
+    "compare-versions": "^6.1.1",
     "zod": "^4.1.13"
   },
   "devDependencies": {
-    "@contractspec/tool.tsdown": "1.44.1",
-    "@contractspec/tool.typescript": "1.44.1",
+    "@contractspec/tool.tsdown": "1.45.0",
+    "@contractspec/tool.typescript": "1.45.0",
     "tsdown": "^0.18.3",
     "typescript": "^5.9.3"
   },

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

@@ -1 +0,0 @@
-{"version":3,"file":"code-generation.d.ts","names":[],"sources":["../../src/ai/code-generation.ts"],"sourcesContent":[],"mappings":";;AAQA;AA0BA;AA0BA;AA2BA;AA2CA;;iBA1HgB,kBAAA;;;;iBA0BA,oBAAA;;;;iBA0BA,eAAA;;;;iBA2BA,eAAA;;;;iBA2CA,sBAAA,CAAA"}

package/dist/ai/code-generation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"code-generation.js","names":[],"sources":["../../src/ai/code-generation.ts"],"sourcesContent":["/**\n * AI prompts for code generation.\n * Extracted from cli-contractspec/src/ai/prompts/code-generation.ts\n */\n\n/**\n * Build prompt for generating handler implementation.\n */\nexport function buildHandlerPrompt(specCode: string): string {\n  return `You are a senior TypeScript developer implementing a handler for a contract specification.\n\nHere is the contract spec:\n\n\\`\\`\\`typescript\n${specCode}\n\\`\\`\\`\n\nGenerate a complete handler implementation that:\n\n1. **Matches the spec signature**: Input/output types from the spec\n2. **Handles errors**: Implement error cases defined in spec.io.errors\n3. **Emits events**: Use the events declared in spec.sideEffects.emits\n4. **Validates input**: Use zod validation from the schema\n5. **Follows best practices**: Clean, type-safe TypeScript\n6. **Includes comments**: Explain business logic\n\nThe handler should be production-ready with proper error handling, logging points, and clear structure.\n\nReturn only the TypeScript code for the handler function.`;\n}\n\n/**\n * Build prompt for generating React component from presentation spec.\n */\nexport function buildComponentPrompt(specCode: string): string {\n  return `You are a senior React developer creating a component for a presentation specification.\n\nHere is the presentation spec:\n\n\\`\\`\\`typescript\n${specCode}\n\\`\\`\\`\n\nGenerate a complete React component that:\n\n1. **Props interface**: Typed props from the spec\n2. **Accessibility**: Proper ARIA labels, roles, keyboard navigation\n3. **Mobile-first**: Optimized for small screens and touch\n4. **Clean UI**: Simple, intuitive interface\n5. **Type-safe**: Full TypeScript with no 'any' types\n6. **Best practices**: React hooks, proper state management\n\nThe component should follow Atomic Design principles and be reusable.\n\nReturn only the TypeScript/TSX code for the component.`;\n}\n\n/**\n * Build prompt for generating form component.\n */\nexport function buildFormPrompt(specCode: string): string {\n  return `You are a senior React developer creating a form component from a form specification.\n\nHere is the form spec:\n\n\\`\\`\\`typescript\n${specCode}\n\\`\\`\\`\n\nGenerate a complete form component using react-hook-form that:\n\n1. **Form validation**: Use zod schema for validation\n2. **Field types**: Proper inputs for each field type\n3. **Conditional logic**: Support visibleWhen, enabledWhen, requiredWhen predicates\n4. **Error handling**: Clear, user-friendly error messages\n5. **Accessibility**: Labels, hints, ARIA attributes\n6. **Mobile-optimized**: Touch-friendly, appropriate input types\n7. **Type-safe**: Full TypeScript\n\nThe form should provide excellent UX with real-time validation and helpful feedback.\n\nReturn only the TypeScript/TSX code for the form component.`;\n}\n\n/**\n * Build prompt for generating tests.\n */\nexport function buildTestPrompt(\n  specCode: string,\n  implementationCode: string,\n  testType: 'handler' | 'component'\n): string {\n  const testFocus =\n    testType === 'handler'\n      ? `\n  - Test all acceptance scenarios from the spec\n  - Test error cases defined in spec.io.errors\n  - Verify events are emitted correctly\n  - Test input validation\n  - Test happy path and edge cases`\n      : `\n  - Test rendering with various props\n  - Test user interactions\n  - Test accessibility (a11y)\n  - Test responsive behavior\n  - Test error states`;\n\n  return `You are a senior developer writing comprehensive tests.\n\nSpec:\n\\`\\`\\`typescript\n${specCode}\n\\`\\`\\`\n\nImplementation:\n\\`\\`\\`typescript\n${implementationCode}\n\\`\\`\\`\n\nGenerate complete test suite using Vitest that:\n${testFocus}\n\nUse clear test descriptions and follow AAA pattern (Arrange, Act, Assert).\n\nReturn only the TypeScript test code.`;\n}\n\n/**\n * System prompt for code generation.\n */\nexport function getCodeGenSystemPrompt(): string {\n  return `You are an expert TypeScript developer with deep knowledge of:\n- Type-safe API design\n- React and modern hooks\n- Test-driven development\n- Accessibility best practices\n- Clean code principles\n\nGenerate production-ready code that is:\n- Fully typed (no 'any' or type assertions unless absolutely necessary)\n- Well-documented with TSDoc comments\n- Following project conventions\n- Defensive and error-safe\n- Easy to maintain and extend\n\nAlways prioritize code quality, safety, and user experience.`;\n}\n"],"mappings":";;;;;;;;AAQA,SAAgB,mBAAmB,UAA0B;AAC3D,QAAO;;;;;EAKP,SAAS;;;;;;;;;;;;;;;;;;;AAoBX,SAAgB,qBAAqB,UAA0B;AAC7D,QAAO;;;;;EAKP,SAAS;;;;;;;;;;;;;;;;;;;AAoBX,SAAgB,gBAAgB,UAA0B;AACxD,QAAO;;;;;EAKP,SAAS;;;;;;;;;;;;;;;;;;;;AAqBX,SAAgB,gBACd,UACA,oBACA,UACQ;AAgBR,QAAO;;;;EAIP,SAAS;;;;;EAKT,mBAAmB;;;;EAvBjB,aAAa,YACT;;;;;sCAMA;;;;;uBAoBI;;;;;;;;;AAUZ,SAAgB,yBAAiC;AAC/C,QAAO"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"spec-creation.d.ts","names":[],"sources":["../../src/ai/spec-creation.ts"],"sourcesContent":[],"mappings":";;;;AA2DA;AAoCA;AAiBA;iBAtGgB,wBAAA,4BAER;;;;iBA0BQ,oBAAA;;;;iBAqBA,2BAAA,4BAER;;;;iBAkCQ,eAAA,CAAA;;;;iBAiBA,iBAAA"}

package/dist/ai/spec-creation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"spec-creation.js","names":[],"sources":["../../src/ai/spec-creation.ts"],"sourcesContent":["/**\n * AI prompts for spec creation.\n * Extracted from cli-contractspec/src/ai/prompts/spec-creation.ts\n */\n\nimport type { OpKind, PresentationKind } from '../types/spec-types';\n\n/**\n * Build prompt for creating operation spec from description.\n */\nexport function buildOperationSpecPrompt(\n  description: string,\n  kind: OpKind\n): string {\n  return `You are a senior software architect creating a contract specification for an operation.\n\nThe operation is a ${kind} (${kind === 'command' ? 'changes state, has side effects' : 'read-only, idempotent'}).\n\nUser description: ${description}\n\nCreate a complete contract specification following these guidelines:\n\n1. **Name**: Use dot notation like \"domain.operationName\" (e.g., \"user.signup\", \"payment.charge\")\n2. **Version**: Start at 1\n3. **Description**: Clear, concise summary (1-2 sentences)\n4. **Goal**: Business purpose - why this operation exists\n5. **Context**: Background, constraints, scope (what it does and doesn't do)\n6. **Input/Output**: Describe the shape (we'll create schemas separately)\n7. **Auth**: Who can call this - anonymous, user, or admin\n8. **Feature Flags**: Any flags that gate this operation\n9. **Side Effects**: What events might be emitted, analytics to track\n\nRespond with a structured spec.`;\n}\n\n/**\n * Build prompt for creating event spec from description.\n */\nexport function buildEventSpecPrompt(description: string): string {\n  return `You are a senior software architect creating an event specification.\n\nUser description: ${description}\n\nCreate a complete event specification following these guidelines:\n\n1. **Name**: Use dot notation like \"domain.event_name\" (e.g., \"user.signup_completed\", \"payment.charged\")\n2. **Version**: Start at 1\n3. **Description**: Clear description of when this event is emitted\n4. **Payload**: Describe what data the event carries\n5. **PII Fields**: List any personally identifiable information fields (e.g., [\"email\", \"name\"])\n\nEvents represent things that have already happened and should use past tense.\n\nRespond with a structured spec.`;\n}\n\n/**\n * Build prompt for creating presentation spec from description.\n */\nexport function buildPresentationSpecPrompt(\n  description: string,\n  kind: PresentationKind\n): string {\n  const kindDescriptions = {\n    web_component: 'a React component with props schema',\n    markdown: 'markdown/MDX documentation or guide',\n    data: 'structured data export (JSON/XML)',\n  };\n\n  return `You are a senior software architect creating a presentation specification.\n\nThis is a ${kind} presentation - ${kindDescriptions[kind]}.\n\nUser description: ${description}\n\nCreate a complete presentation specification following these guidelines:\n\n1. **Name**: Use dot notation like \"domain.presentation_name\" (e.g., \"user.profile_card\", \"docs.api_guide\")\n2. **Version**: Start at 1\n3. **Description**: What this presentation shows/provides\n4. **Kind-specific details**:\n   ${\n     kind === 'web_component'\n       ? '- Component key (symbolic, resolved by host app)\\n   - Props structure\\n   - Analytics events to track'\n       : kind === 'markdown'\n         ? '- Content or resource URI\\n   - Target audience'\n         : '- MIME type (e.g., application/json)\\n   - Data structure description'\n   }\n\nRespond with a structured spec.`;\n}\n\n/**\n * Build system prompt for all spec generation.\n */\nexport function getSystemPrompt(): string {\n  return `You are an expert software architect specializing in API design and contract-driven development.\n\nYou create clear, well-documented specifications that serve as the single source of truth for operations, events, and presentations.\n\nYour specs are:\n- Precise and unambiguous\n- Following TypeScript conventions\n- Business-oriented (capturing the \"why\" not just \"what\")\n- Designed for both humans and AI agents to understand\n\nAlways use proper dot notation for names and ensure all metadata is meaningful and accurate.`;\n}\n\n/**\n * Create example-based prompt for better results.\n */\nexport function addExampleContext(\n  basePrompt: string,\n  examples: string[]\n): string {\n  if (examples.length === 0) return basePrompt;\n\n  return `${basePrompt}\n\nHere are some good examples for reference:\n\n${examples.join('\\n\\n')}\n\nFollow this structure and quality level.`;\n}\n"],"mappings":";;;;AAUA,SAAgB,yBACd,aACA,MACQ;AACR,QAAO;;qBAEY,KAAK,IAAI,SAAS,YAAY,oCAAoC,wBAAwB;;oBAE3F,YAAY;;;;;;;;;;;;;;;;;;;AAoBhC,SAAgB,qBAAqB,aAA6B;AAChE,QAAO;;oBAEW,YAAY;;;;;;;;;;;;;;;;;AAkBhC,SAAgB,4BACd,aACA,MACQ;AAOR,QAAO;;YAEG,KAAK,kBARU;EACvB,eAAe;EACf,UAAU;EACV,MAAM;EACP,CAIiD,MAAM;;oBAEtC,YAAY;;;;;;;;KAS3B,SAAS,kBACL,2GACA,SAAS,aACP,oDACA,wEACP;;;;;;;AAQJ,SAAgB,kBAA0B;AACxC,QAAO;;;;;;;;;;;;;;;AAgBT,SAAgB,kBACd,YACA,UACQ;AACR,KAAI,SAAS,WAAW,EAAG,QAAO;AAElC,QAAO,GAAG,WAAW;;;;EAIrB,SAAS,KAAK,OAAO,CAAC"}