@herbertgao/pi-extensions 2026.8.4 → 2026.8.5

package/node_modules/pi-lens/dist/clients/ndjson-logger.js

@@ -9,10 +9,18 @@
  *
  * Errors are swallowed best-effort, matching every current logger. A
  * best-effort SYNC flush is registered on `process.on("exit")` (appendFileSync
- * is fine at exit — not the hot path; no child spawning, #234).
+ * is fine at exit — not the hot path; no child spawning, #234). Normal drains
+ * use promise-based mkdir/append/truncate, while rotation stays synchronous
+ * inside the already-deferred drain so it cannot race a flushSync rename. A
+ * The shared writer state uses the `NDJSON_GLOBAL_STATE_SCHEMA` protocol:
+ * version 1 (the 6a8a0994 shape) is upgraded in place to current version 2,
+ * retaining its queues while replacing stale exit flushers. A pre-7e4b9120
+ * private-queue shape is fenced rather than adopted, because its queues cannot
+ * be migrated safely.
  */
 import * as fs from "node:fs";
 import * as path from "node:path";
+import { normalizeFilePath } from "./path-utils.js";
 import { redactSecrets } from "./redact/secrets.js";
 function resolve(v) {
     return typeof v === "function" ? v() : v;
@@ -25,12 +33,81 @@ function runBestEffort(operation) {
         return;
     }
 }
-// One shared exit handler flushes every logger — avoids an EventEmitter
-// MaxListeners warning once more than ~10 loggers exist (we ship eight, plus
-// diagnostic + test instances). No child spawning at teardown (#234).
-const exitFlushers = new Set();
-let exitHandlerRegistered = false;
-/** Test-only view of the registered exit flushers (see ndjson-logger.test.ts). */
+const NDJSON_GLOBAL_STATE_SCHEMA = "pi-lens.ndjson-logger.state";
+const NDJSON_LEGACY_GLOBAL_STATE_VERSION = 1;
+const NDJSON_GLOBAL_STATE_VERSION = 2;
+const NDJSON_GLOBAL_STATE_KEY = Symbol.for("pi-lens.ndjson-logger.state");
+const globalStateHost = globalThis;
+const existingGlobalState = globalStateHost[NDJSON_GLOBAL_STATE_KEY];
+function isSharedWriterState(value) {
+    if (!value || typeof value !== "object")
+        return false;
+    const candidate = value;
+    const knownSchema = candidate.schema === undefined ||
+        candidate.schema === NDJSON_GLOBAL_STATE_SCHEMA;
+    const knownVersion = candidate.version === undefined ||
+        candidate.version === NDJSON_LEGACY_GLOBAL_STATE_VERSION ||
+        candidate.version === NDJSON_GLOBAL_STATE_VERSION;
+    return (knownSchema &&
+        knownVersion &&
+        candidate.writers instanceof Map &&
+        candidate.exitFlushers instanceof Set &&
+        candidate.registeredLogFiles instanceof Set &&
+        typeof candidate.exitHandlerRegistered === "boolean");
+}
+function isLegacyGlobalState(value) {
+    if (!value || typeof value !== "object")
+        return false;
+    const candidate = value;
+    return (candidate.exitFlushers instanceof Set &&
+        candidate.registeredLogFiles instanceof Set &&
+        typeof candidate.exitHandlerRegistered === "boolean");
+}
+let ndjsonGlobalState;
+let legacyGlobalState;
+if (isSharedWriterState(existingGlobalState)) {
+    // The 7e4b9120 graph had no version marker and 6a8a0994 used version 1.
+    // Both shapes are bridgeable: retain their queues, but replace every stale
+    // exit flusher with a closure from this module graph. A current state is
+    // left untouched so it keeps exactly one canonical flusher per writer.
+    const needsFlusherMigration = existingGlobalState.schema !== NDJSON_GLOBAL_STATE_SCHEMA ||
+        existingGlobalState.version !== NDJSON_GLOBAL_STATE_VERSION;
+    if (needsFlusherMigration) {
+        for (const state of existingGlobalState.writers.values()) {
+            const staleExitFlusher = state.exitFlusher;
+            const currentExitFlusher = () => flushStateSync(state);
+            state.exitFlusher = currentExitFlusher;
+            existingGlobalState.exitFlushers.delete(staleExitFlusher);
+            existingGlobalState.exitFlushers.add(currentExitFlusher);
+        }
+    }
+    existingGlobalState.schema = NDJSON_GLOBAL_STATE_SCHEMA;
+    existingGlobalState.version = NDJSON_GLOBAL_STATE_VERSION;
+    ndjsonGlobalState = existingGlobalState;
+}
+else if (existingGlobalState === undefined) {
+    ndjsonGlobalState = (globalStateHost[NDJSON_GLOBAL_STATE_KEY] = {
+        schema: NDJSON_GLOBAL_STATE_SCHEMA,
+        version: NDJSON_GLOBAL_STATE_VERSION,
+        writers: new Map(),
+        exitFlushers: new Set(),
+        exitHandlerRegistered: false,
+        registeredLogFiles: new Set(),
+    });
+}
+else if (isLegacyGlobalState(existingGlobalState)) {
+    // Do not mutate or replace this state: its private queues and exit flusher
+    // closures are not observable, so adopting it would falsely claim safety.
+    // New facades fail closed in requireCurrentGlobalState().
+    legacyGlobalState = existingGlobalState;
+}
+const exitFlushers = ndjsonGlobalState?.exitFlushers ??
+    legacyGlobalState?.exitFlushers ??
+    new Set();
+const registeredLogFiles = ndjsonGlobalState?.registeredLogFiles ??
+    legacyGlobalState?.registeredLogFiles ??
+    new Set();
+/** Test-only view of the canonical per-file exit flushers (see ndjson-logger.test.ts). */
 export function _exitFlushersForTest() {
     return exitFlushers;
 }
@@ -46,7 +123,6 @@ export function _exitFlushersForTest() {
 // `logs/{date}.jsonl`) is deliberately NOT registered: those already live
 // under the `logs/` subdirectory and are covered by log-cleanup's separate
 // `*.jsonl` daily-log sweep, not the single-file rotation list.
-const registeredLogFiles = new Set();
 /** Every absolute path registered by a static-filePath createNdjsonLogger instance. */
 export function getRegisteredLogFiles() {
     return registeredLogFiles;
@@ -55,133 +131,255 @@ export function getRegisteredLogFiles() {
 export function _resetRegisteredLogFilesForTest() {
     registeredLogFiles.clear();
 }
-function registerExitFlusher(flushSync) {
-    exitFlushers.add(flushSync);
-    if (!exitHandlerRegistered) {
-        exitHandlerRegistered = true;
+function requireCurrentGlobalState() {
+    if (ndjsonGlobalState)
+        return ndjsonGlobalState;
+    throw new Error("createNdjsonLogger: incompatible module graph state; a pre-7e4b9120 " +
+        "logger graph may still own private queues. Restart the process before " +
+        "loading the current logger graph");
+}
+function registerWriter(state) {
+    const globalState = requireCurrentGlobalState();
+    if (!exitFlushers.has(state.exitFlusher))
+        exitFlushers.add(state.exitFlusher);
+    if (!globalState.exitHandlerRegistered) {
+        globalState.exitHandlerRegistered = true;
         process.on("exit", () => {
             for (const flush of exitFlushers)
                 runBestEffort(flush);
         });
     }
 }
-export function createNdjsonLogger(options) {
-    if (typeof options.filePath === "string") {
-        registeredLogFiles.add(options.filePath);
-    }
-    const queue = [];
-    let drainPromise = null;
-    let inFlightBatch = null;
-    let ensuredDir = false;
-    function ensureDir(file) {
-        if (ensuredDir)
-            return;
-        runBestEffort(() => {
-            fs.mkdirSync(path.dirname(file), { recursive: true });
-            ensuredDir = true;
-        });
+function normalizeLogPath(file) {
+    return normalizeFilePath(path.resolve(file));
+}
+function assertCompatibleWriterOptions(existing, maxBytes, backupPath) {
+    if (existing.maxBytes === maxBytes && existing.backupPath === backupPath)
+        return;
+    throw new Error(`createNdjsonLogger: incompatible options for shared path ${existing.file}; ` +
+        `the first writer's maxBytes/backupPath must be reused`);
+}
+function applyQueueItemSync(state, item) {
+    ensureDirSync(state);
+    runBestEffort(() => {
+        if (item.kind === "truncate") {
+            fs.writeFileSync(state.file, "");
+        }
+        else {
+            rotateIfNeeded(state);
+            fs.appendFileSync(state.file, item.line);
+        }
+    });
+}
+function flushStateSync(state) {
+    // Drain the in-memory queue synchronously — safe at process exit.
+    // The in-flight async batch is INCLUDED even though its appendFile may
+    // also land: if the process dies before the threadpool issues that
+    // write, skipping the prefix would drop the whole batch. The per-line
+    // writer deliberately traded duplicate lines at exit for never-drops
+    // (#935 review) — keep that trade. If a late in-flight append crosses a
+    // truncate, the post-truncate operations are replayed after that append
+    // completes so pre-truncate data cannot be reintroduced.
+    const inFlight = state.inFlightBatch;
+    const inFlightAtHead = inFlight !== null &&
+        inFlight.every((item, index) => state.queue[index] === item);
+    const repairStart = inFlightAtHead
+        ? inFlight?.[0]?.kind === "truncate"
+            ? 0
+            : state.queue.findIndex((item) => item.kind === "truncate")
+        : -1;
+    if (state.syncRepairItems) {
+        state.syncRepairItems.push(...state.queue);
+    }
+    else if (repairStart >= 0) {
+        state.syncRepairItems = state.queue.slice(repairStart);
+    }
+    while (state.queue.length > 0) {
+        const item = state.queue.shift();
+        applyQueueItemSync(state, item);
+    }
+}
+function createWriterState(file, maxBytes, backupPath) {
+    const globalState = requireCurrentGlobalState();
+    const existing = globalState.writers.get(file);
+    if (existing) {
+        // A partially initialized global state from another graph still needs to
+        // be enrolled, but it must never get a second queue or exit flusher.
+        assertCompatibleWriterOptions(existing, maxBytes, backupPath);
+        if (!exitFlushers.has(existing.exitFlusher))
+            registerWriter(existing);
+        return existing;
+    }
+    const state = {};
+    state.file = file;
+    state.maxBytes = maxBytes;
+    state.backupPath = backupPath;
+    state.queue = [];
+    state.drainPromise = null;
+    state.inFlightBatch = null;
+    state.syncRepairItems = null;
+    state.ensuredDir = false;
+    state.exitFlusher = () => flushStateSync(state);
+    globalState.writers.set(file, state);
+    registerWriter(state);
+    return state;
+}
+function ensureDirSync(state) {
+    if (state.ensuredDir)
+        return;
+    runBestEffort(() => {
+        fs.mkdirSync(path.dirname(state.file), { recursive: true });
+        state.ensuredDir = true;
+    });
+}
+async function ensureDirAsync(state) {
+    if (state.ensuredDir)
+        return;
+    try {
+        await fs.promises.mkdir(path.dirname(state.file), { recursive: true });
+        state.ensuredDir = true;
+    }
+    catch {
+        // telemetry is best-effort
     }
-    function rotateIfNeeded(file) {
-        if (options.maxBytes === undefined)
+}
+function rotateIfNeeded(state) {
+    if (state.maxBytes === undefined)
+        return;
+    try {
+        const size = fs.statSync(state.file).size;
+        if (size < state.maxBytes)
             return;
-        try {
-            const size = fs.statSync(file).size;
-            if (size < options.maxBytes)
-                return;
-            const backup = options.backupPath
-                ? resolve(options.backupPath)
-                : `${file}.1`;
-            runBestEffort(() => fs.rmSync(backup, { force: true }));
-            fs.renameSync(file, backup);
+        const backup = state.backupPath ?? `${state.file}.1`;
+        runBestEffort(() => fs.rmSync(backup, { force: true }));
+        fs.renameSync(state.file, backup);
+    }
+    catch {
+        // no file yet, or rename raced — nothing to rotate
+    }
+}
+async function applyQueueItemAsync(state, item) {
+    await ensureDirAsync(state);
+    try {
+        if (item.kind === "truncate") {
+            await fs.promises.writeFile(state.file, "");
         }
-        catch {
-            // no file yet, or rename raced — nothing to rotate
+        else {
+            // Rotation is deliberately synchronous here. This function is only
+            // reached from the already-deferred drain, and keeping stat/rm/rename
+            // in one synchronous section prevents flushSync from racing a late
+            // async rename after it has written new data.
+            rotateIfNeeded(state);
+            await fs.promises.appendFile(state.file, item.line);
         }
     }
-    async function drainLoop() {
-        // Peek, write, then remove — an item stays in the queue until it is on
-        // disk, so a teardown flushSync (which abandons this async loop) never
-        // drops an item this loop had already dequeued but not yet written.
-        while (queue.length > 0) {
-            const item = queue[0];
-            const file = resolve(options.filePath);
-            ensureDir(file);
-            const truncateIndex = item.kind === "line"
-                ? queue.findIndex((queued) => queued.kind === "truncate")
-                : 0;
-            const pendingEnd = truncateIndex === -1 ? queue.length : truncateIndex;
-            const pending = item.kind === "truncate" ? [item] : queue.slice(0, pendingEnd);
-            inFlightBatch = pending;
-            try {
-                if (item.kind === "truncate") {
-                    await fs.promises.writeFile(file, "");
-                }
-                else {
-                    rotateIfNeeded(file);
-                    await fs.promises.appendFile(file, pending
-                        .map((queued) => queued.line)
-                        .join(""));
-                }
+    catch {
+        // telemetry is best-effort
+    }
+}
+async function drainLoop(state) {
+    // Peek, write, then remove — an item stays in the queue until it is on
+    // disk, so a teardown flushSync (which abandons this async loop) never
+    // drops an item this loop had already dequeued but not yet written.
+    while (state.queue.length > 0) {
+        const item = state.queue[0];
+        await ensureDirAsync(state);
+        const truncateIndex = item.kind === "line"
+            ? state.queue.findIndex((queued) => queued.kind === "truncate")
+            : 0;
+        const pendingEnd = truncateIndex === -1 ? state.queue.length : truncateIndex;
+        const pending = item.kind === "truncate"
+            ? [item]
+            : state.queue.slice(0, pendingEnd);
+        state.inFlightBatch = pending;
+        try {
+            if (item.kind === "truncate") {
+                await fs.promises.writeFile(state.file, "");
             }
-            catch {
-                // telemetry is best-effort
+            else {
+                // Rotation is kept synchronous inside the deferred drain. The
+                // append remains async, but no awaited rotation step can run after
+                // flushSync has written to the active file.
+                rotateIfNeeded(state);
+                await fs.promises.appendFile(state.file, pending
+                    .map((queued) => queued.line)
+                    .join(""));
             }
-            for (const written of pending) {
-                // flushSync may have drained this prefix while the append was in
-                // flight. Never remove newer items from a later enqueue.
-                if (queue[0] !== written)
-                    break;
-                queue.shift();
+        }
+        catch {
+            // telemetry is best-effort
+        }
+        for (const written of pending) {
+            // flushSync may have drained this prefix while the append is in
+            // flight. Never remove newer items from a later enqueue.
+            if (state.queue[0] !== written)
+                break;
+            state.queue.shift();
+        }
+        if (state.inFlightBatch === pending) {
+            state.inFlightBatch = null;
+            const repairItems = state.syncRepairItems;
+            state.syncRepairItems = null;
+            if (repairItems) {
+                for (const repairItem of repairItems) {
+                    await applyQueueItemAsync(state, repairItem);
+                }
             }
-            if (inFlightBatch === pending)
-                inFlightBatch = null;
         }
     }
-    function drain() {
-        // Serialize: a single in-flight drain owns the queue. flush() awaits this
-        // same promise, so it never resolves before pending writes land. The loop
-        // re-checks queue.length, so items enqueued mid-drain are picked up before
-        // the promise settles — no stranded item, no second concurrent drainer.
-        if (!drainPromise) {
-            drainPromise = Promise.resolve()
-                .then(drainLoop)
-                .finally(() => {
-                drainPromise = null;
-            });
-        }
-        return drainPromise;
+}
+function drain(state) {
+    // Serialize: a single in-flight drain owns the canonical per-file queue.
+    // This guard lives in global state, so module re-evaluation cannot create a
+    // second drainer for the same path.
+    if (!state.drainPromise) {
+        state.drainPromise = Promise.resolve()
+            .then(() => drainLoop(state))
+            .finally(() => {
+            state.drainPromise = null;
+        });
+    }
+    return state.drainPromise;
+}
+export function createNdjsonLogger(options) {
+    const states = new Set();
+    // Static logger paths are canonicalized once. Lazy diagnostic paths are
+    // resolved at enqueue time, but each resolved raw path is canonicalized only
+    // once (normally once per date), keeping realpath work off the hot path.
+    const canonicalPaths = new Map();
+    const staticFile = typeof options.filePath === "string"
+        ? normalizeLogPath(options.filePath)
+        : undefined;
+    const staticBackupPath = typeof options.backupPath === "string" && options.maxBytes !== undefined
+        ? normalizeLogPath(options.backupPath)
+        : undefined;
+    function canonicalPath(file) {
+        const raw = path.resolve(file);
+        const cached = canonicalPaths.get(raw);
+        if (cached)
+            return cached;
+        const normalized = normalizeLogPath(raw);
+        canonicalPaths.set(raw, normalized);
+        return normalized;
+    }
+    function stateForCall() {
+        const file = staticFile ?? canonicalPath(resolve(options.filePath));
+        const backupPath = options.maxBytes !== undefined && options.backupPath
+            ? (staticBackupPath ?? canonicalPath(resolve(options.backupPath)))
+            : undefined;
+        const state = createWriterState(file, options.maxBytes, backupPath);
+        states.add(state);
+        return state;
+    }
+    if (staticFile !== undefined) {
+        const state = stateForCall();
+        registeredLogFiles.add(state.file);
     }
     function enqueue(item) {
-        queue.push(item);
-        void drain();
-    }
-    function flushSync() {
-        // Drain the in-memory queue synchronously — safe at process exit.
-        // The in-flight async batch is INCLUDED even though its appendFile may
-        // also land: if the process dies before the threadpool issues that
-        // write, skipping the prefix would drop the whole batch. The per-line
-        // writer deliberately traded duplicate lines at exit for never-drops
-        // (#935 review) — keep that trade. The drain-loop completion handler
-        // only shifts items still at the queue head (identity-checked), so a
-        // queue emptied here is simply left alone by the async loop.
-        while (queue.length > 0) {
-            const item = queue.shift();
-            const file = resolve(options.filePath);
-            ensureDir(file);
-            runBestEffort(() => {
-                if (item.kind === "truncate") {
-                    fs.writeFileSync(file, "");
-                }
-                else {
-                    rotateIfNeeded(file);
-                    fs.appendFileSync(file, item.line);
-                }
-            });
-        }
+        const state = stateForCall();
+        state.queue.push(item);
+        void drain(state);
     }
-    // Best-effort teardown flush of anything still buffered, via the single
-    // shared exit handler. appendFileSync is fine here — not the hot path.
-    registerExitFlusher(flushSync);
     return {
         log(obj) {
             const serialized = String(JSON.stringify(obj));
@@ -197,8 +395,11 @@ export function createNdjsonLogger(options) {
             enqueue({ kind: "truncate" });
         },
         async flush() {
-            await drain();
+            await Promise.all([...states].map((state) => drain(state)));
+        },
+        flushSync() {
+            for (const state of states)
+                flushStateSync(state);
         },
-        flushSync,
     };
 }

package/node_modules/pi-lens/dist/clients/opengrep-client.js

@@ -10,7 +10,7 @@
  *
  * Why: opengrep has no `workspace/diagnostic` pull support (push-only, per
  * `docs/servercapabilities.md`), and `reopenOnResync: true`
- * (`clients/lsp/server-strategies.ts`) means every LSP touch already forces a
+ * (`clients/lsp/wait-policy/strategies.ts`) means every LSP touch already forces a
  * full re-scan of that one file — there's no incremental efficiency lost by
  * moving bulk scans off the per-file touch loop. On a full sweep the old path
  * instead paid opengrep's full per-file wait-tier budget serially, one file at

package/node_modules/pi-lens/dist/clients/partial-edit-apply.js

@@ -1,5 +1,6 @@
 import * as fs from "node:fs";
 import { detectLineEnding, normalizeToLF, restoreLineEndings, } from "./host-edit-normalize.js";
+import { boundedEditIndexes, createReadGuardEditBatchSummary, formatBoundedEditIndexes, logReadGuardEvent, } from "./read-guard-logger.js";
 function replaceOnce(content, oldText, newText) {
     const idx = content.indexOf(oldText);
     if (idx === -1)
@@ -16,6 +17,7 @@ function replaceOnce(content, oldText, newText) {
  * than logged as applied.
  */
 export async function applyPartiallyApplicableEdits(args) {
+    const startedAt = Date.now();
     const raw = fs.readFileSync(args.filePath, "utf-8");
     // Detect + restore line endings the way the host edit tool does:
     // first-occurrence-wins detection (not "any CRLF present") and lone-CR -> LF
@@ -24,22 +26,135 @@ export async function applyPartiallyApplicableEdits(args) {
     const ending = detectLineEnding(raw);
     let content = normalizeToLF(raw);
     const applied = [];
+    const skipped = [];
     for (const edit of args.edits) {
         const oldText = normalizeToLF(edit.oldText);
         const newText = normalizeToLF(edit.newText ?? "");
         const replaced = replaceOnce(content, oldText, newText);
-        if (!replaced.changed)
+        if (!replaced.changed) {
+            skipped.push(edit.originalIndex);
             continue;
+        }
         content = replaced.content;
         applied.push(edit.originalIndex);
     }
-    if (applied.length > 0) {
-        fs.writeFileSync(args.filePath, restoreLineEndings(content, ending), "utf-8");
+    let commitStatus = applied.length > 0 ? "committed" : "no_changes";
+    try {
+        if (applied.length > 0) {
+            fs.writeFileSync(args.filePath, restoreLineEndings(content, ending), "utf-8");
+        }
     }
-    const postEditOutput = applied.length > 0 ? await args.afterWrite?.() : undefined;
+    catch (error) {
+        commitStatus = "failed";
+        if (args.summary || args.correlationId) {
+            const summary = createReadGuardEditBatchSummary({
+                ...(args.summary ?? {
+                    requestedIndexes: boundedEditIndexes(args.edits.slice(0, 100).map((edit) => edit.originalIndex)),
+                    requestedTotal: args.edits.length,
+                }),
+                appliedIndexes: [],
+                appliedTotal: 0,
+                participantIds: args.correlationId ? [args.correlationId] : undefined,
+                participantTotal: args.correlationId ? 1 : undefined,
+                commitStatus,
+                terminalStatus: "failed",
+                durationMs: Date.now() - startedAt,
+            });
+            logReadGuardEvent({
+                event: "edit_batch_summary",
+                correlationId: args.correlationId,
+                filePath: args.filePath,
+                metadata: { tool: "edit", editBatchSummary: summary },
+            });
+        }
+        throw error;
+    }
+    let postEditOutput;
+    let postEditStatus = "not_run";
+    if (applied.length > 0 && args.afterWrite) {
+        try {
+            postEditOutput = await args.afterWrite();
+            postEditStatus = "succeeded";
+        }
+        catch (error) {
+            // The write is committed. Preserve the existing caller behavior for
+            // uninstrumented callers; the read-guard path records and handles it.
+            postEditStatus = "failed";
+            if (!args.summary && !args.correlationId)
+                throw error;
+        }
+    }
+    if (!args.summary && !args.correlationId) {
+        return {
+            appliedCount: applied.length,
+            appliedIndices: formatBoundedEditIndexes(applied),
+            postEditOutput,
+        };
+    }
+    const baseSummary = args.summary ??
+        createReadGuardEditBatchSummary({
+            requestedIndexes: boundedEditIndexes(args.edits.slice(0, 100).map((edit) => edit.originalIndex)),
+            requestedTotal: args.edits.length,
+            resolvedIndexes: boundedEditIndexes(args.edits.slice(0, 100).map((edit) => edit.originalIndex)),
+            resolvedTotal: args.edits.length,
+        });
+    const summary = createReadGuardEditBatchSummary({
+        ...baseSummary,
+        rejectedReasons: [
+            ...baseSummary.rejectedReasons,
+            ...skipped.slice(0, 100).map((index) => ({
+                index,
+                code: "replace_once_skipped",
+            })),
+        ],
+        rejectedTotal: baseSummary.rejectedTotal + skipped.length,
+        appliedIndexes: applied,
+        appliedTotal: applied.length,
+        participantIds: args.correlationId
+            ? [...baseSummary.participantIds, args.correlationId]
+            : baseSummary.participantIds,
+        participantTotal: args.correlationId
+            ? baseSummary.participantTotal + 1
+            : baseSummary.participantTotal,
+        commitStatus,
+        postEditStatus,
+        terminalStatus: postEditStatus === "failed"
+            ? "failed"
+            : applied.length === 0
+                ? "skipped"
+                : "success",
+        durationMs: Date.now() - startedAt,
+    });
+    if (postEditStatus === "failed") {
+        logReadGuardEvent({
+            event: "edit_post_edit_pipeline_failed",
+            correlationId: args.correlationId,
+            filePath: args.filePath,
+            metadata: {
+                tool: "edit",
+                commitStatus,
+                appliedCount: applied.length,
+                appliedIndexes: applied.slice(0, 100),
+                appliedTotal: applied.length,
+            },
+        });
+    }
+    logReadGuardEvent({
+        event: "edit_batch_summary",
+        correlationId: args.correlationId,
+        filePath: args.filePath,
+        metadata: { tool: "edit", editBatchSummary: summary },
+    });
     return {
         appliedCount: applied.length,
-        appliedIndices: applied.map((index) => `edits[${index}]`).join(", "),
+        appliedTotal: applied.length,
+        appliedIndices: formatBoundedEditIndexes(applied),
         postEditOutput,
+        skippedCount: skipped.length,
+        skippedTotal: skipped.length,
+        skippedIndices: formatBoundedEditIndexes(skipped),
+        indexesTruncated: applied.length > 100 || skipped.length > 100 || summary.indexesTruncated,
+        postEditStatus,
+        summary,
     };
 }