sela-core 1.0.7 → 1.0.9

package/dist/services/ChainValidator.js

@@ -6,11 +6,11 @@
 //
 // Runs 5 sequential guards before any AST mutation occurs:
 //
-//   [1] SchemaValidator    — required fields, no unknown segment types
-//   [2] TypeFlowValidator  — tracks Locator|FrameLocator state
-//   [3] ReceiverValidator  — root must match original chain's receiver
-//   [4] PlacementValidator — filter() / nth() / first() only after Locator
-//   [5] SemanticUpgrader   — upgrades flat CSS to semantic where possible
+//   [1] SchemaValidator    - required fields, no unknown segment types
+//   [2] TypeFlowValidator  - tracks Locator|FrameLocator state
+//   [3] ReceiverValidator  - root must match original chain's receiver
+//   [4] PlacementValidator - filter() / nth() / first() only after Locator
+//   [5] SemanticUpgrader   - upgrades flat CSS to semantic where possible
 //
 // Each guard returns a ValidationResult. The pipeline short-circuits on
 // the first REJECT, falling back to the original flat-CSS strategy.
@@ -139,7 +139,7 @@ const VALID_ARIA_ROLES = new Set([
     "generic",
 ]);
 // ─────────────────────────────────────────────────────────────────
-// GUARD 1 — Schema Validator
+// GUARD 1 - Schema Validator
 // ─────────────────────────────────────────────────────────────────
 function schemaValidate(segments) {
     if (!Array.isArray(segments) || segments.length === 0) {
@@ -226,7 +226,7 @@ function schemaValidate(segments) {
     return { valid: true };
 }
 // ─────────────────────────────────────────────────────────────────
-// GUARD 2 — Type Flow Validator
+// GUARD 2 - Type Flow Validator
 //
 // Simulates the chain execution, tracking whether the current
 // expression is a Locator, FrameLocator, or Page/unknown.
@@ -266,13 +266,13 @@ function typeFlowValidate(segments, rootType) {
     if (currentType === "FrameLocator") {
         return {
             valid: false,
-            reason: "chain ends on FrameLocator — assertions require a Locator at the end",
+            reason: "chain ends on FrameLocator - assertions require a Locator at the end",
         };
     }
     return { valid: true };
 }
 // ─────────────────────────────────────────────────────────────────
-// GUARD 3 — Receiver Validator
+// GUARD 3 - Receiver Validator
 //
 // The first segment's effective receiver must be compatible with
 // the original code's root receiver. Prevents `page.getByRole()`
@@ -284,14 +284,14 @@ function receiverValidate(segments, originalRootReceiver, proposedRootReceiver)
     // If both are "page" or both are the same variable, we're fine
     if (orig === proposed)
         return { valid: true };
-    // "page" is a global receiver — the AI sometimes proposes it even when
+    // "page" is a global receiver - the AI sometimes proposes it even when
     // the original chain was scoped. This is only acceptable if the original
     // chain itself started from "page".
     const PAGE_RECEIVERS = new Set(["page", "context", "browser"]);
     if (PAGE_RECEIVERS.has(proposed) && !PAGE_RECEIVERS.has(orig)) {
         return {
             valid: false,
-            reason: `receiver mismatch: original chain rooted at "${orig}" but proposed chain starts from "${proposed}" — this would change element scope`,
+            reason: `receiver mismatch: original chain rooted at "${orig}" but proposed chain starts from "${proposed}" - this would change element scope`,
         };
     }
     // If the original root is a local variable and proposed is different,
@@ -299,14 +299,14 @@ function receiverValidate(segments, originalRootReceiver, proposedRootReceiver)
     // We allow this since sometimes variables are renamed but semantically
     // equivalent.
     if (!PAGE_RECEIVERS.has(orig) && !PAGE_RECEIVERS.has(proposed)) {
-        // Both are custom variables — trust the AI's context
-        console.warn(`[ChainValidator] ⚠️ Receiver mismatch: "${orig}" vs "${proposed}" — proceeding cautiously`);
+        // Both are custom variables - trust the AI's context
+        console.warn(`[ChainValidator] ⚠️ Receiver mismatch: "${orig}" vs "${proposed}" - proceeding cautiously`);
         return { valid: true };
     }
     return { valid: true };
 }
 // ─────────────────────────────────────────────────────────────────
-// GUARD 4 — Placement Validator
+// GUARD 4 - Placement Validator
 //
 // Validates placement-sensitive rules:
 //   - filter/first/last/nth must follow a Locator-producing segment
@@ -322,7 +322,7 @@ function placementValidate(segments) {
             if (prev.type === "frameLocator") {
                 return {
                     valid: false,
-                    reason: `segment[${i}] .${seg.type}() placed immediately after frameLocator() — invalid`,
+                    reason: `segment[${i}] .${seg.type}() placed immediately after frameLocator() - invalid`,
                 };
             }
         }
@@ -335,7 +335,7 @@ function placementValidate(segments) {
             if (!hasAnyPredicate) {
                 return {
                     valid: false,
-                    reason: `segment[${i}] filter() has all-empty predicates — would be a no-op`,
+                    reason: `segment[${i}] filter() has all-empty predicates - would be a no-op`,
                 };
             }
         }
@@ -343,16 +343,16 @@ function placementValidate(segments) {
     return { valid: true };
 }
 // ─────────────────────────────────────────────────────────────────
-// GUARD 5 — Semantic Upgrader
+// GUARD 5 - Semantic Upgrader
 //
 // Opportunistically upgrades flat CSS locator segments to semantic
 // equivalents following Playwright's priority hierarchy:
 //   1. getByTestId  (data-testid)
 //   2. getByRole    (aria role inference from CSS)
 //   3. getByLabel   (form elements)
-//   4. locator      (CSS — unchanged)
+//   4. locator      (CSS - unchanged)
 //
-// This guard NEVER rejects — it only upgrades and returns the
+// This guard NEVER rejects - it only upgrades and returns the
 // possibly-improved segments.
 // ─────────────────────────────────────────────────────────────────
 const ROLE_BY_TAG = {
@@ -396,12 +396,12 @@ function tryUpgradeToSemantic(seg) {
             return { type: "getByRole", role };
         }
     }
-    // Priority 3b: button[type="submit"] or button.classname — still a button role
+    // Priority 3b: button[type="submit"] or button.classname - still a button role
     const buttonMatch = css.match(/^button(?:[.[#][^\s]*)?$/);
     if (buttonMatch) {
         return { type: "getByRole", role: "button" };
     }
-    // Priority 4: has-text() — convert to getByText
+    // Priority 4: has-text() - convert to getByText
     const hasTextMatch = css.match(/^.*:has-text\(["']([^"']+)["']\)$/);
     if (hasTextMatch) {
         return { type: "getByText", text: hasTextMatch[1] };
@@ -506,7 +506,7 @@ class ChainValidator {
         // Guard 2: Type flow
         const effectiveRootType = rootType === "unknown" ? "Locator" : rootType;
         // For Page-level (page.xxx), the root is not yet a Locator/FrameLocator
-        // — we treat the first segment as the producer.
+        // - we treat the first segment as the producer.
         const isPageReceiver = originalRootReceiver === "page" ||
             originalRootReceiver === "context" ||
             originalRootReceiver === "browser";

package/dist/services/CrossFileHealer.js

@@ -45,12 +45,12 @@ const InitializerUpdater_js_1 = require("./InitializerUpdater.js");
 // 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
+//   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 {
@@ -91,7 +91,7 @@ class CrossFileHealer {
         if (!traceResult.found) {
             // Follow re-export chains (barrel files).
             if (traceResult.crossFile) {
-                console.log(`[CrossFileHealer] 🔄 "${symbolName}" re-exported from "${traceResult.modulePath}" — following chain`);
+                console.log(`[CrossFileHealer] 🔄 "${symbolName}" re-exported from "${traceResult.modulePath}" - following chain`);
                 return CrossFileHealer.heal(traceResult.modulePath, traceResult.symbolName, newValue, externalPath, project, depth + 1);
             }
             return {

package/dist/services/DecisionEngine.d.ts

@@ -0,0 +1,51 @@
+import { Node, Block } from "ts-morph";
+import { AnchorKey, SourceSpan } from "./AnchorResolver";
+import { TraceTarget } from "./TraceBackEngine";
+export type DecisionStrategy = "MUTATE_IN_PLACE" | "FORK_AT_TEST" | "PROMPT_INTERACTIVE";
+export interface Edit {
+    kind: "replace" | "insert";
+    span: SourceSpan;
+    replacement: string;
+}
+export interface Decision {
+    strategy: DecisionStrategy;
+    reason: string;
+    /** Read-reference count to the declaration (the blast radius). */
+    blastRadius: number;
+    /** Distinct test/it blocks referencing the declaration. */
+    consumerTests: number;
+    /** Ordered edits. Apply via applyEdits (high→low offset). */
+    edits: Edit[];
+    /** When forking, the (possibly fresh) shadow variable name. */
+    forkVarName?: string;
+    /** 0..1 routing confidence (§5.3). */
+    confidence: number;
+    anchor: AnchorKey;
+}
+export interface DecideInput {
+    target: TraceTarget;
+    /** A node inside the FAILING statement — used to locate the test block. */
+    failingCallSite: Node;
+    /** Healed locator EXPRESSION text, e.g. `page.locator(".btn-v2")`. */
+    newLocatorExpr: string;
+    /** Runtime: only the failing test needs the new selector. */
+    contextSpecific: boolean;
+    /** Runtime: the selector rotted for ALL consumers (proven global). */
+    globalCorrect: boolean;
+}
+export declare class DecisionEngine {
+    static decide(input: DecideInput): Decision;
+}
+/**
+ * The Block of the nearest enclosing `test(...)` / `it(...)` callback. Hooks
+ * (`beforeEach`, etc.) are intentionally NOT matched — we fork into the test
+ * that failed, never into the shared hook.
+ */
+export declare function findEnclosingTestBlock(node: Node): Block | null;
+/**
+ * Apply edits to `original`, highest offset first so earlier offsets stay
+ * valid (the reverse-offset rule from the concurrency design §3.3.4).
+ * Throws on overlapping replace spans — never produces torn text.
+ */
+export declare function applyEdits(original: string, edits: Edit[]): string;
+//# sourceMappingURL=DecisionEngine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DecisionEngine.d.ts","sourceRoot":"","sources":["../../src/services/DecisionEngine.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,IAAI,EAAc,KAAK,EAAE,MAAM,UAAU,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEzD,OAAO,EACL,WAAW,EAGZ,MAAM,mBAAmB,CAAC;AAM3B,MAAM,MAAM,gBAAgB,GACxB,iBAAiB,GACjB,cAAc,GACd,oBAAoB,CAAC;AAEzB,MAAM,WAAW,IAAI;IACnB,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,WAAW,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,aAAa,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,2EAA2E;IAC3E,eAAe,EAAE,IAAI,CAAC;IACtB,sEAAsE;IACtE,cAAc,EAAE,MAAM,CAAC;IACvB,6DAA6D;IAC7D,eAAe,EAAE,OAAO,CAAC;IACzB,sEAAsE;IACtE,aAAa,EAAE,OAAO,CAAC;CACxB;AAMD,qBAAa,cAAc;IACzB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,QAAQ;CAuD5C;AAqJD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,CAc/D;AAwCD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,CAsBlE"}

package/dist/services/DecisionEngine.js

@@ -0,0 +1,260 @@
+"use strict";
+// src/services/DecisionEngine.ts
+//
+// Ticket #2 — Stage 3: The Decision Tree & Multi-Consumer Forking.
+//
+// Final semantic phase. Given a trace-back TARGET (Stage 2) + the proposed
+// healed locator expression + runtime evidence, decide HOW to write it:
+//
+//   refsToDecl <= 1 ............................. MUTATE_IN_PLACE
+//   refsToDecl  > 1 & globalCorrect ............. MUTATE_IN_PLACE (all rot)
+//   refsToDecl  > 1 & contextSpecific ........... FORK_AT_TEST
+//   refsToDecl  > 1 & scope undeterminable ...... PROMPT_INTERACTIVE
+//
+// FORK_AT_TEST injects a collision-safe shadowing `const <name> = <expr>;`
+// at the top of the FAILING test's block so the other consumers of the
+// shared declaration (e.g. a `beforeEach` locator used by 4 other passing
+// tests) are left untouched. Same-name shadow keeps the call-site intact;
+// a real name collision falls back to a fresh name + a call-site rewrite.
+//
+// Reference census is delegated to BlastRadiusAnalyzer (cross-file accurate
+// via the ts-morph language service) — we do not re-implement findReferences.
+//
+// PURE: produces an edit plan; never writes to disk.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DecisionEngine = void 0;
+exports.findEnclosingTestBlock = findEnclosingTestBlock;
+exports.applyEdits = applyEdits;
+const ts_morph_1 = require("ts-morph");
+const BlastRadiusAnalyzer_1 = require("./BlastRadiusAnalyzer");
+const TraceBackEngine_1 = require("./TraceBackEngine");
+// ═══════════════════════════════════════════════════════════════════
+// DecisionEngine
+// ═══════════════════════════════════════════════════════════════════
+class DecisionEngine {
+    static decide(input) {
+        const { target, newLocatorExpr } = input;
+        // Inline call-site or non-declaration target: the call-site is unique,
+        // there is nothing to share → mutate in place.
+        if (target.declKind === "InlineCallSite" || !target.declaration) {
+            return mutateInPlace(target, newLocatorExpr, 1, 1, "inline call-site");
+        }
+        // Reference census (delegated, cross-file accurate).
+        const { totalReferences, consumerTests } = census(target);
+        // ── refs <= 1 → safe global mutation ────────────────────────────
+        if (totalReferences <= 1) {
+            return mutateInPlace(target, newLocatorExpr, totalReferences, consumerTests, `single consumer (refs=${totalReferences})`);
+        }
+        // ── refs > 1 → multi-consumer ───────────────────────────────────
+        if (input.globalCorrect) {
+            return mutateInPlace(target, newLocatorExpr, totalReferences, consumerTests, `multi-consumer but selector rot is global (refs=${totalReferences})`, 0.85);
+        }
+        if (input.contextSpecific) {
+            const fork = buildFork(input, totalReferences, consumerTests);
+            if (fork)
+                return fork;
+            // Could not locate a test block to fork into → escalate.
+            return promptInteractive(target, totalReferences, consumerTests, "context-specific fix but no enclosing test block to fork into");
+        }
+        // Scope undeterminable → never silently break the other consumers.
+        return promptInteractive(target, totalReferences, consumerTests, `multi-consumer (refs=${totalReferences}) and scope undeterminable — global-vs-fork needs a human`);
+    }
+}
+exports.DecisionEngine = DecisionEngine;
+// ═══════════════════════════════════════════════════════════════════
+// REFERENCE CENSUS
+// ═══════════════════════════════════════════════════════════════════
+function census(target) {
+    const decl = target.declaration;
+    try {
+        const report = BlastRadiusAnalyzer_1.BlastRadiusAnalyzer.analyze(decl, decl.getSourceFile(), decl.getProject());
+        return {
+            totalReferences: report.totalReferences,
+            consumerTests: report.testFunctionCount,
+        };
+    }
+    catch {
+        // Census failure must not crash the pipeline; treat as single-consumer
+        // (the conservative MUTATE_IN_PLACE path the caller can still gate).
+        return { totalReferences: 1, consumerTests: 1 };
+    }
+}
+// ═══════════════════════════════════════════════════════════════════
+// PLAN BUILDERS
+// ═══════════════════════════════════════════════════════════════════
+function mutateInPlace(target, newLocatorExpr, blastRadius, consumerTests, reason, confidence = 0.9) {
+    return {
+        strategy: "MUTATE_IN_PLACE",
+        reason,
+        blastRadius,
+        consumerTests,
+        confidence,
+        anchor: target.anchor,
+        edits: [
+            {
+                kind: "replace",
+                span: {
+                    start: target.targetNode.getStart(),
+                    end: target.targetNode.getEnd(),
+                },
+                replacement: newLocatorExpr,
+            },
+        ],
+    };
+}
+function promptInteractive(target, blastRadius, consumerTests, reason) {
+    return {
+        strategy: "PROMPT_INTERACTIVE",
+        reason,
+        blastRadius,
+        consumerTests,
+        confidence: 0.4,
+        anchor: target.anchor,
+        edits: [], // no auto-edit; the CLI prompts the user
+    };
+}
+function buildFork(input, blastRadius, consumerTests) {
+    const { target, failingCallSite, newLocatorExpr } = input;
+    const testBlock = findEnclosingTestBlock(failingCallSite);
+    if (!testBlock)
+        return null;
+    const baseName = target.symbolName ?? "healedLocator";
+    // Collision-safe shadow naming. A plain block-scoped `const` of the SAME
+    // name legally shadows the outer (beforeEach/describe) declaration and the
+    // call-site needs no rewrite. Only when the failing test block ALREADY
+    // declares that name locally do we need a fresh name + call-site rewrite.
+    const localNames = collectBlockLocalNames(testBlock);
+    let forkVarName = baseName;
+    let needsCallSiteRewrite = false;
+    if (localNames.has(baseName)) {
+        forkVarName = freshName(baseName, localNames);
+        needsCallSiteRewrite = true;
+    }
+    const edits = [];
+    // 1. Insert the shadow declaration at the top of the test block.
+    const stmts = testBlock.getStatements();
+    const indent = stmts[0]?.getIndentationText() ?? "  ";
+    const insertPos = stmts[0]
+        ? stmts[0].getStart()
+        : testBlock.getStart() + 1; // just after the `{`
+    const insertText = stmts[0]
+        ? `const ${forkVarName} = ${newLocatorExpr};\n${indent}`
+        : `\n${indent}const ${forkVarName} = ${newLocatorExpr};\n`;
+    edits.push({
+        kind: "insert",
+        span: { start: insertPos, end: insertPos },
+        replacement: insertText,
+    });
+    // 2. If we had to rename, rewrite the failing call-site receiver.
+    if (needsCallSiteRewrite) {
+        const top = (0, TraceBackEngine_1.climbToTopCall)(failingCallSite);
+        if (top) {
+            const { leftmost } = (0, TraceBackEngine_1.getLeftmostReceiver)(top);
+            if (ts_morph_1.Node.isIdentifier(leftmost) && leftmost.getText() === baseName) {
+                edits.push({
+                    kind: "replace",
+                    span: { start: leftmost.getStart(), end: leftmost.getEnd() },
+                    replacement: forkVarName,
+                });
+            }
+        }
+    }
+    return {
+        strategy: "FORK_AT_TEST",
+        reason: `multi-consumer (refs=${blastRadius}, tests=${consumerTests}); context-specific fix forked into the failing test as "${forkVarName}"`,
+        blastRadius,
+        consumerTests,
+        confidence: 0.75,
+        forkVarName,
+        anchor: target.anchor,
+        edits,
+    };
+}
+// ═══════════════════════════════════════════════════════════════════
+// TEST-BLOCK / SCOPE HELPERS
+// ═══════════════════════════════════════════════════════════════════
+/**
+ * The Block of the nearest enclosing `test(...)` / `it(...)` callback. Hooks
+ * (`beforeEach`, etc.) are intentionally NOT matched — we fork into the test
+ * that failed, never into the shared hook.
+ */
+function findEnclosingTestBlock(node) {
+    let cur = node;
+    while (cur) {
+        if (ts_morph_1.Node.isCallExpression(cur) && isTestCall(cur)) {
+            for (const arg of cur.getArguments()) {
+                if (ts_morph_1.Node.isArrowFunction(arg) || ts_morph_1.Node.isFunctionExpression(arg)) {
+                    const body = arg.getBody();
+                    if (body && ts_morph_1.Node.isBlock(body))
+                        return body;
+                }
+            }
+        }
+        cur = cur.getParent();
+    }
+    return null;
+}
+function isTestCall(call) {
+    if (!ts_morph_1.Node.isCallExpression(call))
+        return false;
+    const expr = call.getExpression();
+    const base = ts_morph_1.Node.isPropertyAccessExpression(expr)
+        ? expr.getExpression().getText()
+        : expr.getText();
+    return base === "test" || base === "it";
+}
+/** Names declared LOCALLY in this block (top-level var statements + fns). */
+function collectBlockLocalNames(block) {
+    const names = new Set();
+    for (const stmt of block.getStatements()) {
+        if (ts_morph_1.Node.isVariableStatement(stmt)) {
+            for (const d of stmt.getDeclarations()) {
+                const n = d.getNameNode();
+                if (ts_morph_1.Node.isIdentifier(n))
+                    names.add(n.getText());
+            }
+        }
+        else if (ts_morph_1.Node.isFunctionDeclaration(stmt)) {
+            const nm = stmt.getName();
+            if (nm)
+                names.add(nm);
+        }
+    }
+    return names;
+}
+function freshName(base, taken) {
+    const candidate = `${base}Healed`;
+    if (!taken.has(candidate))
+        return candidate;
+    let i = 2;
+    while (taken.has(`${candidate}${i}`))
+        i++;
+    return `${candidate}${i}`;
+}
+// ═══════════════════════════════════════════════════════════════════
+// PURE EDIT APPLICATION (used by callers + tests)
+// ═══════════════════════════════════════════════════════════════════
+/**
+ * Apply edits to `original`, highest offset first so earlier offsets stay
+ * valid (the reverse-offset rule from the concurrency design §3.3.4).
+ * Throws on overlapping replace spans — never produces torn text.
+ */
+function applyEdits(original, edits) {
+    const sorted = [...edits].sort((a, b) => b.span.start - a.span.start);
+    for (let i = 1; i < sorted.length; i++) {
+        const prev = sorted[i - 1];
+        const cur = sorted[i];
+        // prev.start >= cur.start (desc). Overlap if cur.end > prev.start AND
+        // both are replacements (inserts are zero-width and may share a point).
+        if (cur.span.end > prev.span.start &&
+            prev.kind === "replace" &&
+            cur.kind === "replace") {
+            throw new Error(`[DecisionEngine] overlapping edits at ${cur.span.start}..${cur.span.end} and ${prev.span.start}..${prev.span.end}`);
+        }
+    }
+    let text = original;
+    for (const e of sorted) {
+        text = text.slice(0, e.span.start) + e.replacement + text.slice(e.span.end);
+    }
+    return text;
+}

package/dist/services/DefinitionTracer.d.ts

@@ -3,7 +3,7 @@ export type TraceResult = {
     found: true;
     targetNode: Node;
     targetFile: SourceFile;
-    /** The enclosing VariableDeclaration or PropertyAssignment — used by BlastRadiusAnalyzer. */
+    /** The enclosing VariableDeclaration or PropertyAssignment - used by BlastRadiusAnalyzer. */
     declarationNode?: Node;
 } | {
     found: false;

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

@@ -1 +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"}
+{"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;IA0Fd,MAAM,CAAC,mBAAmB,CACxB,cAAc,EAAE,IAAI,EACpB,UAAU,EAAE,UAAU,EACtB,UAAU,EAAE,MAAM,GACjB,WAAW;IA+Ed,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,GAAG,WAAW;CAkC5E;AASD,qBAAa,wBAAwB;IACnC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,GAAG,kBAAkB;CAmF3E"}

package/dist/services/DefinitionTracer.js

@@ -5,8 +5,8 @@ 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.
+// 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.
@@ -42,9 +42,14 @@ class DefinitionTracer {
             }
             console.log(`[DefinitionTracer] ✅ traceIdentifier: "${symbolName}" → ` +
                 `${init.getKindName()} @ ${sourceFile.getBaseName()}:${init.getStartLineNumber()}`);
-            return { found: true, targetNode: init, targetFile: sourceFile, declarationNode: decl };
+            return {
+                found: true,
+                targetNode: init,
+                targetFile: sourceFile,
+                declarationNode: decl,
+            };
         }
-        // 2. Symbol not in file — check import declarations.
+        // 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)`);
@@ -71,7 +76,7 @@ class DefinitionTracer {
             }
         }
         catch {
-            // Language service unavailable — not an error.
+            // Language service unavailable - not an error.
         }
         return {
             found: false,
@@ -115,7 +120,7 @@ class DefinitionTracer {
                 reason: `"${objectName}" initializer is not an ObjectLiteralExpression (got ${init?.getKindName() ?? "none"})`,
             };
         }
-        // ts-morph getProperty(name) — returns the first matching property.
+        // ts-morph getProperty(name) - returns the first matching property.
         const prop = init.getProperty(propName);
         if (!prop || !ts_morph_1.Node.isPropertyAssignment(prop)) {
             return {
@@ -135,10 +140,15 @@ class DefinitionTracer {
         console.log(`[DefinitionTracer] ✅ tracePropertyAccess: "${objectName}.${propName}" → ` +
             `${valueNode.getKindName()} "${valueNode.getText()}" ` +
             `@ ${sourceFile.getBaseName()}:${valueNode.getStartLineNumber()}`);
-        return { found: true, targetNode: valueNode, targetFile: sourceFile, declarationNode: prop };
+        return {
+            found: true,
+            targetNode: valueNode,
+            targetFile: sourceFile,
+            declarationNode: prop,
+        };
     }
     // ─────────────────────────────────────────────────────────────────
-    // traceByName — used by CrossFileHealer
+    // traceByName - used by CrossFileHealer
     //
     // Like traceIdentifier but takes a plain symbol name string instead
     // of an Identifier node.  Searches the entire file (no callerLine
@@ -166,7 +176,12 @@ class DefinitionTracer {
         }
         console.log(`[DefinitionTracer] ✅ traceByName: "${symbolName}" → ` +
             `${init.getKindName()} @ ${sourceFile.getBaseName()}:${init.getStartLineNumber()}`);
-        return { found: true, targetNode: init, targetFile: sourceFile, declarationNode: decl };
+        return {
+            found: true,
+            targetNode: init,
+            targetFile: sourceFile,
+            declarationNode: decl,
+        };
     }
 }
 exports.DefinitionTracer = DefinitionTracer;
@@ -241,7 +256,7 @@ class FunctionalReturnAnalyzer {
         }
         return {
             kind: "complex",
-            reason: `"${calleeName}" return expression is ${returnExpr.getKindName()} — not directly healable`,
+            reason: `"${calleeName}" return expression is ${returnExpr.getKindName()} - not directly healable`,
         };
     }
 }
@@ -316,7 +331,7 @@ function findFunctionBody(sourceFile, fnName) {
             const arrow = init;
             const params = arrow.getParameters().map((p) => p.getName());
             const body = arrow.getBody();
-            // Concise body: (role) => `...`  — body IS the return expression.
+            // Concise body: (role) => `...`  - body IS the return expression.
             if (!ts_morph_1.Node.isBlock(body)) {
                 return { returnExpr: body, params, line: decl.getStartLineNumber() };
             }
@@ -338,13 +353,13 @@ function findFunctionBody(sourceFile, fnName) {
     return null;
 }
 function extractReturnExpression(body) {
-    // Concise arrow body — the node itself is the return value.
+    // 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.
+    // Use the first one - for conditional returns we signal COMPLEX upstream.
     return returnStmts[0].getExpression() ?? null;
 }

package/dist/services/DnaEditorService.d.ts

@@ -1,4 +1,4 @@
-import type { ElementSnapshotV2 } from '../types/index.js';
+import type { ElementSnapshotV2 } from "../types/index.js";
 export interface ValidationResult {
     valid: boolean;
     errors: string[];
@@ -9,7 +9,7 @@ export interface DnaSnapshotExtended extends ElementSnapshotV2 {
     sourceFile?: string;
     sourceLine?: number;
     lastHealed?: string | null;
-    status?: 'healed' | 'broken';
+    status?: "healed" | "broken";
     originalSelector?: string;
     healedSelector?: string;
 }

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

@@ -1 +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"}
+{"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;AA6BD,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;IA2CpD,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAa1C,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,gBAAgB;CA4H/C"}