@workos/oagen 0.1.0 → 0.2.0

package/dist/verify/index.mjs

@@ -0,0 +1,327 @@
+import { m as CommandError } from "../tree-sitter-BPNfbEzY.mjs";
+import { i as generate, n as getEmitter, t as diffSpecs } from "../diff-DyQF4sel.mjs";
+import { c as buildOverlayLookup, g as getExtractor, i as specDerivedFieldPaths, l as patchOverlay, n as filterSurface, o as specDerivedMethodPaths, r as specDerivedEnumValues, s as specDerivedNames, t as diffSurfaces } from "../differ-BwelBJN0.mjs";
+import * as path$1 from "node:path";
+import { fileURLToPath } from "node:url";
+import { closeSync, existsSync, openSync, readFileSync, readSync, readdirSync, statSync, unlinkSync } from "node:fs";
+import { execFileSync } from "node:child_process";
+//#region src/verify/run-compat-check.ts
+async function runCompatCheck(baseline, outputDir, lang, spec) {
+	const extractor = getExtractor(lang);
+	const candidate = await extractor.extract(outputDir);
+	let scopedBaseline = baseline;
+	let scopedToSpec = false;
+	let scopedSymbolCount;
+	if (spec) {
+		scopedBaseline = filterSurface(baseline, specDerivedNames(spec, extractor.hints), {
+			fieldPaths: specDerivedFieldPaths(spec, extractor.hints),
+			methodPaths: specDerivedMethodPaths(spec),
+			enumValues: specDerivedEnumValues(spec)
+		});
+		scopedToSpec = true;
+		scopedSymbolCount = Object.keys(scopedBaseline.interfaces).length + Object.keys(scopedBaseline.classes).length + Object.keys(scopedBaseline.typeAliases).length + Object.keys(scopedBaseline.enums).length;
+	}
+	const diff = diffSurfaces(scopedBaseline, candidate, extractor.hints);
+	return {
+		passed: diff.violations.every((v) => v.severity !== "breaking"),
+		diff,
+		scopedToSpec,
+		scopedSymbolCount
+	};
+}
+//#endregion
+//#region src/verify/run-overlay-retry-loop.ts
+const PATCHABLE_CATEGORIES = new Set(["public-api", "export-structure"]);
+/** Generated file header markers used by various emitters. */
+const GENERATED_MARKERS = [
+	"Code generated by oagen",
+	"auto-generated by oagen",
+	"This file is auto-generated"
+];
+/**
+* Delete oagen-generated source files so the retry loop can regenerate them
+* with overlay-corrected names. Only deletes files that contain an oagen
+* generation marker, preserving hand-written files.
+*/
+function cleanGeneratedFiles(dir) {
+	let entries;
+	try {
+		entries = readdirSync(dir);
+	} catch {
+		return;
+	}
+	for (const entry of entries) {
+		const full = path$1.join(dir, entry);
+		let stat;
+		try {
+			stat = statSync(full);
+		} catch {
+			continue;
+		}
+		if (stat.isDirectory()) {
+			cleanGeneratedFiles(full);
+			continue;
+		}
+		if (entry.endsWith(".json") || entry.endsWith(".lock")) continue;
+		try {
+			const buf = Buffer.alloc(200);
+			const fd = openSync(full, "r");
+			try {
+				readSync(fd, buf, 0, 200, 0);
+			} finally {
+				closeSync(fd);
+			}
+			const header = buf.toString("utf-8");
+			if (GENERATED_MARKERS.some((m) => header.includes(m))) unlinkSync(full);
+		} catch {}
+	}
+}
+/**
+* Load a smoke-manifest.json from the generated SDK directory and convert
+* it to ManifestEntry[] for the overlay builder.
+*/
+function loadManifestFromDir(outputDir) {
+	const manifestPath = path$1.join(outputDir, "smoke-manifest.json");
+	if (!existsSync(manifestPath)) return void 0;
+	try {
+		const parsed = JSON.parse(readFileSync(manifestPath, "utf-8"));
+		if (Array.isArray(parsed)) return parsed;
+		if (typeof parsed === "object" && parsed !== null) return Object.entries(parsed).map(([httpKey, value]) => {
+			const spaceIdx = httpKey.indexOf(" ");
+			const httpMethod = httpKey.slice(0, spaceIdx);
+			const httpPath = httpKey.slice(spaceIdx + 1);
+			const v = value;
+			return {
+				operationId: "",
+				sdkResourceProperty: v.service ?? "",
+				sdkMethodName: v.sdkMethod ?? "",
+				httpMethod,
+				path: httpPath,
+				pathParams: [],
+				bodyFields: [],
+				queryFields: []
+			};
+		});
+	} catch {}
+}
+async function runOverlayRetryLoop(opts) {
+	const { baseline, parsedSpec, outputDir, lang, maxRetries, namespace, onRetry } = opts;
+	let overlay = buildOverlayLookup(baseline, loadManifestFromDir(outputDir), parsedSpec, getExtractor(lang).hints);
+	let prevPreserved = -1;
+	const patchedPerIteration = [];
+	for (let attempt = 0; attempt <= maxRetries; attempt++) {
+		const compatResult = await runCompatCheck(baseline, outputDir, lang, parsedSpec);
+		if (compatResult.passed) return {
+			status: "passed",
+			attempts: attempt,
+			patchedPerIteration,
+			compatResult
+		};
+		if (attempt === maxRetries) return {
+			status: "max-retries",
+			attempts: attempt,
+			patchedPerIteration,
+			compatResult
+		};
+		const patchable = compatResult.diff.violations.filter((v) => PATCHABLE_CATEGORIES.has(v.category));
+		if (patchable.length === 0) return {
+			status: "no-patchable",
+			attempts: attempt,
+			patchedPerIteration,
+			compatResult
+		};
+		const currentPreserved = compatResult.diff.preservedSymbols;
+		if (attempt > 0 && currentPreserved <= prevPreserved) return {
+			status: "stalled",
+			attempts: attempt,
+			patchedPerIteration,
+			compatResult
+		};
+		prevPreserved = currentPreserved;
+		patchedPerIteration.push(patchable.length);
+		onRetry?.(attempt + 1, maxRetries, patchable.length);
+		overlay = patchOverlay(overlay, patchable, baseline);
+		cleanGeneratedFiles(outputDir);
+		await generate(parsedSpec, getEmitter(lang), {
+			namespace: namespace ?? parsedSpec.name,
+			outputDir,
+			overlayLookup: overlay,
+			apiSurface: baseline
+		});
+	}
+	return {
+		status: "max-retries",
+		attempts: maxRetries,
+		patchedPerIteration,
+		compatResult: await runCompatCheck(baseline, outputDir, lang, parsedSpec)
+	};
+}
+//#endregion
+//#region src/compat/staleness.ts
+/**
+* Detect symbols that exist in the live SDK surface but are no longer defined
+* in the current OpenAPI spec. These are "stale" — they compile and run but
+* represent dead code from a previous spec version.
+*
+* Requires both the old and new spec so we can distinguish hand-written SDK
+* symbols (never in any spec) from genuinely removed spec symbols.
+*/
+function detectStaleSymbols(liveSurface, oldSpec, newSpec, hints) {
+	const violations = [];
+	const oldNames = specDerivedNames(oldSpec, hints);
+	const newNames = specDerivedNames(newSpec, hints);
+	const removedNames = /* @__PURE__ */ new Set();
+	for (const name of oldNames) if (!newNames.has(name)) removedNames.add(name);
+	for (const name of removedNames) {
+		if (liveSurface.classes[name]) violations.push({
+			category: "staleness",
+			severity: "warning",
+			symbolPath: name,
+			baseline: name,
+			candidate: "(removed from spec)",
+			message: `Class "${name}" is no longer defined in the OpenAPI spec`
+		});
+		if (liveSurface.interfaces[name]) violations.push({
+			category: "staleness",
+			severity: "warning",
+			symbolPath: name,
+			baseline: name,
+			candidate: "(removed from spec)",
+			message: `Interface "${name}" is no longer defined in the OpenAPI spec`
+		});
+		if (liveSurface.typeAliases[name]) violations.push({
+			category: "staleness",
+			severity: "warning",
+			symbolPath: name,
+			baseline: name,
+			candidate: "(removed from spec)",
+			message: `Type alias "${name}" is no longer defined in the OpenAPI spec`
+		});
+		if (liveSurface.enums[name]) violations.push({
+			category: "staleness",
+			severity: "warning",
+			symbolPath: name,
+			baseline: name,
+			candidate: "(removed from spec)",
+			message: `Enum "${name}" is no longer defined in the OpenAPI spec`
+		});
+	}
+	const oldFieldPaths = specDerivedFieldPaths(oldSpec, hints);
+	const newFieldPaths = specDerivedFieldPaths(newSpec, hints);
+	for (const fieldPath of oldFieldPaths) {
+		if (newFieldPaths.has(fieldPath)) continue;
+		const [modelName, fieldName] = fieldPath.split(".");
+		if (removedNames.has(modelName)) continue;
+		if (liveSurface.interfaces[modelName]?.fields[fieldName]) violations.push({
+			category: "staleness",
+			severity: "warning",
+			symbolPath: fieldPath,
+			baseline: fieldName,
+			candidate: "(removed from spec)",
+			message: `Field "${fieldPath}" is no longer defined in the OpenAPI spec`
+		});
+	}
+	const diff = diffSpecs(oldSpec, newSpec);
+	for (const change of diff.changes) if (change.kind === "operation-removed") {
+		if (liveSurface.classes[change.serviceName]?.methods[change.operationName]) violations.push({
+			category: "staleness",
+			severity: "warning",
+			symbolPath: `${change.serviceName}.${change.operationName}`,
+			baseline: change.operationName,
+			candidate: "(removed from spec)",
+			message: `Method "${change.serviceName}.${change.operationName}" is no longer defined in the OpenAPI spec`
+		});
+	}
+	return violations;
+}
+//#endregion
+//#region src/verify/run-staleness-check.ts
+function runStalenessCheck(baseline, oldSpec, newSpec, lang) {
+	return { violations: detectStaleSymbols(baseline, oldSpec, newSpec, getExtractor(lang).hints) };
+}
+//#endregion
+//#region src/verify/run-smoke-check.ts
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = path$1.dirname(__filename);
+function resolveScript(scriptRelPath) {
+	const distScript = path$1.resolve(__dirname, "..", "..", "dist", "scripts", scriptRelPath.replace(/\.ts$/, ".js"));
+	if (existsSync(distScript)) return {
+		bin: "node",
+		script: distScript
+	};
+	return {
+		bin: "npx",
+		script: path$1.resolve(__dirname, "..", "..", "scripts", scriptRelPath)
+	};
+}
+function runPackagedScript(scriptRelPath, args) {
+	const { bin, script } = resolveScript(scriptRelPath);
+	execFileSync(bin, bin === "npx" ? [
+		"tsx",
+		script,
+		...args
+	] : [script, ...args], {
+		stdio: "inherit",
+		env: process.env
+	});
+}
+function runSmokeCheck(opts) {
+	const { spec, lang, output, rawResults, smokeConfig, smokeRunner } = opts;
+	let baselinePath = rawResults ?? "smoke-results-raw.json";
+	let generatedBaseline = false;
+	if (!rawResults && !existsSync("smoke-results-raw.json")) {
+		if (!spec) throw new CommandError("error: --spec <path> or OPENAPI_SPEC_PATH env var is required when no raw baseline exists", "", 1);
+		try {
+			runPackagedScript("smoke/baseline.ts", ["--spec", spec]);
+		} catch {
+			throw new CommandError("Baseline generation failed", "", 1);
+		}
+		baselinePath = "smoke-results-spec-baseline.json";
+		generatedBaseline = true;
+	}
+	const smokeArgs = [
+		"--lang",
+		lang,
+		"--sdk-path",
+		output,
+		"--raw-results",
+		baselinePath
+	];
+	if (spec) smokeArgs.push("--spec", spec);
+	if (smokeConfig) smokeArgs.push("--smoke-config", smokeConfig);
+	try {
+		if (smokeRunner) {
+			const bin = smokeRunner.endsWith(".ts") ? "npx" : "node";
+			execFileSync(bin, bin === "npx" ? [
+				"tsx",
+				smokeRunner,
+				...smokeArgs
+			] : [smokeRunner, ...smokeArgs], {
+				stdio: "inherit",
+				env: process.env
+			});
+		} else runPackagedScript("smoke/sdk-test.ts", smokeArgs);
+		return {
+			passed: true,
+			baselinePath,
+			generatedBaseline
+		};
+	} catch {
+		if (existsSync("smoke-compile-errors.json")) return {
+			passed: false,
+			compileErrors: true,
+			baselinePath,
+			generatedBaseline
+		};
+		return {
+			passed: false,
+			findingsCount: existsSync("smoke-diff-findings.json") ? JSON.parse(readFileSync("smoke-diff-findings.json", "utf-8")).length : void 0,
+			baselinePath,
+			generatedBaseline
+		};
+	}
+}
+//#endregion
+export { runCompatCheck, runOverlayRetryLoop, runSmokeCheck, runStalenessCheck };
+
+//# sourceMappingURL=index.mjs.map

package/dist/verify/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":["path","path"],"sources":["../../src/verify/run-compat-check.ts","../../src/verify/run-overlay-retry-loop.ts","../../src/compat/staleness.ts","../../src/verify/run-staleness-check.ts","../../src/verify/run-smoke-check.ts"],"sourcesContent":["import { getExtractor } from '../compat/extractor-registry.js';\nimport {\n  diffSurfaces,\n  specDerivedNames,\n  specDerivedFieldPaths,\n  specDerivedMethodPaths,\n  specDerivedEnumValues,\n  filterSurface,\n} from '../compat/differ.js';\nimport type { ApiSpec } from '../ir/types.js';\nimport type { ApiSurface } from '../compat/types.js';\nimport type { CompatCheckResult } from './types.js';\n\nexport async function runCompatCheck(\n  baseline: ApiSurface,\n  outputDir: string,\n  lang: string,\n  spec?: ApiSpec,\n): Promise<CompatCheckResult> {\n  const extractor = getExtractor(lang);\n  const candidate = await extractor.extract(outputDir);\n\n  let scopedBaseline = baseline;\n  let scopedToSpec = false;\n  let scopedSymbolCount: number | undefined;\n  if (spec) {\n    const allowed = specDerivedNames(spec, extractor.hints);\n    const fieldPaths = specDerivedFieldPaths(spec, extractor.hints);\n    const methodPaths = specDerivedMethodPaths(spec);\n    const enumVals = specDerivedEnumValues(spec);\n    scopedBaseline = filterSurface(baseline, allowed, { fieldPaths, methodPaths, enumValues: enumVals });\n    scopedToSpec = true;\n    scopedSymbolCount =\n      Object.keys(scopedBaseline.interfaces).length +\n      Object.keys(scopedBaseline.classes).length +\n      Object.keys(scopedBaseline.typeAliases).length +\n      Object.keys(scopedBaseline.enums).length;\n  }\n\n  const diff = diffSurfaces(scopedBaseline, candidate, extractor.hints);\n  const passed = diff.violations.every((v) => v.severity !== 'breaking');\n\n  return { passed, diff, scopedToSpec, scopedSymbolCount };\n}\n","import { existsSync, readFileSync, readdirSync, unlinkSync, statSync, openSync, readSync, closeSync } from 'node:fs';\nimport * as path from 'node:path';\nimport { buildOverlayLookup, patchOverlay } from '../compat/overlay.js';\nimport type { ManifestEntry } from '../compat/overlay.js';\nimport { getExtractor } from '../compat/extractor-registry.js';\nimport type { ApiSurface, ViolationCategory } from '../compat/types.js';\nimport type { ApiSpec } from '../ir/types.js';\nimport { getEmitter } from '../engine/registry.js';\nimport { generate } from '../engine/orchestrator.js';\nimport { runCompatCheck } from './run-compat-check.js';\nimport type { OverlayRetryResult } from './types.js';\n\nconst PATCHABLE_CATEGORIES: Set<ViolationCategory> = new Set(['public-api', 'export-structure']);\n\n/** Generated file header markers used by various emitters. */\nconst GENERATED_MARKERS = ['Code generated by oagen', 'auto-generated by oagen', 'This file is auto-generated'];\n\n/**\n * Delete oagen-generated source files so the retry loop can regenerate them\n * with overlay-corrected names. Only deletes files that contain an oagen\n * generation marker, preserving hand-written files.\n */\nfunction cleanGeneratedFiles(dir: string): void {\n  let entries: string[];\n  try {\n    entries = readdirSync(dir);\n  } catch {\n    return;\n  }\n  for (const entry of entries) {\n    const full = path.join(dir, entry);\n    let stat;\n    try {\n      stat = statSync(full);\n    } catch {\n      continue;\n    }\n    if (stat.isDirectory()) {\n      cleanGeneratedFiles(full);\n      continue;\n    }\n    // Skip non-source files and manifests\n    if (entry.endsWith('.json') || entry.endsWith('.lock')) continue;\n    // Read only the first 200 bytes to check for generation marker\n    try {\n      const buf = Buffer.alloc(200);\n      const fd = openSync(full, 'r');\n      try {\n        readSync(fd, buf, 0, 200, 0);\n      } finally {\n        closeSync(fd);\n      }\n      const header = buf.toString('utf-8');\n      if (GENERATED_MARKERS.some((m) => header.includes(m))) {\n        unlinkSync(full);\n      }\n    } catch {\n      // ignore read/delete errors\n    }\n  }\n}\n\n/**\n * Load a smoke-manifest.json from the generated SDK directory and convert\n * it to ManifestEntry[] for the overlay builder.\n */\nfunction loadManifestFromDir(outputDir: string): ManifestEntry[] | undefined {\n  const manifestPath = path.join(outputDir, 'smoke-manifest.json');\n  if (!existsSync(manifestPath)) return undefined;\n  try {\n    const parsed = JSON.parse(readFileSync(manifestPath, 'utf-8'));\n    if (Array.isArray(parsed)) return parsed as ManifestEntry[];\n    if (typeof parsed === 'object' && parsed !== null) {\n      return Object.entries(parsed).map(([httpKey, value]) => {\n        const spaceIdx = httpKey.indexOf(' ');\n        const httpMethod = httpKey.slice(0, spaceIdx);\n        const httpPath = httpKey.slice(spaceIdx + 1);\n        const v = value as { sdkMethod?: string; service?: string };\n        return {\n          operationId: '',\n          sdkResourceProperty: v.service ?? '',\n          sdkMethodName: v.sdkMethod ?? '',\n          httpMethod,\n          path: httpPath,\n          pathParams: [],\n          bodyFields: [],\n          queryFields: [],\n        };\n      });\n    }\n  } catch {\n    // ignore parse errors\n  }\n  return undefined;\n}\n\nexport async function runOverlayRetryLoop(opts: {\n  baseline: ApiSurface;\n  parsedSpec: ApiSpec;\n  outputDir: string;\n  lang: string;\n  maxRetries: number;\n  namespace?: string;\n  onRetry?: (attemptNumber: number, maxRetries: number, patchableCount: number) => void;\n}): Promise<OverlayRetryResult> {\n  const { baseline, parsedSpec, outputDir, lang, maxRetries, namespace, onRetry } = opts;\n\n  const manifest = loadManifestFromDir(outputDir);\n  // Pass language-specific hints so property-to-class matching works correctly\n  // (e.g., Ruby snake_case \"api_keys\" → PascalCase \"ApiKeys\").\n  const extractor = getExtractor(lang);\n  let overlay = buildOverlayLookup(baseline, manifest, parsedSpec, extractor.hints);\n  let prevPreserved = -1;\n  const patchedPerIteration: number[] = [];\n\n  for (let attempt = 0; attempt <= maxRetries; attempt++) {\n    const compatResult = await runCompatCheck(baseline, outputDir, lang, parsedSpec);\n    if (compatResult.passed) {\n      return {\n        status: 'passed',\n        attempts: attempt,\n        patchedPerIteration,\n        compatResult,\n      };\n    }\n\n    if (attempt === maxRetries) {\n      return {\n        status: 'max-retries',\n        attempts: attempt,\n        patchedPerIteration,\n        compatResult,\n      };\n    }\n\n    const patchable = compatResult.diff.violations.filter((v) => PATCHABLE_CATEGORIES.has(v.category));\n    if (patchable.length === 0) {\n      return {\n        status: 'no-patchable',\n        attempts: attempt,\n        patchedPerIteration,\n        compatResult,\n      };\n    }\n\n    const currentPreserved = compatResult.diff.preservedSymbols;\n    if (attempt > 0 && currentPreserved <= prevPreserved) {\n      return {\n        status: 'stalled',\n        attempts: attempt,\n        patchedPerIteration,\n        compatResult,\n      };\n    }\n    prevPreserved = currentPreserved;\n    patchedPerIteration.push(patchable.length);\n    onRetry?.(attempt + 1, maxRetries, patchable.length);\n\n    overlay = patchOverlay(overlay, patchable, baseline);\n\n    // Pre-delete generated source files so the writer creates them fresh\n    // with overlay-corrected names. Without this, the AST merger would preserve\n    // old method/class names from the existing files.\n    // Only delete files that look like oagen-generated source files (have the header).\n    cleanGeneratedFiles(outputDir);\n\n    const emitter = getEmitter(lang);\n    await generate(parsedSpec, emitter, {\n      namespace: namespace ?? parsedSpec.name,\n      outputDir,\n      overlayLookup: overlay,\n      apiSurface: baseline,\n    });\n  }\n\n  const compatResult = await runCompatCheck(baseline, outputDir, lang, parsedSpec);\n  return {\n    status: 'max-retries',\n    attempts: maxRetries,\n    patchedPerIteration,\n    compatResult,\n  };\n}\n","import type { ApiSurface, LanguageHints, Violation } from './types.js';\nimport type { ApiSpec } from '../ir/types.js';\nimport { specDerivedNames, specDerivedFieldPaths } from './spec-filter.js';\nimport { diffSpecs } from '../differ/diff.js';\n\n/**\n * Detect symbols that exist in the live SDK surface but are no longer defined\n * in the current OpenAPI spec. These are \"stale\" — they compile and run but\n * represent dead code from a previous spec version.\n *\n * Requires both the old and new spec so we can distinguish hand-written SDK\n * symbols (never in any spec) from genuinely removed spec symbols.\n */\nexport function detectStaleSymbols(\n  liveSurface: ApiSurface,\n  oldSpec: ApiSpec,\n  newSpec: ApiSpec,\n  hints: LanguageHints,\n): Violation[] {\n  const violations: Violation[] = [];\n\n  // Step 1-3: Name-set difference for top-level symbols\n  const oldNames = specDerivedNames(oldSpec, hints);\n  const newNames = specDerivedNames(newSpec, hints);\n\n  const removedNames = new Set<string>();\n  for (const name of oldNames) {\n    if (!newNames.has(name)) removedNames.add(name);\n  }\n\n  for (const name of removedNames) {\n    if (liveSurface.classes[name]) {\n      violations.push({\n        category: 'staleness',\n        severity: 'warning',\n        symbolPath: name,\n        baseline: name,\n        candidate: '(removed from spec)',\n        message: `Class \"${name}\" is no longer defined in the OpenAPI spec`,\n      });\n    }\n    if (liveSurface.interfaces[name]) {\n      violations.push({\n        category: 'staleness',\n        severity: 'warning',\n        symbolPath: name,\n        baseline: name,\n        candidate: '(removed from spec)',\n        message: `Interface \"${name}\" is no longer defined in the OpenAPI spec`,\n      });\n    }\n    if (liveSurface.typeAliases[name]) {\n      violations.push({\n        category: 'staleness',\n        severity: 'warning',\n        symbolPath: name,\n        baseline: name,\n        candidate: '(removed from spec)',\n        message: `Type alias \"${name}\" is no longer defined in the OpenAPI spec`,\n      });\n    }\n    if (liveSurface.enums[name]) {\n      violations.push({\n        category: 'staleness',\n        severity: 'warning',\n        symbolPath: name,\n        baseline: name,\n        candidate: '(removed from spec)',\n        message: `Enum \"${name}\" is no longer defined in the OpenAPI spec`,\n      });\n    }\n  }\n\n  // Step 4-6: Field-level staleness for models that still exist in new spec\n  const oldFieldPaths = specDerivedFieldPaths(oldSpec, hints);\n  const newFieldPaths = specDerivedFieldPaths(newSpec, hints);\n\n  for (const fieldPath of oldFieldPaths) {\n    if (newFieldPaths.has(fieldPath)) continue;\n\n    const [modelName, fieldName] = fieldPath.split('.');\n    // Only flag field-level staleness for models that still exist in the new spec\n    // (fully removed models are already caught above)\n    if (removedNames.has(modelName)) continue;\n\n    const iface = liveSurface.interfaces[modelName];\n    if (iface?.fields[fieldName]) {\n      violations.push({\n        category: 'staleness',\n        severity: 'warning',\n        symbolPath: fieldPath,\n        baseline: fieldName,\n        candidate: '(removed from spec)',\n        message: `Field \"${fieldPath}\" is no longer defined in the OpenAPI spec`,\n      });\n    }\n  }\n\n  // Step 7: Operation-level staleness via diffSpecs\n  const diff = diffSpecs(oldSpec, newSpec);\n  for (const change of diff.changes) {\n    if (change.kind === 'operation-removed') {\n      const cls = liveSurface.classes[change.serviceName];\n      if (cls?.methods[change.operationName]) {\n        violations.push({\n          category: 'staleness',\n          severity: 'warning',\n          symbolPath: `${change.serviceName}.${change.operationName}`,\n          baseline: change.operationName,\n          candidate: '(removed from spec)',\n          message: `Method \"${change.serviceName}.${change.operationName}\" is no longer defined in the OpenAPI spec`,\n        });\n      }\n    }\n  }\n\n  return violations;\n}\n","import { getExtractor } from '../compat/extractor-registry.js';\nimport { detectStaleSymbols } from '../compat/staleness.js';\nimport type { ApiSpec } from '../ir/types.js';\nimport type { ApiSurface } from '../compat/types.js';\nimport type { StalenessCheckResult } from './types.js';\n\nexport function runStalenessCheck(\n  baseline: ApiSurface,\n  oldSpec: ApiSpec,\n  newSpec: ApiSpec,\n  lang: string,\n): StalenessCheckResult {\n  const extractor = getExtractor(lang);\n  const violations = detectStaleSymbols(baseline, oldSpec, newSpec, extractor.hints);\n  return { violations };\n}\n","import { execFileSync } from 'node:child_process';\nimport { existsSync, readFileSync } from 'node:fs';\nimport { fileURLToPath } from 'node:url';\nimport * as path from 'node:path';\nimport { CommandError } from '../errors.js';\nimport type { SmokeCheckResult } from './types.js';\n\nconst __filename = fileURLToPath(import.meta.url);\nconst __dirname = path.dirname(__filename);\n\nfunction resolveScript(scriptRelPath: string): { bin: string; script: string } {\n  const distScript = path.resolve(__dirname, '..', '..', 'dist', 'scripts', scriptRelPath.replace(/\\.ts$/, '.js'));\n  if (existsSync(distScript)) {\n    return { bin: 'node', script: distScript };\n  }\n  const srcScript = path.resolve(__dirname, '..', '..', 'scripts', scriptRelPath);\n  return { bin: 'npx', script: srcScript };\n}\n\nfunction runPackagedScript(scriptRelPath: string, args: string[]): void {\n  const { bin, script } = resolveScript(scriptRelPath);\n  const fullArgs = bin === 'npx' ? ['tsx', script, ...args] : [script, ...args];\n  execFileSync(bin, fullArgs, { stdio: 'inherit', env: process.env });\n}\n\nexport function runSmokeCheck(opts: {\n  spec?: string;\n  lang: string;\n  output: string;\n  rawResults?: string;\n  smokeConfig?: string;\n  smokeRunner?: string;\n}): SmokeCheckResult {\n  const { spec, lang, output, rawResults, smokeConfig, smokeRunner } = opts;\n\n  let baselinePath = rawResults ?? 'smoke-results-raw.json';\n  let generatedBaseline = false;\n\n  if (!rawResults && !existsSync('smoke-results-raw.json')) {\n    if (!spec) {\n      throw new CommandError(\n        'error: --spec <path> or OPENAPI_SPEC_PATH env var is required when no raw baseline exists',\n        '',\n        1,\n      );\n    }\n\n    try {\n      runPackagedScript('smoke/baseline.ts', ['--spec', spec]);\n    } catch {\n      throw new CommandError('Baseline generation failed', '', 1);\n    }\n    baselinePath = 'smoke-results-spec-baseline.json';\n    generatedBaseline = true;\n  }\n\n  const smokeArgs = ['--lang', lang, '--sdk-path', output, '--raw-results', baselinePath];\n  if (spec) smokeArgs.push('--spec', spec);\n  if (smokeConfig) smokeArgs.push('--smoke-config', smokeConfig);\n\n  try {\n    if (smokeRunner) {\n      const bin = smokeRunner.endsWith('.ts') ? 'npx' : 'node';\n      const fullArgs = bin === 'npx' ? ['tsx', smokeRunner, ...smokeArgs] : [smokeRunner, ...smokeArgs];\n      execFileSync(bin, fullArgs, { stdio: 'inherit', env: process.env });\n    } else {\n      runPackagedScript('smoke/sdk-test.ts', smokeArgs);\n    }\n\n    return { passed: true, baselinePath, generatedBaseline };\n  } catch {\n    if (existsSync('smoke-compile-errors.json')) {\n      return { passed: false, compileErrors: true, baselinePath, generatedBaseline };\n    }\n\n    const findingsCount = existsSync('smoke-diff-findings.json')\n      ? (JSON.parse(readFileSync('smoke-diff-findings.json', 'utf-8')) as unknown[]).length\n      : undefined;\n\n    return { passed: false, findingsCount, baselinePath, generatedBaseline };\n  }\n}\n"],"mappings":";;;;;;;;AAaA,eAAsB,eACpB,UACA,WACA,MACA,MAC4B;CAC5B,MAAM,YAAY,aAAa,KAAK;CACpC,MAAM,YAAY,MAAM,UAAU,QAAQ,UAAU;CAEpD,IAAI,iBAAiB;CACrB,IAAI,eAAe;CACnB,IAAI;AACJ,KAAI,MAAM;AAKR,mBAAiB,cAAc,UAJf,iBAAiB,MAAM,UAAU,MAAM,EAIL;GAAE,YAHjC,sBAAsB,MAAM,UAAU,MAAM;GAGC,aAF5C,uBAAuB,KAAK;GAE6B,YAD5D,sBAAsB,KAAK;GACuD,CAAC;AACpG,iBAAe;AACf,sBACE,OAAO,KAAK,eAAe,WAAW,CAAC,SACvC,OAAO,KAAK,eAAe,QAAQ,CAAC,SACpC,OAAO,KAAK,eAAe,YAAY,CAAC,SACxC,OAAO,KAAK,eAAe,MAAM,CAAC;;CAGtC,MAAM,OAAO,aAAa,gBAAgB,WAAW,UAAU,MAAM;AAGrE,QAAO;EAAE,QAFM,KAAK,WAAW,OAAO,MAAM,EAAE,aAAa,WAAW;EAErD;EAAM;EAAc;EAAmB;;;;AC9B1D,MAAM,uBAA+C,IAAI,IAAI,CAAC,cAAc,mBAAmB,CAAC;;AAGhG,MAAM,oBAAoB;CAAC;CAA2B;CAA2B;CAA8B;;;;;;AAO/G,SAAS,oBAAoB,KAAmB;CAC9C,IAAI;AACJ,KAAI;AACF,YAAU,YAAY,IAAI;SACpB;AACN;;AAEF,MAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,OAAOA,OAAK,KAAK,KAAK,MAAM;EAClC,IAAI;AACJ,MAAI;AACF,UAAO,SAAS,KAAK;UACf;AACN;;AAEF,MAAI,KAAK,aAAa,EAAE;AACtB,uBAAoB,KAAK;AACzB;;AAGF,MAAI,MAAM,SAAS,QAAQ,IAAI,MAAM,SAAS,QAAQ,CAAE;AAExD,MAAI;GACF,MAAM,MAAM,OAAO,MAAM,IAAI;GAC7B,MAAM,KAAK,SAAS,MAAM,IAAI;AAC9B,OAAI;AACF,aAAS,IAAI,KAAK,GAAG,KAAK,EAAE;aACpB;AACR,cAAU,GAAG;;GAEf,MAAM,SAAS,IAAI,SAAS,QAAQ;AACpC,OAAI,kBAAkB,MAAM,MAAM,OAAO,SAAS,EAAE,CAAC,CACnD,YAAW,KAAK;UAEZ;;;;;;;AAUZ,SAAS,oBAAoB,WAAgD;CAC3E,MAAM,eAAeA,OAAK,KAAK,WAAW,sBAAsB;AAChE,KAAI,CAAC,WAAW,aAAa,CAAE,QAAO,KAAA;AACtC,KAAI;EACF,MAAM,SAAS,KAAK,MAAM,aAAa,cAAc,QAAQ,CAAC;AAC9D,MAAI,MAAM,QAAQ,OAAO,CAAE,QAAO;AAClC,MAAI,OAAO,WAAW,YAAY,WAAW,KAC3C,QAAO,OAAO,QAAQ,OAAO,CAAC,KAAK,CAAC,SAAS,WAAW;GACtD,MAAM,WAAW,QAAQ,QAAQ,IAAI;GACrC,MAAM,aAAa,QAAQ,MAAM,GAAG,SAAS;GAC7C,MAAM,WAAW,QAAQ,MAAM,WAAW,EAAE;GAC5C,MAAM,IAAI;AACV,UAAO;IACL,aAAa;IACb,qBAAqB,EAAE,WAAW;IAClC,eAAe,EAAE,aAAa;IAC9B;IACA,MAAM;IACN,YAAY,EAAE;IACd,YAAY,EAAE;IACd,aAAa,EAAE;IAChB;IACD;SAEE;;AAMV,eAAsB,oBAAoB,MAQV;CAC9B,MAAM,EAAE,UAAU,YAAY,WAAW,MAAM,YAAY,WAAW,YAAY;CAMlF,IAAI,UAAU,mBAAmB,UAJhB,oBAAoB,UAAU,EAIM,YADnC,aAAa,KAAK,CACuC,MAAM;CACjF,IAAI,gBAAgB;CACpB,MAAM,sBAAgC,EAAE;AAExC,MAAK,IAAI,UAAU,GAAG,WAAW,YAAY,WAAW;EACtD,MAAM,eAAe,MAAM,eAAe,UAAU,WAAW,MAAM,WAAW;AAChF,MAAI,aAAa,OACf,QAAO;GACL,QAAQ;GACR,UAAU;GACV;GACA;GACD;AAGH,MAAI,YAAY,WACd,QAAO;GACL,QAAQ;GACR,UAAU;GACV;GACA;GACD;EAGH,MAAM,YAAY,aAAa,KAAK,WAAW,QAAQ,MAAM,qBAAqB,IAAI,EAAE,SAAS,CAAC;AAClG,MAAI,UAAU,WAAW,EACvB,QAAO;GACL,QAAQ;GACR,UAAU;GACV;GACA;GACD;EAGH,MAAM,mBAAmB,aAAa,KAAK;AAC3C,MAAI,UAAU,KAAK,oBAAoB,cACrC,QAAO;GACL,QAAQ;GACR,UAAU;GACV;GACA;GACD;AAEH,kBAAgB;AAChB,sBAAoB,KAAK,UAAU,OAAO;AAC1C,YAAU,UAAU,GAAG,YAAY,UAAU,OAAO;AAEpD,YAAU,aAAa,SAAS,WAAW,SAAS;AAMpD,sBAAoB,UAAU;AAG9B,QAAM,SAAS,YADC,WAAW,KAAK,EACI;GAClC,WAAW,aAAa,WAAW;GACnC;GACA,eAAe;GACf,YAAY;GACb,CAAC;;AAIJ,QAAO;EACL,QAAQ;EACR,UAAU;EACV;EACA,cALmB,MAAM,eAAe,UAAU,WAAW,MAAM,WAAW;EAM/E;;;;;;;;;;;;ACxKH,SAAgB,mBACd,aACA,SACA,SACA,OACa;CACb,MAAM,aAA0B,EAAE;CAGlC,MAAM,WAAW,iBAAiB,SAAS,MAAM;CACjD,MAAM,WAAW,iBAAiB,SAAS,MAAM;CAEjD,MAAM,+BAAe,IAAI,KAAa;AACtC,MAAK,MAAM,QAAQ,SACjB,KAAI,CAAC,SAAS,IAAI,KAAK,CAAE,cAAa,IAAI,KAAK;AAGjD,MAAK,MAAM,QAAQ,cAAc;AAC/B,MAAI,YAAY,QAAQ,MACtB,YAAW,KAAK;GACd,UAAU;GACV,UAAU;GACV,YAAY;GACZ,UAAU;GACV,WAAW;GACX,SAAS,UAAU,KAAK;GACzB,CAAC;AAEJ,MAAI,YAAY,WAAW,MACzB,YAAW,KAAK;GACd,UAAU;GACV,UAAU;GACV,YAAY;GACZ,UAAU;GACV,WAAW;GACX,SAAS,cAAc,KAAK;GAC7B,CAAC;AAEJ,MAAI,YAAY,YAAY,MAC1B,YAAW,KAAK;GACd,UAAU;GACV,UAAU;GACV,YAAY;GACZ,UAAU;GACV,WAAW;GACX,SAAS,eAAe,KAAK;GAC9B,CAAC;AAEJ,MAAI,YAAY,MAAM,MACpB,YAAW,KAAK;GACd,UAAU;GACV,UAAU;GACV,YAAY;GACZ,UAAU;GACV,WAAW;GACX,SAAS,SAAS,KAAK;GACxB,CAAC;;CAKN,MAAM,gBAAgB,sBAAsB,SAAS,MAAM;CAC3D,MAAM,gBAAgB,sBAAsB,SAAS,MAAM;AAE3D,MAAK,MAAM,aAAa,eAAe;AACrC,MAAI,cAAc,IAAI,UAAU,CAAE;EAElC,MAAM,CAAC,WAAW,aAAa,UAAU,MAAM,IAAI;AAGnD,MAAI,aAAa,IAAI,UAAU,CAAE;AAGjC,MADc,YAAY,WAAW,YAC1B,OAAO,WAChB,YAAW,KAAK;GACd,UAAU;GACV,UAAU;GACV,YAAY;GACZ,UAAU;GACV,WAAW;GACX,SAAS,UAAU,UAAU;GAC9B,CAAC;;CAKN,MAAM,OAAO,UAAU,SAAS,QAAQ;AACxC,MAAK,MAAM,UAAU,KAAK,QACxB,KAAI,OAAO,SAAS;MACN,YAAY,QAAQ,OAAO,cAC9B,QAAQ,OAAO,eACtB,YAAW,KAAK;GACd,UAAU;GACV,UAAU;GACV,YAAY,GAAG,OAAO,YAAY,GAAG,OAAO;GAC5C,UAAU,OAAO;GACjB,WAAW;GACX,SAAS,WAAW,OAAO,YAAY,GAAG,OAAO,cAAc;GAChE,CAAC;;AAKR,QAAO;;;;AC9GT,SAAgB,kBACd,UACA,SACA,SACA,MACsB;AAGtB,QAAO,EAAE,YADU,mBAAmB,UAAU,SAAS,SADvC,aAAa,KAAK,CACwC,MAAM,EAC7D;;;;ACPvB,MAAM,aAAa,cAAc,OAAO,KAAK,IAAI;AACjD,MAAM,YAAYC,OAAK,QAAQ,WAAW;AAE1C,SAAS,cAAc,eAAwD;CAC7E,MAAM,aAAaA,OAAK,QAAQ,WAAW,MAAM,MAAM,QAAQ,WAAW,cAAc,QAAQ,SAAS,MAAM,CAAC;AAChH,KAAI,WAAW,WAAW,CACxB,QAAO;EAAE,KAAK;EAAQ,QAAQ;EAAY;AAG5C,QAAO;EAAE,KAAK;EAAO,QADHA,OAAK,QAAQ,WAAW,MAAM,MAAM,WAAW,cAAc;EACvC;;AAG1C,SAAS,kBAAkB,eAAuB,MAAsB;CACtE,MAAM,EAAE,KAAK,WAAW,cAAc,cAAc;AAEpD,cAAa,KADI,QAAQ,QAAQ;EAAC;EAAO;EAAQ,GAAG;EAAK,GAAG,CAAC,QAAQ,GAAG,KAAK,EACjD;EAAE,OAAO;EAAW,KAAK,QAAQ;EAAK,CAAC;;AAGrE,SAAgB,cAAc,MAOT;CACnB,MAAM,EAAE,MAAM,MAAM,QAAQ,YAAY,aAAa,gBAAgB;CAErE,IAAI,eAAe,cAAc;CACjC,IAAI,oBAAoB;AAExB,KAAI,CAAC,cAAc,CAAC,WAAW,yBAAyB,EAAE;AACxD,MAAI,CAAC,KACH,OAAM,IAAI,aACR,6FACA,IACA,EACD;AAGH,MAAI;AACF,qBAAkB,qBAAqB,CAAC,UAAU,KAAK,CAAC;UAClD;AACN,SAAM,IAAI,aAAa,8BAA8B,IAAI,EAAE;;AAE7D,iBAAe;AACf,sBAAoB;;CAGtB,MAAM,YAAY;EAAC;EAAU;EAAM;EAAc;EAAQ;EAAiB;EAAa;AACvF,KAAI,KAAM,WAAU,KAAK,UAAU,KAAK;AACxC,KAAI,YAAa,WAAU,KAAK,kBAAkB,YAAY;AAE9D,KAAI;AACF,MAAI,aAAa;GACf,MAAM,MAAM,YAAY,SAAS,MAAM,GAAG,QAAQ;AAElD,gBAAa,KADI,QAAQ,QAAQ;IAAC;IAAO;IAAa,GAAG;IAAU,GAAG,CAAC,aAAa,GAAG,UAAU,EACrE;IAAE,OAAO;IAAW,KAAK,QAAQ;IAAK,CAAC;QAEnE,mBAAkB,qBAAqB,UAAU;AAGnD,SAAO;GAAE,QAAQ;GAAM;GAAc;GAAmB;SAClD;AACN,MAAI,WAAW,4BAA4B,CACzC,QAAO;GAAE,QAAQ;GAAO,eAAe;GAAM;GAAc;GAAmB;AAOhF,SAAO;GAAE,QAAQ;GAAO,eAJF,WAAW,2BAA2B,GACvD,KAAK,MAAM,aAAa,4BAA4B,QAAQ,CAAC,CAAe,SAC7E,KAAA;GAEmC;GAAc;GAAmB"}

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@workos/oagen",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Framework for building OpenAPI SDK emitters",
   "author": "WorkOS",
   "license": "MIT",
   "type": "module",
-  "main": "dist/index.js",
-  "types": "dist/index.d.ts",
+  "main": "dist/index.mjs",
+  "types": "dist/index.d.mts",
   "engines": {
     "node": ">=24.10.0"
   },
@@ -27,24 +27,24 @@
   ],
   "exports": {
     ".": {
-      "types": "./dist/index.d.ts",
-      "import": "./dist/index.js"
+      "types": "./dist/index.d.mts",
+      "import": "./dist/index.mjs"
     },
     "./compat": {
-      "types": "./dist/compat/index.d.ts",
-      "import": "./dist/compat/index.js"
+      "types": "./dist/compat/index.d.mts",
+      "import": "./dist/compat/index.mjs"
     },
     "./verify": {
-      "types": "./dist/verify/index.d.ts",
-      "import": "./dist/verify/index.js"
+      "types": "./dist/verify/index.d.mts",
+      "import": "./dist/verify/index.mjs"
     },
     "./smoke": {
-      "types": "./dist/smoke.d.ts",
-      "import": "./dist/smoke.js"
+      "types": "./dist/smoke.d.mts",
+      "import": "./dist/smoke.mjs"
     }
   },
   "bin": {
-    "oagen": "dist/cli/index.js"
+    "oagen": "dist/cli/index.mjs"
   },
   "files": [
     "dist",
@@ -54,7 +54,7 @@
     "examples"
   ],
   "scripts": {
-    "build": "tsup",
+    "build": "tsdown",
     "dev": "tsx src/cli/index.ts",
     "lint": "oxlint --deny-warnings",
     "lint:fix": "oxlint --fix",
@@ -76,27 +76,30 @@
   "dependencies": {
     "@redocly/openapi-core": "^1.34.3",
     "commander": "^13.1.0",
+    "dotenv": "^17.3.1",
     "tree-sitter": "^0.21.1",
+    "tree-sitter-c-sharp": "^0.23.1",
+    "tree-sitter-elixir": "^0.3.5",
     "tree-sitter-go": "^0.23.4",
+    "tree-sitter-kotlin": "^0.3.8",
     "tree-sitter-php": "^0.23.12",
     "tree-sitter-python": "^0.21.0",
     "tree-sitter-ruby": "^0.21.0",
     "tree-sitter-rust": "^0.21.0",
     "tree-sitter-typescript": "^0.23.2",
     "tsx": "^4.19.0",
-    "typescript": "^5.7.0"
+    "typescript": "^6.0.0"
   },
   "devDependencies": {
     "@commitlint/cli": "^20.5.0",
     "@commitlint/config-conventional": "^20.5.0",
     "@types/node": "^25.3.3",
     "@vitest/coverage-v8": "^3.2.4",
-    "dotenv": "^17.3.1",
     "husky": "^9.1.7",
     "oxfmt": "^0.36.0",
     "oxlint": "^1.51.0",
     "prettier": "^3.8.1",
-    "tsup": "^8.4.0",
+    "tsdown": "^0.21.5",
     "vitest": "^3.0.0"
   }
 }