petari 0.5.0 → 0.7.0

package/README.md

@@ -48,6 +48,19 @@ petari               # 返答 (changes.md) を適用
 petari の更新で規約文が変わった場合は、`petari init` を再実行すると protocol.md の
 差分を検出して更新を提案します (slnmix 側の更新は不要)。
 
+### 適用が繰り返し失敗するとき
+
+失敗レポート (自動でクリップボードにコピーされます) をそのまま AI に貼り返すのが
+最短です。レポートには実ファイルの該当箇所の抜粋と、どの行がどう違うかの診断が
+含まれるため、AI は推測ではなくコピーで SEARCH を直せます。
+
+それでも同じ箇所が失敗を繰り返す場合は、**AI に渡したスナップショット (repomix /
+slnmix の出力) が実ファイルとずれている**可能性が高いです。特にチャットサービスは
+長い添付を要約・検索処理で部分的にしか読まないことがあり、AI が見えなかった箇所を
+もっともらしく補って出力することがあります。SEARCH の空白調整や言い換えを繰り返す
+より、スナップショットを取り直して渡し直すのが確実です (petari 側は空白・インデント・
+文字コードの差を吸収して照合するため、それらが原因で失敗することはありません)。
+
 ### コマンド
 
 | コマンド | 説明 |

package/dist/commands/apply.js

@@ -204,7 +204,7 @@ export async function applyCommand(argv) {
     // 3. 失敗があれば何も書き込まずレポート (§4.1, §7)
     if (!plan.ok && !values.partial) {
         err(`petari: 検証に失敗しました (${plan.failures.length} 件)。何も書き込んでいません。\n`);
-        await emitReport(buildFailureReport(plan.failures));
+        await emitReport(buildFailureReport(plan.failures, { outcomes: plan.outcomes, nothingWritten: true }));
         return 1;
     }
     const applicable = plan.outcomes.filter(isApplicable);
@@ -217,7 +217,7 @@ export async function applyCommand(argv) {
             return 0;
         }
         err("petari: 適用できる変更がありません。\n");
-        await emitReport(buildFailureReport(plan.failures));
+        await emitReport(buildFailureReport(plan.failures, { outcomes: plan.outcomes, nothingWritten: true }));
         return 1;
     }
     if (values["dry-run"]) {
@@ -226,7 +226,7 @@ export async function applyCommand(argv) {
         printAlreadyApplied(plan.outcomes);
         if (plan.failures.length > 0) {
             out("");
-            await emitReport(buildFailureReport(plan.failures));
+            await emitReport(buildFailureReport(plan.failures, { outcomes: plan.outcomes, nothingWritten: true }));
         }
         return 0;
     }
@@ -315,7 +315,8 @@ export async function applyCommand(argv) {
     if (plan.failures.length > 0) {
         out(`スキップした失敗 ${plan.failures.length} 件のレポート:`);
         out("");
-        await emitReport(buildFailureReport(plan.failures));
+        // --partial で成功分は書き込み済みのため nothingWritten は付けない
+        await emitReport(buildFailureReport(plan.failures, { outcomes: plan.outcomes }));
     }
     // 6. 自動検出 (Downloads / プロジェクト直下) 由来なら changes.md を履歴へ移動
     //    (原本は history に保存済み・§4.1)。全件適用済みで履歴を作らなかった場合は削除しない

package/dist/commands/init.js

@@ -63,15 +63,32 @@ export async function initCommand(argv) {
         }
         catch {
             err(`3. ${repomixPath} を JSON として読めないためスキップします`);
-            parsed = { output: { instructionFilePath: "(parse error)" } };
+            parsed = null;
         }
-        if (parsed.output?.instructionFilePath !== undefined) {
-            out(`3. repomix.config.json は instructionFilePath 設定済みです (変更しません)`);
-        }
-        else if (await ask('3. repomix.config.json に output.instructionFilePath: "protocol.md" を追記しますか?')) {
-            parsed.output = { ...(parsed.output ?? {}), instructionFilePath: "protocol.md" };
-            writeFileSync(repomixPath, JSON.stringify(parsed, null, 2) + "\n", "utf8");
-            out(`   追記しました: ${repomixPath}`);
+        if (parsed !== null) {
+            let changed = false;
+            if (parsed.output?.instructionFilePath !== undefined) {
+                out(`3. repomix.config.json は instructionFilePath 設定済みです (変更しません)`);
+            }
+            else if (await ask('3. repomix.config.json に output.instructionFilePath: "protocol.md" を追記しますか?')) {
+                parsed.output = { ...(parsed.output ?? {}), instructionFilePath: "protocol.md" };
+                changed = true;
+            }
+            // 空行を落としたスナップショットは SEARCH 不一致 (空行欠落) の定番原因 (2026-08-25 実運用事例)
+            const output = parsed.output;
+            if (output !== undefined && output.removeEmptyLines === true) {
+                if (await ask("3. repomix.config.json の output.removeEmptyLines: true は、スナップショットと実ファイルの空行がずれて SEARCH 不一致の原因になります。false に変更しますか?")) {
+                    output.removeEmptyLines = false;
+                    changed = true;
+                }
+                else {
+                    err("   removeEmptyLines: true のままでは AI の SEARCH から空行が欠けやすくなります (petari は失敗レポートの + 印で検出します)");
+                }
+            }
+            if (changed) {
+                writeFileSync(repomixPath, JSON.stringify(parsed, null, 2) + "\n", "utf8");
+                out(`   更新しました: ${repomixPath}`);
+            }
         }
     }
     else if (await ask("3. repomix 連携用の repomix.config.json (最小構成) を作成しますか?")) {

package/dist/core/applier.js

@@ -1,5 +1,6 @@
 import { EncodingError, decodeFile, encodeDocument, findUnencodable, makeDocument, } from "./encoding.js";
 import { STAGE_LABEL, contentEqualsStage, findContentStage, matchBlock, } from "./matcher.js";
+import { analyzeNearest } from "./nearest.js";
 /** Windows の予約デバイス名 (拡張子付きも不可) */
 const WINDOWS_RESERVED = /^(con|prn|aux|nul|com[1-9]|lpt[1-9])(\..+)?$/i;
 /** §9: プロジェクトルート相対のみ。絶対パス・`..`・`~`・Windows 特殊パスを拒否 */
@@ -70,14 +71,43 @@ function planReplace(change, state, fallbackEol) {
                     continue;
                 }
             }
+            if (m.reason === "ambiguous") {
+                // 位置は同一ファイル内の先行ブロック適用後の行配列に対する行番号 (通常は実ファイルと一致)
+                const positions = (m.positions ?? []).map((p) => `${p + 1}`);
+                const shown = positions.length > 5
+                    ? `${positions.slice(0, 5).join(", ")} 行目 他 ${positions.length - 5} 箇所`
+                    : `${positions.join(", ")} 行目`;
+                failures.push({
+                    path: change.path,
+                    kind: "block-ambiguous",
+                    message: `ブロック ${block.index}: SEARCH が ${m.count} 箇所にマッチしました (${STAGE_LABEL[m.stage]}: ${shown})。前後の行を追加して一意に特定できる範囲にしてください`,
+                    block,
+                });
+                continue;
+            }
             const checkedReplace = block.replace.some((l) => l.trim() !== "");
-            const message = m.reason === "ambiguous"
-                ? `ブロック ${block.index}: SEARCH が ${m.count} 箇所にマッチしました (${STAGE_LABEL[m.stage]})。一意に特定できる範囲を含めてください`
-                : `ブロック ${block.index}: SEARCH が現在のファイル内容に見つかりません` +
-                    (checkedReplace
-                        ? " (REPLACE の内容も見つからないため、changes.md の基準スナップショットが現在のコードベースとずれている可能性があります)"
-                        : "");
-            failures.push({ path: change.path, kind: m.reason === "ambiguous" ? "block-ambiguous" : "block-not-found", message, block });
+            const message = `ブロック ${block.index}: SEARCH が現在のファイル内容に見つかりません` +
+                (checkedReplace
+                    ? " (REPLACE の内容も見つからないため、changes.md の基準スナップショットが現在のコードベースとずれている可能性があります)"
+                    : "");
+            const nearest = analyzeNearest(textLines, block.search, applied.length > 0);
+            // SEARCH が全滅のときのみ REPLACE 側で近傍を推定する (本来当てたかった箇所のヒント)。
+            // fold 段のみの偶然一致をノイズとして弾くため matchCount >= 1 を要求する
+            let nearestReplace;
+            if (nearest.window === null && checkedReplace) {
+                const byReplace = analyzeNearest(textLines, block.replace, applied.length > 0, "REPLACE");
+                if (byReplace.window !== null && byReplace.window.matchCount >= 1) {
+                    nearestReplace = byReplace;
+                }
+            }
+            failures.push({
+                path: change.path,
+                kind: "block-not-found",
+                message,
+                block,
+                nearest,
+                ...(nearestReplace !== undefined ? { nearestReplace } : {}),
+            });
             continue;
         }
         const replacement = m.replacement;

package/dist/core/matcher.js

@@ -102,7 +102,7 @@ export function matchBlock(lines, block) {
             return { ok: true, block, stage, start, end, replacement };
         }
         if (found.length > 1) {
-            return { ok: false, block, reason: "ambiguous", stage, count: found.length };
+            return { ok: false, block, reason: "ambiguous", stage, count: found.length, positions: found };
         }
     }
     return { ok: false, block, reason: "not-found" };

package/dist/core/nearest.js

@@ -0,0 +1,359 @@
+/**
+ * SEARCH 不一致時の近傍診断 (§7 失敗レポートの拡充)。
+ * 実ファイル内で SEARCH に最も近い領域を特定し、どの行がどう違うかを構造化して返す。
+ * I/O を持たない純粋ロジック。レポートの文字列化は renderNearest が行う。
+ *
+ * 2026-08-25 の実運用事例 (AI が失敗原因を空白/エンコーディングと誤診し 4 往復) を受けて追加。
+ * 抜粋行は verbatim で保持する — AI がそのまま次の SEARCH へコピーする前提のため、
+ * 制御文字の可視化などの加工は行わない (差分の説明は note 側に分離する)。
+ *
+ * 2026-08-25 追記 (空行欠落事例): スナップショット生成ツール側で空行が落ち、SEARCH に
+ * 空行が不足するだけで不一致になる事例が確認された。固定幅ウィンドウのスライド照合では
+ * 1 行の過不足で位置合わせ全体がずれ、別の類似箇所 (End Sub 等) を抜粋してしまうため、
+ * ギャップ (行の挿入・欠落) を許容するアラインメント (fit alignment) へ変更した。
+ * 実ファイル側にだけある行は "+" として抜粋に含め、空行なら専用の注記と修正ヒントを出す。
+ */
+/** 前後のコンテキストとして抜粋に含める行数 */
+const CONTEXT_LINES = 4;
+/** レポートに載せるウィンドウの最大行数 (巨大 SEARCH の暴走防止) */
+const MAX_RENDER_LINES = 40;
+/** 「存在しない行」一覧の最大表示数 */
+const MAX_MISSING_LINES = 8;
+/** アラインメント DP のセル数上限 (巨大ファイル × 巨大 SEARCH のメモリ暴走防止) */
+const MAX_DP_CELLS = 20_000_000;
+/**
+ * アラインメントのスコア。置換 (SUB) は gap 2 個 (削除+挿入) より高くする —
+ * 内容の異なる行同士でも位置が対応するなら「!」として同じ行に並べて見せたいため。
+ */
+const SCORE_MATCH = 6; // 前後空白無視で一致
+const SCORE_WS = 4; // 行内空白の圧縮まで許すと一致
+const SCORE_FOLD = 2; // 不可視文字の畳み込みまで許すと一致
+const SCORE_SUB = -2; // 内容の異なる行同士の対応付け
+const GAP = -3; // 片側にしかない行 1 行あたり
+const collapseWs = (s) => s.replace(/[ \t]+/g, " ");
+/**
+ * 目視で区別しづらい文字を通常の文字へ畳み込む。畳み込み後に一致するなら、
+ * その行の差は「見えない文字」だけに因る (レポートでコードポイントを示す価値がある)。
+ */
+const FOLD_RULES = [
+    [/[\u3000\u00A0]/g, " "], // 全角スペース / ノーブレークスペース
+    [/[\u200B-\u200D\uFEFF]/g, ""], // ゼロ幅文字
+    [/\u301C/g, "\uFF5E"], // 波ダッシュ ↔ 全角チルダ (Shift_JIS デコーダ差の定番)
+];
+const foldConfusable = (s) => FOLD_RULES.reduce((t, [re, rep]) => t.replace(re, rep), s);
+function verdictOf(fileTrim, searchTrim) {
+    if (fileTrim === searchTrim)
+        return "match";
+    if (collapseWs(fileTrim) === collapseWs(searchTrim))
+        return "ws-only";
+    return "differ";
+}
+/** 最初に異なるコードポイントの位置と内容 (前後空白は無視して比較) */
+function describeFirstDiff(fileLine, searchLine) {
+    const a = [...fileLine.trim()];
+    const b = [...searchLine.trim()];
+    let i = 0;
+    while (i < a.length && i < b.length && a[i] === b[i])
+        i++;
+    const cp = (arr, idx) => {
+        const ch = arr[idx];
+        if (ch === undefined)
+            return "行末";
+        return `U+${ch.codePointAt(0).toString(16).toUpperCase().padStart(4, "0")}`;
+    };
+    return `${i + 1} 文字目から異なります (実ファイル側: ${cp(a, i)} / SEARCH 側: ${cp(b, i)})`;
+}
+function noteFor(fileLine, searchLine, verdict, subject) {
+    if (verdict === "ws-only") {
+        return "行内の連続空白の個数のみが異なります (実ファイル側の行をそのままコピーしてください)";
+    }
+    if (verdict === "differ") {
+        const ft = fileLine.trim();
+        const st = searchLine.trim();
+        if (ft === "" && st !== "") {
+            return `実ファイル側のこの行は空行です。空行も 1 行として照合されるため、${subject} 側の空行の過不足を確認してください`;
+        }
+        if (st === "" && ft !== "") {
+            return `${subject} 側の対応行は空行ですが、実ファイルのこの行は空行ではありません (${subject} 側の空行の位置を確認してください)`;
+        }
+        if (collapseWs(foldConfusable(ft)) === collapseWs(foldConfusable(st))) {
+            return `見た目で区別しづらい文字の差です。${describeFirstDiff(fileLine, searchLine)}`;
+        }
+    }
+    return undefined;
+}
+/**
+ * fit alignment: SEARCH 全行を実ファイルのどこかの連続領域に、行の挿入・欠落 (gap) を
+ * 許容しつつ最良スコアで対応付ける。局所アラインメントと違い SEARCH 側は必ず全行を
+ * 消費する (先頭・末尾の不一致行も「!」として抜粋に残すため)。
+ * 実ファイル側の開始位置は自由 (H[i][0] = 0)、同点なら最初 (最も上) の領域を採用。
+ */
+function alignSearch(fTrim, sTrimAll, fColl, sCollAll, fFold, sFoldAll) {
+    const n = fTrim.length;
+    if (n === 0 || sTrimAll.length === 0)
+        return null;
+    // セル数上限を超える場合は SEARCH 側を先頭から切り詰める (残りは unmatched 扱い)
+    const m = Math.min(sTrimAll.length, Math.max(1, Math.floor(MAX_DP_CELLS / n)));
+    const pairScore = (fi, sj) => {
+        if (fTrim[fi] === sTrimAll[sj])
+            return SCORE_MATCH;
+        if (fColl[fi] === sCollAll[sj])
+            return SCORE_WS;
+        if (fFold[fi] === sFoldAll[sj])
+            return SCORE_FOLD;
+        return SCORE_SUB;
+    };
+    // 1 = diag (pair), 2 = up (実ファイル側の挿入行), 3 = left (SEARCH 側の欠落行)
+    const dirs = new Uint8Array(n * m);
+    let prev = new Int32Array(m + 1);
+    let curr = new Int32Array(m + 1);
+    for (let j = 1; j <= m; j++)
+        prev[j] = j * GAP;
+    let bestScore = Number.NEGATIVE_INFINITY;
+    let bestI = -1;
+    for (let i = 1; i <= n; i++) {
+        curr[0] = 0;
+        for (let j = 1; j <= m; j++) {
+            const diag = prev[j - 1] + pairScore(i - 1, j - 1);
+            const up = prev[j] + GAP;
+            const left = curr[j - 1] + GAP;
+            let v = diag;
+            let d = 1;
+            if (up > v) {
+                v = up;
+                d = 2;
+            }
+            if (left > v) {
+                v = left;
+                d = 3;
+            }
+            curr[j] = v;
+            dirs[(i - 1) * m + (j - 1)] = d;
+        }
+        if (curr[m] > bestScore) {
+            bestScore = curr[m];
+            bestI = i;
+        }
+        [prev, curr] = [curr, prev];
+    }
+    if (bestI < 0)
+        return null;
+    const rev = [];
+    let i = bestI;
+    let j = m;
+    while (j > 0) {
+        if (i === 0) {
+            rev.push({ kind: "missing", searchIdx: j - 1 });
+            j--;
+            continue;
+        }
+        const d = dirs[(i - 1) * m + (j - 1)];
+        if (d === 1) {
+            rev.push({ kind: "pair", fileIdx: i - 1, searchIdx: j - 1 });
+            i--;
+            j--;
+        }
+        else if (d === 2) {
+            rev.push({ kind: "extra", fileIdx: i - 1 });
+            i--;
+        }
+        else {
+            rev.push({ kind: "missing", searchIdx: j - 1 });
+            j--;
+        }
+    }
+    return { steps: rev.reverse(), clippedSearchFrom: m };
+}
+/**
+ * SEARCH に最も近い実ファイル領域を探す。
+ * 行の対応付けはギャップ許容アラインメント (alignSearch)。1 行も (空白圧縮・不可視文字の
+ * 畳み込みでも) 一致しないときのみ window は null。
+ */
+export function analyzeNearest(fileLines, search, afterPriorBlocks = false, subject = "SEARCH") {
+    const fTrim = fileLines.map((l) => l.trim());
+    const sTrim = search.map((l) => l.trim());
+    const fColl = fTrim.map(collapseWs);
+    const sColl = sTrim.map(collapseWs);
+    const fFold = fTrim.map((t) => collapseWs(foldConfusable(t)));
+    const sFold = sTrim.map((t) => collapseWs(foldConfusable(t)));
+    const lineHits = [];
+    search.forEach((text, i) => {
+        const t = sTrim[i];
+        if (t === "")
+            return; // 空行はどこにでも一致するため対象外
+        let count = 0;
+        for (const f of fTrim)
+            if (f === t)
+                count++;
+        lineHits.push({ index: i + 1, text, count });
+    });
+    const aligned = alignSearch(fTrim, sTrim, fColl, sColl, fFold, sFold);
+    if (aligned === null)
+        return { lineHits, window: null, afterPriorBlocks, subject };
+    const { steps, clippedSearchFrom } = aligned;
+    // どの段の一致も 1 行も無いアラインメントは領域として無意味 (従来の null 条件を維持)
+    const anyHit = steps.some((s) => s.kind === "pair" &&
+        (fTrim[s.fileIdx] === sTrim[s.searchIdx] ||
+            fColl[s.fileIdx] === sColl[s.searchIdx] ||
+            fFold[s.fileIdx] === sFold[s.searchIdx]));
+    if (!anyHit)
+        return { lineHits, window: null, afterPriorBlocks, subject };
+    const fileIdxs = steps.flatMap((s) => (s.kind === "missing" ? [] : [s.fileIdx]));
+    const startFile = Math.min(...fileIdxs);
+    const endFile = Math.max(...fileIdxs) + 1;
+    const lines = [];
+    const unmatchedSearch = [];
+    let matchCount = 0;
+    let extraCount = 0;
+    let extraBlankCount = 0;
+    const pushContext = (from, to) => {
+        for (let i = from; i < to; i++) {
+            lines.push({ lineNo: i + 1, text: fileLines[i], verdict: null });
+        }
+    };
+    pushContext(Math.max(0, startFile - CONTEXT_LINES), startFile);
+    for (const step of steps) {
+        if (step.kind === "missing") {
+            unmatchedSearch.push({
+                index: step.searchIdx + 1,
+                text: search[step.searchIdx],
+                blank: sTrim[step.searchIdx] === "",
+            });
+            continue;
+        }
+        if (step.kind === "extra") {
+            extraCount++;
+            const blank = fTrim[step.fileIdx] === "";
+            if (blank)
+                extraBlankCount++;
+            const note = blank
+                ? `実ファイル側にある空行です。${subject} にこの空行が欠けているため一致しませんでした (空行も 1 行として照合されます)`
+                : `${subject} に含まれていない行です。この行も含めてコピーしてください`;
+            lines.push({
+                lineNo: step.fileIdx + 1,
+                text: fileLines[step.fileIdx],
+                verdict: "extra",
+                note,
+            });
+            continue;
+        }
+        const verdict = verdictOf(fTrim[step.fileIdx], sTrim[step.searchIdx]);
+        if (verdict === "match")
+            matchCount++;
+        const note = noteFor(fileLines[step.fileIdx], search[step.searchIdx], verdict, subject);
+        lines.push({
+            lineNo: step.fileIdx + 1,
+            text: fileLines[step.fileIdx],
+            verdict,
+            ...(note !== undefined ? { note } : {}),
+        });
+    }
+    pushContext(endFile, Math.min(fileLines.length, endFile + CONTEXT_LINES));
+    // DP セル数上限で切り詰めた SEARCH 末尾は対応なし扱い
+    for (let k = clippedSearchFrom; k < search.length; k++) {
+        unmatchedSearch.push({ index: k + 1, text: search[k], blank: sTrim[k] === "" });
+    }
+    return {
+        lineHits,
+        window: {
+            total: search.length,
+            matchCount,
+            lines,
+            extraCount,
+            extraBlankCount,
+            unmatchedSearch,
+        },
+        afterPriorBlocks,
+        subject,
+    };
+}
+const MARK = { match: "=", "ws-only": "~", differ: "!", extra: "+" };
+/** 抜粋 (コードブロック + 凡例 + 行ごとの注記)。SEARCH / REPLACE 両方の診断で共用 */
+function renderWindowBody(w, subject) {
+    const out = ["```"];
+    for (const line of w.lines.slice(0, MAX_RENDER_LINES)) {
+        const mark = line.verdict === null ? " " : MARK[line.verdict];
+        out.push(`${mark} ${String(line.lineNo).padStart(5)}│${line.text}`);
+    }
+    if (w.lines.length > MAX_RENDER_LINES) {
+        out.push(`… (以下 ${w.lines.length - MAX_RENDER_LINES} 行省略)`);
+    }
+    out.push("```", `凡例: ! = ${subject} と内容が異なる行 / ~ = 空白の個数のみ異なる行 / + = 実ファイルにあるが ${subject} にない行 / = = 一致した行 / 無印 = 前後の文脈`);
+    for (const line of w.lines) {
+        if (line.note !== undefined)
+            out.push(`- ${line.lineNo} 行目: ${line.note}`);
+    }
+    for (const u of w.unmatchedSearch) {
+        out.push(u.blank
+            ? `- ${subject} ${u.index} 行目の空行に対応する行がこの領域にありません (${subject} 側の空行が余分の可能性)`
+            : `- ${subject} ${u.index} 行目 (${u.text.trim()}) に対応する行がこの領域にありません`);
+    }
+    return out;
+}
+/**
+ * 修正のヒント (near-miss 自動サジェスト)。SEARCH の全行が順序どおり実ファイルに存在し、
+ * 間に SEARCH 側に無い行が挟まっているだけなら「抜粋のコピーで一致する」と機械的に言える。
+ * 全部が空行なら空行欠落を名指しする (2026-08-25 の実運用事例の直接対策)。
+ */
+function buildHint(w) {
+    if (w.extraCount === 0 || w.unmatchedSearch.length > 0)
+        return [];
+    if (w.lines.some((l) => l.verdict === "differ"))
+        return [];
+    const head = w.extraBlankCount === w.extraCount
+        ? `▶ 修正のヒント: SEARCH の全行はこの順で実ファイルに存在しますが、間に空行 ${w.extraCount} 行が挟まっています。空行も 1 行として照合されるため一致しませんでした。`
+        : `▶ 修正のヒント: SEARCH の全行はこの順で実ファイルに存在しますが、間に SEARCH にない行が ${w.extraCount} 行 (うち空行 ${w.extraBlankCount} 行) 挟まっています。`;
+    return [
+        "",
+        head,
+        "上の抜粋の「│」より右側を、+ の行も含めてそのままコピーした SEARCH に置き換えれば一致します。",
+    ];
+}
+/** 失敗レポートに埋め込む診断テキスト。抜粋行は「│」の右側が実ファイルの verbatim */
+export function renderNearest(a) {
+    const out = ["#### 参考: 実ファイルの該当箇所 (petari が現在のファイル内容から自動抽出)"];
+    if (a.afterPriorBlocks) {
+        out.push("(同一ファイル内の先行ブロックを適用した後の想定内容です。SEARCH はこの内容に一致させてください)");
+    }
+    out.push("");
+    const missing = a.lineHits.filter((h) => h.count === 0);
+    if (missing.length > 0) {
+        out.push("SEARCH のうち実ファイルに存在しない行 (前後の空白は無視して照合):");
+        for (const h of missing.slice(0, MAX_MISSING_LINES)) {
+            out.push(`- SEARCH ${h.index} 行目: ${h.text.trim()}`);
+        }
+        if (missing.length > MAX_MISSING_LINES) {
+            out.push(`- …他 ${missing.length - MAX_MISSING_LINES} 行`);
+        }
+    }
+    else if (a.window !== null) {
+        out.push("SEARCH の各行は実ファイル内に個別には存在しますが、この並びでは連続していません。");
+    }
+    if (a.window === null) {
+        out.push("", "SEARCH のどの行も (前後の空白を無視しても) 現在のファイルに見つかりません。", "changes.md の基準にしたスナップショット (repomix 等) が古いか、チャット側の要約・", "検索処理により実在しないコードを参照している可能性があります。推測で SEARCH を", "書き換えず、最新のファイル内容の共有を受けてから作り直してください。");
+        return out;
+    }
+    const w = a.window;
+    out.push("", `最も近い領域 (SEARCH ${w.total} 行中 ${w.matchCount} 行が一致):`);
+    out.push(...renderWindowBody(w, a.subject));
+    out.push(...buildHint(w));
+    return out;
+}
+/**
+ * SEARCH がどの行も見つからなかったときの補助診断: REPLACE 側の内容に近い実ファイル領域。
+ * 「本来変更を当てたかった箇所」の推定と、変更が既に別の形で入っている可能性の提示に使う。
+ */
+export function renderNearestReplace(a) {
+    if (a.window === null)
+        return [];
+    const w = a.window;
+    return [
+        "#### 参考: REPLACE 側の内容に近い実ファイル領域",
+        "(SEARCH はどの行も見つかりませんでしたが、REPLACE の内容に近い箇所が実ファイルにあります。",
+        "この変更が既に別の形で適用されているか、SEARCH の基準にしたスナップショットが古い可能性が",
+        "あります。変更がまだ必要な場合は、以下の抜粋を現在の内容として SEARCH を作り直してください)",
+        "",
+        `最も近い領域 (REPLACE ${w.total} 行中 ${w.matchCount} 行が一致):`,
+        ...renderWindowBody(w, a.subject),
+    ];
+}

package/dist/core/report.js

@@ -1,21 +1,126 @@
+import { STAGE_LABEL } from "./matcher.js";
+import { renderNearest, renderNearestReplace } from "./nearest.js";
+const MATCH_SPEC_NOTE = [
+    "## petari の照合仕様 (SEARCH を修正する前に必ず読んでください)",
+    "",
+    "- petari は行末空白・インデントの深さ (タブ/スペース混在含む)・改行コード・文字コード",
+    "  (UTF-8 / Shift_JIS) の違いを自動で吸収して照合しています",
+    "- ただし空行は「内容のある 1 行」として数えます。SEARCH と実ファイルで空行の位置・数が",
+    "  違うと一致しません (スナップショット生成ツールやチャット側の表示で空行が落ちる事例が",
+    "  あります。抜粋では実ファイル側にだけある行を + で示します)",
+    "- したがって「SEARCH が見つかりません」は行内の空白・インデント・エンコーディングの問題では",
+    "  ありません。行の文字内容か、行の構成 (空行を含む行の過不足) が現在のファイルと異なっています",
+    "- 行内空白の調整・ASCII 行だけへの縮小・別アンカーへの乗り換えでは解決しません。各失敗に",
+    "  添付した「実ファイルの該当箇所」の抜粋から、行をそのままコピーしてください",
+];
 const RE_REQUEST = `## 依頼
 
 上記の失敗した各ブロックについて、SEARCH 部分を現在のファイル内容と完全に一致するよう修正し、
 changes.md 全体を元の規約フォーマット (## CHANGES から始まる形式) で再出力してください。
+- SEARCH の修正には「実ファイルの該当箇所」の抜粋を使い、「│」より右側を一字一句そのまま
+  コピーしてください (行頭の「! ~ = +」の記号と行番号は含めません。+ の行 (空行含む) も
+  SEARCH に含めます)
 - SEARCH ブロックにはファイル内で一意に特定できる範囲を含めてください
-- 失敗していないファイル・ブロックも含めた完全な changes.md を出力してください`;
-/** 検証失敗 (マッチング・パス・エンコーディング) のレポート */
-export function buildFailureReport(failures) {
-    const parts = [
-        "以下の変更ブロックが現在のコードベースに適用できませんでした。",
+- 失敗していないファイル・ブロックも含めた完全な changes.md を出力してください
+- 抜粋にも SEARCH に相当する行が見当たらない場合は、推測で書き換えず、その旨を報告して
+  最新のファイル内容の共有を依頼してください`;
+/** 検証結果の一覧 (成功したブロックも含めて全て)。ファイル間の対比が診断材料になる */
+function outcomeSummary(outcomes) {
+    const lines = ["## 検証結果の一覧 (全ファイル・全ブロック)", ""];
+    for (const o of outcomes) {
+        const c = o.change;
+        if (c.op !== "replace") {
+            const status = o.failures.length > 0
+                ? `NG (${o.failures[0]?.message})`
+                : o.alreadyApplied
+                    ? "OK (適用済みのためスキップ)"
+                    : "OK (検証通過)";
+            lines.push(`- ${c.path} (${c.op}): ${status}`);
+            continue;
+        }
+        const fileLevel = o.failures.find((f) => f.block === undefined);
+        if (fileLevel !== undefined) {
+            lines.push(`- ${c.path} (replace): NG (${fileLevel.message})`);
+            continue;
+        }
+        const okCount = o.appliedBlocks.length + o.alreadyAppliedBlocks.length;
+        lines.push(`- ${c.path} (replace): ${okCount}/${o.totalBlocks} ブロック一致`);
+        const byIndex = new Map();
+        for (const b of o.appliedBlocks) {
+            byIndex.set(b.block.index, `OK 一致 (${STAGE_LABEL[b.stage]})`);
+        }
+        for (const b of o.alreadyAppliedBlocks) {
+            byIndex.set(b.block.index, "OK 適用済み (REPLACE が既に存在)");
+        }
+        for (const f of o.failures) {
+            if (f.block === undefined)
+                continue;
+            const label = f.kind === "block-ambiguous"
+                ? "NG 複数箇所に一致 (一意でない)"
+                : f.kind === "unencodable"
+                    ? "NG 変換できない文字を含む"
+                    : "NG SEARCH 不一致 (詳細は下記)";
+            byIndex.set(f.block.index, label);
+        }
+        for (const [index, status] of [...byIndex.entries()].sort((a, b) => a[0] - b[0])) {
+            lines.push(`    - ブロック ${index}: ${status}`);
+        }
+    }
+    lines.push(...remainingSummary(outcomes));
+    return lines;
+}
+/**
+ * 「残り何ブロックを直せば全適用できるか」の構造化サマリ (§7)。
+ * all-or-nothing の設計上、あと 1 ブロックで全通しの状態を明示すると再出力の
+ * 修正ポイントが絞れる (2026-08-25 実運用フィードバック)。
+ */
+function remainingSummary(outcomes) {
+    let totalUnits = 0;
+    let failedUnits = 0;
+    for (const o of outcomes) {
+        if (o.change.op === "replace" && o.totalBlocks > 0) {
+            totalUnits += o.totalBlocks;
+            const fileLevel = o.failures.some((f) => f.block === undefined);
+            failedUnits += fileLevel ? o.totalBlocks : o.failures.length;
+        }
+        else {
+            totalUnits += 1;
+            if (o.failures.length > 0)
+                failedUnits += 1;
+        }
+    }
+    if (failedUnits === 0 || failedUnits >= totalUnits)
+        return [];
+    const passed = totalUnits - failedUnits;
+    return [
         "",
-        "## 適用失敗の詳細",
+        failedUnits === 1
+            ? `→ 失敗は全 ${totalUnits} ブロック中この 1 ブロックだけです。この 1 ブロックの SEARCH を修正すれば全体が適用可能になります。`
+            : `→ 全 ${totalUnits} ブロック中 ${passed} ブロックは検証を通過しています。残る ${failedUnits} ブロックの SEARCH を修正すれば全体が適用可能になります。`,
     ];
+}
+/** 検証失敗 (マッチング・パス・エンコーディング) のレポート */
+export function buildFailureReport(failures, ctx = {}) {
+    const parts = ["以下の変更ブロックが現在のコードベースに適用できませんでした。"];
+    if (ctx.nothingWritten === true) {
+        parts.push("", "※ この失敗により petari は何も書き込んでいません (all-or-nothing)。下の一覧で「一致」と", "表示されたブロックもまだファイルには適用されていないため、再出力には失敗していない", "ブロックもすべて含めてください。");
+    }
+    parts.push("", ...MATCH_SPEC_NOTE);
+    if (ctx.outcomes !== undefined) {
+        parts.push("", ...outcomeSummary(ctx.outcomes));
+    }
+    parts.push("", "## 適用失敗の詳細");
     for (const f of failures) {
         parts.push("", `### ${f.path}`, `失敗理由: ${f.message}`);
         if (f.block !== undefined) {
             parts.push("", "```", "<<<<<<< SEARCH", ...f.block.search, "=======", ...f.block.replace, ">>>>>>> REPLACE", "```");
         }
+        if (f.nearest !== undefined) {
+            parts.push("", ...renderNearest(f.nearest));
+        }
+        if (f.nearestReplace !== undefined) {
+            parts.push("", ...renderNearestReplace(f.nearestReplace));
+        }
     }
     parts.push("", RE_REQUEST, "");
     return parts.join("\n");

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "petari",
-  "version": "0.5.0",
+  "version": "0.7.0",
   "description": "petari — paste AI chat patches onto your codebase",
   "keywords": [
     "cli",