@workos/oagen 0.8.0 → 0.9.1

package/dist/cli/index.mjs

@@ -4771,8 +4771,7 @@ function generateAllFiles(spec, emitter, ctx) {
 		...emitter.generateClient(spec, ctx),
 		...emitter.generateErrors(ctx),
 		...emitter.generateTypeSignatures?.(reachableSpec, ctx) ?? [],
-		...emitter.generateTests(reachableSpec, ctx),
-		...emitter.generateManifest?.(spec, ctx) ?? []
+		...emitter.generateTests(reachableSpec, ctx)
 	];
 }
 /** Apply file header to generated files, respecting headerPlacement and JSON files. */
@@ -4786,11 +4785,13 @@ function applyFileHeaders(files, header) {
 function generateFiles(spec, emitter, options) {
 	const ctx = buildEmitterContext(spec, options);
 	const files = generateAllFiles(spec, emitter, ctx);
+	const operations = emitter.buildOperationsMap?.(spec, ctx);
 	const header = emitter.fileHeader();
 	return {
 		files: applyFileHeaders(files, header),
 		ctx,
-		header
+		header,
+		operations
 	};
 }
 //#endregion
@@ -5056,7 +5057,8 @@ async function writeManifest(dir, opts) {
 		...opts.emitterVersion !== void 0 ? { emitterVersion: opts.emitterVersion } : {},
 		...opts.configSha !== void 0 ? { configSha: opts.configSha } : {},
 		...opts.compatSchemaVersion !== void 0 ? { compatSchemaVersion: opts.compatSchemaVersion } : {},
-		files: [...new Set(opts.files)].sort()
+		files: [...new Set(opts.files)].sort(),
+		...opts.operations !== void 0 ? { operations: opts.operations } : {}
 	};
 	const manifestPath = path$1.join(dir, MANIFEST_FILENAME);
 	await fs.mkdir(dir, { recursive: true });
@@ -5138,7 +5140,7 @@ async function removeEmptyParents(startDir, stopDir) {
 async function generate(spec, emitter, options) {
 	const targetManifestForCtx = options.target && !options.noPrune ? await readManifest(options.target) : null;
 	const priorTargetManifestPaths = targetManifestForCtx ? new Set(targetManifestForCtx.files) : void 0;
-	const { files: withHeaders, header } = generateFiles(spec, emitter, {
+	const { files: withHeaders, header, operations } = generateFiles(spec, emitter, {
 		...options,
 		priorTargetManifestPaths
 	});
@@ -5164,7 +5166,8 @@ async function generate(spec, emitter, options) {
 		currentPaths: outputEmittedPaths,
 		language: emitter.language,
 		header,
-		noPrune: options.noPrune
+		noPrune: options.noPrune,
+		operations
 	});
 	const allOutputFiles = [...writeResult.written, ...writeResult.merged];
 	if (allOutputFiles.length > 0) await formatTargetFiles(emitter, options.outputDir, allOutputFiles);
@@ -5186,7 +5189,8 @@ async function generate(spec, emitter, options) {
 			currentPaths: targetResult.emittedPaths,
 			language: emitter.language,
 			header,
-			noPrune: options.noPrune
+			noPrune: options.noPrune,
+			operations
 		});
 		const allTargetFiles = [
 			...targetResult.written,
@@ -5202,19 +5206,18 @@ async function generate(spec, emitter, options) {
 * then write the fresh manifest.  Safe on first adoption (no previous manifest).
 */
 async function applyManifestPrune(opts) {
+	const manifestOpts = {
+		language: opts.language,
+		files: opts.currentPaths,
+		operations: opts.operations
+	};
 	if (opts.noPrune) {
-		await writeManifest(opts.dir, {
-			language: opts.language,
-			files: opts.currentPaths
-		});
+		await writeManifest(opts.dir, manifestOpts);
 		return;
 	}
 	if (!opts.prevManifest) {
 		console.log(`${opts.label}: no ${MANIFEST_FILENAME} found — skipping prune (this baseline manifest will be written now).`);
-		await writeManifest(opts.dir, {
-			language: opts.language,
-			files: opts.currentPaths
-		});
+		await writeManifest(opts.dir, manifestOpts);
 		return;
 	}
 	const stale = computeStalePaths(opts.prevManifest, opts.currentPaths);
@@ -5226,10 +5229,7 @@ async function applyManifestPrune(opts) {
 			for (const p of preserved) console.log(`  ${p}`);
 		}
 	}
-	await writeManifest(opts.dir, {
-		language: opts.language,
-		files: opts.currentPaths
-	});
+	await writeManifest(opts.dir, manifestOpts);
 }
 //#endregion
 //#region src/engine/registry.ts
@@ -5740,7 +5740,7 @@ function patchOverlay(overlay, changes, baseline) {
 			if (baseClass && baseClass.methods[methodName]?.length > 0) {
 				const httpKey = overlay.httpKeyByMethod.get(`${className}.${methodName}`);
 				if (!httpKey && overlay.httpKeyByMethod.size === 0 && !warnedManifest) {
-					console.warn("Warning: No smoke-manifest.json available. Method-level violations cannot be auto-patched. Implement generateManifest in your emitter for the self-correcting loop to resolve these.");
+					console.warn("Warning: No operations map in .oagen-manifest.json. Method-level violations cannot be auto-patched. Implement buildOperationsMap in your emitter for the self-correcting loop to resolve these.");
 					warnedManifest = true;
 				}
 				if (httpKey) {
@@ -5774,6 +5774,49 @@ function getExtractor(language) {
 	return extractor;
 }
 //#endregion
+//#region src/engine/manifest-reader.ts
+/**
+* Read the operations map from `.oagen-manifest.json` in the given directory
+* and convert it to `ManifestEntry[]` for the overlay builder.
+*
+* Returns undefined if the manifest is absent or has no operations field.
+*/
+function readManifestSync(dir) {
+	const manifestPath = path$1.join(dir, MANIFEST_FILENAME);
+	if (!existsSync(manifestPath)) return void 0;
+	try {
+		const operations = JSON.parse(readFileSync(manifestPath, "utf-8"))?.operations;
+		if (!operations || typeof operations !== "object") return void 0;
+		return convertOperationsToManifestEntries(operations);
+	} catch {
+		return;
+	}
+}
+/** Convert the operations map from .oagen-manifest.json into ManifestEntry[]. */
+function convertOperationsToManifestEntries(operations) {
+	const entries = [];
+	for (const [httpKey, value] of Object.entries(operations)) {
+		const spaceIdx = httpKey.indexOf(" ");
+		const httpMethod = httpKey.slice(0, spaceIdx);
+		const httpPath = httpKey.slice(spaceIdx + 1);
+		const values = Array.isArray(value) ? value : [value];
+		for (const v of values) {
+			const entry = v;
+			entries.push({
+				operationId: "",
+				sdkResourceProperty: entry.service ?? "",
+				sdkMethodName: entry.sdkMethod ?? "",
+				httpMethod,
+				path: httpPath,
+				pathParams: [],
+				bodyFields: [],
+				queryFields: []
+			});
+		}
+	}
+	return entries;
+}
+//#endregion
 //#region src/cli/overlay-loader.ts
 /**
 * Load an API surface from disk, discover/load the manifest, resolve
@@ -5792,30 +5835,7 @@ function loadOverlayContext(opts) {
 	} catch (err) {
 		throw new ConfigError(`Failed to parse API surface JSON: ${err instanceof Error ? err.message : String(err)}`, `Ensure "${opts.apiSurfacePath}" contains valid JSON. Re-run \`oagen extract\` to regenerate it.`);
 	}
-	let manifest;
-	const resolvedManifestPath = opts.manifestPath ?? path$1.join(opts.outputDir, "smoke-manifest.json");
-	if (opts.manifestPath || existsSync(resolvedManifestPath)) try {
-		const parsed = JSON.parse(readFileSync(resolvedManifestPath, "utf-8"));
-		if (Array.isArray(parsed)) manifest = parsed;
-		else if (typeof parsed === "object" && parsed !== null) manifest = 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 {
-		if (opts.manifestPath) throw new ConfigError(`Failed to read manifest: ${resolvedManifestPath}`, `Verify the manifest file exists and contains valid JSON. If using --manifest, check the path is correct.`);
-	}
+	const manifest = readManifestSync(opts.outputDir);
 	let hints = nodeHints;
 	try {
 		hints = getExtractor(opts.lang).hints;
@@ -5896,7 +5916,6 @@ async function generateCommand(opts) {
 	if (opts.apiSurface && opts.compatCheck !== false) {
 		const ctx = loadOverlayContext({
 			apiSurfacePath: opts.apiSurface,
-			manifestPath: opts.manifest,
 			outputDir: opts.output,
 			lang: opts.lang,
 			spec: ir
@@ -6294,48 +6313,92 @@ async function extractCommand(opts) {
 	console.log(`Extracted ${symbolCount} symbols → ${opts.output}`);
 }
 //#endregion
-//#region src/cli/compat-extract.ts
-const SNAPSHOT_FILENAME = ".oagen-compat-snapshot.json";
-async function compatExtractCommand(opts) {
-	const extractor = getExtractor(opts.lang);
-	console.log(`Extracting ${opts.lang} compat snapshot from ${opts.sdkPath}...`);
-	const snapshot = await extractor.extractSnapshot(opts.sdkPath);
-	if (opts.spec) {
-		const specContent = readFileSync(opts.spec, "utf-8");
-		snapshot.source.specSha = createHash("sha256").update(specContent).digest("hex");
-		enrichWithSpecContext(snapshot, await parseSpec(opts.spec));
+//#region src/compat/policy.ts
+/** Built-in language defaults. */
+const LANGUAGE_DEFAULTS = {
+	php: {
+		callerUsesParamNames: true,
+		constructorOrderMatters: true,
+		methodParameterNamesArePublicApi: true,
+		constructorParameterNamesArePublicApi: true,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: false
+	},
+	python: {
+		callerUsesParamNames: true,
+		constructorOrderMatters: true,
+		methodParameterNamesArePublicApi: true,
+		constructorParameterNamesArePublicApi: true,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: false
+	},
+	ruby: {
+		callerUsesParamNames: true,
+		constructorOrderMatters: true,
+		methodParameterNamesArePublicApi: true,
+		constructorParameterNamesArePublicApi: true,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: false
+	},
+	go: {
+		callerUsesParamNames: false,
+		constructorOrderMatters: true,
+		methodParameterNamesArePublicApi: false,
+		constructorParameterNamesArePublicApi: false,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: true
+	},
+	kotlin: {
+		callerUsesParamNames: true,
+		constructorOrderMatters: false,
+		methodParameterNamesArePublicApi: true,
+		constructorParameterNamesArePublicApi: true,
+		overloadsArePublicApi: true,
+		arityIsPublicApi: false
+	},
+	dotnet: {
+		callerUsesParamNames: true,
+		constructorOrderMatters: false,
+		methodParameterNamesArePublicApi: true,
+		constructorParameterNamesArePublicApi: true,
+		overloadsArePublicApi: true,
+		arityIsPublicApi: false
+	},
+	elixir: {
+		callerUsesParamNames: true,
+		constructorOrderMatters: false,
+		methodParameterNamesArePublicApi: true,
+		constructorParameterNamesArePublicApi: false,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: true
+	},
+	rust: {
+		callerUsesParamNames: false,
+		constructorOrderMatters: true,
+		methodParameterNamesArePublicApi: false,
+		constructorParameterNamesArePublicApi: false,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: true
+	},
+	node: {
+		callerUsesParamNames: false,
+		constructorOrderMatters: false,
+		methodParameterNamesArePublicApi: false,
+		constructorParameterNamesArePublicApi: false,
+		overloadsArePublicApi: false,
+		arityIsPublicApi: false
 	}
-	const outputPath = resolve(opts.output, SNAPSHOT_FILENAME);
-	writeFileSync(outputPath, JSON.stringify(snapshot, null, 2));
-	console.log(`Extracted ${snapshot.symbols.length} symbols → ${outputPath}`);
+};
+/** Get the built-in default policy for a language. */
+function getDefaultPolicy(language) {
+	return { ...LANGUAGE_DEFAULTS[language] };
 }
-/**
-* Enrich snapshot symbols with operationId and route from the parsed spec.
-*
-* Matches callable symbols to spec operations by comparing method names
-* derived from the spec against the symbol's fqName.
-*/
-function enrichWithSpecContext(snapshot, spec) {
-	const opLookup = /* @__PURE__ */ new Map();
-	for (const service of spec.services) for (const op of service.operations) {
-		const key = `${service.name}.${op.name}`;
-		opLookup.set(key, {
-			operationId: op.name,
-			method: op.httpMethod,
-			path: op.path
-		});
-	}
-	for (const sym of snapshot.symbols) {
-		if (sym.kind !== "callable") continue;
-		const match = opLookup.get(sym.fqName);
-		if (match) {
-			sym.operationId = match.operationId;
-			sym.route = {
-				method: match.method,
-				path: match.path
-			};
-		}
-	}
+/** Merge user overrides onto language defaults. Only provided keys are overridden. */
+function mergePolicy(defaults, overrides) {
+	return {
+		...defaults,
+		...overrides
+	};
 }
 //#endregion
 //#region src/compat/schema.ts
@@ -6346,93 +6409,380 @@ function validateSnapshot(data) {
 	return typeof obj.schemaVersion === "string" && typeof obj.source === "object" && obj.source !== null && typeof obj.policies === "object" && obj.policies !== null && Array.isArray(obj.symbols);
 }
 //#endregion
-//#region src/compat/config.ts
-const BREAKING_CATEGORIES = new Set([
-	"symbol_removed",
-	"symbol_renamed",
-	"parameter_removed",
-	"parameter_renamed",
-	"parameter_requiredness_increased",
-	"parameter_type_narrowed",
-	"parameter_position_changed_order_sensitive",
-	"constructor_position_changed_order_sensitive",
-	"named_arg_name_removed",
-	"keyword_name_removed",
-	"overload_removed",
-	"union_wrapper_migration_without_compat_alias",
-	"field_type_changed",
-	"return_type_changed",
-	"enum_member_value_changed"
-]);
-const SOFT_RISK_CATEGORIES = new Set([
-	"parameter_added_non_terminal_optional",
-	"constructor_reordered_named_friendly",
-	"default_value_changed",
-	"wrapper_stricter_than_previous_sdk_but_matches_spec",
-	"doc_surface_drift"
-]);
-/** Get the default severity for a change category. */
-function defaultSeverityForCategory(category) {
-	if (BREAKING_CATEGORIES.has(category)) return "breaking";
-	if (SOFT_RISK_CATEGORIES.has(category)) return "soft-risk";
-	return "additive";
-}
-/** Check whether a severity meets or exceeds a fail threshold. */
-function severityMeetsThreshold(severity, threshold) {
-	if (threshold === "none") return false;
-	if (threshold === "soft-risk") return severity === "breaking" || severity === "soft-risk";
-	return severity === "breaking";
-}
-//#endregion
-//#region src/compat/classify.ts
+//#region src/compat/ir.ts
 /**
-* Classify changes between a baseline and candidate symbol.
-* Returns one or more classified changes for the diff.
+* Convert a legacy ApiSurface to a CompatSnapshot.
+*
+* This bridge allows existing extractors (which produce ApiSurface) to feed
+* into the new classified diff engine without requiring immediate migration.
 */
-function classifySymbolChanges(baseline, candidate, policy) {
-	const changes = [];
-	if (!candidate) {
-		changes.push(makeChange({
-			category: "symbol_removed",
-			symbol: baseline.fqName,
-			old: { symbol: baseline.fqName },
-			new: { symbol: "(removed)" },
-			message: `Symbol "${baseline.displayName}" was removed`,
-			policy
-		}));
-		return changes;
-	}
-	if (baseline.fqName !== candidate.fqName && baseline.id === candidate.id) changes.push(makeChange({
-		category: "symbol_renamed",
-		symbol: baseline.fqName,
-		old: { name: baseline.fqName },
-		new: { name: candidate.fqName },
-		message: `Symbol renamed from "${baseline.displayName}" to "${candidate.displayName}"`,
-		policy
-	}));
-	if (baseline.parameters && candidate.parameters) changes.push(...classifyParameterChanges(baseline, candidate, policy));
-	if (baseline.returns && candidate.returns && baseline.returns.name !== candidate.returns.name) changes.push(makeChange({
-		category: "return_type_changed",
-		symbol: baseline.fqName,
-		old: { returnType: baseline.returns.name },
-		new: { returnType: candidate.returns.name },
-		message: `Return type changed for "${baseline.displayName}" from "${baseline.returns.name}" to "${candidate.returns.name}"`,
-		policy
-	}));
-	if (baseline.typeRef && candidate.typeRef && baseline.typeRef.name !== candidate.typeRef.name) changes.push(makeChange({
-		category: "field_type_changed",
-		symbol: baseline.fqName,
-		old: { type: baseline.typeRef.name },
-		new: { type: candidate.typeRef.name },
-		message: `Type changed for "${baseline.displayName}" from "${baseline.typeRef.name}" to "${candidate.typeRef.name}"`,
-		policy
-	}));
-	if (baseline.kind === "enum_member" && candidate.kind === "enum_member" && baseline.value !== void 0 && candidate.value !== void 0 && baseline.value !== candidate.value) changes.push(makeChange({
-		category: "enum_member_value_changed",
-		symbol: baseline.fqName,
-		old: { value: String(baseline.value) },
-		new: { value: String(candidate.value) },
-		message: `Enum value changed for "${baseline.displayName}" from "${baseline.value}" to "${candidate.value}"`,
+function apiSurfaceToSnapshot(surface) {
+	const language = surface.language || "node";
+	const symbols = [];
+	for (const [className, cls] of Object.entries(surface.classes)) {
+		symbols.push({
+			id: `class:${className}`,
+			kind: "service_accessor",
+			fqName: className,
+			displayName: className,
+			visibility: "public",
+			stability: cls.deprecationMessage ? "deprecated" : "stable",
+			sourceKind: "generated_service_wrapper"
+		});
+		if (cls.constructorParams.length > 0) symbols.push({
+			id: `ctor:${className}`,
+			kind: "constructor",
+			fqName: `${className}.constructor`,
+			ownerFqName: className,
+			displayName: `new ${className}`,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_resource_constructor",
+			parameters: cls.constructorParams.map((p, i) => apiParamToCompatParam(p, i, language))
+		});
+		for (const [methodName, overloads] of Object.entries(cls.methods)) for (let oi = 0; oi < overloads.length; oi++) {
+			const method = overloads[oi];
+			const suffix = overloads.length > 1 ? `#${oi}` : "";
+			symbols.push({
+				id: `method:${className}.${methodName}${suffix}`,
+				kind: "callable",
+				fqName: `${className}.${methodName}`,
+				ownerFqName: className,
+				displayName: `${className}.${methodName}`,
+				visibility: "public",
+				stability: "stable",
+				sourceKind: "generated_service_wrapper",
+				parameters: method.params.map((p, i) => apiParamToCompatParam(p, i, language)),
+				returns: { name: method.returnType }
+			});
+		}
+		for (const [propName, prop] of Object.entries(cls.properties)) symbols.push({
+			id: `prop:${className}.${propName}`,
+			kind: "property",
+			fqName: `${className}.${propName}`,
+			ownerFqName: className,
+			displayName: `${className}.${propName}`,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_service_wrapper",
+			typeRef: { name: prop.type }
+		});
+	}
+	for (const [ifaceName, iface] of Object.entries(surface.interfaces)) {
+		symbols.push({
+			id: `iface:${ifaceName}`,
+			kind: "alias",
+			fqName: ifaceName,
+			displayName: ifaceName,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_resource_constructor"
+		});
+		for (const [fieldName, field] of Object.entries(iface.fields)) symbols.push({
+			id: `field:${ifaceName}.${fieldName}`,
+			kind: "field",
+			fqName: `${ifaceName}.${fieldName}`,
+			ownerFqName: ifaceName,
+			displayName: `${ifaceName}.${fieldName}`,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_resource_constructor",
+			typeRef: { name: field.type }
+		});
+		if (iface.hasCustomConstructor) symbols.push({
+			id: `ctor:${ifaceName}`,
+			kind: "constructor",
+			fqName: `${ifaceName}.constructor`,
+			ownerFqName: ifaceName,
+			displayName: `new ${ifaceName}`,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_resource_constructor"
+		});
+	}
+	for (const [aliasName] of Object.entries(surface.typeAliases)) symbols.push({
+		id: `alias:${aliasName}`,
+		kind: "alias",
+		fqName: aliasName,
+		displayName: aliasName,
+		visibility: "public",
+		stability: "stable",
+		sourceKind: "generated_resource_constructor"
+	});
+	for (const [enumName, enumDef] of Object.entries(surface.enums)) {
+		symbols.push({
+			id: `enum:${enumName}`,
+			kind: "enum",
+			fqName: enumName,
+			displayName: enumName,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_enum"
+		});
+		for (const [memberName, memberValue] of Object.entries(enumDef.members)) symbols.push({
+			id: `enum_member:${enumName}.${memberName}`,
+			kind: "enum_member",
+			fqName: `${enumName}.${memberName}`,
+			ownerFqName: enumName,
+			displayName: `${enumName}.${memberName}`,
+			visibility: "public",
+			stability: "stable",
+			sourceKind: "generated_enum",
+			value: memberValue
+		});
+	}
+	return {
+		schemaVersion: "1",
+		source: { extractedAt: surface.extractedAt },
+		policies: getDefaultPolicy(language),
+		symbols
+	};
+}
+/** Convert a legacy ApiParam to a CompatParameter. */
+function apiParamToCompatParam(param, position, language) {
+	const policy = getDefaultPolicy(language);
+	return {
+		publicName: param.name,
+		position,
+		required: !param.optional,
+		nullable: false,
+		hasDefault: param.optional,
+		passing: param.passingStyle ?? inferPassingStyle(language),
+		type: { name: param.type },
+		sensitivity: {
+			order: policy.constructorOrderMatters,
+			publicName: policy.methodParameterNamesArePublicApi,
+			requiredness: true,
+			type: true
+		}
+	};
+}
+/** Infer the default parameter passing style for a language. */
+function inferPassingStyle(language) {
+	switch (language) {
+		case "python":
+		case "ruby":
+		case "elixir": return "keyword";
+		case "php":
+		case "kotlin":
+		case "dotnet": return "named";
+		case "node": return "options_object";
+		default: return "positional";
+	}
+}
+//#endregion
+//#region src/cli/compat-extract.ts
+const SNAPSHOT_FILENAME = ".oagen-compat-snapshot.json";
+/** Normalize a name for case-insensitive matching: strip underscores and lowercase. */
+function normalize(name) {
+	return name.replace(/_/g, "").toLowerCase();
+}
+/**
+* Build a map of normalized service name → Set of generated method names
+* from the manifest's operations record.
+*/
+function buildServiceMethodMap(operations) {
+	const result = /* @__PURE__ */ new Map();
+	for (const value of Object.values(operations)) {
+		if (typeof value !== "object" || value === null) continue;
+		const { sdkMethod, service } = value;
+		if (typeof sdkMethod !== "string" || typeof service !== "string") continue;
+		const key = normalize(service);
+		if (!result.has(key)) result.set(key, /* @__PURE__ */ new Set());
+		result.get(key).add(sdkMethod);
+	}
+	return result;
+}
+/**
+* Filter an ApiSurface to only include generated symbols based on the manifest.
+*
+* Two levels of filtering:
+*  1. File-level: classes/interfaces/enums from files not in the manifest are
+*     dropped entirely (they are wholly hand-written).
+*  2. Method-level: for service classes (those whose name matches a manifest
+*     service), only methods listed in the manifest operations are kept.
+*     Constructors and properties are always preserved since they are structural.
+*     Non-service classes (models, enums, etc.) keep all their symbols.
+*/
+function filterSurfaceByManifest(surface, manifest) {
+	const manifestFiles = new Set(manifest.files);
+	const serviceMethodMap = manifest.operations ? buildServiceMethodMap(manifest.operations) : /* @__PURE__ */ new Map();
+	let filesExcluded = 0;
+	let methodsExcluded = 0;
+	const filterByFile = (record) => {
+		const result = {};
+		for (const [name, entry] of Object.entries(record)) if (entry.sourceFile && manifestFiles.has(entry.sourceFile)) result[name] = entry;
+		else filesExcluded++;
+		return result;
+	};
+	const filteredClasses = {};
+	for (const [name, cls] of Object.entries(surface.classes)) {
+		if (cls.sourceFile && !manifestFiles.has(cls.sourceFile)) {
+			filesExcluded++;
+			continue;
+		}
+		const generatedMethods = serviceMethodMap.get(normalize(name));
+		if (generatedMethods) {
+			const methods = {};
+			for (const [methodName, overloads] of Object.entries(cls.methods)) if (generatedMethods.has(methodName)) methods[methodName] = overloads;
+			else methodsExcluded++;
+			filteredClasses[name] = {
+				...cls,
+				methods
+			};
+		} else filteredClasses[name] = cls;
+	}
+	const filteredExports = {};
+	for (const [filePath, symbols] of Object.entries(surface.exports)) if (manifestFiles.has(filePath)) filteredExports[filePath] = symbols;
+	return {
+		filtered: {
+			...surface,
+			classes: filteredClasses,
+			interfaces: filterByFile(surface.interfaces),
+			typeAliases: filterByFile(surface.typeAliases),
+			enums: filterByFile(surface.enums),
+			exports: filteredExports
+		},
+		filesExcluded,
+		methodsExcluded
+	};
+}
+async function compatExtractCommand(opts) {
+	const extractor = getExtractor(opts.lang);
+	console.log(`Extracting ${opts.lang} compat snapshot from ${opts.sdkPath}...`);
+	let surface = await extractor.extract(opts.sdkPath);
+	const manifest = await readManifest(opts.sdkPath);
+	if (manifest) {
+		const { filtered, filesExcluded, methodsExcluded } = filterSurfaceByManifest(surface, manifest);
+		surface = filtered;
+		if (filesExcluded > 0 || methodsExcluded > 0) console.log(`Manifest filter: excluded ${filesExcluded} hand-written file(s), ${methodsExcluded} hand-written method(s)`);
+	}
+	const snapshot = apiSurfaceToSnapshot(surface);
+	if (opts.spec) {
+		const specContent = readFileSync(opts.spec, "utf-8");
+		snapshot.source.specSha = createHash("sha256").update(specContent).digest("hex");
+		enrichWithSpecContext(snapshot, await parseSpec(opts.spec));
+	}
+	const outputPath = resolve(opts.output, SNAPSHOT_FILENAME);
+	writeFileSync(outputPath, JSON.stringify(snapshot, null, 2));
+	console.log(`Extracted ${snapshot.symbols.length} symbols → ${outputPath}`);
+}
+/**
+* Enrich snapshot symbols with operationId and route from the parsed spec.
+*
+* Matches callable symbols to spec operations by comparing method names
+* derived from the spec against the symbol's fqName.
+*/
+function enrichWithSpecContext(snapshot, spec) {
+	const opLookup = /* @__PURE__ */ new Map();
+	for (const service of spec.services) for (const op of service.operations) {
+		const key = `${service.name}.${op.name}`;
+		opLookup.set(key, {
+			operationId: op.name,
+			method: op.httpMethod,
+			path: op.path
+		});
+	}
+	for (const sym of snapshot.symbols) {
+		if (sym.kind !== "callable") continue;
+		const match = opLookup.get(sym.fqName);
+		if (match) {
+			sym.operationId = match.operationId;
+			sym.route = {
+				method: match.method,
+				path: match.path
+			};
+		}
+	}
+}
+//#endregion
+//#region src/compat/config.ts
+const BREAKING_CATEGORIES = new Set([
+	"symbol_removed",
+	"symbol_renamed",
+	"parameter_removed",
+	"parameter_renamed",
+	"parameter_requiredness_increased",
+	"parameter_type_narrowed",
+	"parameter_position_changed_order_sensitive",
+	"constructor_position_changed_order_sensitive",
+	"named_arg_name_removed",
+	"keyword_name_removed",
+	"overload_removed",
+	"union_wrapper_migration_without_compat_alias",
+	"field_type_changed",
+	"return_type_changed",
+	"enum_member_value_changed"
+]);
+const SOFT_RISK_CATEGORIES = new Set([
+	"parameter_added_non_terminal_optional",
+	"constructor_reordered_named_friendly",
+	"default_value_changed",
+	"wrapper_stricter_than_previous_sdk_but_matches_spec",
+	"doc_surface_drift"
+]);
+/** Get the default severity for a change category. */
+function defaultSeverityForCategory(category) {
+	if (BREAKING_CATEGORIES.has(category)) return "breaking";
+	if (SOFT_RISK_CATEGORIES.has(category)) return "soft-risk";
+	return "additive";
+}
+/** Check whether a severity meets or exceeds a fail threshold. */
+function severityMeetsThreshold(severity, threshold) {
+	if (threshold === "none") return false;
+	if (threshold === "soft-risk") return severity === "breaking" || severity === "soft-risk";
+	return severity === "breaking";
+}
+//#endregion
+//#region src/compat/classify.ts
+/**
+* Classify changes between a baseline and candidate symbol.
+* Returns one or more classified changes for the diff.
+*/
+function classifySymbolChanges(baseline, candidate, policy) {
+	const changes = [];
+	if (!candidate) {
+		changes.push(makeChange({
+			category: "symbol_removed",
+			symbol: baseline.fqName,
+			old: { symbol: baseline.fqName },
+			new: { symbol: "(removed)" },
+			message: `Symbol "${baseline.displayName}" was removed`,
+			policy
+		}));
+		return changes;
+	}
+	if (baseline.fqName !== candidate.fqName && baseline.id === candidate.id) changes.push(makeChange({
+		category: "symbol_renamed",
+		symbol: baseline.fqName,
+		old: { name: baseline.fqName },
+		new: { name: candidate.fqName },
+		message: `Symbol renamed from "${baseline.displayName}" to "${candidate.displayName}"`,
+		policy
+	}));
+	if (baseline.parameters && candidate.parameters) changes.push(...classifyParameterChanges(baseline, candidate, policy));
+	if (baseline.returns && candidate.returns && baseline.returns.name !== candidate.returns.name) changes.push(makeChange({
+		category: "return_type_changed",
+		symbol: baseline.fqName,
+		old: { returnType: baseline.returns.name },
+		new: { returnType: candidate.returns.name },
+		message: `Return type changed for "${baseline.displayName}" from "${baseline.returns.name}" to "${candidate.returns.name}"`,
+		policy
+	}));
+	if (baseline.typeRef && candidate.typeRef && baseline.typeRef.name !== candidate.typeRef.name) changes.push(makeChange({
+		category: "field_type_changed",
+		symbol: baseline.fqName,
+		old: { type: baseline.typeRef.name },
+		new: { type: candidate.typeRef.name },
+		message: `Type changed for "${baseline.displayName}" from "${baseline.typeRef.name}" to "${candidate.typeRef.name}"`,
+		policy
+	}));
+	if (baseline.kind === "enum_member" && candidate.kind === "enum_member" && baseline.value !== void 0 && candidate.value !== void 0 && baseline.value !== candidate.value) changes.push(makeChange({
+		category: "enum_member_value_changed",
+		symbol: baseline.fqName,
+		old: { value: String(baseline.value) },
+		new: { value: String(candidate.value) },
+		message: `Enum value changed for "${baseline.displayName}" from "${baseline.value}" to "${candidate.value}"`,
 		policy
 	}));
 	return changes;
@@ -7043,342 +7393,92 @@ function formatCrossLanguageRollup(reports) {
 }
 function formatConceptualTable(concepts, languages) {
 	const lines = [];
-	const langHeaders = languages.map((l) => l).join(" | ");
-	lines.push(`| Symbol | Category | ${langHeaders} |`);
-	lines.push(`| --- | --- | ${languages.map(() => "---").join(" | ")} |`);
-	for (const c of concepts) {
-		const severities = languages.map((l) => severityIcon(c.impact[l])).join(" | ");
-		lines.push(`| \`${c.symbol}\` | \`${c.category}\` | ${severities} |`);
-	}
-	return lines.join("\n");
-}
-function severityIcon(severity) {
-	if (!severity) return "—";
-	switch (severity) {
-		case "breaking": return ":x: breaking";
-		case "soft-risk": return ":warning: soft-risk";
-		case "additive": return ":white_check_mark: additive";
-	}
-}
-function formatChangesTable(changes) {
-	const lines = [];
-	lines.push("| Category | Symbol | Detail |");
-	lines.push("| --- | --- | --- |");
-	for (const c of changes) {
-		const detail = c.message ?? formatOldNew(c.old, c.new);
-		lines.push(`| \`${c.category}\` | \`${c.symbol}\` | ${escapeMarkdown(detail)} |`);
-	}
-	return lines.join("\n");
-}
-function formatOldNew(old, updated) {
-	const parts = [];
-	for (const key of Object.keys(old)) if (updated[key] && old[key] !== updated[key]) parts.push(`${key}: \`${old[key]}\` → \`${updated[key]}\``);
-	return parts.length > 0 ? parts.join(", ") : "";
-}
-function escapeMarkdown(text) {
-	return text.replace(/\|/g, "\\|").replace(/\n/g, " ");
-}
-//#endregion
-//#region src/compat/approvals.ts
-/**
-* Match a classified change against a list of approvals.
-* Returns the first matching approval, or null if none match.
-*/
-function matchApproval(change, approvals, language) {
-	for (const approval of approvals) if (approvalMatchesChange(approval, change, language)) return approval;
-	return null;
-}
-/**
-* Filter changes to only those NOT covered by approvals.
-* These are the remaining unapproved changes that may cause failure.
-*/
-function unapprovedChanges(changes, approvals, language) {
-	return changes.filter((change) => !matchApproval(change, approvals, language));
-}
-function approvalMatchesChange(approval, change, language) {
-	if (approval.approved === false) return false;
-	if (approval.category !== change.category) return false;
-	if (!symbolMatches(approval.symbol, change.symbol)) return false;
-	if (!languageMatches(approval.appliesTo, language)) return false;
-	if (approval.match && !narrowingMatches(approval.match, change)) return false;
-	return true;
-}
-function symbolMatches(approvalSymbol, changeSymbol) {
-	if (approvalSymbol === changeSymbol) return true;
-	return approvalSymbol.replace(/::/g, ".").replace(/\\/g, ".") === changeSymbol.replace(/::/g, ".").replace(/\\/g, ".");
-}
-function languageMatches(appliesTo, language) {
-	if (!appliesTo || appliesTo === "all-impacted-languages") return true;
-	return appliesTo.includes(language);
-}
-function narrowingMatches(match, change) {
-	if (match.parameter) {
-		const paramInOld = change.old.parameter === match.parameter;
-		const paramInNew = change.new.parameter === match.parameter;
-		if (!paramInOld && !paramInNew) return false;
-	}
-	if (match.member) {
-		const memberInOld = change.old.member === match.member;
-		const memberInNew = change.new.member === match.member;
-		if (!memberInOld && !memberInNew) return false;
-	}
-	if (match.oldName) {
-		if (!Object.values(change.old).some((v) => v === match.oldName)) return false;
-	}
-	if (match.newName) {
-		if (!Object.values(change.new).some((v) => v === match.newName)) return false;
-	}
-	return true;
-}
-//#endregion
-//#region src/compat/policy.ts
-/** Built-in language defaults. */
-const LANGUAGE_DEFAULTS = {
-	php: {
-		callerUsesParamNames: true,
-		constructorOrderMatters: true,
-		methodParameterNamesArePublicApi: true,
-		constructorParameterNamesArePublicApi: true,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: false
-	},
-	python: {
-		callerUsesParamNames: true,
-		constructorOrderMatters: true,
-		methodParameterNamesArePublicApi: true,
-		constructorParameterNamesArePublicApi: true,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: false
-	},
-	ruby: {
-		callerUsesParamNames: true,
-		constructorOrderMatters: true,
-		methodParameterNamesArePublicApi: true,
-		constructorParameterNamesArePublicApi: true,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: false
-	},
-	go: {
-		callerUsesParamNames: false,
-		constructorOrderMatters: true,
-		methodParameterNamesArePublicApi: false,
-		constructorParameterNamesArePublicApi: false,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: true
-	},
-	kotlin: {
-		callerUsesParamNames: true,
-		constructorOrderMatters: false,
-		methodParameterNamesArePublicApi: true,
-		constructorParameterNamesArePublicApi: true,
-		overloadsArePublicApi: true,
-		arityIsPublicApi: false
-	},
-	dotnet: {
-		callerUsesParamNames: true,
-		constructorOrderMatters: false,
-		methodParameterNamesArePublicApi: true,
-		constructorParameterNamesArePublicApi: true,
-		overloadsArePublicApi: true,
-		arityIsPublicApi: false
-	},
-	elixir: {
-		callerUsesParamNames: true,
-		constructorOrderMatters: false,
-		methodParameterNamesArePublicApi: true,
-		constructorParameterNamesArePublicApi: false,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: true
-	},
-	rust: {
-		callerUsesParamNames: false,
-		constructorOrderMatters: true,
-		methodParameterNamesArePublicApi: false,
-		constructorParameterNamesArePublicApi: false,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: true
-	},
-	node: {
-		callerUsesParamNames: false,
-		constructorOrderMatters: false,
-		methodParameterNamesArePublicApi: false,
-		constructorParameterNamesArePublicApi: false,
-		overloadsArePublicApi: false,
-		arityIsPublicApi: false
+	const langHeaders = languages.map((l) => l).join(" | ");
+	lines.push(`| Symbol | Category | ${langHeaders} |`);
+	lines.push(`| --- | --- | ${languages.map(() => "---").join(" | ")} |`);
+	for (const c of concepts) {
+		const severities = languages.map((l) => severityIcon(c.impact[l])).join(" | ");
+		lines.push(`| \`${c.symbol}\` | \`${c.category}\` | ${severities} |`);
 	}
-};
-/** Get the built-in default policy for a language. */
-function getDefaultPolicy(language) {
-	return { ...LANGUAGE_DEFAULTS[language] };
+	return lines.join("\n");
 }
-/** Merge user overrides onto language defaults. Only provided keys are overridden. */
-function mergePolicy(defaults, overrides) {
-	return {
-		...defaults,
-		...overrides
-	};
+function severityIcon(severity) {
+	if (!severity) return "—";
+	switch (severity) {
+		case "breaking": return ":x: breaking";
+		case "soft-risk": return ":warning: soft-risk";
+		case "additive": return ":white_check_mark: additive";
+	}
+}
+function formatChangesTable(changes) {
+	const lines = [];
+	lines.push("| Category | Symbol | Detail |");
+	lines.push("| --- | --- | --- |");
+	for (const c of changes) {
+		const detail = c.message ?? formatOldNew(c.old, c.new);
+		lines.push(`| \`${c.category}\` | \`${c.symbol}\` | ${escapeMarkdown(detail)} |`);
+	}
+	return lines.join("\n");
+}
+function formatOldNew(old, updated) {
+	const parts = [];
+	for (const key of Object.keys(old)) if (updated[key] && old[key] !== updated[key]) parts.push(`${key}: \`${old[key]}\` → \`${updated[key]}\``);
+	return parts.length > 0 ? parts.join(", ") : "";
+}
+function escapeMarkdown(text) {
+	return text.replace(/\|/g, "\\|").replace(/\n/g, " ");
 }
 //#endregion
-//#region src/compat/ir.ts
+//#region src/compat/approvals.ts
 /**
-* Convert a legacy ApiSurface to a CompatSnapshot.
-*
-* This bridge allows existing extractors (which produce ApiSurface) to feed
-* into the new classified diff engine without requiring immediate migration.
+* Match a classified change against a list of approvals.
+* Returns the first matching approval, or null if none match.
 */
-function apiSurfaceToSnapshot(surface) {
-	const language = surface.language || "node";
-	const symbols = [];
-	for (const [className, cls] of Object.entries(surface.classes)) {
-		symbols.push({
-			id: `class:${className}`,
-			kind: "service_accessor",
-			fqName: className,
-			displayName: className,
-			visibility: "public",
-			stability: cls.deprecationMessage ? "deprecated" : "stable",
-			sourceKind: "generated_service_wrapper"
-		});
-		if (cls.constructorParams.length > 0) symbols.push({
-			id: `ctor:${className}`,
-			kind: "constructor",
-			fqName: `${className}.constructor`,
-			ownerFqName: className,
-			displayName: `new ${className}`,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_resource_constructor",
-			parameters: cls.constructorParams.map((p, i) => apiParamToCompatParam(p, i, language))
-		});
-		for (const [methodName, overloads] of Object.entries(cls.methods)) for (let oi = 0; oi < overloads.length; oi++) {
-			const method = overloads[oi];
-			const suffix = overloads.length > 1 ? `#${oi}` : "";
-			symbols.push({
-				id: `method:${className}.${methodName}${suffix}`,
-				kind: "callable",
-				fqName: `${className}.${methodName}`,
-				ownerFqName: className,
-				displayName: `${className}.${methodName}`,
-				visibility: "public",
-				stability: "stable",
-				sourceKind: "generated_service_wrapper",
-				parameters: method.params.map((p, i) => apiParamToCompatParam(p, i, language)),
-				returns: { name: method.returnType }
-			});
-		}
-		for (const [propName, prop] of Object.entries(cls.properties)) symbols.push({
-			id: `prop:${className}.${propName}`,
-			kind: "property",
-			fqName: `${className}.${propName}`,
-			ownerFqName: className,
-			displayName: `${className}.${propName}`,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_service_wrapper",
-			typeRef: { name: prop.type }
-		});
+function matchApproval(change, approvals, language) {
+	for (const approval of approvals) if (approvalMatchesChange(approval, change, language)) return approval;
+	return null;
+}
+/**
+* Filter changes to only those NOT covered by approvals.
+* These are the remaining unapproved changes that may cause failure.
+*/
+function unapprovedChanges(changes, approvals, language) {
+	return changes.filter((change) => !matchApproval(change, approvals, language));
+}
+function approvalMatchesChange(approval, change, language) {
+	if (approval.approved === false) return false;
+	if (approval.category !== change.category) return false;
+	if (!symbolMatches(approval.symbol, change.symbol)) return false;
+	if (!languageMatches(approval.appliesTo, language)) return false;
+	if (approval.match && !narrowingMatches(approval.match, change)) return false;
+	return true;
+}
+function symbolMatches(approvalSymbol, changeSymbol) {
+	if (approvalSymbol === changeSymbol) return true;
+	return approvalSymbol.replace(/::/g, ".").replace(/\\/g, ".") === changeSymbol.replace(/::/g, ".").replace(/\\/g, ".");
+}
+function languageMatches(appliesTo, language) {
+	if (!appliesTo || appliesTo === "all-impacted-languages") return true;
+	return appliesTo.includes(language);
+}
+function narrowingMatches(match, change) {
+	if (match.parameter) {
+		const paramInOld = change.old.parameter === match.parameter;
+		const paramInNew = change.new.parameter === match.parameter;
+		if (!paramInOld && !paramInNew) return false;
 	}
-	for (const [ifaceName, iface] of Object.entries(surface.interfaces)) {
-		symbols.push({
-			id: `iface:${ifaceName}`,
-			kind: "alias",
-			fqName: ifaceName,
-			displayName: ifaceName,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_resource_constructor"
-		});
-		for (const [fieldName, field] of Object.entries(iface.fields)) symbols.push({
-			id: `field:${ifaceName}.${fieldName}`,
-			kind: "field",
-			fqName: `${ifaceName}.${fieldName}`,
-			ownerFqName: ifaceName,
-			displayName: `${ifaceName}.${fieldName}`,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_resource_constructor",
-			typeRef: { name: field.type }
-		});
-		if (iface.hasCustomConstructor) symbols.push({
-			id: `ctor:${ifaceName}`,
-			kind: "constructor",
-			fqName: `${ifaceName}.constructor`,
-			ownerFqName: ifaceName,
-			displayName: `new ${ifaceName}`,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_resource_constructor"
-		});
+	if (match.member) {
+		const memberInOld = change.old.member === match.member;
+		const memberInNew = change.new.member === match.member;
+		if (!memberInOld && !memberInNew) return false;
 	}
-	for (const [aliasName] of Object.entries(surface.typeAliases)) symbols.push({
-		id: `alias:${aliasName}`,
-		kind: "alias",
-		fqName: aliasName,
-		displayName: aliasName,
-		visibility: "public",
-		stability: "stable",
-		sourceKind: "generated_resource_constructor"
-	});
-	for (const [enumName, enumDef] of Object.entries(surface.enums)) {
-		symbols.push({
-			id: `enum:${enumName}`,
-			kind: "enum",
-			fqName: enumName,
-			displayName: enumName,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_enum"
-		});
-		for (const [memberName, memberValue] of Object.entries(enumDef.members)) symbols.push({
-			id: `enum_member:${enumName}.${memberName}`,
-			kind: "enum_member",
-			fqName: `${enumName}.${memberName}`,
-			ownerFqName: enumName,
-			displayName: `${enumName}.${memberName}`,
-			visibility: "public",
-			stability: "stable",
-			sourceKind: "generated_enum",
-			value: memberValue
-		});
+	if (match.oldName) {
+		if (!Object.values(change.old).some((v) => v === match.oldName)) return false;
 	}
-	return {
-		schemaVersion: "1",
-		source: { extractedAt: surface.extractedAt },
-		policies: getDefaultPolicy(language),
-		symbols
-	};
-}
-/** Convert a legacy ApiParam to a CompatParameter. */
-function apiParamToCompatParam(param, position, language) {
-	const policy = getDefaultPolicy(language);
-	return {
-		publicName: param.name,
-		position,
-		required: !param.optional,
-		nullable: false,
-		hasDefault: param.optional,
-		passing: param.passingStyle ?? inferPassingStyle(language),
-		type: { name: param.type },
-		sensitivity: {
-			order: policy.constructorOrderMatters,
-			publicName: policy.methodParameterNamesArePublicApi,
-			requiredness: true,
-			type: true
-		}
-	};
-}
-/** Infer the default parameter passing style for a language. */
-function inferPassingStyle(language) {
-	switch (language) {
-		case "python":
-		case "ruby":
-		case "elixir": return "keyword";
-		case "php":
-		case "kotlin":
-		case "dotnet": return "named";
-		case "node": return "options_object";
-		default: return "positional";
+	if (match.newName) {
+		if (!Object.values(change.new).some((v) => v === match.newName)) return false;
 	}
+	return true;
 }
 //#endregion
 //#region src/verify/run-compat-check.ts
@@ -7454,37 +7554,9 @@ function cleanGeneratedFiles(dir) {
 		} 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 overlay = buildOverlayLookup(baseline, readManifestSync(outputDir), parsedSpec, getExtractor(lang).hints);
 	let prevPreserved = -1;
 	const patchedPerIteration = [];
 	for (let attempt = 0; attempt <= maxRetries; attempt++) {
@@ -8039,8 +8111,8 @@ export const ${`${toCamelCase(lang)}Emitter`}: Emitter = {
     return [];
   },
 
-  generateManifest(_spec: ApiSpec, _ctx: EmitterContext): GeneratedFile[] {
-    return [];
+  buildOperationsMap(_spec: ApiSpec, _ctx: EmitterContext) {
+    return {};
   },
 
   fileHeader(): string {
@@ -8254,7 +8326,7 @@ program.command("parse").description("Parse an OpenAPI spec and output IR as JSO
 	}
 	return parseCommand(opts);
 });
-program.command("generate").description("Run a registered emitter against an OpenAPI spec").option("--spec <path>", "Path to OpenAPI spec file (or set OPENAPI_SPEC_PATH)").requiredOption("--lang <language>", "Target language").requiredOption("--output <dir>", "Output directory").option("--target <dir>", "Target directory for live SDK integration (merged output)").option("--namespace <name>", "SDK namespace/package name").option("--dry-run", "Preview files without writing").option("--api-surface <path>", "Path to baseline API surface JSON for compat overlay").option("--manifest <path>", "Path to smoke-manifest.json for method overlay").option("--no-compat-check", "Skip compat overlay even if --api-surface is provided").option("--no-prune", "Skip deletion of stale files recorded in the previous .oagen-manifest.json").action((opts) => {
+program.command("generate").description("Run a registered emitter against an OpenAPI spec").option("--spec <path>", "Path to OpenAPI spec file (or set OPENAPI_SPEC_PATH)").requiredOption("--lang <language>", "Target language").requiredOption("--output <dir>", "Output directory").option("--target <dir>", "Target directory for live SDK integration (merged output)").option("--namespace <name>", "SDK namespace/package name").option("--dry-run", "Preview files without writing").option("--api-surface <path>", "Path to baseline API surface JSON for compat overlay").option("--no-compat-check", "Skip compat overlay even if --api-surface is provided").option("--no-prune", "Skip deletion of stale files recorded in the previous .oagen-manifest.json").action((opts) => {
 	opts.spec ??= process.env.OPENAPI_SPEC_PATH;
 	if (!opts.spec) {
 		console.error("error: --spec <path> or OPENAPI_SPEC_PATH env var is required");