@contractspec/module.workspace 1.44.0

package/dist/analysis/spec-scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-scan.js","names":["events: RefInfo[]","policies: RefInfo[]","tests: RefInfo[]","results: SpecScanResult[]"],"sources":["../../src/analysis/spec-scan.ts"],"sourcesContent":["/**\n * Spec source scanning utilities.\n * Extracted from cli-contractspec/src/utils/spec-scan.ts\n */\n\nimport type {\n  AnalyzedOperationKind,\n  AnalyzedSpecType,\n  RefInfo,\n  SpecScanResult,\n} from '../types/analysis-types';\nimport type { Stability } from '../types/spec-types';\n\n/**\n * Infer spec type from file path based on naming conventions.\n * Supports all contract types from @contractspec/lib.contracts.\n */\nexport function inferSpecTypeFromFilePath(filePath: string): AnalyzedSpecType {\n  // Check more specific patterns first\n  // Operation patterns: .contracts. OR /contracts/ directory\n  if (\n    filePath.includes('.operations.') ||\n    filePath.includes('/operations/') ||\n    filePath.includes('.operation.') ||\n    filePath.includes('/operation/')\n  )\n    return 'operation';\n\n  // Event patterns: .event. OR /events/ OR /events.ts\n  if (\n    filePath.includes('.event.') ||\n    filePath.includes('/events/') ||\n    filePath.endsWith('/events.ts')\n  )\n    return 'event';\n\n  // Presentation patterns: .presentation. OR /presentations/ OR /presentations.ts\n  if (\n    filePath.includes('.presentation.') ||\n    filePath.includes('/presentations/') ||\n    filePath.endsWith('/presentations.ts')\n  )\n    return 'presentation';\n\n  if (filePath.includes('.feature.')) return 'feature';\n  if (filePath.includes('.capability.')) return 'capability';\n  if (filePath.includes('.data-view.')) return 'data-view';\n  if (filePath.includes('.form.')) return 'form';\n  if (filePath.includes('.migration.')) return 'migration';\n  if (filePath.includes('.workflow.')) return 'workflow';\n  if (filePath.includes('.experiment.')) return 'experiment';\n  if (filePath.includes('.integration.')) return 'integration';\n  if (filePath.includes('.knowledge.')) return 'knowledge';\n  if (filePath.includes('.telemetry.')) return 'telemetry';\n  if (filePath.includes('.app-config.')) return 'app-config';\n  if (filePath.includes('.policy.')) return 'policy';\n  if (filePath.includes('.test-spec.')) return 'test-spec';\n  return 'unknown';\n}\n\n/**\n * Scan spec source code to extract metadata without executing it.\n */\nexport function scanSpecSource(code: string, filePath: string): SpecScanResult {\n  const specType = inferSpecTypeFromFilePath(filePath);\n\n  const key = matchStringField(code, 'key');\n  const description = matchStringField(code, 'description');\n  const stabilityRaw = matchStringField(code, 'stability');\n  const stability = isStability(stabilityRaw) ? stabilityRaw : undefined;\n  const owners = matchStringArrayField(code, 'owners');\n  const tags = matchStringArrayField(code, 'tags');\n\n  const version = matchNumberField(code, 'version');\n  const kind = inferOperationKind(code);\n\n  const hasMeta = /meta\\s*:\\s*{/.test(code);\n  const hasIo = /\\bio\\s*:\\s*{/.test(code);\n  const hasPolicy = /\\bpolicy\\s*:\\s*{/.test(code);\n  const hasPayload = /\\bpayload\\s*:\\s*{/.test(code);\n  const hasContent = /\\bcontent\\s*:\\s*{/.test(code);\n  const hasDefinition = /\\bdefinition\\s*:\\s*{/.test(code);\n\n  // Extract references from operations\n  const emittedEvents =\n    specType === 'operation' ? extractEmittedEvents(code) : undefined;\n  const policyRefs =\n    specType === 'operation' ? extractPolicyRefs(code) : undefined;\n  const testRefs = extractTestRefs(code);\n\n  return {\n    filePath,\n    specType,\n    key: key ?? undefined,\n    description: description ?? undefined,\n    stability,\n    owners,\n    tags,\n    version: version ?? undefined,\n    kind,\n    hasMeta,\n    hasIo,\n    hasPolicy,\n    hasPayload,\n    hasContent,\n    hasDefinition,\n    emittedEvents,\n    policyRefs,\n    testRefs,\n  };\n}\n\n/**\n * Extract emitted event refs from operation spec source.\n * Looks for sideEffects.emits array entries.\n */\nexport function extractEmittedEvents(code: string): RefInfo[] | undefined {\n  const events: RefInfo[] = [];\n\n  // Match inline emit declarations: { key: 'x', version: N, ... }\n  const inlinePattern = /\\{\\s*key:\\s*['\"]([^'\"]+)['\"]\\s*,\\s*version:\\s*(\\d+)/g;\n  let match;\n  while ((match = inlinePattern.exec(code)) !== null) {\n    if (match[1] && match[2]) {\n      events.push({\n        key: match[1],\n        version: Number(match[2]),\n      });\n    }\n  }\n\n  // Match ref pattern: { ref: SomeEventSpec, ... }\n  // We can't fully resolve these without execution, but we can note they exist\n  const refPattern = /\\{\\s*ref:\\s*(\\w+)/g;\n  while ((match = refPattern.exec(code)) !== null) {\n    // Store a placeholder - actual resolution needs runtime\n    if (match[1] && !match[1].startsWith('when')) {\n      // We can't extract key/version from a variable ref statically\n      // This is noted for completeness but won't be fully resolvable\n    }\n  }\n\n  return events.length > 0 ? events : undefined;\n}\n\n/**\n * Extract policy refs from operation spec source.\n */\nexport function extractPolicyRefs(code: string): RefInfo[] | undefined {\n  const policies: RefInfo[] = [];\n\n  // Match policy ref pattern in policies array\n  const policyPattern = /\\{\\s*key:\\s*['\"]([^'\"]+)['\"]\\s*,\\s*version:\\s*(\\d+)/g;\n\n  // Only look within policy section\n  const policySectionMatch = code.match(/policies\\s*:\\s*\\[([\\s\\S]*?)\\]/);\n  if (policySectionMatch?.[1]) {\n    let match;\n    while ((match = policyPattern.exec(policySectionMatch[1])) !== null) {\n      if (match[1] && match[2]) {\n        policies.push({\n          key: match[1],\n          version: Number(match[2]),\n        });\n      }\n    }\n  }\n\n  return policies.length > 0 ? policies : undefined;\n}\n\n/**\n * Extract test spec refs.\n */\nexport function extractTestRefs(code: string): RefInfo[] | undefined {\n  const tests: RefInfo[] = [];\n\n  // Look for tests array\n  const testsSectionMatch = code.match(/tests\\s*:\\s*\\[([\\s\\S]*?)\\]/);\n  if (testsSectionMatch?.[1]) {\n    const refPattern = /\\{\\s*key:\\s*['\"]([^'\"]+)['\"]\\s*,\\s*version:\\s*(\\d+)/g;\n    let match;\n    while ((match = refPattern.exec(testsSectionMatch[1])) !== null) {\n      if (match[1] && match[2]) {\n        tests.push({\n          key: match[1],\n          version: Number(match[2]),\n        });\n      }\n    }\n  }\n\n  return tests.length > 0 ? tests : undefined;\n}\n\nfunction matchStringField(code: string, field: string): string | null {\n  const regex = new RegExp(`${escapeRegex(field)}\\\\s*:\\\\s*['\"]([^'\"]+)['\"]`);\n  const match = code.match(regex);\n  return match?.[1] ?? null;\n}\n\nfunction matchNumberField(code: string, field: string): number | null {\n  const regex = new RegExp(`${escapeRegex(field)}\\\\s*:\\\\s*(\\\\d+)`);\n  const match = code.match(regex);\n  if (!match?.[1]) return null;\n  const parsed = Number(match[1]);\n  return Number.isFinite(parsed) ? parsed : null;\n}\n\nfunction matchStringArrayField(\n  code: string,\n  field: string\n): string[] | undefined {\n  const regex = new RegExp(`${escapeRegex(field)}\\\\s*:\\\\s*\\\\[([\\\\s\\\\S]*?)\\\\]`);\n  const match = code.match(regex);\n  if (!match?.[1]) return undefined;\n\n  const inner = match[1];\n  const items = Array.from(inner.matchAll(/['\"]([^'\"]+)['\"]/g))\n    .map((m) => m[1])\n    .filter(\n      (value): value is string => typeof value === 'string' && value.length > 0\n    );\n\n  return items.length > 0 ? items : undefined;\n}\n\nfunction isStability(value: string | null): value is Stability {\n  return (\n    value === 'experimental' ||\n    value === 'beta' ||\n    value === 'stable' ||\n    value === 'deprecated'\n  );\n}\n\nfunction escapeRegex(value: string): string {\n  return value.replace(/[.*+?^${}()|[\\]\\\\]/g, '\\\\$&');\n}\n\n/**\n * Infer operation kind from source code.\n * First checks for defineCommand/defineQuery usage (which set kind automatically),\n * then falls back to explicit kind field.\n */\nfunction inferOperationKind(code: string): AnalyzedOperationKind {\n  // Check for defineCommand/defineQuery usage first (they set kind automatically)\n  if (/defineCommand\\s*\\(/.test(code)) return 'command';\n  if (/defineQuery\\s*\\(/.test(code)) return 'query';\n  // Fall back to explicit kind field\n  const kindRaw = matchStringField(code, 'kind');\n  return kindRaw === 'command' || kindRaw === 'query' ? kindRaw : 'unknown';\n}\n\n/**\n * Infer operation kind from a specific code block.\n */\nfunction inferOperationKindFromBlock(block: string): AnalyzedOperationKind {\n  if (/defineCommand\\s*\\(/.test(block)) return 'command';\n  if (/defineQuery\\s*\\(/.test(block)) return 'query';\n  const kindRaw = matchStringField(block, 'kind');\n  return kindRaw === 'command' || kindRaw === 'query' ? kindRaw : 'unknown';\n}\n\n/**\n * Extract key and version from a meta block.\n */\nfunction extractMetaFromBlock(\n  block: string\n): { key: string; version: number } | null {\n  const key = matchStringField(block, 'key');\n  const version = matchNumberField(block, 'version');\n  if (key && version !== null) {\n    return { key, version };\n  }\n  return null;\n}\n\n/**\n * Define function patterns for all spec types.\n */\nconst DEFINE_FUNCTION_PATTERNS = [\n  // Operations\n  { pattern: /defineCommand\\s*\\(\\s*\\{/g, type: 'operation' as const },\n  { pattern: /defineQuery\\s*\\(\\s*\\{/g, type: 'operation' as const },\n  // Events\n  { pattern: /defineEvent\\s*\\(\\s*\\{/g, type: 'event' as const },\n  // Presentations (both v1 and v2 patterns)\n  {\n    pattern: /:\\s*PresentationSpec\\s*=\\s*\\{/g,\n    type: 'presentation' as const,\n  },\n  {\n    pattern: /:\\s*PresentationSpec\\s*=\\s*\\{/g,\n    type: 'presentation' as const,\n  },\n  {\n    pattern: /:\\s*PresentationDescriptor\\s*=\\s*\\{/g,\n    type: 'presentation' as const,\n  },\n  { pattern: /definePresentation\\s*\\(\\s*\\{/g, type: 'presentation' as const },\n  // Capabilities\n  { pattern: /defineCapability\\s*\\(\\s*\\{/g, type: 'capability' as const },\n  // Workflows\n  { pattern: /defineWorkflow\\s*\\(\\s*\\{/g, type: 'workflow' as const },\n  // Experiments\n  { pattern: /defineExperiment\\s*\\(\\s*\\{/g, type: 'experiment' as const },\n  // Integrations\n  { pattern: /defineIntegration\\s*\\(\\s*\\{/g, type: 'integration' as const },\n  // Knowledge\n  { pattern: /defineKnowledge\\s*\\(\\s*\\{/g, type: 'knowledge' as const },\n  // Telemetry\n  { pattern: /defineTelemetry\\s*\\(\\s*\\{/g, type: 'telemetry' as const },\n  // App config\n  { pattern: /defineAppConfig\\s*\\(\\s*\\{/g, type: 'app-config' as const },\n  // Policy\n  { pattern: /definePolicy\\s*\\(\\s*\\{/g, type: 'policy' as const },\n  // Test spec\n  { pattern: /defineTestSpec\\s*\\(\\s*\\{/g, type: 'test-spec' as const },\n  // Data view\n  { pattern: /defineDataView\\s*\\(\\s*\\{/g, type: 'data-view' as const },\n  // Form\n  { pattern: /defineForm\\s*\\(\\s*\\{/g, type: 'form' as const },\n  // Migration\n  { pattern: /defineMigration\\s*\\(\\s*\\{/g, type: 'migration' as const },\n];\n\n/**\n * Find matching closing brace for an opening brace.\n * Returns the index of the closing brace or -1 if not found.\n */\nfunction findMatchingBrace(code: string, startIndex: number): number {\n  let depth = 0;\n  let inString = false;\n  let stringChar = '';\n\n  for (let i = startIndex; i < code.length; i++) {\n    const char = code[i];\n    const prevChar = i > 0 ? code[i - 1] : '';\n\n    // Handle string literals\n    if ((char === '\"' || char === \"'\" || char === '`') && prevChar !== '\\\\') {\n      if (!inString) {\n        inString = true;\n        stringChar = char;\n      } else if (char === stringChar) {\n        inString = false;\n      }\n      continue;\n    }\n\n    if (inString) continue;\n\n    if (char === '{') {\n      depth++;\n    } else if (char === '}') {\n      depth--;\n      if (depth === 0) {\n        return i;\n      }\n    }\n  }\n\n  return -1;\n}\n\n/**\n * Scan spec source code to extract ALL specs from a file.\n * This function finds multiple spec definitions in a single file.\n */\nexport function scanAllSpecsFromSource(\n  code: string,\n  filePath: string\n): SpecScanResult[] {\n  const results: SpecScanResult[] = [];\n  const baseSpecType = inferSpecTypeFromFilePath(filePath);\n\n  // Track positions we've already processed to avoid duplicates\n  const processedPositions = new Set<number>();\n\n  for (const { pattern, type } of DEFINE_FUNCTION_PATTERNS) {\n    // Reset the regex lastIndex\n    pattern.lastIndex = 0;\n\n    let match;\n    while ((match = pattern.exec(code)) !== null) {\n      const startPos = match.index;\n\n      // Skip if we've already processed this position\n      if (processedPositions.has(startPos)) continue;\n      processedPositions.add(startPos);\n\n      // Find the opening brace position\n      const openBracePos = code.indexOf('{', startPos);\n      if (openBracePos === -1) continue;\n\n      // Find the matching closing brace\n      const closeBracePos = findMatchingBrace(code, openBracePos);\n      if (closeBracePos === -1) continue;\n\n      // Extract the block content\n      const block = code.slice(openBracePos, closeBracePos + 1);\n\n      // Extract meta information\n      const meta = extractMetaFromBlock(block);\n      if (!meta) continue;\n\n      // Extract additional metadata\n      const description = matchStringField(block, 'description');\n      const stabilityRaw = matchStringField(block, 'stability');\n      const stability = isStability(stabilityRaw) ? stabilityRaw : undefined;\n      const owners = matchStringArrayField(block, 'owners');\n      const tags = matchStringArrayField(block, 'tags');\n\n      const hasMeta = /meta\\s*:\\s*{/.test(block);\n      const hasIo = /\\bio\\s*:\\s*{/.test(block);\n      const hasPolicy = /\\bpolicy\\s*:\\s*{/.test(block);\n      const hasPayload = /\\bpayload\\s*:\\s*{/.test(block);\n      const hasContent = /\\bcontent\\s*:\\s*{/.test(block);\n      const hasDefinition = /\\bdefinition\\s*:\\s*{/.test(block);\n\n      // Infer kind for operations\n      const kind =\n        type === 'operation' ? inferOperationKindFromBlock(block) : 'unknown';\n\n      // Extract references from operations\n      const emittedEvents =\n        type === 'operation' ? extractEmittedEvents(block) : undefined;\n      const policyRefs =\n        type === 'operation' ? extractPolicyRefs(block) : undefined;\n      const testRefs = extractTestRefs(block);\n\n      results.push({\n        filePath,\n        specType: type,\n        key: meta.key,\n        version: meta.version,\n        description: description ?? undefined,\n        stability,\n        owners,\n        tags,\n        kind,\n        hasMeta,\n        hasIo,\n        hasPolicy,\n        hasPayload,\n        hasContent,\n        hasDefinition,\n        emittedEvents,\n        policyRefs,\n        testRefs,\n      });\n    }\n  }\n\n  // If no specs found via patterns, fall back to file-type based scanning\n  // This handles cases where the file uses non-standard patterns\n  if (results.length === 0 && baseSpecType !== 'unknown') {\n    const fallback = scanSpecSource(code, filePath);\n    if (fallback.key && fallback.version !== undefined) {\n      results.push(fallback);\n    }\n  }\n\n  return results;\n}\n"],"mappings":";;;;;AAiBA,SAAgB,0BAA0B,UAAoC;AAG5E,KACE,SAAS,SAAS,eAAe,IACjC,SAAS,SAAS,eAAe,IACjC,SAAS,SAAS,cAAc,IAChC,SAAS,SAAS,cAAc,CAEhC,QAAO;AAGT,KACE,SAAS,SAAS,UAAU,IAC5B,SAAS,SAAS,WAAW,IAC7B,SAAS,SAAS,aAAa,CAE/B,QAAO;AAGT,KACE,SAAS,SAAS,iBAAiB,IACnC,SAAS,SAAS,kBAAkB,IACpC,SAAS,SAAS,oBAAoB,CAEtC,QAAO;AAET,KAAI,SAAS,SAAS,YAAY,CAAE,QAAO;AAC3C,KAAI,SAAS,SAAS,eAAe,CAAE,QAAO;AAC9C,KAAI,SAAS,SAAS,cAAc,CAAE,QAAO;AAC7C,KAAI,SAAS,SAAS,SAAS,CAAE,QAAO;AACxC,KAAI,SAAS,SAAS,cAAc,CAAE,QAAO;AAC7C,KAAI,SAAS,SAAS,aAAa,CAAE,QAAO;AAC5C,KAAI,SAAS,SAAS,eAAe,CAAE,QAAO;AAC9C,KAAI,SAAS,SAAS,gBAAgB,CAAE,QAAO;AAC/C,KAAI,SAAS,SAAS,cAAc,CAAE,QAAO;AAC7C,KAAI,SAAS,SAAS,cAAc,CAAE,QAAO;AAC7C,KAAI,SAAS,SAAS,eAAe,CAAE,QAAO;AAC9C,KAAI,SAAS,SAAS,WAAW,CAAE,QAAO;AAC1C,KAAI,SAAS,SAAS,cAAc,CAAE,QAAO;AAC7C,QAAO;;;;;AAMT,SAAgB,eAAe,MAAc,UAAkC;CAC7E,MAAM,WAAW,0BAA0B,SAAS;CAEpD,MAAM,MAAM,iBAAiB,MAAM,MAAM;CACzC,MAAM,cAAc,iBAAiB,MAAM,cAAc;CACzD,MAAM,eAAe,iBAAiB,MAAM,YAAY;CACxD,MAAM,YAAY,YAAY,aAAa,GAAG,eAAe;CAC7D,MAAM,SAAS,sBAAsB,MAAM,SAAS;CACpD,MAAM,OAAO,sBAAsB,MAAM,OAAO;CAEhD,MAAM,UAAU,iBAAiB,MAAM,UAAU;CACjD,MAAM,OAAO,mBAAmB,KAAK;CAErC,MAAM,UAAU,eAAe,KAAK,KAAK;CACzC,MAAM,QAAQ,eAAe,KAAK,KAAK;CACvC,MAAM,YAAY,mBAAmB,KAAK,KAAK;CAC/C,MAAM,aAAa,oBAAoB,KAAK,KAAK;CACjD,MAAM,aAAa,oBAAoB,KAAK,KAAK;CACjD,MAAM,gBAAgB,uBAAuB,KAAK,KAAK;CAGvD,MAAM,gBACJ,aAAa,cAAc,qBAAqB,KAAK,GAAG;CAC1D,MAAM,aACJ,aAAa,cAAc,kBAAkB,KAAK,GAAG;CACvD,MAAM,WAAW,gBAAgB,KAAK;AAEtC,QAAO;EACL;EACA;EACA,KAAK,OAAO;EACZ,aAAa,eAAe;EAC5B;EACA;EACA;EACA,SAAS,WAAW;EACpB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACD;;;;;;AAOH,SAAgB,qBAAqB,MAAqC;CACxE,MAAMA,SAAoB,EAAE;CAG5B,MAAM,gBAAgB;CACtB,IAAI;AACJ,SAAQ,QAAQ,cAAc,KAAK,KAAK,MAAM,KAC5C,KAAI,MAAM,MAAM,MAAM,GACpB,QAAO,KAAK;EACV,KAAK,MAAM;EACX,SAAS,OAAO,MAAM,GAAG;EAC1B,CAAC;CAMN,MAAM,aAAa;AACnB,SAAQ,QAAQ,WAAW,KAAK,KAAK,MAAM,KAEzC,KAAI,MAAM,MAAM,CAAC,MAAM,GAAG,WAAW,OAAO,EAAE;AAMhD,QAAO,OAAO,SAAS,IAAI,SAAS;;;;;AAMtC,SAAgB,kBAAkB,MAAqC;CACrE,MAAMC,WAAsB,EAAE;CAG9B,MAAM,gBAAgB;CAGtB,MAAM,qBAAqB,KAAK,MAAM,gCAAgC;AACtE,KAAI,qBAAqB,IAAI;EAC3B,IAAI;AACJ,UAAQ,QAAQ,cAAc,KAAK,mBAAmB,GAAG,MAAM,KAC7D,KAAI,MAAM,MAAM,MAAM,GACpB,UAAS,KAAK;GACZ,KAAK,MAAM;GACX,SAAS,OAAO,MAAM,GAAG;GAC1B,CAAC;;AAKR,QAAO,SAAS,SAAS,IAAI,WAAW;;;;;AAM1C,SAAgB,gBAAgB,MAAqC;CACnE,MAAMC,QAAmB,EAAE;CAG3B,MAAM,oBAAoB,KAAK,MAAM,6BAA6B;AAClE,KAAI,oBAAoB,IAAI;EAC1B,MAAM,aAAa;EACnB,IAAI;AACJ,UAAQ,QAAQ,WAAW,KAAK,kBAAkB,GAAG,MAAM,KACzD,KAAI,MAAM,MAAM,MAAM,GACpB,OAAM,KAAK;GACT,KAAK,MAAM;GACX,SAAS,OAAO,MAAM,GAAG;GAC1B,CAAC;;AAKR,QAAO,MAAM,SAAS,IAAI,QAAQ;;AAGpC,SAAS,iBAAiB,MAAc,OAA8B;CACpE,MAAM,wBAAQ,IAAI,OAAO,GAAG,YAAY,MAAM,CAAC,2BAA2B;AAE1E,QADc,KAAK,MAAM,MAAM,GAChB,MAAM;;AAGvB,SAAS,iBAAiB,MAAc,OAA8B;CACpE,MAAM,wBAAQ,IAAI,OAAO,GAAG,YAAY,MAAM,CAAC,iBAAiB;CAChE,MAAM,QAAQ,KAAK,MAAM,MAAM;AAC/B,KAAI,CAAC,QAAQ,GAAI,QAAO;CACxB,MAAM,SAAS,OAAO,MAAM,GAAG;AAC/B,QAAO,OAAO,SAAS,OAAO,GAAG,SAAS;;AAG5C,SAAS,sBACP,MACA,OACsB;CACtB,MAAM,wBAAQ,IAAI,OAAO,GAAG,YAAY,MAAM,CAAC,6BAA6B;CAC5E,MAAM,QAAQ,KAAK,MAAM,MAAM;AAC/B,KAAI,CAAC,QAAQ,GAAI,QAAO;CAExB,MAAM,QAAQ,MAAM;CACpB,MAAM,QAAQ,MAAM,KAAK,MAAM,SAAS,oBAAoB,CAAC,CAC1D,KAAK,MAAM,EAAE,GAAG,CAChB,QACE,UAA2B,OAAO,UAAU,YAAY,MAAM,SAAS,EACzE;AAEH,QAAO,MAAM,SAAS,IAAI,QAAQ;;AAGpC,SAAS,YAAY,OAA0C;AAC7D,QACE,UAAU,kBACV,UAAU,UACV,UAAU,YACV,UAAU;;AAId,SAAS,YAAY,OAAuB;AAC1C,QAAO,MAAM,QAAQ,uBAAuB,OAAO;;;;;;;AAQrD,SAAS,mBAAmB,MAAqC;AAE/D,KAAI,qBAAqB,KAAK,KAAK,CAAE,QAAO;AAC5C,KAAI,mBAAmB,KAAK,KAAK,CAAE,QAAO;CAE1C,MAAM,UAAU,iBAAiB,MAAM,OAAO;AAC9C,QAAO,YAAY,aAAa,YAAY,UAAU,UAAU;;;;;AAMlE,SAAS,4BAA4B,OAAsC;AACzE,KAAI,qBAAqB,KAAK,MAAM,CAAE,QAAO;AAC7C,KAAI,mBAAmB,KAAK,MAAM,CAAE,QAAO;CAC3C,MAAM,UAAU,iBAAiB,OAAO,OAAO;AAC/C,QAAO,YAAY,aAAa,YAAY,UAAU,UAAU;;;;;AAMlE,SAAS,qBACP,OACyC;CACzC,MAAM,MAAM,iBAAiB,OAAO,MAAM;CAC1C,MAAM,UAAU,iBAAiB,OAAO,UAAU;AAClD,KAAI,OAAO,YAAY,KACrB,QAAO;EAAE;EAAK;EAAS;AAEzB,QAAO;;;;;AAMT,MAAM,2BAA2B;CAE/B;EAAE,SAAS;EAA4B,MAAM;EAAsB;CACnE;EAAE,SAAS;EAA0B,MAAM;EAAsB;CAEjE;EAAE,SAAS;EAA0B,MAAM;EAAkB;CAE7D;EACE,SAAS;EACT,MAAM;EACP;CACD;EACE,SAAS;EACT,MAAM;EACP;CACD;EACE,SAAS;EACT,MAAM;EACP;CACD;EAAE,SAAS;EAAiC,MAAM;EAAyB;CAE3E;EAAE,SAAS;EAA+B,MAAM;EAAuB;CAEvE;EAAE,SAAS;EAA6B,MAAM;EAAqB;CAEnE;EAAE,SAAS;EAA+B,MAAM;EAAuB;CAEvE;EAAE,SAAS;EAAgC,MAAM;EAAwB;CAEzE;EAAE,SAAS;EAA8B,MAAM;EAAsB;CAErE;EAAE,SAAS;EAA8B,MAAM;EAAsB;CAErE;EAAE,SAAS;EAA8B,MAAM;EAAuB;CAEtE;EAAE,SAAS;EAA2B,MAAM;EAAmB;CAE/D;EAAE,SAAS;EAA6B,MAAM;EAAsB;CAEpE;EAAE,SAAS;EAA6B,MAAM;EAAsB;CAEpE;EAAE,SAAS;EAAyB,MAAM;EAAiB;CAE3D;EAAE,SAAS;EAA8B,MAAM;EAAsB;CACtE;;;;;AAMD,SAAS,kBAAkB,MAAc,YAA4B;CACnE,IAAI,QAAQ;CACZ,IAAI,WAAW;CACf,IAAI,aAAa;AAEjB,MAAK,IAAI,IAAI,YAAY,IAAI,KAAK,QAAQ,KAAK;EAC7C,MAAM,OAAO,KAAK;EAClB,MAAM,WAAW,IAAI,IAAI,KAAK,IAAI,KAAK;AAGvC,OAAK,SAAS,QAAO,SAAS,OAAO,SAAS,QAAQ,aAAa,MAAM;AACvE,OAAI,CAAC,UAAU;AACb,eAAW;AACX,iBAAa;cACJ,SAAS,WAClB,YAAW;AAEb;;AAGF,MAAI,SAAU;AAEd,MAAI,SAAS,IACX;WACS,SAAS,KAAK;AACvB;AACA,OAAI,UAAU,EACZ,QAAO;;;AAKb,QAAO;;;;;;AAOT,SAAgB,uBACd,MACA,UACkB;CAClB,MAAMC,UAA4B,EAAE;CACpC,MAAM,eAAe,0BAA0B,SAAS;CAGxD,MAAM,qCAAqB,IAAI,KAAa;AAE5C,MAAK,MAAM,EAAE,SAAS,UAAU,0BAA0B;AAExD,UAAQ,YAAY;EAEpB,IAAI;AACJ,UAAQ,QAAQ,QAAQ,KAAK,KAAK,MAAM,MAAM;GAC5C,MAAM,WAAW,MAAM;AAGvB,OAAI,mBAAmB,IAAI,SAAS,CAAE;AACtC,sBAAmB,IAAI,SAAS;GAGhC,MAAM,eAAe,KAAK,QAAQ,KAAK,SAAS;AAChD,OAAI,iBAAiB,GAAI;GAGzB,MAAM,gBAAgB,kBAAkB,MAAM,aAAa;AAC3D,OAAI,kBAAkB,GAAI;GAG1B,MAAM,QAAQ,KAAK,MAAM,cAAc,gBAAgB,EAAE;GAGzD,MAAM,OAAO,qBAAqB,MAAM;AACxC,OAAI,CAAC,KAAM;GAGX,MAAM,cAAc,iBAAiB,OAAO,cAAc;GAC1D,MAAM,eAAe,iBAAiB,OAAO,YAAY;GACzD,MAAM,YAAY,YAAY,aAAa,GAAG,eAAe;GAC7D,MAAM,SAAS,sBAAsB,OAAO,SAAS;GACrD,MAAM,OAAO,sBAAsB,OAAO,OAAO;GAEjD,MAAM,UAAU,eAAe,KAAK,MAAM;GAC1C,MAAM,QAAQ,eAAe,KAAK,MAAM;GACxC,MAAM,YAAY,mBAAmB,KAAK,MAAM;GAChD,MAAM,aAAa,oBAAoB,KAAK,MAAM;GAClD,MAAM,aAAa,oBAAoB,KAAK,MAAM;GAClD,MAAM,gBAAgB,uBAAuB,KAAK,MAAM;GAGxD,MAAM,OACJ,SAAS,cAAc,4BAA4B,MAAM,GAAG;GAG9D,MAAM,gBACJ,SAAS,cAAc,qBAAqB,MAAM,GAAG;GACvD,MAAM,aACJ,SAAS,cAAc,kBAAkB,MAAM,GAAG;GACpD,MAAM,WAAW,gBAAgB,MAAM;AAEvC,WAAQ,KAAK;IACX;IACA,UAAU;IACV,KAAK,KAAK;IACV,SAAS,KAAK;IACd,aAAa,eAAe;IAC5B;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACA;IACD,CAAC;;;AAMN,KAAI,QAAQ,WAAW,KAAK,iBAAiB,WAAW;EACtD,MAAM,WAAW,eAAe,MAAM,SAAS;AAC/C,MAAI,SAAS,OAAO,SAAS,YAAY,OACvC,SAAQ,KAAK,SAAS;;AAI1B,QAAO"}

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

@@ -0,0 +1,29 @@
+import { ValidationResult } from "../../types/analysis-types.js";
+
+//#region src/analysis/validate/spec-structure.d.ts
+
+/**
+ * Rule severity level for lint rules.
+ */
+type RuleSeverity = 'off' | 'warn' | 'error';
+/**
+ * Spec kind for rule overrides mapping.
+ */
+type SpecKind = 'operation' | 'event' | 'presentation' | 'feature' | 'workflow' | 'data-view' | 'migration' | 'telemetry' | 'experiment' | 'app-config';
+/**
+ * Interface for resolving rule severity.
+ */
+interface RulesConfig {
+  /**
+   * Get the severity for a rule, considering spec kind overrides.
+   * Returns 'warn' by default if not configured.
+   */
+  getRule(ruleName: string, specKind: SpecKind): RuleSeverity;
+}
+/**
+ * Validate spec structure based on source code and filename.
+ */
+declare function validateSpecStructure(code: string, fileName: string, rulesConfig?: RulesConfig): ValidationResult;
+//#endregion
+export { RuleSeverity, RulesConfig, SpecKind, validateSpecStructure };
+//# sourceMappingURL=spec-structure.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec-structure.d.ts","names":[],"sources":["../../../src/analysis/validate/spec-structure.ts"],"sourcesContent":[],"mappings":";;;;AAkDA;;;KAtCY,YAAA;;;;KAKA,QAAA;;;;UAeK,WAAA;;;;;sCAKqB,WAAW;;;;;iBAajC,qBAAA,+CAGD,cACZ"}

package/dist/analysis/validate/spec-structure.js

@@ -0,0 +1,139 @@
+//#region src/analysis/validate/spec-structure.ts
+/**
+* Default rules config that returns 'warn' for all rules.
+*/
+const DEFAULT_RULES_CONFIG = { getRule: () => "warn" };
+/**
+* Validate spec structure based on source code and filename.
+*/
+function validateSpecStructure(code, fileName, rulesConfig = DEFAULT_RULES_CONFIG) {
+	const errors = [];
+	const warnings = [];
+	if (!/export\s/.test(code)) errors.push("No exported spec found");
+	if (fileName.includes(".contracts.") || fileName.includes(".contract.") || fileName.includes(".operations.") || fileName.includes(".operation.")) validateOperationSpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".event.")) validateEventSpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".presentation.")) validatePresentationSpec(code, errors, warnings);
+	if (fileName.includes(".workflow.")) validateWorkflowSpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".data-view.")) validateDataViewSpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".migration.")) validateMigrationSpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".telemetry.")) validateTelemetrySpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".experiment.")) validateExperimentSpec(code, errors, warnings, rulesConfig);
+	if (fileName.includes(".app-config.")) validateAppConfigSpec(code, errors, warnings, rulesConfig);
+	validateCommonFields(code, fileName, errors, warnings, rulesConfig);
+	return {
+		valid: errors.length === 0,
+		errors,
+		warnings
+	};
+}
+/**
+* Helper to emit a message based on rule severity.
+*/
+function emitRule(ruleName, specKind, message, errors, warnings, rulesConfig) {
+	const severity = rulesConfig.getRule(ruleName, specKind);
+	if (severity === "off") return;
+	if (severity === "error") errors.push(message);
+	else warnings.push(message);
+}
+/**
+* Validate operation spec
+*/
+function validateOperationSpec(code, errors, warnings, rulesConfig) {
+	if (!/define(Command|Query)/.test(code)) errors.push("Missing defineCommand or defineQuery call");
+	if (!code.includes("meta:")) errors.push("Missing meta section");
+	if (!code.includes("io:")) errors.push("Missing io section");
+	if (!code.includes("policy:")) errors.push("Missing policy section");
+	if (!code.match(/key:\s*['"][^'"]+['"]/)) errors.push("Missing or invalid key field");
+	if (!code.match(/version:\s*\d+/)) errors.push("Missing or invalid version field");
+	const hasDefineCommand = /defineCommand\s*\(/.test(code);
+	const hasDefineQuery = /defineQuery\s*\(/.test(code);
+	const hasExplicitKind = /kind:\s*['"](?:command|query)['"]/.test(code);
+	if (!hasDefineCommand && !hasDefineQuery && !hasExplicitKind) errors.push("Missing kind: use defineCommand(), defineQuery(), or explicit kind field");
+	if (!code.includes("acceptance:")) emitRule("require-acceptance", "operation", "No acceptance scenarios defined", errors, warnings, rulesConfig);
+	if (!code.includes("examples:")) emitRule("require-examples", "operation", "No examples provided", errors, warnings, rulesConfig);
+	if (code.includes("TODO")) emitRule("no-todo", "operation", "Contains TODO items that need completion", errors, warnings, rulesConfig);
+}
+function validateTelemetrySpec(code, errors, warnings, rulesConfig) {
+	if (!code.match(/:\s*TelemetrySpec\s*=/)) errors.push("Missing TelemetrySpec type annotation");
+	if (!code.match(/meta:\s*{[\s\S]*name:/)) errors.push("TelemetrySpec.meta is required");
+	if (!code.includes("events:")) errors.push("TelemetrySpec must declare events");
+	if (!code.match(/privacy:\s*'(public|internal|pii|sensitive)'/)) emitRule("telemetry-privacy", "telemetry", "No explicit privacy classification found", errors, warnings, rulesConfig);
+}
+function validateExperimentSpec(code, errors, warnings, rulesConfig) {
+	if (!code.match(/:\s*ExperimentSpec\s*=/)) errors.push("Missing ExperimentSpec type annotation");
+	if (!code.includes("controlVariant")) errors.push("ExperimentSpec must declare controlVariant");
+	if (!code.includes("variants:")) errors.push("ExperimentSpec must declare variants");
+	if (!code.match(/allocation:\s*{/)) emitRule("experiment-allocation", "experiment", "ExperimentSpec missing allocation configuration", errors, warnings, rulesConfig);
+}
+function validateAppConfigSpec(code, errors, warnings, rulesConfig) {
+	if (!code.match(/:\s*AppBlueprintSpec\s*=/)) errors.push("Missing AppBlueprintSpec type annotation");
+	if (!code.includes("meta:")) errors.push("AppBlueprintSpec must define meta");
+	if (!code.includes("appId")) emitRule("app-config-appid", "app-config", "AppBlueprint meta missing appId assignment", errors, warnings, rulesConfig);
+	if (!code.includes("capabilities")) emitRule("app-config-capabilities", "app-config", "App blueprint spec does not declare capabilities", errors, warnings, rulesConfig);
+}
+/**
+* Validate event spec
+*/
+function validateEventSpec(code, errors, warnings, rulesConfig) {
+	if (!code.includes("defineEvent")) errors.push("Missing defineEvent call");
+	if (!code.match(/key:\s*['"][^'"]+['"]/)) errors.push("Missing or invalid key field");
+	if (!code.match(/version:\s*\d+/)) errors.push("Missing or invalid version field");
+	if (!code.includes("payload:")) errors.push("Missing payload field");
+	const nameMatch = code.match(/name:\s*['"]([^'"]+)['"]/);
+	if (nameMatch?.[1]) {
+		if (!(nameMatch[1].split(".").pop() ?? "").match(/(ed|created|updated|deleted|completed)$/i)) emitRule("event-past-tense", "event", "Event name should use past tense (e.g., \"created\", \"updated\")", errors, warnings, rulesConfig);
+	}
+}
+/**
+* Validate presentation spec (V2 format)
+*/
+function validatePresentationSpec(code, errors, _warnings) {
+	if (!code.match(/:\s*PresentationSpec\s*=/)) errors.push("Missing PresentationSpec type annotation");
+	if (!code.includes("meta:")) errors.push("Missing meta section");
+	if (!code.includes("source:")) errors.push("Missing source section");
+	if (!code.match(/type:\s*['"](?:component|blocknotejs)['"]/)) errors.push("Missing or invalid source.type field");
+	if (!code.includes("targets:")) errors.push("Missing targets section");
+}
+function validateWorkflowSpec(code, errors, warnings, rulesConfig) {
+	if (!code.match(/:\s*WorkflowSpec\s*=/)) errors.push("Missing WorkflowSpec type annotation");
+	if (!code.includes("definition:")) errors.push("Missing definition section");
+	if (!code.includes("steps:")) errors.push("Workflow must declare steps");
+	if (!code.includes("transitions:")) emitRule("workflow-transitions", "workflow", "No transitions declared; workflow will complete after first step.", errors, warnings, rulesConfig);
+	if (!code.match(/title:\s*['"][^'"]+['"]/)) warnings.push("Missing workflow title");
+	if (!code.match(/domain:\s*['"][^'"]+['"]/)) warnings.push("Missing domain field");
+	if (code.includes("TODO")) emitRule("no-todo", "workflow", "Contains TODO items that need completion", errors, warnings, rulesConfig);
+}
+function validateMigrationSpec(code, errors, warnings, rulesConfig) {
+	if (!code.match(/:\s*MigrationSpec\s*=/)) errors.push("Missing MigrationSpec type annotation");
+	if (!code.includes("plan:")) errors.push("Missing plan section");
+	else if (!code.includes("up:")) errors.push("Migration must define at least one up step");
+	if (!code.match(/name:\s*['"][^'"]+['"]/)) errors.push("Missing or invalid migration name");
+	if (!code.match(/version:\s*\d+/)) errors.push("Missing or invalid migration version");
+	if (code.includes("TODO")) emitRule("no-todo", "migration", "Contains TODO items that need completion", errors, warnings, rulesConfig);
+}
+/**
+* Validate common fields across all spec types
+*/
+function validateCommonFields(code, fileName, errors, warnings, rulesConfig) {
+	const isInternalLib = fileName.includes("/libs/contracts/") || fileName.includes("/libs/contracts-transformers/") || fileName.includes("/libs/schema/");
+	if (code.includes("SchemaModel") && !/from\s+['"]@contractspec\/lib\.schema(\/[^'"]+)?['"]/.test(code) && !isInternalLib) errors.push("Missing import for SchemaModel from @contractspec/lib.schema");
+	if ((code.includes(": OperationSpec") || code.includes(": PresentationSpec") || code.includes(": EventSpec") || code.includes(": FeatureSpec") || code.includes(": WorkflowSpec") || code.includes(": DataViewSpec") || code.includes(": MigrationSpec") || code.includes(": TelemetrySpec") || code.includes(": ExperimentSpec") || code.includes(": AppBlueprintSpec") || code.includes("defineCommand(") || code.includes("defineQuery(") || code.includes("defineEvent(")) && !/from\s+['"]@contractspec\/lib\.contracts(\/[^'"]+)?['"]/.test(code) && !isInternalLib) errors.push("Missing import from @contractspec/lib.contracts");
+	const ownersMatch = code.match(/owners:\s*\[(.*?)\]/s);
+	if (ownersMatch?.[1]) {
+		const ownersContent = ownersMatch[1];
+		if (!ownersContent.includes("@") && !ownersContent.includes("Enum") && !ownersContent.match(/[A-Z][a-zA-Z0-9_]+/)) emitRule("require-owners-format", "operation", "Owners should start with @ or use an Enum/Constant", errors, warnings, rulesConfig);
+	}
+	if (!code.match(/stability:\s*(?:['"](?:experimental|beta|stable|deprecated)['"]|[A-Z][a-zA-Z0-9_]+(?:\.[a-zA-Z0-9_]+)?)/)) emitRule("require-stability", "operation", "Missing or invalid stability field", errors, warnings, rulesConfig);
+}
+function validateDataViewSpec(code, errors, warnings, rulesConfig) {
+	if (!code.match(/:\s*DataViewSpec\s*=/)) errors.push("Missing DataViewSpec type annotation");
+	if (!code.includes("meta:")) errors.push("Missing meta section");
+	if (!code.includes("source:")) errors.push("Missing source section");
+	if (!code.includes("view:")) errors.push("Missing view section");
+	if (!code.match(/kind:\s*['"](list|table|detail|grid)['"]/)) errors.push("Missing or invalid view.kind (list/table/detail/grid)");
+	if (!code.match(/fields:\s*\[/)) emitRule("data-view-fields", "data-view", "No fields defined for data view", errors, warnings, rulesConfig);
+}
+
+//#endregion
+export { validateSpecStructure };
+//# sourceMappingURL=spec-structure.js.map

package/dist/analysis/validate/spec-structure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-structure.js","names":["DEFAULT_RULES_CONFIG: RulesConfig","errors: string[]","warnings: string[]"],"sources":["../../../src/analysis/validate/spec-structure.ts"],"sourcesContent":["/**\n * Spec structure validation utilities.\n * Extracted from cli-contractspec/src/commands/validate/spec-checker.ts\n */\n\nimport type { ValidationResult } from '../../types/analysis-types';\n\nexport type { ValidationResult };\n\n/**\n * Rule severity level for lint rules.\n */\nexport type RuleSeverity = 'off' | 'warn' | 'error';\n\n/**\n * Spec kind for rule overrides mapping.\n */\nexport type SpecKind =\n  | 'operation'\n  | 'event'\n  | 'presentation'\n  | 'feature'\n  | 'workflow'\n  | 'data-view'\n  | 'migration'\n  | 'telemetry'\n  | 'experiment'\n  | 'app-config';\n\n/**\n * Interface for resolving rule severity.\n */\nexport interface RulesConfig {\n  /**\n   * Get the severity for a rule, considering spec kind overrides.\n   * Returns 'warn' by default if not configured.\n   */\n  getRule(ruleName: string, specKind: SpecKind): RuleSeverity;\n}\n\n/**\n * Default rules config that returns 'warn' for all rules.\n */\nconst DEFAULT_RULES_CONFIG: RulesConfig = {\n  getRule: () => 'warn',\n};\n\n/**\n * Validate spec structure based on source code and filename.\n */\nexport function validateSpecStructure(\n  code: string,\n  fileName: string,\n  rulesConfig: RulesConfig = DEFAULT_RULES_CONFIG\n): ValidationResult {\n  const errors: string[] = [];\n  const warnings: string[] = [];\n\n  // Check for required exports (any export is sufficient for validity check)\n  const hasExport = /export\\s/.test(code);\n  if (!hasExport) {\n    errors.push('No exported spec found');\n  }\n\n  // Validate operation specs\n  if (\n    fileName.includes('.contracts.') ||\n    fileName.includes('.contract.') ||\n    fileName.includes('.operations.') ||\n    fileName.includes('.operation.')\n  ) {\n    validateOperationSpec(code, errors, warnings, rulesConfig);\n  }\n\n  // Validate event specs\n  if (fileName.includes('.event.')) {\n    validateEventSpec(code, errors, warnings, rulesConfig);\n  }\n\n  // Validate presentation specs\n  if (fileName.includes('.presentation.')) {\n    validatePresentationSpec(code, errors, warnings);\n  }\n\n  if (fileName.includes('.workflow.')) {\n    validateWorkflowSpec(code, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.data-view.')) {\n    validateDataViewSpec(code, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.migration.')) {\n    validateMigrationSpec(code, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.telemetry.')) {\n    validateTelemetrySpec(code, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.experiment.')) {\n    validateExperimentSpec(code, errors, warnings, rulesConfig);\n  }\n\n  if (fileName.includes('.app-config.')) {\n    validateAppConfigSpec(code, errors, warnings, rulesConfig);\n  }\n\n  // Common validations\n  validateCommonFields(code, fileName, errors, warnings, rulesConfig);\n\n  return {\n    valid: errors.length === 0,\n    errors,\n    warnings,\n  };\n}\n\n/**\n * Helper to emit a message based on rule severity.\n */\nfunction emitRule(\n  ruleName: string,\n  specKind: SpecKind,\n  message: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n): void {\n  const severity = rulesConfig.getRule(ruleName, specKind);\n  if (severity === 'off') return;\n  if (severity === 'error') {\n    errors.push(message);\n  } else {\n    warnings.push(message);\n  }\n}\n\n/**\n * Validate operation spec\n */\nfunction validateOperationSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  // Check for defineCommand or defineQuery\n  const hasDefine = /define(Command|Query)/.test(code);\n  if (!hasDefine) {\n    errors.push('Missing defineCommand or defineQuery call');\n  }\n\n  // Check for required meta fields\n  if (!code.includes('meta:')) {\n    errors.push('Missing meta section');\n  }\n\n  if (!code.includes('io:')) {\n    errors.push('Missing io section');\n  }\n\n  if (!code.includes('policy:')) {\n    errors.push('Missing policy section');\n  }\n\n  // Check for name\n  if (!code.match(/key:\\s*['\"][^'\"]+['\"]/)) {\n    errors.push('Missing or invalid key field');\n  }\n\n  // Check for version\n  if (!code.match(/version:\\s*\\d+/)) {\n    errors.push('Missing or invalid version field');\n  }\n\n  // Check for kind (defineCommand/defineQuery set it automatically, or explicit kind field)\n  const hasDefineCommand = /defineCommand\\s*\\(/.test(code);\n  const hasDefineQuery = /defineQuery\\s*\\(/.test(code);\n  const hasExplicitKind = /kind:\\s*['\"](?:command|query)['\"]/.test(code);\n  if (!hasDefineCommand && !hasDefineQuery && !hasExplicitKind) {\n    errors.push(\n      'Missing kind: use defineCommand(), defineQuery(), or explicit kind field'\n    );\n  }\n\n  // Configurable warnings\n  if (!code.includes('acceptance:')) {\n    emitRule(\n      'require-acceptance',\n      'operation',\n      'No acceptance scenarios defined',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n\n  if (!code.includes('examples:')) {\n    emitRule(\n      'require-examples',\n      'operation',\n      'No examples provided',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n\n  if (code.includes('TODO')) {\n    emitRule(\n      'no-todo',\n      'operation',\n      'Contains TODO items that need completion',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateTelemetrySpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.match(/:\\s*TelemetrySpec\\s*=/)) {\n    errors.push('Missing TelemetrySpec type annotation');\n  }\n\n  if (!code.match(/meta:\\s*{[\\s\\S]*name:/)) {\n    errors.push('TelemetrySpec.meta is required');\n  }\n\n  if (!code.includes('events:')) {\n    errors.push('TelemetrySpec must declare events');\n  }\n\n  if (!code.match(/privacy:\\s*'(public|internal|pii|sensitive)'/)) {\n    emitRule(\n      'telemetry-privacy',\n      'telemetry',\n      'No explicit privacy classification found',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateExperimentSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.match(/:\\s*ExperimentSpec\\s*=/)) {\n    errors.push('Missing ExperimentSpec type annotation');\n  }\n  if (!code.includes('controlVariant')) {\n    errors.push('ExperimentSpec must declare controlVariant');\n  }\n  if (!code.includes('variants:')) {\n    errors.push('ExperimentSpec must declare variants');\n  }\n  if (!code.match(/allocation:\\s*{/)) {\n    emitRule(\n      'experiment-allocation',\n      'experiment',\n      'ExperimentSpec missing allocation configuration',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateAppConfigSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.match(/:\\s*AppBlueprintSpec\\s*=/)) {\n    errors.push('Missing AppBlueprintSpec type annotation');\n  }\n  if (!code.includes('meta:')) {\n    errors.push('AppBlueprintSpec must define meta');\n  }\n  if (!code.includes('appId')) {\n    emitRule(\n      'app-config-appid',\n      'app-config',\n      'AppBlueprint meta missing appId assignment',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n  if (!code.includes('capabilities')) {\n    emitRule(\n      'app-config-capabilities',\n      'app-config',\n      'App blueprint spec does not declare capabilities',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\n/**\n * Validate event spec\n */\nfunction validateEventSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.includes('defineEvent')) {\n    errors.push('Missing defineEvent call');\n  }\n\n  if (!code.match(/key:\\s*['\"][^'\"]+['\"]/)) {\n    errors.push('Missing or invalid key field');\n  }\n\n  if (!code.match(/version:\\s*\\d+/)) {\n    errors.push('Missing or invalid version field');\n  }\n\n  if (!code.includes('payload:')) {\n    errors.push('Missing payload field');\n  }\n\n  // Check for past tense naming convention\n  const nameMatch = code.match(/name:\\s*['\"]([^'\"]+)['\"]/);\n  if (nameMatch?.[1]) {\n    const eventName = nameMatch[1].split('.').pop() ?? '';\n    if (!eventName.match(/(ed|created|updated|deleted|completed)$/i)) {\n      emitRule(\n        'event-past-tense',\n        'event',\n        'Event name should use past tense (e.g., \"created\", \"updated\")',\n        errors,\n        warnings,\n        rulesConfig\n      );\n    }\n  }\n}\n\n/**\n * Validate presentation spec (V2 format)\n */\nfunction validatePresentationSpec(\n  code: string,\n  errors: string[],\n  _warnings: string[]\n) {\n  if (!code.match(/:\\s*PresentationSpec\\s*=/)) {\n    errors.push('Missing PresentationSpec type annotation');\n  }\n\n  if (!code.includes('meta:')) {\n    errors.push('Missing meta section');\n  }\n\n  if (!code.includes('source:')) {\n    errors.push('Missing source section');\n  }\n\n  if (!code.match(/type:\\s*['\"](?:component|blocknotejs)['\"]/)) {\n    errors.push('Missing or invalid source.type field');\n  }\n\n  if (!code.includes('targets:')) {\n    errors.push('Missing targets section');\n  }\n}\n\nfunction validateWorkflowSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.match(/:\\s*WorkflowSpec\\s*=/)) {\n    errors.push('Missing WorkflowSpec type annotation');\n  }\n\n  if (!code.includes('definition:')) {\n    errors.push('Missing definition section');\n  }\n\n  if (!code.includes('steps:')) {\n    errors.push('Workflow must declare steps');\n  }\n\n  if (!code.includes('transitions:')) {\n    emitRule(\n      'workflow-transitions',\n      'workflow',\n      'No transitions declared; workflow will complete after first step.',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n\n  if (!code.match(/title:\\s*['\"][^'\"]+['\"]/)) {\n    warnings.push('Missing workflow title');\n  }\n\n  if (!code.match(/domain:\\s*['\"][^'\"]+['\"]/)) {\n    warnings.push('Missing domain field');\n  }\n\n  if (code.includes('TODO')) {\n    emitRule(\n      'no-todo',\n      'workflow',\n      'Contains TODO items that need completion',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateMigrationSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.match(/:\\s*MigrationSpec\\s*=/)) {\n    errors.push('Missing MigrationSpec type annotation');\n  }\n\n  if (!code.includes('plan:')) {\n    errors.push('Missing plan section');\n  } else {\n    if (!code.includes('up:')) {\n      errors.push('Migration must define at least one up step');\n    }\n  }\n\n  if (!code.match(/name:\\s*['\"][^'\"]+['\"]/)) {\n    errors.push('Missing or invalid migration name');\n  }\n\n  if (!code.match(/version:\\s*\\d+/)) {\n    errors.push('Missing or invalid migration version');\n  }\n\n  if (code.includes('TODO')) {\n    emitRule(\n      'no-todo',\n      'migration',\n      'Contains TODO items that need completion',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\n/**\n * Validate common fields across all spec types\n */\nfunction validateCommonFields(\n  code: string,\n  fileName: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  // Skip import checks for internal library files that define the types\n  const isInternalLib =\n    fileName.includes('/libs/contracts/') ||\n    fileName.includes('/libs/contracts-transformers/') ||\n    fileName.includes('/libs/schema/');\n\n  // Check for SchemaModel import (skip for internal schema lib)\n  if (\n    code.includes('SchemaModel') &&\n    !/from\\s+['\"]@contractspec\\/lib\\.schema(\\/[^'\"]+)?['\"]/.test(code) &&\n    !isInternalLib\n  ) {\n    errors.push('Missing import for SchemaModel from @contractspec/lib.schema');\n  }\n\n  // Check for contracts import only if spec types are used\n  // Skip for files that define the types themselves (inside lib.contracts)\n  const usesSpecTypes =\n    code.includes(': OperationSpec') ||\n    code.includes(': PresentationSpec') ||\n    code.includes(': EventSpec') ||\n    code.includes(': FeatureSpec') ||\n    code.includes(': WorkflowSpec') ||\n    code.includes(': DataViewSpec') ||\n    code.includes(': MigrationSpec') ||\n    code.includes(': TelemetrySpec') ||\n    code.includes(': ExperimentSpec') ||\n    code.includes(': AppBlueprintSpec') ||\n    code.includes('defineCommand(') ||\n    code.includes('defineQuery(') ||\n    code.includes('defineEvent(');\n\n  if (\n    usesSpecTypes &&\n    !/from\\s+['\"]@contractspec\\/lib\\.contracts(\\/[^'\"]+)?['\"]/.test(code) &&\n    !isInternalLib\n  ) {\n    errors.push('Missing import from @contractspec/lib.contracts');\n  }\n\n  // Check owners format\n  const ownersMatch = code.match(/owners:\\s*\\[(.*?)\\]/s);\n  if (ownersMatch?.[1]) {\n    const ownersContent = ownersMatch[1];\n    // Allow @ mentions, OwnersEnum usage, or other constants (CAPS/PascalCase)\n    if (\n      !ownersContent.includes('@') &&\n      !ownersContent.includes('Enum') &&\n      !ownersContent.match(/[A-Z][a-zA-Z0-9_]+/)\n    ) {\n      emitRule(\n        'require-owners-format',\n        'operation',\n        'Owners should start with @ or use an Enum/Constant',\n        errors,\n        warnings,\n        rulesConfig\n      );\n    }\n  }\n\n  // Check for stability\n  // Allow standard string literals, Enum usage (e.g. StabilityEnum.Beta), or Constants\n  if (\n    !code.match(\n      /stability:\\s*(?:['\"](?:experimental|beta|stable|deprecated)['\"]|[A-Z][a-zA-Z0-9_]+(?:\\.[a-zA-Z0-9_]+)?)/\n    )\n  ) {\n    emitRule(\n      'require-stability',\n      'operation',\n      'Missing or invalid stability field',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n\nfunction validateDataViewSpec(\n  code: string,\n  errors: string[],\n  warnings: string[],\n  rulesConfig: RulesConfig\n) {\n  if (!code.match(/:\\s*DataViewSpec\\s*=/)) {\n    errors.push('Missing DataViewSpec type annotation');\n  }\n  if (!code.includes('meta:')) {\n    errors.push('Missing meta section');\n  }\n  if (!code.includes('source:')) {\n    errors.push('Missing source section');\n  }\n  if (!code.includes('view:')) {\n    errors.push('Missing view section');\n  }\n  if (!code.match(/kind:\\s*['\"](list|table|detail|grid)['\"]/)) {\n    errors.push('Missing or invalid view.kind (list/table/detail/grid)');\n  }\n  if (!code.match(/fields:\\s*\\[/)) {\n    emitRule(\n      'data-view-fields',\n      'data-view',\n      'No fields defined for data view',\n      errors,\n      warnings,\n      rulesConfig\n    );\n  }\n}\n"],"mappings":";;;;AA2CA,MAAMA,uBAAoC,EACxC,eAAe,QAChB;;;;AAKD,SAAgB,sBACd,MACA,UACA,cAA2B,sBACT;CAClB,MAAMC,SAAmB,EAAE;CAC3B,MAAMC,WAAqB,EAAE;AAI7B,KAAI,CADc,WAAW,KAAK,KAAK,CAErC,QAAO,KAAK,yBAAyB;AAIvC,KACE,SAAS,SAAS,cAAc,IAChC,SAAS,SAAS,aAAa,IAC/B,SAAS,SAAS,eAAe,IACjC,SAAS,SAAS,cAAc,CAEhC,uBAAsB,MAAM,QAAQ,UAAU,YAAY;AAI5D,KAAI,SAAS,SAAS,UAAU,CAC9B,mBAAkB,MAAM,QAAQ,UAAU,YAAY;AAIxD,KAAI,SAAS,SAAS,iBAAiB,CACrC,0BAAyB,MAAM,QAAQ,SAAS;AAGlD,KAAI,SAAS,SAAS,aAAa,CACjC,sBAAqB,MAAM,QAAQ,UAAU,YAAY;AAG3D,KAAI,SAAS,SAAS,cAAc,CAClC,sBAAqB,MAAM,QAAQ,UAAU,YAAY;AAG3D,KAAI,SAAS,SAAS,cAAc,CAClC,uBAAsB,MAAM,QAAQ,UAAU,YAAY;AAG5D,KAAI,SAAS,SAAS,cAAc,CAClC,uBAAsB,MAAM,QAAQ,UAAU,YAAY;AAG5D,KAAI,SAAS,SAAS,eAAe,CACnC,wBAAuB,MAAM,QAAQ,UAAU,YAAY;AAG7D,KAAI,SAAS,SAAS,eAAe,CACnC,uBAAsB,MAAM,QAAQ,UAAU,YAAY;AAI5D,sBAAqB,MAAM,UAAU,QAAQ,UAAU,YAAY;AAEnE,QAAO;EACL,OAAO,OAAO,WAAW;EACzB;EACA;EACD;;;;;AAMH,SAAS,SACP,UACA,UACA,SACA,QACA,UACA,aACM;CACN,MAAM,WAAW,YAAY,QAAQ,UAAU,SAAS;AACxD,KAAI,aAAa,MAAO;AACxB,KAAI,aAAa,QACf,QAAO,KAAK,QAAQ;KAEpB,UAAS,KAAK,QAAQ;;;;;AAO1B,SAAS,sBACP,MACA,QACA,UACA,aACA;AAGA,KAAI,CADc,wBAAwB,KAAK,KAAK,CAElD,QAAO,KAAK,4CAA4C;AAI1D,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,QAAO,KAAK,uBAAuB;AAGrC,KAAI,CAAC,KAAK,SAAS,MAAM,CACvB,QAAO,KAAK,qBAAqB;AAGnC,KAAI,CAAC,KAAK,SAAS,UAAU,CAC3B,QAAO,KAAK,yBAAyB;AAIvC,KAAI,CAAC,KAAK,MAAM,wBAAwB,CACtC,QAAO,KAAK,+BAA+B;AAI7C,KAAI,CAAC,KAAK,MAAM,iBAAiB,CAC/B,QAAO,KAAK,mCAAmC;CAIjD,MAAM,mBAAmB,qBAAqB,KAAK,KAAK;CACxD,MAAM,iBAAiB,mBAAmB,KAAK,KAAK;CACpD,MAAM,kBAAkB,oCAAoC,KAAK,KAAK;AACtE,KAAI,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,gBAC3C,QAAO,KACL,2EACD;AAIH,KAAI,CAAC,KAAK,SAAS,cAAc,CAC/B,UACE,sBACA,aACA,mCACA,QACA,UACA,YACD;AAGH,KAAI,CAAC,KAAK,SAAS,YAAY,CAC7B,UACE,oBACA,aACA,wBACA,QACA,UACA,YACD;AAGH,KAAI,KAAK,SAAS,OAAO,CACvB,UACE,WACA,aACA,4CACA,QACA,UACA,YACD;;AAIL,SAAS,sBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,MAAM,wBAAwB,CACtC,QAAO,KAAK,wCAAwC;AAGtD,KAAI,CAAC,KAAK,MAAM,wBAAwB,CACtC,QAAO,KAAK,iCAAiC;AAG/C,KAAI,CAAC,KAAK,SAAS,UAAU,CAC3B,QAAO,KAAK,oCAAoC;AAGlD,KAAI,CAAC,KAAK,MAAM,+CAA+C,CAC7D,UACE,qBACA,aACA,4CACA,QACA,UACA,YACD;;AAIL,SAAS,uBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,MAAM,yBAAyB,CACvC,QAAO,KAAK,yCAAyC;AAEvD,KAAI,CAAC,KAAK,SAAS,iBAAiB,CAClC,QAAO,KAAK,6CAA6C;AAE3D,KAAI,CAAC,KAAK,SAAS,YAAY,CAC7B,QAAO,KAAK,uCAAuC;AAErD,KAAI,CAAC,KAAK,MAAM,kBAAkB,CAChC,UACE,yBACA,cACA,mDACA,QACA,UACA,YACD;;AAIL,SAAS,sBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,MAAM,2BAA2B,CACzC,QAAO,KAAK,2CAA2C;AAEzD,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,QAAO,KAAK,oCAAoC;AAElD,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,UACE,oBACA,cACA,8CACA,QACA,UACA,YACD;AAEH,KAAI,CAAC,KAAK,SAAS,eAAe,CAChC,UACE,2BACA,cACA,oDACA,QACA,UACA,YACD;;;;;AAOL,SAAS,kBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,SAAS,cAAc,CAC/B,QAAO,KAAK,2BAA2B;AAGzC,KAAI,CAAC,KAAK,MAAM,wBAAwB,CACtC,QAAO,KAAK,+BAA+B;AAG7C,KAAI,CAAC,KAAK,MAAM,iBAAiB,CAC/B,QAAO,KAAK,mCAAmC;AAGjD,KAAI,CAAC,KAAK,SAAS,WAAW,CAC5B,QAAO,KAAK,wBAAwB;CAItC,MAAM,YAAY,KAAK,MAAM,2BAA2B;AACxD,KAAI,YAAY,IAEd;MAAI,EADc,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,IAAI,IACpC,MAAM,2CAA2C,CAC9D,UACE,oBACA,SACA,qEACA,QACA,UACA,YACD;;;;;;AAQP,SAAS,yBACP,MACA,QACA,WACA;AACA,KAAI,CAAC,KAAK,MAAM,2BAA2B,CACzC,QAAO,KAAK,2CAA2C;AAGzD,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,QAAO,KAAK,uBAAuB;AAGrC,KAAI,CAAC,KAAK,SAAS,UAAU,CAC3B,QAAO,KAAK,yBAAyB;AAGvC,KAAI,CAAC,KAAK,MAAM,4CAA4C,CAC1D,QAAO,KAAK,uCAAuC;AAGrD,KAAI,CAAC,KAAK,SAAS,WAAW,CAC5B,QAAO,KAAK,0BAA0B;;AAI1C,SAAS,qBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,MAAM,uBAAuB,CACrC,QAAO,KAAK,uCAAuC;AAGrD,KAAI,CAAC,KAAK,SAAS,cAAc,CAC/B,QAAO,KAAK,6BAA6B;AAG3C,KAAI,CAAC,KAAK,SAAS,SAAS,CAC1B,QAAO,KAAK,8BAA8B;AAG5C,KAAI,CAAC,KAAK,SAAS,eAAe,CAChC,UACE,wBACA,YACA,qEACA,QACA,UACA,YACD;AAGH,KAAI,CAAC,KAAK,MAAM,0BAA0B,CACxC,UAAS,KAAK,yBAAyB;AAGzC,KAAI,CAAC,KAAK,MAAM,2BAA2B,CACzC,UAAS,KAAK,uBAAuB;AAGvC,KAAI,KAAK,SAAS,OAAO,CACvB,UACE,WACA,YACA,4CACA,QACA,UACA,YACD;;AAIL,SAAS,sBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,MAAM,wBAAwB,CACtC,QAAO,KAAK,wCAAwC;AAGtD,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,QAAO,KAAK,uBAAuB;UAE/B,CAAC,KAAK,SAAS,MAAM,CACvB,QAAO,KAAK,6CAA6C;AAI7D,KAAI,CAAC,KAAK,MAAM,yBAAyB,CACvC,QAAO,KAAK,oCAAoC;AAGlD,KAAI,CAAC,KAAK,MAAM,iBAAiB,CAC/B,QAAO,KAAK,uCAAuC;AAGrD,KAAI,KAAK,SAAS,OAAO,CACvB,UACE,WACA,aACA,4CACA,QACA,UACA,YACD;;;;;AAOL,SAAS,qBACP,MACA,UACA,QACA,UACA,aACA;CAEA,MAAM,gBACJ,SAAS,SAAS,mBAAmB,IACrC,SAAS,SAAS,gCAAgC,IAClD,SAAS,SAAS,gBAAgB;AAGpC,KACE,KAAK,SAAS,cAAc,IAC5B,CAAC,uDAAuD,KAAK,KAAK,IAClE,CAAC,cAED,QAAO,KAAK,+DAA+D;AAoB7E,MAdE,KAAK,SAAS,kBAAkB,IAChC,KAAK,SAAS,qBAAqB,IACnC,KAAK,SAAS,cAAc,IAC5B,KAAK,SAAS,gBAAgB,IAC9B,KAAK,SAAS,iBAAiB,IAC/B,KAAK,SAAS,iBAAiB,IAC/B,KAAK,SAAS,kBAAkB,IAChC,KAAK,SAAS,kBAAkB,IAChC,KAAK,SAAS,mBAAmB,IACjC,KAAK,SAAS,qBAAqB,IACnC,KAAK,SAAS,iBAAiB,IAC/B,KAAK,SAAS,eAAe,IAC7B,KAAK,SAAS,eAAe,KAI7B,CAAC,0DAA0D,KAAK,KAAK,IACrE,CAAC,cAED,QAAO,KAAK,kDAAkD;CAIhE,MAAM,cAAc,KAAK,MAAM,uBAAuB;AACtD,KAAI,cAAc,IAAI;EACpB,MAAM,gBAAgB,YAAY;AAElC,MACE,CAAC,cAAc,SAAS,IAAI,IAC5B,CAAC,cAAc,SAAS,OAAO,IAC/B,CAAC,cAAc,MAAM,qBAAqB,CAE1C,UACE,yBACA,aACA,sDACA,QACA,UACA,YACD;;AAML,KACE,CAAC,KAAK,MACJ,0GACD,CAED,UACE,qBACA,aACA,sCACA,QACA,UACA,YACD;;AAIL,SAAS,qBACP,MACA,QACA,UACA,aACA;AACA,KAAI,CAAC,KAAK,MAAM,uBAAuB,CACrC,QAAO,KAAK,uCAAuC;AAErD,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,QAAO,KAAK,uBAAuB;AAErC,KAAI,CAAC,KAAK,SAAS,UAAU,CAC3B,QAAO,KAAK,yBAAyB;AAEvC,KAAI,CAAC,KAAK,SAAS,QAAQ,CACzB,QAAO,KAAK,uBAAuB;AAErC,KAAI,CAAC,KAAK,MAAM,2CAA2C,CACzD,QAAO,KAAK,wDAAwD;AAEtE,KAAI,CAAC,KAAK,MAAM,eAAe,CAC7B,UACE,oBACA,aACA,mCACA,QACA,UACA,YACD"}

package/dist/formatter.d.ts

@@ -0,0 +1,42 @@
+import { FormatterConfig, FormatterType } from "@contractspec/lib.contracts";
+
+//#region src/formatter.d.ts
+
+interface FormatterOptions {
+  /** Override formatter type from config */
+  type?: FormatterType;
+  /** Skip formatting entirely */
+  skip?: boolean;
+  /** Working directory for formatter */
+  cwd?: string;
+  /** Silent mode - don't log output */
+  silent?: boolean;
+}
+interface FormatResult {
+  success: boolean;
+  formatted: boolean;
+  error?: string;
+  duration?: number;
+  formatterUsed?: FormatterType;
+}
+/**
+ * Auto-detect available formatters in the workspace.
+ * Returns the first detected formatter in priority order.
+ */
+declare function detectFormatter(cwd?: string): Promise<FormatterType | null>;
+interface FormatLogger {
+  log: (message: string) => void;
+  warn: (message: string) => void;
+  success: (message: string) => void;
+}
+/**
+ * Format a single file or array of files.
+ */
+declare function formatFiles(files: string | string[], config?: FormatterConfig, options?: FormatterOptions, logger?: FormatLogger): Promise<FormatResult>;
+/**
+ * Format files in batch, grouping by directory for efficiency.
+ */
+declare function formatFilesBatch(files: string[], config?: FormatterConfig, options?: FormatterOptions, logger?: FormatLogger): Promise<FormatResult>;
+//#endregion
+export { FormatLogger, FormatResult, FormatterOptions, detectFormatter, formatFiles, formatFilesBatch };
+//# sourceMappingURL=formatter.d.ts.map

package/dist/formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.d.ts","names":[],"sources":["../src/formatter.ts"],"sourcesContent":[],"mappings":";;;;AAoLiB,UAlKA,gBAAA,CAkKY;EASP;EAEX,IAAA,CAAA,EA3KF,aA2KE;EACC;EACD,IAAA,CAAA,EAAA,OAAA;EACA;EAAR,GAAA,CAAA,EAAA,MAAA;EAAO;EA8EY,MAAA,CAAA,EAAA,OAAA;;AAGV,UAtPK,YAAA,CAsPL;EACD,OAAA,EAAA,OAAA;EACA,SAAA,EAAA,OAAA;EAAR,KAAA,CAAA,EAAA,MAAA;EAAO,QAAA,CAAA,EAAA,MAAA;kBAnPQ;;;;;;iBAkDI,eAAA,gBAEnB,QAAQ;UA8FM,YAAA;;;;;;;;iBASK,WAAA,oCAEX,2BACC,2BACD,eACR,QAAQ;;;;iBA8EW,gBAAA,2BAEX,2BACC,2BACD,eACR,QAAQ"}

package/dist/formatter.js

@@ -0,0 +1,163 @@
+import { exec } from "node:child_process";
+import { promisify } from "node:util";
+import { existsSync } from "node:fs";
+import { dirname, resolve } from "node:path";
+import { readFile } from "node:fs/promises";
+
+//#region src/formatter.ts
+/**
+* Formatter utility for ContractSpec CLI.
+*
+* Detects and runs code formatters on generated files.
+*/
+const execAsync = promisify(exec);
+/**
+* Config files that indicate a formatter is available.
+*/
+const FORMATTER_CONFIG_FILES = {
+	prettier: [
+		".prettierrc",
+		".prettierrc.json",
+		".prettierrc.yaml",
+		".prettierrc.yml",
+		".prettierrc.js",
+		".prettierrc.cjs",
+		".prettierrc.mjs",
+		"prettier.config.js",
+		"prettier.config.cjs",
+		"prettier.config.mjs"
+	],
+	eslint: [
+		".eslintrc",
+		".eslintrc.json",
+		".eslintrc.yaml",
+		".eslintrc.yml",
+		".eslintrc.js",
+		".eslintrc.cjs",
+		"eslint.config.js",
+		"eslint.config.mjs",
+		"eslint.config.cjs"
+	],
+	biome: ["biome.json", "biome.jsonc"],
+	dprint: ["dprint.json", ".dprint.json"],
+	custom: []
+};
+/**
+* Package.json dependencies that indicate a formatter is available.
+*/
+const FORMATTER_PACKAGES = {
+	prettier: ["prettier"],
+	eslint: ["eslint"],
+	biome: ["@biomejs/biome"],
+	dprint: ["dprint"],
+	custom: []
+};
+/**
+* Auto-detect available formatters in the workspace.
+* Returns the first detected formatter in priority order.
+*/
+async function detectFormatter(cwd = process.cwd()) {
+	for (const formatter of [
+		"prettier",
+		"biome",
+		"eslint",
+		"dprint"
+	]) if (await isFormatterAvailable(formatter, cwd)) return formatter;
+	return null;
+}
+/**
+* Check if a specific formatter is available in the workspace.
+*/
+async function isFormatterAvailable(formatter, cwd) {
+	const configFiles = FORMATTER_CONFIG_FILES[formatter] || [];
+	for (const configFile of configFiles) if (existsSync(resolve(cwd, configFile))) return true;
+	const packageJsonPath = resolve(cwd, "package.json");
+	if (existsSync(packageJsonPath)) try {
+		const packageJson = JSON.parse(await readFile(packageJsonPath, "utf-8"));
+		const allDeps = {
+			...packageJson.dependencies,
+			...packageJson.devDependencies
+		};
+		const packages = FORMATTER_PACKAGES[formatter] || [];
+		for (const pkg of packages) if (pkg in allDeps) return true;
+	} catch {}
+	const parentDir = dirname(cwd);
+	if (parentDir !== cwd && parentDir !== "/") return isFormatterAvailable(formatter, parentDir);
+	return false;
+}
+/**
+* Get the command for a specific formatter type.
+*/
+function getFormatterCommand(type, files, config) {
+	const fileArgs = files.map((f) => `"${f}"`).join(" ");
+	const extraArgs = config?.args?.join(" ") || "";
+	switch (type) {
+		case "prettier": return `npx prettier --write ${extraArgs} ${fileArgs}`;
+		case "eslint": return `npx eslint --fix ${extraArgs} ${fileArgs}`;
+		case "biome": return `npx @biomejs/biome format --write ${extraArgs} ${fileArgs}`;
+		case "dprint": return `npx dprint fmt ${extraArgs} ${fileArgs}`;
+		case "custom":
+			if (!config?.command) throw new Error("Custom formatter requires a command to be specified in config");
+			return `${config.command} ${extraArgs} ${fileArgs}`;
+		default: throw new Error(`Unknown formatter type: ${type}`);
+	}
+}
+/**
+* Format a single file or array of files.
+*/
+async function formatFiles(files, config, options, logger) {
+	const startTime = Date.now();
+	const fileList = Array.isArray(files) ? files : [files];
+	const cwd = options?.cwd || process.cwd();
+	if (options?.skip || config?.enabled === false) return {
+		success: true,
+		formatted: false,
+		duration: Date.now() - startTime
+	};
+	let formatterType = options?.type || config?.type;
+	if (!formatterType) {
+		const detected = await detectFormatter(cwd);
+		if (!detected) return {
+			success: true,
+			formatted: false,
+			duration: Date.now() - startTime
+		};
+		formatterType = detected;
+	}
+	const command = getFormatterCommand(formatterType, fileList, config);
+	const timeout = config?.timeout || 3e4;
+	if (!options?.silent && logger) logger.log(`🎨 Formatting ${fileList.length} file(s) with ${formatterType}...`);
+	try {
+		await execAsync(command, {
+			cwd,
+			timeout
+		});
+		if (!options?.silent && logger) logger.success(`✅ Formatted ${fileList.length} file(s)`);
+		return {
+			success: true,
+			formatted: true,
+			duration: Date.now() - startTime,
+			formatterUsed: formatterType
+		};
+	} catch (error) {
+		const errorMessage = error instanceof Error ? error.message : String(error);
+		if (!options?.silent && logger) logger.warn(`⚠️ Formatting failed (continuing anyway): ${errorMessage}`);
+		return {
+			success: false,
+			formatted: false,
+			error: errorMessage,
+			duration: Date.now() - startTime,
+			formatterUsed: formatterType
+		};
+	}
+}
+/**
+* Format files in batch, grouping by directory for efficiency.
+*/
+async function formatFilesBatch(files, config, options, logger) {
+	return formatFiles(files, config, options, logger);
+}
+
+//#endregion
+export { detectFormatter, formatFiles, formatFilesBatch };
+//# sourceMappingURL=formatter.js.map

package/dist/formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.js","names":["FORMATTER_CONFIG_FILES: Record<FormatterType, string[]>","FORMATTER_PACKAGES: Record<FormatterType, string[]>"],"sources":["../src/formatter.ts"],"sourcesContent":["/**\n * Formatter utility for ContractSpec CLI.\n *\n * Detects and runs code formatters on generated files.\n */\n\nimport { exec } from 'node:child_process';\nimport { promisify } from 'node:util';\nimport { existsSync } from 'node:fs';\nimport { resolve, dirname } from 'node:path';\nimport { readFile } from 'node:fs/promises';\nimport type {\n  FormatterConfig,\n  FormatterType,\n} from '@contractspec/lib.contracts';\n\nconst execAsync = promisify(exec);\n\nexport interface FormatterOptions {\n  /** Override formatter type from config */\n  type?: FormatterType;\n  /** Skip formatting entirely */\n  skip?: boolean;\n  /** Working directory for formatter */\n  cwd?: string;\n  /** Silent mode - don't log output */\n  silent?: boolean;\n}\n\nexport interface FormatResult {\n  success: boolean;\n  formatted: boolean;\n  error?: string;\n  duration?: number;\n  formatterUsed?: FormatterType;\n}\n\n/**\n * Config files that indicate a formatter is available.\n */\nconst FORMATTER_CONFIG_FILES: Record<FormatterType, string[]> = {\n  prettier: [\n    '.prettierrc',\n    '.prettierrc.json',\n    '.prettierrc.yaml',\n    '.prettierrc.yml',\n    '.prettierrc.js',\n    '.prettierrc.cjs',\n    '.prettierrc.mjs',\n    'prettier.config.js',\n    'prettier.config.cjs',\n    'prettier.config.mjs',\n  ],\n  eslint: [\n    '.eslintrc',\n    '.eslintrc.json',\n    '.eslintrc.yaml',\n    '.eslintrc.yml',\n    '.eslintrc.js',\n    '.eslintrc.cjs',\n    'eslint.config.js',\n    'eslint.config.mjs',\n    'eslint.config.cjs',\n  ],\n  biome: ['biome.json', 'biome.jsonc'],\n  dprint: ['dprint.json', '.dprint.json'],\n  custom: [],\n};\n\n/**\n * Package.json dependencies that indicate a formatter is available.\n */\nconst FORMATTER_PACKAGES: Record<FormatterType, string[]> = {\n  prettier: ['prettier'],\n  eslint: ['eslint'],\n  biome: ['@biomejs/biome'],\n  dprint: ['dprint'],\n  custom: [],\n};\n\n/**\n * Auto-detect available formatters in the workspace.\n * Returns the first detected formatter in priority order.\n */\nexport async function detectFormatter(\n  cwd: string = process.cwd()\n): Promise<FormatterType | null> {\n  // Priority order for formatters\n  const priority: FormatterType[] = ['prettier', 'biome', 'eslint', 'dprint'];\n\n  for (const formatter of priority) {\n    if (await isFormatterAvailable(formatter, cwd)) {\n      return formatter;\n    }\n  }\n\n  return null;\n}\n\n/**\n * Check if a specific formatter is available in the workspace.\n */\nasync function isFormatterAvailable(\n  formatter: FormatterType,\n  cwd: string\n): Promise<boolean> {\n  // Check for config files\n  const configFiles = FORMATTER_CONFIG_FILES[formatter] || [];\n  for (const configFile of configFiles) {\n    if (existsSync(resolve(cwd, configFile))) {\n      return true;\n    }\n  }\n\n  // Check package.json dependencies\n  const packageJsonPath = resolve(cwd, 'package.json');\n  if (existsSync(packageJsonPath)) {\n    try {\n      const packageJson = JSON.parse(\n        await readFile(packageJsonPath, 'utf-8')\n      ) as {\n        dependencies?: Record<string, string>;\n        devDependencies?: Record<string, string>;\n      };\n      const allDeps = {\n        ...packageJson.dependencies,\n        ...packageJson.devDependencies,\n      };\n      const packages = FORMATTER_PACKAGES[formatter] || [];\n      for (const pkg of packages) {\n        if (pkg in allDeps) {\n          return true;\n        }\n      }\n    } catch {\n      // Ignore parse errors\n    }\n  }\n\n  // Walk up to find monorepo root\n  const parentDir = dirname(cwd);\n  if (parentDir !== cwd && parentDir !== '/') {\n    return isFormatterAvailable(formatter, parentDir);\n  }\n\n  return false;\n}\n\n/**\n * Get the command for a specific formatter type.\n */\nfunction getFormatterCommand(\n  type: FormatterType,\n  files: string[],\n  config?: FormatterConfig\n): string {\n  const fileArgs = files.map((f) => `\"${f}\"`).join(' ');\n  const extraArgs = config?.args?.join(' ') || '';\n\n  switch (type) {\n    case 'prettier':\n      return `npx prettier --write ${extraArgs} ${fileArgs}`;\n    case 'eslint':\n      return `npx eslint --fix ${extraArgs} ${fileArgs}`;\n    case 'biome':\n      return `npx @biomejs/biome format --write ${extraArgs} ${fileArgs}`;\n    case 'dprint':\n      return `npx dprint fmt ${extraArgs} ${fileArgs}`;\n    case 'custom':\n      if (!config?.command) {\n        throw new Error(\n          'Custom formatter requires a command to be specified in config'\n        );\n      }\n      return `${config.command} ${extraArgs} ${fileArgs}`;\n    default:\n      throw new Error(`Unknown formatter type: ${type}`);\n  }\n}\n\nexport interface FormatLogger {\n  log: (message: string) => void;\n  warn: (message: string) => void;\n  success: (message: string) => void;\n}\n\n/**\n * Format a single file or array of files.\n */\nexport async function formatFiles(\n  files: string | string[],\n  config?: FormatterConfig,\n  options?: FormatterOptions,\n  logger?: FormatLogger\n): Promise<FormatResult> {\n  const startTime = Date.now();\n  const fileList = Array.isArray(files) ? files : [files];\n  const cwd = options?.cwd || process.cwd();\n\n  // Skip if explicitly disabled\n  if (options?.skip || config?.enabled === false) {\n    return {\n      success: true,\n      formatted: false,\n      duration: Date.now() - startTime,\n    };\n  }\n\n  // Determine formatter to use\n  let formatterType = options?.type || config?.type;\n\n  // Auto-detect if not specified\n  if (!formatterType) {\n    const detected = await detectFormatter(cwd);\n    if (!detected) {\n      // No formatter available - silently skip\n      return {\n        success: true,\n        formatted: false,\n        duration: Date.now() - startTime,\n      };\n    }\n    formatterType = detected;\n  }\n\n  // Build command\n  const command = getFormatterCommand(formatterType, fileList, config);\n  const timeout = config?.timeout || 30000;\n\n  if (!options?.silent && logger) {\n    logger.log(\n      `🎨 Formatting ${fileList.length} file(s) with ${formatterType}...`\n    );\n  }\n\n  try {\n    await execAsync(command, {\n      cwd,\n      timeout,\n    });\n\n    if (!options?.silent && logger) {\n      logger.success(`✅ Formatted ${fileList.length} file(s)`);\n    }\n\n    return {\n      success: true,\n      formatted: true,\n      duration: Date.now() - startTime,\n      formatterUsed: formatterType,\n    };\n  } catch (error) {\n    const errorMessage = error instanceof Error ? error.message : String(error);\n\n    // Log warning but don't fail the operation\n    if (!options?.silent && logger) {\n      logger.warn(`⚠️ Formatting failed (continuing anyway): ${errorMessage}`);\n    }\n\n    return {\n      success: false,\n      formatted: false,\n      error: errorMessage,\n      duration: Date.now() - startTime,\n      formatterUsed: formatterType,\n    };\n  }\n}\n\n/**\n * Format files in batch, grouping by directory for efficiency.\n */\nexport async function formatFilesBatch(\n  files: string[],\n  config?: FormatterConfig,\n  options?: FormatterOptions,\n  logger?: FormatLogger\n): Promise<FormatResult> {\n  // For now, just format all files together\n  // Future optimization: group by directory and run formatter per directory\n  return formatFiles(files, config, options, logger);\n}\n"],"mappings":";;;;;;;;;;;;AAgBA,MAAM,YAAY,UAAU,KAAK;;;;AAwBjC,MAAMA,yBAA0D;CAC9D,UAAU;EACR;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACD;CACD,QAAQ;EACN;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACD;CACD,OAAO,CAAC,cAAc,cAAc;CACpC,QAAQ,CAAC,eAAe,eAAe;CACvC,QAAQ,EAAE;CACX;;;;AAKD,MAAMC,qBAAsD;CAC1D,UAAU,CAAC,WAAW;CACtB,QAAQ,CAAC,SAAS;CAClB,OAAO,CAAC,iBAAiB;CACzB,QAAQ,CAAC,SAAS;CAClB,QAAQ,EAAE;CACX;;;;;AAMD,eAAsB,gBACpB,MAAc,QAAQ,KAAK,EACI;AAI/B,MAAK,MAAM,aAFuB;EAAC;EAAY;EAAS;EAAU;EAAS,CAGzE,KAAI,MAAM,qBAAqB,WAAW,IAAI,CAC5C,QAAO;AAIX,QAAO;;;;;AAMT,eAAe,qBACb,WACA,KACkB;CAElB,MAAM,cAAc,uBAAuB,cAAc,EAAE;AAC3D,MAAK,MAAM,cAAc,YACvB,KAAI,WAAW,QAAQ,KAAK,WAAW,CAAC,CACtC,QAAO;CAKX,MAAM,kBAAkB,QAAQ,KAAK,eAAe;AACpD,KAAI,WAAW,gBAAgB,CAC7B,KAAI;EACF,MAAM,cAAc,KAAK,MACvB,MAAM,SAAS,iBAAiB,QAAQ,CACzC;EAID,MAAM,UAAU;GACd,GAAG,YAAY;GACf,GAAG,YAAY;GAChB;EACD,MAAM,WAAW,mBAAmB,cAAc,EAAE;AACpD,OAAK,MAAM,OAAO,SAChB,KAAI,OAAO,QACT,QAAO;SAGL;CAMV,MAAM,YAAY,QAAQ,IAAI;AAC9B,KAAI,cAAc,OAAO,cAAc,IACrC,QAAO,qBAAqB,WAAW,UAAU;AAGnD,QAAO;;;;;AAMT,SAAS,oBACP,MACA,OACA,QACQ;CACR,MAAM,WAAW,MAAM,KAAK,MAAM,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI;CACrD,MAAM,YAAY,QAAQ,MAAM,KAAK,IAAI,IAAI;AAE7C,SAAQ,MAAR;EACE,KAAK,WACH,QAAO,wBAAwB,UAAU,GAAG;EAC9C,KAAK,SACH,QAAO,oBAAoB,UAAU,GAAG;EAC1C,KAAK,QACH,QAAO,qCAAqC,UAAU,GAAG;EAC3D,KAAK,SACH,QAAO,kBAAkB,UAAU,GAAG;EACxC,KAAK;AACH,OAAI,CAAC,QAAQ,QACX,OAAM,IAAI,MACR,gEACD;AAEH,UAAO,GAAG,OAAO,QAAQ,GAAG,UAAU,GAAG;EAC3C,QACE,OAAM,IAAI,MAAM,2BAA2B,OAAO;;;;;;AAaxD,eAAsB,YACpB,OACA,QACA,SACA,QACuB;CACvB,MAAM,YAAY,KAAK,KAAK;CAC5B,MAAM,WAAW,MAAM,QAAQ,MAAM,GAAG,QAAQ,CAAC,MAAM;CACvD,MAAM,MAAM,SAAS,OAAO,QAAQ,KAAK;AAGzC,KAAI,SAAS,QAAQ,QAAQ,YAAY,MACvC,QAAO;EACL,SAAS;EACT,WAAW;EACX,UAAU,KAAK,KAAK,GAAG;EACxB;CAIH,IAAI,gBAAgB,SAAS,QAAQ,QAAQ;AAG7C,KAAI,CAAC,eAAe;EAClB,MAAM,WAAW,MAAM,gBAAgB,IAAI;AAC3C,MAAI,CAAC,SAEH,QAAO;GACL,SAAS;GACT,WAAW;GACX,UAAU,KAAK,KAAK,GAAG;GACxB;AAEH,kBAAgB;;CAIlB,MAAM,UAAU,oBAAoB,eAAe,UAAU,OAAO;CACpE,MAAM,UAAU,QAAQ,WAAW;AAEnC,KAAI,CAAC,SAAS,UAAU,OACtB,QAAO,IACL,iBAAiB,SAAS,OAAO,gBAAgB,cAAc,KAChE;AAGH,KAAI;AACF,QAAM,UAAU,SAAS;GACvB;GACA;GACD,CAAC;AAEF,MAAI,CAAC,SAAS,UAAU,OACtB,QAAO,QAAQ,eAAe,SAAS,OAAO,UAAU;AAG1D,SAAO;GACL,SAAS;GACT,WAAW;GACX,UAAU,KAAK,KAAK,GAAG;GACvB,eAAe;GAChB;UACM,OAAO;EACd,MAAM,eAAe,iBAAiB,QAAQ,MAAM,UAAU,OAAO,MAAM;AAG3E,MAAI,CAAC,SAAS,UAAU,OACtB,QAAO,KAAK,6CAA6C,eAAe;AAG1E,SAAO;GACL,SAAS;GACT,WAAW;GACX,OAAO;GACP,UAAU,KAAK,KAAK,GAAG;GACvB,eAAe;GAChB;;;;;;AAOL,eAAsB,iBACpB,OACA,QACA,SACA,QACuB;AAGvB,QAAO,YAAY,OAAO,QAAQ,SAAS,OAAO"}

package/dist/index.d.ts

@@ -0,0 +1,35 @@
+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 { GroupKeyFn, GroupedItems, SpecFilter, SpecGroupingStrategies, filterFeatures, filterSpecs, getUniqueSpecDomains, getUniqueSpecOwners, getUniqueSpecTags, groupSpecs, groupSpecsToArray } from "./analysis/grouping.js";
+import { computeSemanticDiff } from "./analysis/diff/semantic.js";
+import { ContractSnapshot, EventSnapshot, FieldSnapshot, FieldType, HttpBindingSnapshot, IoSnapshot, OperationSnapshot, SnapshotOptions, SpecSnapshot } from "./analysis/snapshot/types.js";
+import { DeepDiffOptions, computeFieldDiff, computeFieldsDiff, computeIoDiff, isBreakingChange } from "./analysis/diff/deep-diff.js";
+import { addContractNode, buildReverseEdges, createContractGraph, detectCycles, findMissingDependencies, toDot } from "./analysis/deps/graph.js";
+import { parseImportedSpecNames } from "./analysis/deps/parse-imports.js";
+import { RuleSeverity, RulesConfig, SpecKind, validateSpecStructure } from "./analysis/validate/spec-structure.js";
+import { computeHash, normalizeValue, sortFields, sortSpecs, toCanonicalJson } from "./analysis/snapshot/normalizer.js";
+import { generateSnapshot } from "./analysis/snapshot/snapshot.js";
+import { ClassifyOptions, ImpactDelta, ImpactResult, ImpactRule, ImpactSeverity, ImpactStatus, ImpactSummary } from "./analysis/impact/types.js";
+import { BREAKING_RULES, DEFAULT_RULES, INFO_RULES, NON_BREAKING_RULES, findMatchingRule, getRulesBySeverity } from "./analysis/impact/rules.js";
+import { classifyImpact } from "./analysis/impact/classifier.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";
+import { FormatLogger, FormatResult, FormatterOptions, detectFormatter, formatFiles, formatFilesBatch } from "./formatter.js";
+export { AIGenerationOptions, AnalyzedOperationKind, AnalyzedSpecType, AppBlueprintSpecData, AppConfigFeatureFlagData, AppConfigMappingData, AppRouteConfigData, BREAKING_RULES, BaseSpecData, ClassifyOptions, CodeGenerationContext, ContractGraph, ContractNode, ContractSnapshot, DEFAULT_RULES, DEFAULT_WORKSPACE_CONFIG, DataViewFieldData, DataViewKind, DataViewSpecData, DeepDiffOptions, EventSnapshot, EventSpecData, ExperimentAllocationData, ExperimentMetricData, ExperimentSpecData, ExperimentVariantData, ExperimentVariantOverrideData, ExtractedRef, FeatureScanResult, FeatureSpecData, FieldSnapshot, FieldType, FormSpecData, FormatLogger, FormatResult, FormatterOptions, GenerationResult, GenerationTarget, GroupKeyFn, GroupedItems, HttpBindingSnapshot, INFO_RULES, ImpactDelta, ImpactResult, ImpactRule, ImpactSeverity, ImpactStatus, ImpactSummary, IntegrationCapabilityRefData, IntegrationCapabilityRequirementData, IntegrationCategoryData, IntegrationConfigFieldData, IntegrationConfigFieldType, IntegrationHealthCheckMethod, IntegrationOwnershipModeData, IntegrationSecretFieldData, IntegrationSpecData, IoSnapshot, KnowledgeCategoryData, KnowledgeRetentionData, KnowledgeSpaceSpecData, KnowledgeTrustLevel, MigrationSpecData, MigrationStepData, MigrationStepKind, NON_BREAKING_RULES, OpKind, OperationSnapshot, OperationSpecData, PresentationKind, PresentationSpecData, RandomAllocationData, RefInfo, RefType, RuleSeverity, RulesConfig, SemanticDiffItem, SemanticDiffOptions, SemanticDiffType, SnapshotOptions, SpecBuildType, SpecFilter, SpecGenerationContext, SpecGroupingStrategies, SpecKind, SpecScanResult, SpecSnapshot, 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, classifyImpact, computeFieldDiff, computeFieldsDiff, computeHash, computeIoDiff, computeSemanticDiff, createContractGraph, detectCycles, detectFormatter, escapeString, extractEmittedEvents, extractPolicyRefs, extractTestRefs, filterFeatures, filterSpecs, findMatchingRule, findMissingDependencies, formatFiles, formatFilesBatch, generateAppBlueprintSpec, generateComponentTemplate, generateDataViewSpec, generateEventSpec, generateExperimentSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateSnapshot, generateTelemetrySpec, generateTestTemplate, generateWorkflowRunnerTemplate, generateWorkflowSpec, getCodeGenSystemPrompt, getRulesBySeverity, getSystemPrompt, getUniqueSpecDomains, getUniqueSpecOwners, getUniqueSpecTags, groupSpecs, groupSpecsToArray, inferSpecTypeFromFilePath, isBreakingChange, isFeatureFile, normalizeValue, parseImportedSpecNames, scanAllSpecsFromSource, scanFeatureSource, scanSpecSource, sortFields, sortSpecs, toCamelCase, toCanonicalJson, toDot, toKebabCase, toPascalCase, validateSpecStructure };

package/dist/index.js

@@ -0,0 +1,33 @@
+import { DEFAULT_WORKSPACE_CONFIG } 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 { SpecGroupingStrategies, filterFeatures, filterSpecs, getUniqueSpecDomains, getUniqueSpecOwners, getUniqueSpecTags, groupSpecs, groupSpecsToArray } from "./analysis/grouping.js";
+import { computeSemanticDiff } from "./analysis/diff/semantic.js";
+import { computeFieldDiff, computeFieldsDiff, computeIoDiff, isBreakingChange } from "./analysis/diff/deep-diff.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 { computeHash, normalizeValue, sortFields, sortSpecs, toCanonicalJson } from "./analysis/snapshot/normalizer.js";
+import { generateSnapshot } from "./analysis/snapshot/snapshot.js";
+import { BREAKING_RULES, DEFAULT_RULES, INFO_RULES, NON_BREAKING_RULES, findMatchingRule, getRulesBySeverity } from "./analysis/impact/rules.js";
+import { classifyImpact } from "./analysis/impact/classifier.js";
+import "./analysis/index.js";
+import { capitalize, escapeString, toCamelCase, toKebabCase, toPascalCase } from "./templates/utils.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 { addExampleContext, buildEventSpecPrompt, buildOperationSpecPrompt, buildPresentationSpecPrompt, getSystemPrompt } from "./ai/spec-creation.js";
+import { buildComponentPrompt, buildFormPrompt, buildHandlerPrompt, buildTestPrompt, getCodeGenSystemPrompt } from "./ai/code-generation.js";
+import { detectFormatter, formatFiles, formatFilesBatch } from "./formatter.js";
+
+export { BREAKING_RULES, DEFAULT_RULES, DEFAULT_WORKSPACE_CONFIG, INFO_RULES, NON_BREAKING_RULES, SpecGroupingStrategies, addContractNode, addExampleContext, buildComponentPrompt, buildEventSpecPrompt, buildFormPrompt, buildHandlerPrompt, buildOperationSpecPrompt, buildPresentationSpecPrompt, buildReverseEdges, buildTestPrompt, capitalize, classifyImpact, computeFieldDiff, computeFieldsDiff, computeHash, computeIoDiff, computeSemanticDiff, createContractGraph, detectCycles, detectFormatter, escapeString, extractEmittedEvents, extractPolicyRefs, extractTestRefs, filterFeatures, filterSpecs, findMatchingRule, findMissingDependencies, formatFiles, formatFilesBatch, generateAppBlueprintSpec, generateComponentTemplate, generateDataViewSpec, generateEventSpec, generateExperimentSpec, generateHandlerTemplate, generateIntegrationSpec, generateKnowledgeSpaceSpec, generateMigrationSpec, generateOperationSpec, generatePresentationSpec, generateSnapshot, generateTelemetrySpec, generateTestTemplate, generateWorkflowRunnerTemplate, generateWorkflowSpec, getCodeGenSystemPrompt, getRulesBySeverity, getSystemPrompt, getUniqueSpecDomains, getUniqueSpecOwners, getUniqueSpecTags, groupSpecs, groupSpecsToArray, inferSpecTypeFromFilePath, isBreakingChange, isFeatureFile, normalizeValue, parseImportedSpecNames, scanAllSpecsFromSource, scanFeatureSource, scanSpecSource, sortFields, sortSpecs, toCamelCase, toCanonicalJson, toDot, toKebabCase, toPascalCase, validateSpecStructure };

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"app-config.d.ts","names":[],"sources":["../../src/templates/app-config.ts"],"sourcesContent":[],"mappings":";;;iBAGgB,wBAAA,OAA+B"}