sela-core 1.0.0

package/dist/services/CrossFileHealer.js

@@ -0,0 +1,134 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CrossFileHealer = void 0;
+const path = __importStar(require("path"));
+const fs = __importStar(require("fs"));
+const DefinitionTracer_js_1 = require("./DefinitionTracer.js");
+const InitializerUpdater_js_1 = require("./InitializerUpdater.js");
+// ═══════════════════════════════════════════════════════════════════
+// CrossFileHealer  (T-9)
+//
+// Resolves an imported symbol to its definition in an external file,
+// then delegates mutation to InitializerUpdater.
+//
+// Entry point: CrossFileHealer.heal()
+//   modulePath  — the import specifier string (e.g. "./constants")
+//   symbolName  — the exported identifier name (e.g. "SHARED_SEL")
+//   oldValue    — the current string value (used for verification)
+//   newValue    — the replacement value
+//   callerFilePath — absolute path of the file containing the import
+//   project     — the shared ASTSourceUpdater Project instance
+// ═══════════════════════════════════════════════════════════════════
+const DEPTH_GUARD = 3;
+class CrossFileHealer {
+    static heal(modulePath, symbolName, newValue, callerFilePath, project, depth = 0) {
+        if (depth >= DEPTH_GUARD) {
+            return {
+                success: false,
+                reason: `CrossFileHealer: re-export chain depth exceeded for "${symbolName}"`,
+                strategy: "semantic-cross-file",
+            };
+        }
+        const externalPath = resolveModulePath(modulePath, callerFilePath);
+        if (!externalPath) {
+            return {
+                success: false,
+                reason: `CrossFileHealer: module "${modulePath}" not found relative to "${path.basename(callerFilePath)}"`,
+                strategy: "semantic-cross-file",
+            };
+        }
+        // Load external file into the shared project.
+        let externalSf = project.getSourceFile(externalPath);
+        if (externalSf) {
+            externalSf.refreshFromFileSystemSync();
+        }
+        else {
+            try {
+                externalSf = project.addSourceFileAtPath(externalPath);
+            }
+            catch (e) {
+                return {
+                    success: false,
+                    reason: `CrossFileHealer: failed to load "${path.basename(externalPath)}": ${e.message}`,
+                    strategy: "semantic-cross-file",
+                };
+            }
+        }
+        const traceResult = DefinitionTracer_js_1.DefinitionTracer.traceByName(symbolName, externalSf);
+        if (!traceResult.found) {
+            // Follow re-export chains (barrel files).
+            if (traceResult.crossFile) {
+                console.log(`[CrossFileHealer] 🔄 "${symbolName}" re-exported from "${traceResult.modulePath}" — following chain`);
+                return CrossFileHealer.heal(traceResult.modulePath, traceResult.symbolName, newValue, externalPath, project, depth + 1);
+            }
+            return {
+                success: false,
+                reason: `CrossFileHealer: ${traceResult.reason}`,
+                strategy: "semantic-cross-file",
+            };
+        }
+        const result = InitializerUpdater_js_1.InitializerUpdater.apply(traceResult.targetNode, traceResult.targetFile, newValue);
+        if (!result) {
+            return {
+                success: false,
+                reason: `CrossFileHealer: InitializerUpdater rejected node type ${traceResult.targetNode.getKindName()}`,
+                strategy: "semantic-cross-file",
+            };
+        }
+        console.log(`[CrossFileHealer] ✅ healed "${symbolName}" in ${path.basename(externalPath)} ` +
+            `@ line ${result.lineUpdated + 1}`);
+        return {
+            success: true,
+            reason: `definition-site heal in ${path.basename(externalPath)}`,
+            strategy: "semantic-cross-file",
+            lineUpdated: result.lineUpdated,
+            healedLocatorString: newValue,
+        };
+    }
+}
+exports.CrossFileHealer = CrossFileHealer;
+// ─────────────────────────────────────────────────────────────────
+// Private helpers
+// ─────────────────────────────────────────────────────────────────
+function resolveModulePath(modulePath, fromFile) {
+    const base = path.dirname(path.resolve(fromFile));
+    const resolved = path.resolve(base, modulePath);
+    for (const candidate of [resolved, resolved + ".ts", resolved + ".js"]) {
+        if (fs.existsSync(candidate))
+            return candidate;
+    }
+    return null;
+}

package/dist/services/DefinitionTracer.d.ts

@@ -0,0 +1,41 @@
+import { Node, SourceFile, StringLiteral, NoSubstitutionTemplateLiteral, TemplateExpression } from "ts-morph";
+export type TraceResult = {
+    found: true;
+    targetNode: Node;
+    targetFile: SourceFile;
+    /** The enclosing VariableDeclaration or PropertyAssignment — used by BlastRadiusAnalyzer. */
+    declarationNode?: Node;
+} | {
+    found: false;
+    crossFile: true;
+    modulePath: string;
+    symbolName: string;
+} | {
+    found: false;
+    crossFile: false;
+    reason: string;
+};
+export type FunctionalAnalysis = {
+    kind: "template";
+    templateNode: TemplateExpression;
+    bindings: Map<string, string>;
+    functionFile: SourceFile;
+    functionLine: number;
+} | {
+    kind: "literal";
+    literalNode: StringLiteral | NoSubstitutionTemplateLiteral;
+    functionFile: SourceFile;
+    functionLine: number;
+} | {
+    kind: "complex";
+    reason: string;
+};
+export declare class DefinitionTracer {
+    static traceIdentifier(identifierNode: Node, sourceFile: SourceFile, callerLine: number, depth?: number): TraceResult;
+    static tracePropertyAccess(propAccessNode: Node, sourceFile: SourceFile, callerLine: number): TraceResult;
+    static traceByName(symbolName: string, sourceFile: SourceFile): TraceResult;
+}
+export declare class FunctionalReturnAnalyzer {
+    static analyze(callNode: Node, sourceFile: SourceFile): FunctionalAnalysis;
+}
+//# sourceMappingURL=DefinitionTracer.d.ts.map

package/dist/services/DefinitionTracer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DefinitionTracer.d.ts","sourceRoot":"","sources":["../../src/services/DefinitionTracer.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,UAAU,EAKV,aAAa,EACb,6BAA6B,EAC7B,kBAAkB,EAGnB,MAAM,UAAU,CAAC;AAMlB,MAAM,MAAM,WAAW,GACnB;IACE,KAAK,EAAE,IAAI,CAAC;IACZ,UAAU,EAAE,IAAI,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,6FAA6F;IAC7F,eAAe,CAAC,EAAE,IAAI,CAAC;CACxB,GACD;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACzE;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,kBAAkB,GAC1B;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,YAAY,EAAE,UAAU,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;CACtB,GACD;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,WAAW,EAAE,aAAa,GAAG,6BAA6B,CAAC;IAC3D,YAAY,EAAE,UAAU,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAcxC,qBAAa,gBAAgB;IAK3B,MAAM,CAAC,eAAe,CACpB,cAAc,EAAE,IAAI,EACpB,UAAU,EAAE,UAAU,EACtB,UAAU,EAAE,MAAM,EAClB,KAAK,SAAI,GACR,WAAW;IAqFd,MAAM,CAAC,mBAAmB,CACxB,cAAc,EAAE,IAAI,EACpB,UAAU,EAAE,UAAU,EACtB,UAAU,EAAE,MAAM,GACjB,WAAW;IA0Ed,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,GAAG,WAAW;CA6B5E;AASD,qBAAa,wBAAwB;IACnC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,GAAG,kBAAkB;CAiF3E"}

package/dist/services/DefinitionTracer.js

@@ -0,0 +1,350 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FunctionalReturnAnalyzer = exports.DefinitionTracer = void 0;
+const ts_morph_1 = require("ts-morph");
+// ═══════════════════════════════════════════════════════════════════
+// DefinitionTracer
+//
+// T-5: traceIdentifier — follow bare variable name to its initializer.
+// T-6: tracePropertyAccess — follow OBJECT.prop to the property value.
+//
+// In-file first; signals crossFile when symbol comes from an import.
+// Never does I/O beyond what ts-morph provides on the given SourceFile.
+// ═══════════════════════════════════════════════════════════════════
+const MAX_TRACE_DEPTH = 5;
+class DefinitionTracer {
+    // ─────────────────────────────────────────────────────────────────
+    // T-5: Identifier trace
+    // ─────────────────────────────────────────────────────────────────
+    static traceIdentifier(identifierNode, sourceFile, callerLine, depth = 0) {
+        if (depth >= MAX_TRACE_DEPTH) {
+            return {
+                found: false,
+                crossFile: false,
+                reason: "max trace depth reached",
+            };
+        }
+        const symbolName = identifierNode.getText().trim();
+        // 1. In-file: find closest VariableDeclaration before callerLine.
+        const decl = findVarDeclInFile(sourceFile, symbolName, callerLine);
+        if (decl) {
+            const init = decl.getInitializer();
+            if (!init) {
+                return {
+                    found: false,
+                    crossFile: false,
+                    reason: `"${symbolName}" has no initializer`,
+                };
+            }
+            // Recursive follow: if init is another identifier, trace again.
+            if (ts_morph_1.Node.isIdentifier(init)) {
+                return DefinitionTracer.traceIdentifier(init, sourceFile, decl.getStartLineNumber(), depth + 1);
+            }
+            console.log(`[DefinitionTracer] ✅ traceIdentifier: "${symbolName}" → ` +
+                `${init.getKindName()} @ ${sourceFile.getBaseName()}:${init.getStartLineNumber()}`);
+            return { found: true, targetNode: init, targetFile: sourceFile, declarationNode: decl };
+        }
+        // 2. Symbol not in file — check import declarations.
+        const imported = findImportedSymbol(sourceFile, symbolName);
+        if (imported) {
+            console.log(`[DefinitionTracer] 🌐 traceIdentifier: "${symbolName}" comes from "${imported.modulePath}" (cross-file)`);
+            return { found: false, crossFile: true, ...imported };
+        }
+        // 3. Last resort: ts-morph language-service definition lookup.
+        try {
+            const defNodes = identifierNode.getDefinitionNodes?.();
+            if (defNodes && defNodes.length > 0) {
+                for (const def of defNodes) {
+                    if (ts_morph_1.Node.isVariableDeclaration(def)) {
+                        const init = def.getInitializer();
+                        if (init) {
+                            console.log(`[DefinitionTracer] ✅ traceIdentifier (via LangSvc): "${symbolName}" → ` +
+                                `${init.getKindName()} @ ${def.getSourceFile().getBaseName()}:${init.getStartLineNumber()}`);
+                            return {
+                                found: true,
+                                targetNode: init,
+                                targetFile: def.getSourceFile(),
+                            };
+                        }
+                    }
+                }
+            }
+        }
+        catch {
+            // Language service unavailable — not an error.
+        }
+        return {
+            found: false,
+            crossFile: false,
+            reason: `"${symbolName}" not resolved in file or imports`,
+        };
+    }
+    // ─────────────────────────────────────────────────────────────────
+    // T-6: PropertyAccessExpression trace
+    // ─────────────────────────────────────────────────────────────────
+    static tracePropertyAccess(propAccessNode, sourceFile, callerLine) {
+        if (!ts_morph_1.Node.isPropertyAccessExpression(propAccessNode)) {
+            return {
+                found: false,
+                crossFile: false,
+                reason: "node is not a PropertyAccessExpression",
+            };
+        }
+        const expr = propAccessNode;
+        const objectName = expr.getExpression().getText().trim();
+        const propName = expr.getName();
+        // Find the object's VariableDeclaration.
+        const objDecl = findVarDeclInFile(sourceFile, objectName, callerLine);
+        if (!objDecl) {
+            const imported = findImportedSymbol(sourceFile, objectName);
+            if (imported) {
+                console.log(`[DefinitionTracer] 🌐 tracePropertyAccess: "${objectName}" comes from "${imported.modulePath}" (cross-file)`);
+                return { found: false, crossFile: true, ...imported };
+            }
+            return {
+                found: false,
+                crossFile: false,
+                reason: `object "${objectName}" not found in file or imports`,
+            };
+        }
+        const init = objDecl.getInitializer();
+        if (!init || !ts_morph_1.Node.isObjectLiteralExpression(init)) {
+            return {
+                found: false,
+                crossFile: false,
+                reason: `"${objectName}" initializer is not an ObjectLiteralExpression (got ${init?.getKindName() ?? "none"})`,
+            };
+        }
+        // ts-morph getProperty(name) — returns the first matching property.
+        const prop = init.getProperty(propName);
+        if (!prop || !ts_morph_1.Node.isPropertyAssignment(prop)) {
+            return {
+                found: false,
+                crossFile: false,
+                reason: `property "${propName}" not found on "${objectName}"`,
+            };
+        }
+        const valueNode = prop.getInitializer();
+        if (!valueNode) {
+            return {
+                found: false,
+                crossFile: false,
+                reason: `property "${propName}" on "${objectName}" has no initializer`,
+            };
+        }
+        console.log(`[DefinitionTracer] ✅ tracePropertyAccess: "${objectName}.${propName}" → ` +
+            `${valueNode.getKindName()} "${valueNode.getText()}" ` +
+            `@ ${sourceFile.getBaseName()}:${valueNode.getStartLineNumber()}`);
+        return { found: true, targetNode: valueNode, targetFile: sourceFile, declarationNode: prop };
+    }
+    // ─────────────────────────────────────────────────────────────────
+    // traceByName — used by CrossFileHealer
+    //
+    // Like traceIdentifier but takes a plain symbol name string instead
+    // of an Identifier node.  Searches the entire file (no callerLine
+    // constraint) so it's suitable for resolving exported symbols.
+    // ─────────────────────────────────────────────────────────────────
+    static traceByName(symbolName, sourceFile) {
+        const decl = findVarDeclInFile(sourceFile, symbolName, Number.MAX_SAFE_INTEGER);
+        if (!decl) {
+            const imported = findImportedSymbol(sourceFile, symbolName);
+            if (imported)
+                return { found: false, crossFile: true, ...imported };
+            return {
+                found: false,
+                crossFile: false,
+                reason: `"${symbolName}" not found in ${sourceFile.getBaseName()}`,
+            };
+        }
+        const init = decl.getInitializer();
+        if (!init) {
+            return {
+                found: false,
+                crossFile: false,
+                reason: `"${symbolName}" has no initializer`,
+            };
+        }
+        console.log(`[DefinitionTracer] ✅ traceByName: "${symbolName}" → ` +
+            `${init.getKindName()} @ ${sourceFile.getBaseName()}:${init.getStartLineNumber()}`);
+        return { found: true, targetNode: init, targetFile: sourceFile, declarationNode: decl };
+    }
+}
+exports.DefinitionTracer = DefinitionTracer;
+// ═══════════════════════════════════════════════════════════════════
+// FunctionalReturnAnalyzer
+//
+// T-7: Given a CallExpression whose callee is a local function,
+// enter the function body and return its return expression + arg bindings.
+// ═══════════════════════════════════════════════════════════════════
+class FunctionalReturnAnalyzer {
+    static analyze(callNode, sourceFile) {
+        if (!ts_morph_1.Node.isCallExpression(callNode)) {
+            return { kind: "complex", reason: "node is not a CallExpression" };
+        }
+        const call = callNode;
+        const calleeExpr = call.getExpression();
+        // Only handle simple identifier callees: getScopedInput(role).
+        // PropertyAccess callees (obj.method()) are out of scope for Phase 2.
+        if (!ts_morph_1.Node.isIdentifier(calleeExpr)) {
+            return {
+                kind: "complex",
+                reason: `callee is ${calleeExpr.getKindName()}, not a simple identifier`,
+            };
+        }
+        const calleeName = calleeExpr.getText();
+        const fnResult = findFunctionBody(sourceFile, calleeName);
+        if (!fnResult) {
+            return {
+                kind: "complex",
+                reason: `function "${calleeName}" not found in file`,
+            };
+        }
+        const { returnExpr, params, line } = fnResult;
+        // Build argument bindings: paramName → runtime value text.
+        const callArgs = call.getArguments();
+        const bindings = new Map();
+        for (let i = 0; i < params.length; i++) {
+            const argNode = callArgs[i];
+            if (!argNode)
+                continue;
+            const raw = argNode.getText();
+            // Strip surrounding quotes for string literals so bindings hold the value, not the syntax.
+            const value = ts_morph_1.Node.isStringLiteral(argNode)
+                ? argNode.getLiteralValue()
+                : raw.replace(/^["'`]|["'`]$/g, "");
+            bindings.set(params[i], value);
+        }
+        if (ts_morph_1.Node.isStringLiteral(returnExpr) ||
+            ts_morph_1.Node.isNoSubstitutionTemplateLiteral(returnExpr)) {
+            console.log(`[FunctionalReturnAnalyzer] ✅ "${calleeName}" returns StringLiteral ` +
+                `"${returnExpr.getLiteralValue()}" @ line ${line}`);
+            return {
+                kind: "literal",
+                literalNode: returnExpr,
+                functionFile: sourceFile,
+                functionLine: line,
+            };
+        }
+        if (ts_morph_1.Node.isTemplateExpression(returnExpr)) {
+            const head = returnExpr
+                .getHead()
+                .getLiteralText();
+            console.log(`[FunctionalReturnAnalyzer] ✅ "${calleeName}" returns TemplateExpression ` +
+                `(head: "${head}") @ line ${line}. Bindings: ${JSON.stringify(Object.fromEntries(bindings))}`);
+            return {
+                kind: "template",
+                templateNode: returnExpr,
+                bindings,
+                functionFile: sourceFile,
+                functionLine: line,
+            };
+        }
+        return {
+            kind: "complex",
+            reason: `"${calleeName}" return expression is ${returnExpr.getKindName()} — not directly healable`,
+        };
+    }
+}
+exports.FunctionalReturnAnalyzer = FunctionalReturnAnalyzer;
+// ═══════════════════════════════════════════════════════════════════
+// Private helpers
+// ═══════════════════════════════════════════════════════════════════
+function findVarDeclInFile(sourceFile, varName, beforeLine) {
+    const text = sourceFile.getFullText();
+    const lines = text.split("\n");
+    let beforeOffset = 0;
+    for (let i = 0; i < Math.min(beforeLine - 1, lines.length); i++) {
+        beforeOffset += lines[i].length + 1;
+    }
+    let best = null;
+    let bestOffset = -1;
+    for (const decl of sourceFile.getDescendantsOfKind(ts_morph_1.SyntaxKind.VariableDeclaration)) {
+        if (decl.getName() !== varName)
+            continue;
+        const offset = decl.getStart();
+        if (offset < beforeOffset && offset > bestOffset) {
+            best = decl;
+            bestOffset = offset;
+        }
+    }
+    return best;
+}
+function findImportedSymbol(sourceFile, symbolName) {
+    for (const importDecl of sourceFile.getImportDeclarations()) {
+        const modulePath = importDecl.getModuleSpecifierValue();
+        // Default import: import Foo from '...'
+        const defaultImport = importDecl.getDefaultImport();
+        if (defaultImport?.getText() === symbolName) {
+            return { modulePath, symbolName };
+        }
+        // Named imports: import { Foo, Bar as B } from '...'
+        for (const named of importDecl.getNamedImports()) {
+            const localName = named.getAliasNode()?.getText() ?? named.getName();
+            if (localName === symbolName) {
+                return { modulePath, symbolName: named.getName() };
+            }
+        }
+        // Namespace import: import * as NS from '...'
+        const nsImport = importDecl.getNamespaceImport();
+        if (nsImport?.getText() === symbolName) {
+            return { modulePath, symbolName };
+        }
+    }
+    return null;
+}
+function findFunctionBody(sourceFile, fnName) {
+    // 1. FunctionDeclaration: function getScopedInput(...) { ... }
+    const fnDecl = sourceFile.getFunction(fnName);
+    if (fnDecl) {
+        const params = fnDecl.getParameters().map((p) => p.getName());
+        const body = fnDecl.getBody();
+        if (!body)
+            return null;
+        const returnExpr = extractReturnExpression(body);
+        if (!returnExpr)
+            return null;
+        return { returnExpr, params, line: fnDecl.getStartLineNumber() };
+    }
+    // 2. const fnName = (...) => expr  or  const fnName = function(...) { ... }
+    for (const decl of sourceFile.getDescendantsOfKind(ts_morph_1.SyntaxKind.VariableDeclaration)) {
+        if (decl.getName() !== fnName)
+            continue;
+        const init = decl.getInitializer();
+        if (!init)
+            continue;
+        if (ts_morph_1.Node.isArrowFunction(init)) {
+            const arrow = init;
+            const params = arrow.getParameters().map((p) => p.getName());
+            const body = arrow.getBody();
+            // Concise body: (role) => `...`  — body IS the return expression.
+            if (!ts_morph_1.Node.isBlock(body)) {
+                return { returnExpr: body, params, line: decl.getStartLineNumber() };
+            }
+            const returnExpr = extractReturnExpression(body);
+            if (!returnExpr)
+                return null;
+            return { returnExpr, params, line: decl.getStartLineNumber() };
+        }
+        if (ts_morph_1.Node.isFunctionExpression(init)) {
+            const fnExpr = init;
+            const params = fnExpr.getParameters().map((p) => p.getName());
+            const body = fnExpr.getBody();
+            const returnExpr = extractReturnExpression(body);
+            if (!returnExpr)
+                return null;
+            return { returnExpr, params, line: decl.getStartLineNumber() };
+        }
+    }
+    return null;
+}
+function extractReturnExpression(body) {
+    // Concise arrow body — the node itself is the return value.
+    if (!ts_morph_1.Node.isBlock(body))
+        return body;
+    // Block body: search for ReturnStatement.
+    const returnStmts = body.getDescendantsOfKind(ts_morph_1.SyntaxKind.ReturnStatement);
+    if (returnStmts.length === 0)
+        return null;
+    // Use the first one — for conditional returns we signal COMPLEX upstream.
+    return returnStmts[0].getExpression() ?? null;
+}

package/dist/services/DnaEditorService.d.ts

@@ -0,0 +1,31 @@
+import type { ElementSnapshotV2 } from '../types/index.js';
+export interface ValidationResult {
+    valid: boolean;
+    errors: string[];
+}
+export interface DnaSnapshotExtended extends ElementSnapshotV2 {
+    selector: string;
+    testTitle?: string;
+    sourceFile?: string;
+    sourceLine?: number;
+    lastHealed?: string | null;
+    status?: 'healed' | 'broken';
+    originalSelector?: string;
+    healedSelector?: string;
+}
+export type DnaPatch = Partial<DnaSnapshotExtended>;
+export interface IDnaEditorService {
+    read(key: string): Promise<DnaSnapshotExtended>;
+    write(key: string, patch: DnaPatch): Promise<string>;
+    rollback(key: string): Promise<void>;
+    validate(candidate: unknown): ValidationResult;
+}
+export declare class DnaEditorService implements IDnaEditorService {
+    private readonly snapshotDir;
+    constructor(snapshotDir: string);
+    read(key: string): Promise<DnaSnapshotExtended>;
+    write(key: string, patch: DnaPatch): Promise<string>;
+    rollback(key: string): Promise<void>;
+    validate(candidate: unknown): ValidationResult;
+}
+//# sourceMappingURL=DnaEditorService.d.ts.map

package/dist/services/DnaEditorService.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DnaEditorService.d.ts","sourceRoot":"","sources":["../../src/services/DnaEditorService.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAID,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC7B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAEpD,MAAM,WAAW,iBAAiB;IAChC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAChD,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,gBAAgB,CAAC;CAChD;AA4BD,qBAAa,gBAAiB,YAAW,iBAAiB;IAC5C,OAAO,CAAC,QAAQ,CAAC,WAAW;gBAAX,WAAW,EAAE,MAAM;IAE1C,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAgB/C,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;IAwCpD,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAa1C,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,gBAAgB;CAoG/C"}