sela-core 0.1.0-alpha.36 → 0.1.0-alpha.37

package/dist/config/DryRunGuard.d.ts

@@ -10,5 +10,20 @@ export declare const DryRunGuard: {
      * and a real run is auditable in test output and CI logs.
      */
     logSkippedWrite(label: string, target: string): void;
+    /**
+     * Run `fn` with the dry-run gate forcibly ACTIVE, restoring the prior
+     * `SELA_DRY_RUN` value afterwards. Every write-head consulted by `fn`
+     * (SourceUpdater, ASTSourceUpdater, InitializerUpdater, CrossFileHealer,
+     * git auto-commit) sees `active() === true` and skips its disk write, so
+     * the scope is a hard zero-write guarantee — used for speculative
+     * "what would the heal look like" previews (e.g. the shared-locator
+     * bypass ghost diff) that must compute a mutation in memory without
+     * touching the source tree.
+     *
+     * Safe under Sela's execution model: heals are awaited serially within a
+     * worker and Playwright workers are separate processes, so the transient
+     * env mutation cannot leak across a concurrent heal.
+     */
+    runSuppressed<T>(fn: () => Promise<T> | T): Promise<T>;
 };
 //# sourceMappingURL=DryRunGuard.d.ts.map

package/dist/config/DryRunGuard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DryRunGuard.d.ts","sourceRoot":"","sources":["../../src/config/DryRunGuard.ts"],"names":[],"mappings":"AA4BA,eAAO,MAAM,WAAW;IACtB;;;;OAIG;iBACS,MAAM,CAAC,UAAU,GAAiB,OAAO;IAIrD;;;OAGG;2BACoB,MAAM,UAAU,MAAM,GAAG,IAAI;CAIrD,CAAC"}
+{"version":3,"file":"DryRunGuard.d.ts","sourceRoot":"","sources":["../../src/config/DryRunGuard.ts"],"names":[],"mappings":"AA4BA,eAAO,MAAM,WAAW;IACtB;;;;OAIG;iBACS,MAAM,CAAC,UAAU,GAAiB,OAAO;IAIrD;;;OAGG;2BACoB,MAAM,UAAU,MAAM,GAAG,IAAI;IAKpD;;;;;;;;;;;;;OAaG;kBACiB,CAAC,MAAM,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;CAa7D,CAAC"}

package/dist/config/DryRunGuard.js

@@ -77,4 +77,34 @@ exports.DryRunGuard = {
         const display = target ? path.basename(target) : "<no-path>";
         logger_1.logger.debug(`Dry Run - skip ${label} → ${display}`);
     },
+    /**
+     * Run `fn` with the dry-run gate forcibly ACTIVE, restoring the prior
+     * `SELA_DRY_RUN` value afterwards. Every write-head consulted by `fn`
+     * (SourceUpdater, ASTSourceUpdater, InitializerUpdater, CrossFileHealer,
+     * git auto-commit) sees `active() === true` and skips its disk write, so
+     * the scope is a hard zero-write guarantee — used for speculative
+     * "what would the heal look like" previews (e.g. the shared-locator
+     * bypass ghost diff) that must compute a mutation in memory without
+     * touching the source tree.
+     *
+     * Safe under Sela's execution model: heals are awaited serially within a
+     * worker and Playwright workers are separate processes, so the transient
+     * env mutation cannot leak across a concurrent heal.
+     */
+    async runSuppressed(fn) {
+        const prev = process.env.SELA_DRY_RUN;
+        // Must be the strict token `parseEnvBoolean` accepts ("true"/"false") —
+        // "1" throws. MutationApplier is additionally pinned with write:false by
+        // callers, so its `=== "1"` dry-run check is not relied upon here.
+        process.env.SELA_DRY_RUN = "true";
+        try {
+            return await fn();
+        }
+        finally {
+            if (prev === undefined)
+                delete process.env.SELA_DRY_RUN;
+            else
+                process.env.SELA_DRY_RUN = prev;
+        }
+    },
 };

package/dist/engine/SelaEngine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SelaEngine.d.ts","sourceRoot":"","sources":["../../src/engine/SelaEngine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAcxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAG7C,OAAO,EAAe,QAAQ,EAAkB,MAAM,yBAAyB,CAAC;AAiGhF,qBAAa,UAAU;IACrB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,oBAAoB,CAAuB;IACnD,OAAO,CAAC,mBAAmB,CAAmB;IAC9C,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,SAAS,CAA6C;IAC9D,OAAO,CAAC,cAAc,CAAoC;IAC1D,OAAO,CAAC,eAAe,CAAkC;IAKzD,OAAO,CAAC,qBAAqB,CAAkC;;IA0BzD,YAAY,CAChB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAqEnB,IAAI,CACR,IAAI,EAAE,IAAI,EACV,YAAY,EAAE,MAAM,EACpB,mBAAmB,EAAE,MAAM,EAC3B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,QAAmB,GAC5B,OAAO,CAAC,MAAM,CAAC;IA06BlB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,aAAa;IAerB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,oBAAoB;IAoB5B;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,2BAA2B;IA4BnC,OAAO,CAAC,yBAAyB;IAgDjC,OAAO,CAAC,kBAAkB;IA8D1B,OAAO,CAAC,oBAAoB;IAyD5B,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IAIrD,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAI5E,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAK/B,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC;YAsJtB,aAAa;IAsB3B,OAAO,CAAC,0BAA0B;IA+BlC,OAAO,CAAC,WAAW;IA6Bb,wBAAwB,CAC5B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM;CAqBnB;AAED,OAAO,EAAE,CAAC"}
+{"version":3,"file":"SelaEngine.d.ts","sourceRoot":"","sources":["../../src/engine/SelaEngine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAcxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAG7C,OAAO,EAAe,QAAQ,EAAkB,MAAM,yBAAyB,CAAC;AAiGhF,qBAAa,UAAU;IACrB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,oBAAoB,CAAuB;IACnD,OAAO,CAAC,mBAAmB,CAAmB;IAC9C,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,SAAS,CAA6C;IAC9D,OAAO,CAAC,cAAc,CAAoC;IAC1D,OAAO,CAAC,eAAe,CAAkC;IAKzD,OAAO,CAAC,qBAAqB,CAAkC;;IA0BzD,YAAY,CAChB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAqEnB,IAAI,CACR,IAAI,EAAE,IAAI,EACV,YAAY,EAAE,MAAM,EACpB,mBAAmB,EAAE,MAAM,EAC3B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,QAAQ,GAAE,QAAmB,GAC5B,OAAO,CAAC,MAAM,CAAC;IAm9BlB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,aAAa;IAerB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,oBAAoB;IAoB5B;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,2BAA2B;IA4BnC,OAAO,CAAC,yBAAyB;IAgDjC,OAAO,CAAC,kBAAkB;IA8D1B,OAAO,CAAC,oBAAoB;IAyD5B,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IAIrD,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAI5E,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAK/B,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC;YAsJtB,aAAa;IAsB3B,OAAO,CAAC,0BAA0B;IA+BlC,OAAO,CAAC,WAAW;IA6Bb,wBAAwB,CAC5B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM;CAqBnB;AAED,OAAO,EAAE,CAAC"}

package/dist/engine/SelaEngine.js

@@ -586,7 +586,41 @@ If the text has NOT changed, omit the "contentChange" field entirely.`;
                         line,
                     });
                     if (census.shared) {
-                        const ghostDiff = (0, IsolatedDiff_1.generateUnifiedDiff)(`${diskOldElementSelector}\n`, `${diskNewSelector}\n`, { filePath: census.variablePath, context: 1, normalizeEol: true });
+                        // ROOT-DECLARATION GHOST DIFF (zero-write): reuse the same AST heal
+                        // engine HEALED events use, in a suppressed dry-run preview, so the
+                        // bypass card shows the elegant declaration-root mutation (uniform
+                        // with HEALED) instead of a raw selector-string swap. Falls back to
+                        // the legacy selector diff if the engine can't resolve a root.
+                        let ghostDiff = "";
+                        let previewDeclSite;
+                        try {
+                            const preview = await ASTSourceUpdater_1.ASTSourceUpdater.composeHealPreview({
+                                filePath: resolvedForCompose ?? filePath,
+                                line,
+                                newSelector: diskNewSelector,
+                                oldSelector: diskOldElementSelector,
+                            });
+                            ghostDiff = preview.ghostDiff;
+                            previewDeclSite = preview.definitionSite;
+                        }
+                        catch (err) {
+                            logger_1.logger.debug(`Bypass root-diff preview failed, using fallback: ${err?.message ?? err}`);
+                        }
+                        if (!ghostDiff) {
+                            ghostDiff = (0, IsolatedDiff_1.generateUnifiedDiff)(`${diskOldElementSelector}\n`, `${diskNewSelector}\n`, { filePath: census.variablePath, context: 1, normalizeEol: true });
+                        }
+                        // Declaration locus for the HTML highlight. census.variablePath is
+                        // "relative/path.ts:LINE"; prefer the preview's resolved site (gives
+                        // an accurate cross-file path) when available.
+                        const declColon = census.variablePath.lastIndexOf(":");
+                        const declarationFile = previewDeclSite?.file ??
+                            (declColon > 1
+                                ? census.variablePath.slice(0, declColon)
+                                : census.variablePath);
+                        const declarationLine = previewDeclSite?.line ??
+                            (declColon > 1
+                                ? Number(census.variablePath.slice(declColon + 1)) || undefined
+                                : undefined);
                         const message = `Sela Safety Guard: this locator is tied to a shared declaration at ` +
                             `${census.variablePath}, referenced by ${census.testFunctionCount} test(s). ` +
                             `Sela healed it in-memory to let this run pass, but did NOT mutate disk ` +
@@ -606,6 +640,8 @@ If the text has NOT changed, omit the "contentChange" field entirely.`;
                             oldSelector: elementSelectorOnly,
                             newSelector: newFullSelector,
                             variablePath: census.variablePath,
+                            declarationFile,
+                            declarationLine,
                             testFunctionCount: census.testFunctionCount,
                             affectedFiles: census.affectedFiles,
                             ghostDiff,

package/dist/services/ASTSourceUpdater.d.ts

@@ -17,6 +17,12 @@ export interface ASTUpdateResult {
         file: string;
         line: number;
     };
+    /**
+     * Speculative unified diff of the definition-site mutation (before → after),
+     * computed in memory. Populated by the cross-file healer so the shared-locator
+     * bypass preview can render a root-declaration diff without a disk write.
+     */
+    unifiedDiff?: string;
     /** Number of test functions referencing the mutated constant (blast radius). */
     blastRadius?: number;
 }
@@ -44,6 +50,13 @@ export interface ComposeHealInput {
     contextSpecific?: boolean;
     /** Runtime: selector rot is global across all consumers. */
     globalCorrect?: boolean;
+    /**
+     * When true, force MUTATE_IN_PLACE for arg-level diff preview regardless of
+     * consumer count.  Used by composeHealPreview so shared-variable diffs are
+     * computed even when decideArgs would normally return PROMPT_INTERACTIVE.
+     * Has no effect on disk: the caller must ensure write:false / DryRunGuard.
+     */
+    previewMode?: boolean;
     /** When true, write the result via MutationApplier (with the gate). */
     apply?: boolean;
     applyOptions?: ApplyOptions;
@@ -69,6 +82,33 @@ export declare class ASTSourceUpdater {
      * write it to disk through the type-safety gate.
      */
     static composeHeal(input: ComposeHealInput): Promise<ComposeHealResult>;
+    /**
+     * Speculative, ZERO-WRITE preview of the root-declaration heal.
+     *
+     * Runs the exact same trace-back + mutation engine `composeHeal` uses, but
+     * under a forcibly-suppressed dry-run scope AND with `write:false`, so NO
+     * write-head (MutationApplier, InitializerUpdater, CrossFileHealer) can touch
+     * disk. Returns the root-declaration unified diff a real heal WOULD have
+     * produced — used by the shared-locator bypass gate so its report card shows
+     * the elegant declaration-root diff (uniform with HEALED events) instead of a
+     * raw selector-string swap.
+     *
+     * The diff is sourced from the canonical heal pipeline:
+     *   • same-file paths (local const / same-file POM property) → MutationApplier
+     *     `outcome.microDiff`,
+     *   • cross-file imported declarations → `crossFileResult.unifiedDiff`.
+     *
+     * Returns an empty `ghostDiff` when the engine cannot resolve a root (trace
+     * abort / exotic shape); the caller falls back to the legacy selector diff.
+     */
+    static composeHealPreview(input: ComposeHealInput): Promise<{
+        ghostDiff: string;
+        definitionSite?: {
+            file: string;
+            line: number;
+        };
+        writtenLine?: number;
+    }>;
     /** Drain-loop entry: apply pre-built batches through the write gate. */
     static applyMutationBatches(batches: FileBatch[], opts?: ApplyOptions): ApplyOutcome[];
     /** Convert a DecisionEngine result into an anchored MutationApplier batch. */
@@ -140,6 +180,16 @@ export declare class ASTSourceUpdater {
     private updateObjectProperty;
     private lineToOffset;
     resolveFilePath(raw: string): string | null;
+    /**
+     * ZERO-WRITE preview of the legacy semantic definition-site heal. Reuses the
+     * REAL tracer (DefinitionTracer) + write-head (InitializerUpdater) via
+     * semanticDispatch with the high-blast BLOCK bypassed, so it computes the
+     * root-declaration diff a shared symbolic locator (identifier / property /
+     * cross-file) WOULD receive — covering the bypass cases composeHeal returns
+     * PROMPT_INTERACTIVE for. MUST run inside DryRunGuard.runSuppressed so
+     * InitializerUpdater keeps the mutation in memory and never touches disk.
+     */
+    previewSemanticHeal(caller: CallerContext, oldSelector: string, newSelector: string): ASTUpdateResult | null;
     private semanticDispatch;
     private applyDefinitionSiteHeal;
     private handleIdentifierArg;

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

@@ -1 +1 @@
-{"version":3,"file":"ASTSourceUpdater.d.ts","sourceRoot":"","sources":["../../src/services/ASTSourceUpdater.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAQ/C,OAAO,EAAE,cAAc,EAAgB,MAAM,mBAAmB,CAAC;AAOjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAmB,YAAY,EAAmC,MAAM,mBAAmB,CAAC;AACnG,OAAO,EAAkB,QAAQ,EAAc,MAAM,kBAAkB,CAAC;AAExE,OAAO,EAEL,SAAS,EAET,YAAY,EACZ,YAAY,EACb,MAAM,mBAAmB,CAAC;AAY3B,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kGAAkG;IAClG,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,wEAAwE;IACxE,cAAc,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,aAAa;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAg/DD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0EAA0E;IAC1E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oFAAoF;IACpF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,4DAA4D;IAC5D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,uEAAuE;IACvE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,YAAY,CAAC;IAC1C,KAAK,EAAE,YAAY,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4CAA4C;IAC5C,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAsRD,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,OAAO,CAAU;IACzB,QAAQ,CAAC,cAAc,iBAAwB;IAE/C,eAAe,IAAI,IAAI;IAYvB;;;;OAIG;WACU,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA+M7E,wEAAwE;IACxE,MAAM,CAAC,oBAAoB,CACzB,OAAO,EAAE,SAAS,EAAE,EACpB,IAAI,GAAE,YAAiB,GACtB,YAAY,EAAE;IAIjB,8EAA8E;IAC9E,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,SAAS;IA8BvE;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAgD/B;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAqBvB,qBAAqB,CAAC,MAAM,EAAE,aAAa,GAAG;QAC5C,QAAQ,EAAE,OAAO,CAAC;QAClB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB;IAsDD;;;;OAIG;IACH,wBAAwB,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI;;IAgCrD,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAcjC;IAEH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CA8B9B;IAEH,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAuB/B;IAMH,MAAM,CACJ,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,eAAe,EAAE,EAC9B,mBAAmB,CAAC,EAAE,MAAM,EAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EACpD,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,EACxC,iBAAiB,CAAC,EAAE,iBAAiB,EAAE,GACtC,eAAe;IA8QlB,OAAO,CAAC,kBAAkB;IAmM1B,OAAO,CAAC,uBAAuB;IA0F/B,OAAO,CAAC,qBAAqB;IAuF7B,OAAO,CAAC,YAAY;IAkDpB,OAAO,CAAC,qBAAqB;IA0G7B,OAAO,CAAC,4BAA4B;IAgRpC,OAAO,CAAC,yBAAyB;IAsGjC,OAAO,CAAC,uBAAuB;IAgD/B,OAAO,CAAC,4BAA4B;IA4EpC,OAAO,CAAC,qBAAqB;IA6B7B,OAAO,CAAC,oBAAoB;IAwB5B,OAAO,CAAC,gBAAgB;IAwBxB;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAahC,OAAO,CAAC,mBAAmB;IAuC3B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,kBAAkB;IAuB1B,OAAO,CAAC,2BAA2B;IAsCnC,OAAO,CAAC,yBAAyB;IAqCjC,OAAO,CAAC,yBAAyB;IA+CjC,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,cAAc;IAYtB,OAAO,CAAC,0BAA0B;IAmBlC,OAAO,CAAC,sBAAsB;IA2B9B,OAAO,CAAC,2BAA2B;IAoCnC,OAAO,CAAC,oBAAoB;IA2B5B,OAAO,CAAC,YAAY;IAUpB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAkB3C,OAAO,CAAC,gBAAgB;IAuGxB,OAAO,CAAC,uBAAuB;IAuE/B,OAAO,CAAC,mBAAmB;IA8F3B,OAAO,CAAC,6BAA6B;IA+CrC,OAAO,CAAC,uBAAuB;IAiF/B,OAAO,CAAC,wBAAwB;IA4HhC,OAAO,CAAC,mBAAmB;IAyD3B,OAAO,CAAC,uBAAuB;IA0F/B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,kBAAkB;CAgB3B"}
+{"version":3,"file":"ASTSourceUpdater.d.ts","sourceRoot":"","sources":["../../src/services/ASTSourceUpdater.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAQ/C,OAAO,EAAE,cAAc,EAAgB,MAAM,mBAAmB,CAAC;AAOjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAmB,YAAY,EAAmC,MAAM,mBAAmB,CAAC;AACnG,OAAO,EAAkB,QAAQ,EAAc,MAAM,kBAAkB,CAAC;AAExE,OAAO,EAEL,SAAS,EAET,YAAY,EACZ,YAAY,EACb,MAAM,mBAAmB,CAAC;AAa3B,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kGAAkG;IAClG,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,wEAAwE;IACxE,cAAc,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,aAAa;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAg/DD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0EAA0E;IAC1E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oFAAoF;IACpF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,4DAA4D;IAC5D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,uEAAuE;IACvE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,YAAY,CAAC;IAC1C,KAAK,EAAE,YAAY,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4CAA4C;IAC5C,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAsRD,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,OAAO,CAAU;IACzB,QAAQ,CAAC,cAAc,iBAAwB;IAE/C,eAAe,IAAI,IAAI;IAYvB;;;;OAIG;WACU,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAiN7E;;;;;;;;;;;;;;;;;;OAkBG;WACU,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC;QAChE,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QAChD,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;IA0DF,wEAAwE;IACxE,MAAM,CAAC,oBAAoB,CACzB,OAAO,EAAE,SAAS,EAAE,EACpB,IAAI,GAAE,YAAiB,GACtB,YAAY,EAAE;IAIjB,8EAA8E;IAC9E,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,SAAS;IA8BvE;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAgD/B;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAqBvB,qBAAqB,CAAC,MAAM,EAAE,aAAa,GAAG;QAC5C,QAAQ,EAAE,OAAO,CAAC;QAClB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB;IAsDD;;;;OAIG;IACH,wBAAwB,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI;;IAgCrD,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAcjC;IAEH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CA8B9B;IAEH,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAuB/B;IAMH,MAAM,CACJ,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,eAAe,EAAE,EAC9B,mBAAmB,CAAC,EAAE,MAAM,EAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EACpD,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,EACxC,iBAAiB,CAAC,EAAE,iBAAiB,EAAE,GACtC,eAAe;IA8QlB,OAAO,CAAC,kBAAkB;IAmM1B,OAAO,CAAC,uBAAuB;IA0F/B,OAAO,CAAC,qBAAqB;IAuF7B,OAAO,CAAC,YAAY;IAkDpB,OAAO,CAAC,qBAAqB;IA0G7B,OAAO,CAAC,4BAA4B;IAgRpC,OAAO,CAAC,yBAAyB;IAsGjC,OAAO,CAAC,uBAAuB;IAgD/B,OAAO,CAAC,4BAA4B;IA4EpC,OAAO,CAAC,qBAAqB;IA6B7B,OAAO,CAAC,oBAAoB;IAwB5B,OAAO,CAAC,gBAAgB;IAwBxB;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAahC,OAAO,CAAC,mBAAmB;IAuC3B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,kBAAkB;IAuB1B,OAAO,CAAC,2BAA2B;IAsCnC,OAAO,CAAC,yBAAyB;IAqCjC,OAAO,CAAC,yBAAyB;IA+CjC,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,cAAc;IAYtB,OAAO,CAAC,0BAA0B;IAmBlC,OAAO,CAAC,sBAAsB;IA2B9B,OAAO,CAAC,2BAA2B;IAoCnC,OAAO,CAAC,oBAAoB;IA2B5B,OAAO,CAAC,YAAY;IAUpB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;IAkB3C;;;;;;;;OAQG;IACH,mBAAmB,CACjB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GAClB,eAAe,GAAG,IAAI;IAezB,OAAO,CAAC,gBAAgB;IAsJxB,OAAO,CAAC,uBAAuB;IA2E/B,OAAO,CAAC,mBAAmB;IAmG3B,OAAO,CAAC,6BAA6B;IA+CrC,OAAO,CAAC,uBAAuB;IAmF/B,OAAO,CAAC,wBAAwB;IA4HhC,OAAO,CAAC,mBAAmB;IAyD3B,OAAO,CAAC,uBAAuB;IA0F/B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,kBAAkB;CAgB3B"}

package/dist/services/ASTSourceUpdater.js

@@ -1999,7 +1999,9 @@ class ASTSourceUpdater {
                     argTargets,
                     failingCallSite: failingNode,
                     contextSpecific: input.contextSpecific ?? false,
-                    globalCorrect: input.globalCorrect ?? false,
+                    // previewMode forces MUTATE_IN_PLACE regardless of consumer count so
+                    // the diff is always computable (no disk write — caller holds the gate).
+                    globalCorrect: (input.globalCorrect ?? false) || (input.previewMode ?? false),
                 });
                 if (argDecision) {
                     const batch = ASTSourceUpdater.decisionToBatch(input.filePath, argDecision);
@@ -2042,6 +2044,74 @@ class ASTSourceUpdater {
         }
         return result;
     }
+    /**
+     * Speculative, ZERO-WRITE preview of the root-declaration heal.
+     *
+     * Runs the exact same trace-back + mutation engine `composeHeal` uses, but
+     * under a forcibly-suppressed dry-run scope AND with `write:false`, so NO
+     * write-head (MutationApplier, InitializerUpdater, CrossFileHealer) can touch
+     * disk. Returns the root-declaration unified diff a real heal WOULD have
+     * produced — used by the shared-locator bypass gate so its report card shows
+     * the elegant declaration-root diff (uniform with HEALED events) instead of a
+     * raw selector-string swap.
+     *
+     * The diff is sourced from the canonical heal pipeline:
+     *   • same-file paths (local const / same-file POM property) → MutationApplier
+     *     `outcome.microDiff`,
+     *   • cross-file imported declarations → `crossFileResult.unifiedDiff`.
+     *
+     * Returns an empty `ghostDiff` when the engine cannot resolve a root (trace
+     * abort / exotic shape); the caller falls back to the legacy selector diff.
+     */
+    static async composeHealPreview(input) {
+        return DryRunGuard_1.DryRunGuard.runSuppressed(async () => {
+            // 1) Canonical compose pipeline — handles option-object args (getByRole
+            //    name), inline string args, and cross-file imports it can resolve.
+            const composed = await ASTSourceUpdater.composeHeal({
+                ...input,
+                apply: true,
+                // Force MUTATE_IN_PLACE for multi-consumer symbolic args so the root-
+                // declaration diff is always computed (shared-locator bypass preview).
+                previewMode: true,
+                applyOptions: {
+                    ...(input.applyOptions ?? {}),
+                    write: false,
+                    respectDryRun: true,
+                },
+            });
+            if (composed.kind === "cross-file" && composed.crossFileResult?.unifiedDiff) {
+                const cross = composed.crossFileResult;
+                return {
+                    ghostDiff: cross.unifiedDiff ?? "",
+                    definitionSite: cross.definitionSite,
+                    writtenLine: cross.definitionSite?.line ?? composed.writtenLine,
+                };
+            }
+            if (composed.outcome?.microDiff) {
+                return {
+                    ghostDiff: composed.outcome.microDiff,
+                    writtenLine: composed.writtenLine,
+                };
+            }
+            // 2) Fallback — gate-free legacy semantic preview. composeHeal returns
+            //    PROMPT_INTERACTIVE (no diff) for shared symbolic locators; this
+            //    reuses the real tracer + write-head to compute the root diff anyway.
+            try {
+                const semantic = new ASTSourceUpdater().previewSemanticHeal({ filePath: input.filePath, line: input.line }, input.oldSelector ?? "", input.newSelector ?? "");
+                if (semantic?.unifiedDiff) {
+                    return {
+                        ghostDiff: semantic.unifiedDiff,
+                        definitionSite: semantic.definitionSite,
+                        writtenLine: semantic.definitionSite?.line,
+                    };
+                }
+            }
+            catch (err) {
+                logger_1.logger.debug(`previewSemanticHeal fallback failed: ${err?.message ?? err}`);
+            }
+            return { ghostDiff: "" };
+        });
+    }
     /** Drain-loop entry: apply pre-built batches through the write gate. */
     static applyMutationBatches(batches, opts = {}) {
         return MutationApplier_1.MutationApplier.applyBatches(batches, opts);
@@ -3482,7 +3552,27 @@ class ASTSourceUpdater {
     // ═══════════════════════════════════════════════════════════════════
     // T-10 / T-11: Semantic Dispatch Gate + handlers
     // ═══════════════════════════════════════════════════════════════════
-    semanticDispatch(sourceFile, caller, oldSelector, newSelector) {
+    /**
+     * ZERO-WRITE preview of the legacy semantic definition-site heal. Reuses the
+     * REAL tracer (DefinitionTracer) + write-head (InitializerUpdater) via
+     * semanticDispatch with the high-blast BLOCK bypassed, so it computes the
+     * root-declaration diff a shared symbolic locator (identifier / property /
+     * cross-file) WOULD receive — covering the bypass cases composeHeal returns
+     * PROMPT_INTERACTIVE for. MUST run inside DryRunGuard.runSuppressed so
+     * InitializerUpdater keeps the mutation in memory and never touches disk.
+     */
+    previewSemanticHeal(caller, oldSelector, newSelector) {
+        const filePath = this.resolveFilePath(caller.filePath);
+        if (!filePath || caller.line <= 0)
+            return null;
+        let sourceFile = this.project.getSourceFile(filePath);
+        if (sourceFile)
+            sourceFile.refreshFromFileSystemSync();
+        else
+            sourceFile = this.project.addSourceFileAtPath(filePath);
+        return this.semanticDispatch(sourceFile, { filePath, line: caller.line }, oldSelector, newSelector, true);
+    }
+    semanticDispatch(sourceFile, caller, oldSelector, newSelector, preview = false) {
         try {
             // Expand window: the failure site (caller.line) is often .click()/.fill()
             // AFTER the locator assignment. Search up to 5 lines back so we catch
@@ -3493,14 +3583,57 @@ class ASTSourceUpdater {
                 if (!analysis)
                     continue;
                 const { shape, node } = analysis;
-                if (shape === "STRING_LITERAL" || shape === "COMPLEX")
+                if (shape === "COMPLEX")
                     continue;
+                // Semantic methods (getByRole, getByText, etc.) pass a role/text as
+                // arg0 (always a STRING_LITERAL) and text-matching options in arg1.
+                // e.g. getByRole("button", { name: updateSelector }) — classify()
+                // returns STRING_LITERAL for "button" and we'd normally skip, but
+                // updateSelector in { name: updateSelector } is the real target.
+                if (shape === "STRING_LITERAL") {
+                    const callExpr = call.getExpression();
+                    const method = ts_morph_1.Node.isPropertyAccessExpression(callExpr)
+                        ? callExpr.getName()
+                        : "";
+                    if (SEMANTIC_METHODS.has(method)) {
+                        const optsArg = call.getArguments()[1];
+                        if (optsArg && ts_morph_1.Node.isObjectLiteralExpression(optsArg)) {
+                            for (const optProp of optsArg.getProperties()) {
+                                if (!ts_morph_1.Node.isPropertyAssignment(optProp))
+                                    continue;
+                                const val = optProp.getInitializer();
+                                if (!val)
+                                    continue;
+                                const valShape = ArgumentTypeAnalyzer_1.ArgumentTypeAnalyzer.classifyNode(val);
+                                let optResult = null;
+                                if (valShape === "IDENTIFIER") {
+                                    optResult = this.handleIdentifierArg(val, sourceFile, caller, newSelector, oldSelector, preview);
+                                }
+                                else if (valShape === "PROPERTY_ACCESS") {
+                                    optResult = this.handlePropertyAccessArg(val, sourceFile, caller, newSelector, preview);
+                                }
+                                if (optResult !== null)
+                                    return optResult;
+                                // Symbolic options arg that couldn't be traced — hard-block so
+                                // the chain is not rewritten inline (preserves developer arch).
+                                if (valShape === "IDENTIFIER" || valShape === "PROPERTY_ACCESS") {
+                                    return {
+                                        success: false,
+                                        reason: `semantic guard: options identifier "${val.getText()}" could not be traced`,
+                                        strategy: "semantic-guard",
+                                    };
+                                }
+                            }
+                        }
+                    }
+                    continue;
+                }
                 let result = null;
                 if (shape === "IDENTIFIER") {
-                    result = this.handleIdentifierArg(node, sourceFile, caller, newSelector, oldSelector);
+                    result = this.handleIdentifierArg(node, sourceFile, caller, newSelector, oldSelector, preview);
                 }
                 else if (shape === "PROPERTY_ACCESS") {
-                    result = this.handlePropertyAccessArg(node, sourceFile, caller, newSelector);
+                    result = this.handlePropertyAccessArg(node, sourceFile, caller, newSelector, preview);
                 }
                 else if (shape === "TEMPLATE_LITERAL") {
                     result = this.handleTemplateLiteralArg(node, sourceFile, caller, oldSelector, newSelector);
@@ -3550,7 +3683,7 @@ class ASTSourceUpdater {
     // intact — while surfacing the cleaner semantic method form (getByRole) as
     // a suggested upgrade in the advisory/report.
     // ═══════════════════════════════════════════════════════════════════
-    applyDefinitionSiteHeal(targetNode, targetFile, newSelector, strategy, blastRadius) {
+    applyDefinitionSiteHeal(targetNode, targetFile, newSelector, strategy, blastRadius, preview = false) {
         const wasInternal = (0, SelectorSanitizer_1.isInternalEngineSelector)(newSelector);
         let writeValue = newSelector;
         if (wasInternal) {
@@ -3568,7 +3701,9 @@ class ASTSourceUpdater {
             writeValue = publicStr;
             logger_1.logger.debug(`Method-Shift fallback: internal selector → public string "${writeValue}"`);
         }
-        const result = InitializerUpdater_1.InitializerUpdater.apply(targetNode, targetFile, writeValue);
+        const result = InitializerUpdater_1.InitializerUpdater.apply(targetNode, targetFile, writeValue, {
+            computeDiff: preview,
+        });
         if (!result)
             return null;
         if (!this.validateFileSyntax(targetFile)) {
@@ -3601,10 +3736,11 @@ class ASTSourceUpdater {
                 file: targetFile.getFilePath(),
                 line: result.lineUpdated,
             },
+            unifiedDiff: result.unifiedDiff,
             blastRadius,
         };
     }
-    handleIdentifierArg(node, sourceFile, caller, newSelector, oldSelector = "") {
+    handleIdentifierArg(node, sourceFile, caller, newSelector, oldSelector = "", preview = false) {
         const traceResult = DefinitionTracer_1.DefinitionTracer.traceIdentifier(node, sourceFile, caller.line);
         if (traceResult.found) {
             const { targetNode, targetFile, declarationNode } = traceResult;
@@ -3612,7 +3748,10 @@ class ASTSourceUpdater {
             const blast = BlastRadiusAnalyzer_1.BlastRadiusAnalyzer.analyze(blastNode, sourceFile, this.project);
             logger_1.logger.debug(`BlastRadius IDENTIFIER: risk=${blast.risk} ` +
                 `(${blast.testFunctionCount} tests, ${blast.affectedFiles.length} files)`);
-            if (blast.risk === "high") {
+            // Preview mode (shared-locator bypass ghost diff) deliberately bypasses
+            // the high-blast BLOCK: it never writes disk, it only computes what the
+            // root-declaration mutation WOULD look like. The real heal still blocks.
+            if (blast.risk === "high" && !preview) {
                 this.advisoryBuffer.push({
                     code: HealingAdvisory_1.AdvisoryCode.BLAST_RADIUS_BLOCKED,
                     message: `Mutation blocked - ${blast.testFunctionCount} tests reference this constant.`,
@@ -3635,7 +3774,7 @@ class ASTSourceUpdater {
                     suggestedAction: "Run the full test suite to confirm all references still pass.",
                 });
             }
-            const healResult = this.applyDefinitionSiteHeal(targetNode, targetFile, newSelector, "semantic-identifier", blast.testFunctionCount);
+            const healResult = this.applyDefinitionSiteHeal(targetNode, targetFile, newSelector, "semantic-identifier", blast.testFunctionCount, preview);
             if (!healResult && oldSelector) {
                 // targetNode was not a string literal (e.g. CallExpression from an
                 // indirect reference like switch/case POM). Search targetFile for the
@@ -3693,7 +3832,7 @@ class ASTSourceUpdater {
             blastRadius: 1,
         };
     }
-    handlePropertyAccessArg(node, sourceFile, caller, newSelector) {
+    handlePropertyAccessArg(node, sourceFile, caller, newSelector, preview = false) {
         const traceResult = DefinitionTracer_1.DefinitionTracer.tracePropertyAccess(node, sourceFile, caller.line);
         if (traceResult.found) {
             const { targetNode, targetFile, declarationNode } = traceResult;
@@ -3701,7 +3840,7 @@ class ASTSourceUpdater {
             const blast = BlastRadiusAnalyzer_1.BlastRadiusAnalyzer.analyze(blastNode, sourceFile, this.project);
             logger_1.logger.debug(`BlastRadius PROPERTY_ACCESS: risk=${blast.risk} ` +
                 `(${blast.testFunctionCount} tests, ${blast.affectedFiles.length} files)`);
-            if (blast.risk === "high") {
+            if (blast.risk === "high" && !preview) {
                 this.advisoryBuffer.push({
                     code: HealingAdvisory_1.AdvisoryCode.BLAST_RADIUS_BLOCKED,
                     message: `Mutation blocked - ${blast.testFunctionCount} tests reference this property.`,
@@ -3724,7 +3863,7 @@ class ASTSourceUpdater {
                     suggestedAction: "Run the full test suite to confirm all references still pass.",
                 });
             }
-            return this.applyDefinitionSiteHeal(targetNode, targetFile, newSelector, "semantic-property-access", blast.testFunctionCount);
+            return this.applyDefinitionSiteHeal(targetNode, targetFile, newSelector, "semantic-property-access", blast.testFunctionCount, preview);
         }
         if (!traceResult.found && traceResult.crossFile) {
             const xResult = CrossFileHealer_1.CrossFileHealer.heal(traceResult.modulePath, traceResult.symbolName, newSelector, caller.filePath, this.project);

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

@@ -1 +1 @@
-{"version":3,"file":"CrossFileHealer.d.ts","sourceRoot":"","sources":["../../src/services/CrossFileHealer.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,OAAO,EAMR,MAAM,UAAU,CAAC;AAGlB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAmB7D,qBAAa,eAAe;IAC1B,MAAM,CAAC,IAAI,CACT,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE,OAAO,EAChB,KAAK,SAAI,GACR,eAAe;IAuFlB;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,eAAe,CACpB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE,OAAO,GACf,eAAe;CAkEnB;AAMD,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,MAAM,GAAG,IAAI,CAQf"}
+{"version":3,"file":"CrossFileHealer.d.ts","sourceRoot":"","sources":["../../src/services/CrossFileHealer.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,OAAO,EAMR,MAAM,UAAU,CAAC;AAGlB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAuC7D,qBAAa,eAAe;IAC1B,MAAM,CAAC,IAAI,CACT,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE,OAAO,EAChB,KAAK,SAAI,GACR,eAAe;IA6FlB;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,eAAe,CACpB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE,OAAO,GACf,eAAe;CAoEnB;AAMD,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,MAAM,GAAG,IAAI,CAQf"}

package/dist/services/CrossFileHealer.js

@@ -40,7 +40,20 @@ const fs = __importStar(require("fs"));
 const ts_morph_1 = require("ts-morph");
 const DefinitionTracer_js_1 = require("./DefinitionTracer.js");
 const InitializerUpdater_js_1 = require("./InitializerUpdater.js");
+const IsolatedDiff_1 = require("../utils/IsolatedDiff");
 const logger_1 = require("../utils/logger");
+/**
+ * Compute the in-memory unified diff for a ts-morph source file whose AST was
+ * just mutated. `before` is the pre-mutation text; the live file text is the
+ * `after`. Returns undefined when nothing changed. Never touches disk.
+ */
+function captureDefinitionDiff(before, externalSf, externalPath) {
+    return ((0, IsolatedDiff_1.generateUnifiedDiff)(before, externalSf.getFullText(), {
+        filePath: path.relative(process.cwd(), externalPath),
+        context: 3,
+        normalizeEol: true,
+    }) || undefined);
+}
 // ═══════════════════════════════════════════════════════════════════
 // CrossFileHealer  (T-9)
 //
@@ -102,6 +115,7 @@ class CrossFileHealer {
                 strategy: "semantic-cross-file",
             };
         }
+        const before = traceResult.targetFile.getFullText();
         const result = InitializerUpdater_js_1.InitializerUpdater.apply(traceResult.targetNode, traceResult.targetFile, newValue);
         if (!result) {
             return {
@@ -119,6 +133,7 @@ class CrossFileHealer {
             lineUpdated: result.lineUpdated,
             healedLocatorString: newValue,
             definitionSite: { file: externalPath, line: result.lineUpdated + 1 },
+            unifiedDiff: captureDefinitionDiff(before, traceResult.targetFile, externalPath),
         };
     }
     /**
@@ -174,6 +189,7 @@ class CrossFileHealer {
                 strategy: "semantic-cross-file",
             };
         }
+        const before = externalSf.getFullText();
         const result = InitializerUpdater_js_1.InitializerUpdater.apply(targetNode, externalSf, newValue);
         if (!result) {
             return {
@@ -191,6 +207,7 @@ class CrossFileHealer {
             lineUpdated: result.lineUpdated,
             healedLocatorString: newValue,
             definitionSite: { file: externalPath, line: result.lineUpdated + 1 },
+            unifiedDiff: captureDefinitionDiff(before, externalSf, externalPath),
         };
     }
 }

package/dist/services/HealReportService.d.ts

@@ -113,11 +113,22 @@ export interface BypassedEvent extends HealEventBase {
     newSelector: string;
     /** "relative/path.ts:LINE" — the shared declaration that was left untouched. */
     variablePath: string;
+    /**
+     * Origin locus of the shared declaration the ghost diff targets — the
+     * variable/property root, NOT the failing call-site (which stays on
+     * sourceFile/sourceLine for the Job-2 regression replay). Drives the HTML
+     * card's "open declaration" highlight.
+     */
+    declarationFile?: string;
+    declarationLine?: number;
     /** Distinct test/it blocks that reference the shared declaration. */
     testFunctionCount: number;
     /** Files that reference the shared declaration. */
     affectedFiles: string[];
-    /** Speculative unified diff of what Sela WOULD have written (never saved). */
+    /**
+     * Speculative ROOT-DECLARATION unified diff of what Sela WOULD have written
+     * (never saved) — uniform in shape with a HEALED event's diff.
+     */
     ghostDiff: string;
     /** Human-readable warning surfaced across all report channels. */
     message: string;

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

@@ -1 +1 @@
-{"version":3,"file":"HealReportService.d.ts","sourceRoot":"","sources":["../../src/services/HealReportService.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAGlD,OAAO,EAEL,KAAK,UAAU,EAEf,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAM5D,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,UAAU,CAAC;AAE3E,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,iBAAiB,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,YAAY,CAAC,eAAe,CAAC,CAAC;IAC7C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,aAAa;IACrB,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,oGAAoG;IACpG,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GAClB,MAAM,CAKR;AAED,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IAC7B,SAAS,EAAE,UAAU,CAAC;IACtB,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;IAC7B,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,cAAe,SAAQ,aAAa;IACnD,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;IAC7B,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,aAAa;IAClD,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mDAAmD;IACnD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;IAC7B,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,OAAO,CAAC,EAAE,YAAY,CAAC;CACxB;AAED,MAAM,MAAM,SAAS,GACjB,WAAW,GACX,WAAW,GACX,cAAc,GACd,aAAa,CAAC;AAsBlB,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,yEAAyE;AACzE,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAInD;AAUD,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,iBAAiB,GAAG,IAAI,GAAG,SAAS,GACtC,UAAU,GAAG,IAAI,CAgBnB;AAMD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAmB;IACjC,OAAO,CAAC,SAAS,CAAoC;IAErD,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;IAc9B,IAAI,IAAI,MAAM;IAId,KAAK,IAAI,IAAI;IAKb,UAAU,IAAI,OAAO;IAIrB,eAAe,IAAI,WAAW,EAAE;IAIhC,kBAAkB,IAAI,cAAc,EAAE;IAMtC,eAAe,IAAI,WAAW,EAAE;IAIhC,iBAAiB,IAAI,aAAa,EAAE;IAIpC;;;;OAIG;IACH,uBAAuB,CACrB,KAAK,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EACrE,SAAS,EAAE,MAAM,GAChB,MAAM;IA2BT,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,YAAY;IAWpB;;;;;OAKG;IACH,WAAW,CACT,SAAS,GAAE,MAAsB,EACjC,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAO,GAC5B,MAAM,GAAG,IAAI;IAmBhB;;;;;;;;;;;;;;;;OAgBG;IACH,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM;IA+B5D;;;;;;;;;;OAUG;IACH,UAAU,CAAC,GAAG,GAAE,MAAsB,GAAG,MAAM,GAAG,IAAI;CAcvD;AAMD,eAAO,MAAM,gBAAgB,mBAA0B,CAAC;AAWxD,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE;IACV,eAAe,EAAE,eAAe,CAAC;IACjC,eAAe,EAAE,gBAAgB,EAAE,CAAC;CACrC,EACD,IAAI,GAAE;IAAE,cAAc,CAAC,EAAE,MAAM,CAAA;CAAO,GACrC,MAAM,CAgBR"}
+{"version":3,"file":"HealReportService.d.ts","sourceRoot":"","sources":["../../src/services/HealReportService.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAGlD,OAAO,EAEL,KAAK,UAAU,EAEf,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAM5D,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,UAAU,CAAC;AAE3E,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,iBAAiB,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,YAAY,CAAC,eAAe,CAAC,CAAC;IAC7C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,aAAa;IACrB,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,oGAAoG;IACpG,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM,GAClB,MAAM,CAKR;AAED,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IAC7B,SAAS,EAAE,UAAU,CAAC;IACtB,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED,MAAM,WAAW,WAAY,SAAQ,aAAa;IAChD,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;IAC7B,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,cAAe,SAAQ,aAAa;IACnD,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;IAC7B,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,gGAAgG;IAChG,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,aAAa;IAClD,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mDAAmD;IACnD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC;IAC7B,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,OAAO,CAAC,EAAE,YAAY,CAAC;CACxB;AAED,MAAM,MAAM,SAAS,GACjB,WAAW,GACX,WAAW,GACX,cAAc,GACd,aAAa,CAAC;AAsBlB,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,yEAAyE;AACzE,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAInD;AAUD,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,iBAAiB,GAAG,IAAI,GAAG,SAAS,GACtC,UAAU,GAAG,IAAI,CAgBnB;AAMD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAmB;IACjC,OAAO,CAAC,SAAS,CAAoC;IAErD,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;IAc9B,IAAI,IAAI,MAAM;IAId,KAAK,IAAI,IAAI;IAKb,UAAU,IAAI,OAAO;IAIrB,eAAe,IAAI,WAAW,EAAE;IAIhC,kBAAkB,IAAI,cAAc,EAAE;IAMtC,eAAe,IAAI,WAAW,EAAE;IAIhC,iBAAiB,IAAI,aAAa,EAAE;IAIpC;;;;OAIG;IACH,uBAAuB,CACrB,KAAK,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EACrE,SAAS,EAAE,MAAM,GAChB,MAAM;IA2BT,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,YAAY;IAWpB;;;;;OAKG;IACH,WAAW,CACT,SAAS,GAAE,MAAsB,EACjC,IAAI,GAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAO,GAC5B,MAAM,GAAG,IAAI;IAmBhB;;;;;;;;;;;;;;;;OAgBG;IACH,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM;IA+B5D;;;;;;;;;;OAUG;IACH,UAAU,CAAC,GAAG,GAAE,MAAsB,GAAG,MAAM,GAAG,IAAI;CAcvD;AAMD,eAAO,MAAM,gBAAgB,mBAA0B,CAAC;AAWxD,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE;IACV,eAAe,EAAE,eAAe,CAAC;IACjC,eAAe,EAAE,gBAAgB,EAAE,CAAC;CACrC,EACD,IAAI,GAAE;IAAE,cAAc,CAAC,EAAE,MAAM,CAAA;CAAO,GACrC,MAAM,CAgBR"}

package/dist/services/HealReportService.js

@@ -1048,7 +1048,7 @@ const REPORT_JS = [
     "       +'<div class=\"diff-line dl-add\"><span class=\"gutter\">+</span><span class=\"ln\">'+(ev.newLineNumber||'')+'</span><span class=\"code\">'+esc(ev.newCodeLine||'')+'</span></div>';",
     "  }",
     "  if(isBypass){",
-    "    return'<div class=\"diff-block diff-ghost\"><div class=\"diff-bar\"><span>'+esc(ev.variablePath||ev.sourceFile)+'</span><span class=\"sep\">\xb7</span><span class=\"ghost-tag\">SPECULATIVE — NOT SAVED TO DISK</span></div><div>'+body+'</div></div>';",
+    "    return'<div class=\"diff-block diff-ghost\"><div class=\"diff-bar\"><span>'+esc((ev.declarationFile?ev.declarationFile+(ev.declarationLine?':'+ev.declarationLine:''):'')||ev.variablePath||ev.sourceFile)+'</span><span class=\"sep\">\xb7</span><span class=\"ghost-tag\">[SPECULATIVE ROOT FIX — PENDING REGRESSION VALIDATION] · NOT SAVED TO DISK</span></div><div>'+body+'</div></div>';",
     "  }",
     "  return'<div class=\"diff-block\"><div class=\"diff-bar\"><span>'+esc(ev.sourceFile)+'</span><span class=\"sep\">\xb7</span><span>line '+ev.newLineNumber+'</span>'+(ev.diffStrategy?'<span class=\"sep\">\xb7</span><span>'+esc(ev.diffStrategy)+'</span>':'')+'<span class=\"sep\">\xb7</span><span>'+(hasDiff?'git diff':'fallback')+'</span></div><div>'+body+'</div></div>';",
     "}",

package/dist/services/InitializerUpdater.d.ts

@@ -2,6 +2,17 @@ import { Node, SourceFile } from "ts-morph";
 export interface InitializerResult {
     lineUpdated: number;
     healedLocatorString: string;
+    /**
+     * In-memory unified diff (before → after) of the mutated source file.
+     * Only populated when `apply` is called with `{ computeDiff: true }` —
+     * used by the shared-locator bypass preview to render a root-declaration
+     * diff with zero disk writes.
+     */
+    unifiedDiff?: string;
+}
+export interface InitializerApplyOptions {
+    /** Compute and return the in-memory before→after unified diff. */
+    computeDiff?: boolean;
 }
 export declare class InitializerUpdater {
     /**
@@ -11,6 +22,6 @@ export declare class InitializerUpdater {
      * Returns null if the node type is not directly mutable or if the
      * mutation throws (caller should fall through to existing strategies).
      */
-    static apply(valueNode: Node, sourceFile: SourceFile, newValue: string): InitializerResult | null;
+    static apply(valueNode: Node, sourceFile: SourceFile, newValue: string, opts?: InitializerApplyOptions): InitializerResult | null;
 }
 //# sourceMappingURL=InitializerUpdater.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"InitializerUpdater.d.ts","sourceRoot":"","sources":["../../src/services/InitializerUpdater.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAiB,MAAM,UAAU,CAAC;AAiB3D,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,qBAAa,kBAAkB;IAC7B;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,CACV,SAAS,EAAE,IAAI,EACf,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,MAAM,GACf,iBAAiB,GAAG,IAAI;CAwD5B"}
+{"version":3,"file":"InitializerUpdater.d.ts","sourceRoot":"","sources":["../../src/services/InitializerUpdater.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAiB,MAAM,UAAU,CAAC;AAmB3D,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,uBAAuB;IACtC,kEAAkE;IAClE,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,qBAAa,kBAAkB;IAC7B;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,CACV,SAAS,EAAE,IAAI,EACf,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,MAAM,EAChB,IAAI,GAAE,uBAA4B,GACjC,iBAAiB,GAAG,IAAI;CAiE5B"}

package/dist/services/InitializerUpdater.js

@@ -1,4 +1,37 @@
 "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.InitializerUpdater = void 0;
 const ts_morph_1 = require("ts-morph");
@@ -7,7 +40,9 @@ const DryRunGuard_1 = require("../config/DryRunGuard");
 const PathScopeGuard_1 = require("../config/PathScopeGuard");
 const WorkspaceSnapshotService_1 = require("./WorkspaceSnapshotService");
 const SelectorSanitizer_1 = require("./SelectorSanitizer");
+const IsolatedDiff_1 = require("../utils/IsolatedDiff");
 const logger_1 = require("../utils/logger");
+const path = __importStar(require("path"));
 class InitializerUpdater {
     /**
      * Mutate a StringLiteral or NoSubstitutionTemplateLiteral node to
@@ -16,7 +51,7 @@ class InitializerUpdater {
      * Returns null if the node type is not directly mutable or if the
      * mutation throws (caller should fall through to existing strategies).
      */
-    static apply(valueNode, sourceFile, newValue) {
+    static apply(valueNode, sourceFile, newValue, opts = {}) {
         // ABSOLUTE GUARD: never serialise a Playwright internal engine selector
         // into a string-literal definition. `.locator()` strings cannot express
         // a semantic locator (getByRole/…), so writing `internal:role=…` here is
@@ -32,6 +67,7 @@ class InitializerUpdater {
             return null;
         }
         try {
+            const before = opts.computeDiff ? sourceFile.getFullText() : "";
             if (ts_morph_1.Node.isStringLiteral(valueNode)) {
                 valueNode.setLiteralValue(newValue);
             }
@@ -41,6 +77,13 @@ class InitializerUpdater {
             else {
                 return null;
             }
+            const unifiedDiff = opts.computeDiff
+                ? (0, IsolatedDiff_1.generateUnifiedDiff)(before, sourceFile.getFullText(), {
+                    filePath: path.relative(process.cwd(), sourceFile.getFilePath()),
+                    context: 3,
+                    normalizeEol: true,
+                }) || undefined
+                : undefined;
             // Centralised write gate - mirrors ASTSourceUpdater._persistChanges.
             // InitializerUpdater is the canonical write-head for definition-site
             // mutations (SemanticDispatch → tracer-resolved identifier / property
@@ -62,6 +105,7 @@ class InitializerUpdater {
             return {
                 lineUpdated: valueNode.getStartLineNumber() - 1,
                 healedLocatorString: newValue,
+                unifiedDiff,
             };
         }
         catch (e) {

package/dist/services/RegressionManifestService.d.ts

@@ -14,6 +14,14 @@ export interface RegressionManifestRecord {
     affectedFiles: string[];
     /** Originating test title (provenance only). */
     testTitle: string;
+    /**
+     * Speculative ROOT-DECLARATION unified diff Sela WOULD have written (never
+     * saved). Carried for report/audit parity; Job 2 matches on the call-site
+     * fields above and never consumes this. Optional — absent on legacy manifests.
+     */
+    rootDiff?: string;
+    /** Origin locus of the shared declaration the rootDiff targets (provenance). */
+    declarationFile?: string;
 }
 export interface RegressionManifest {
     generatedAt: string;

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

@@ -1 +1 @@
-{"version":3,"file":"RegressionManifestService.d.ts","sourceRoot":"","sources":["../../src/services/RegressionManifestService.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,eAAO,MAAM,wBAAwB,kCAAkC,CAAC;AAExE,oEAAoE;AACpE,MAAM,WAAW,wBAAwB;IACvC,uEAAuE;IACvE,UAAU,EAAE,MAAM,CAAC;IACnB,6CAA6C;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,cAAc,EAAE,MAAM,CAAC;IACvB,sEAAsE;IACtE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gDAAgD;IAChD,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,wBAAwB,EAAE,CAAC;CACrC;AAMD,qBAAa,yBAAyB;IACpC,+DAA+D;IAC/D,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,wBAAwB,EAAE;IAWxE;;;;OAIG;IACH,MAAM,CAAC,aAAa,CAClB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,wBAAwB,EAAE,GAClC,MAAM,GAAG,IAAI;IAYhB;;;;OAIG;IACH,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB;IAkBzD,OAAO,CAAC,MAAM,CAAC,QAAQ;CAiDxB;AAED;;;;GAIG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6B;gBAEzC,QAAQ,EAAE,kBAAkB;IAIxC,yEAAyE;IACzE,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB;IAMrD;;;;;;OAMG;IACH,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;CAY3E"}
+{"version":3,"file":"RegressionManifestService.d.ts","sourceRoot":"","sources":["../../src/services/RegressionManifestService.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,eAAO,MAAM,wBAAwB,kCAAkC,CAAC;AAExE,oEAAoE;AACpE,MAAM,WAAW,wBAAwB;IACvC,uEAAuE;IACvE,UAAU,EAAE,MAAM,CAAC;IACnB,6CAA6C;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,cAAc,EAAE,MAAM,CAAC;IACvB,sEAAsE;IACtE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gDAAgD;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,wBAAwB,EAAE,CAAC;CACrC;AAMD,qBAAa,yBAAyB;IACpC,+DAA+D;IAC/D,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,wBAAwB,EAAE;IAexE;;;;OAIG;IACH,MAAM,CAAC,aAAa,CAClB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,wBAAwB,EAAE,GAClC,MAAM,GAAG,IAAI;IAYhB;;;;OAIG;IACH,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB;IAkBzD,OAAO,CAAC,MAAM,CAAC,QAAQ;CAqDxB;AAED;;;;GAIG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6B;gBAEzC,QAAQ,EAAE,kBAAkB;IAIxC,yEAAyE;IACzE,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB;IAMrD;;;;;;OAMG;IACH,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI;CAY3E"}

package/dist/services/RegressionManifestService.js

@@ -61,6 +61,10 @@ class RegressionManifestService {
             healedSelector: ev.newSelector,
             affectedFiles: (ev.affectedFiles ?? []).map(normalizePath),
             testTitle: ev.testTitle ?? "",
+            ...(ev.ghostDiff ? { rootDiff: ev.ghostDiff } : {}),
+            ...(ev.declarationFile
+                ? { declarationFile: normalizePath(ev.declarationFile) }
+                : {}),
         }));
     }
     /**
@@ -129,6 +133,10 @@ class RegressionManifestService {
                     ? rec.affectedFiles.filter((x) => typeof x === "string")
                     : [],
                 testTitle: typeof rec.testTitle === "string" ? rec.testTitle : "",
+                ...(typeof rec.rootDiff === "string" ? { rootDiff: rec.rootDiff } : {}),
+                ...(typeof rec.declarationFile === "string"
+                    ? { declarationFile: rec.declarationFile }
+                    : {}),
             };
         });
         return {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sela-core",
-  "version": "0.1.0-alpha.36",
+  "version": "0.1.0-alpha.37",
   "description": "AI self-healing Playwright wrapper - drop-in replacement for @playwright/test",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",