petari 0.7.0 → 0.8.0

package/README.md

@@ -59,7 +59,8 @@ slnmix の出力) が実ファイルとずれている**可能性が高いです
 長い添付を要約・検索処理で部分的にしか読まないことがあり、AI が見えなかった箇所を
 もっともらしく補って出力することがあります。SEARCH の空白調整や言い換えを繰り返す
 より、スナップショットを取り直して渡し直すのが確実です (petari 側は空白・インデント・
-文字コードの差を吸収して照合するため、それらが原因で失敗することはありません)。
+空行の位置や数・文字コードの差を吸収して照合するため、それらが原因で失敗することは
+ありません)。
 
 ### コマンド
 

package/dist/commands/apply.js

@@ -9,7 +9,7 @@ import { parseArgs } from "node:util";
 import { invalidPathReason, planChangeSet, } from "../core/applier.js";
 import { PRESENCE_STAGE_LABEL } from "../core/matcher.js";
 import { parseChangesRecovering } from "../core/parser.js";
-import { buildFailureReport, buildParseErrorReport } from "../core/report.js";
+import { buildBlankInsensitiveNote, buildFailureReport, buildParseErrorReport, } from "../core/report.js";
 import { readClipboard, writeClipboard } from "../infra/clipboard.js";
 import { loadConfig } from "../infra/config.js";
 import { findRecentChangesFiles, resolveDownloadsDir, } from "../infra/downloads.js";
@@ -224,6 +224,9 @@ export async function applyCommand(argv) {
         out(`dry-run: 適用予定 ${applicable.length} ファイル (書き込みなし)`);
         printPreview(applicable);
         printAlreadyApplied(plan.outcomes);
+        const dryRunNote = buildBlankInsensitiveNote(plan.outcomes);
+        if (dryRunNote !== null)
+            out(dryRunNote);
         if (plan.failures.length > 0) {
             out("");
             await emitReport(buildFailureReport(plan.failures, { outcomes: plan.outcomes, nothingWritten: true }));
@@ -312,6 +315,9 @@ export async function applyCommand(argv) {
     for (const o of applicable)
         out(`  ${opLabel(o)}`);
     printAlreadyApplied(plan.outcomes);
+    const appliedNote = buildBlankInsensitiveNote(plan.outcomes);
+    if (appliedNote !== null)
+        out(appliedNote);
     if (plan.failures.length > 0) {
         out(`スキップした失敗 ${plan.failures.length} 件のレポート:`);
         out("");

package/dist/core/matcher.js

@@ -2,6 +2,7 @@ export const STAGE_LABEL = {
     "exact": "完全一致",
     "trim-end": "行末空白無視",
     "trim-all": "インデント無視",
+    "blank-insensitive": "空行差無視",
 };
 const STAGES = [
     { stage: "exact", eq: (a, b) => a === b },
@@ -89,7 +90,47 @@ export function reindent(replaceLines, searchBase, fileBase) {
         return fileBase + line.trimStart();
     });
 }
-/** 1 ブロックを 2 段フォールバックでマッチさせ、適用後の置換行も算出する */
+/**
+ * 4 段目 blank-insensitive (§6): SEARCH と実ファイルの双方から空行を除いた行列を
+ * trim-all 比較 (a.trim() === b.trim()) で連続一致探索する。マッチ範囲は最初と最後の
+ * 非空行で囲まれた元ファイル範囲 (内部の空行は含む、外側の空行は含まない)。
+ * SEARCH の先頭・末尾の空行は照合範囲に含めず、実ファイル側の外側の空行はそのまま残る。
+ * REPLACE 側の空行はそのまま挿入する (意図的な空行挿入を潰さないため、勝手に削らない)。
+ * 見つからないときは null (呼び出し元が not-found にする)。
+ */
+function matchBlankInsensitive(lines, block) {
+    const searchNonBlank = block.search.filter((l) => l.trim() !== "");
+    // SEARCH が空行のみなら試行しない (どこにでも一致し得るため)
+    if (searchNonBlank.length === 0)
+        return null;
+    const fileNonBlank = [];
+    const origIdx = [];
+    lines.forEach((line, i) => {
+        if (line.trim() !== "") {
+            fileNonBlank.push(line);
+            origIdx.push(i);
+        }
+    });
+    const found = findMatches(fileNonBlank, searchNonBlank, (a, b) => a.trim() === b.trim());
+    if (found.length === 0)
+        return null;
+    if (found.length > 1) {
+        return {
+            ok: false,
+            block,
+            reason: "ambiguous",
+            stage: "blank-insensitive",
+            count: found.length,
+            positions: found.map((h) => origIdx[h]),
+        };
+    }
+    const hit = found[0];
+    const start = origIdx[hit];
+    const end = origIdx[hit + searchNonBlank.length - 1] + 1;
+    const replacement = reindent(block.replace, baseIndent(block.search), baseIndent(lines.slice(start, end)));
+    return { ok: true, block, stage: "blank-insensitive", start, end, replacement };
+}
+/** 1 ブロックを段階フォールバック (STAGES → blank-insensitive) でマッチさせ、適用後の置換行も算出する */
 export function matchBlock(lines, block) {
     for (const { stage, eq } of STAGES) {
         const found = findMatches(lines, block.search, eq);
@@ -105,6 +146,9 @@ export function matchBlock(lines, block) {
             return { ok: false, block, reason: "ambiguous", stage, count: found.length, positions: found };
         }
     }
+    const blankInsensitive = matchBlankInsensitive(lines, block);
+    if (blankInsensitive !== null)
+        return blankInsensitive;
     return { ok: false, block, reason: "not-found" };
 }
 /**

package/dist/core/nearest.js

@@ -12,6 +12,10 @@
  * 1 行の過不足で位置合わせ全体がずれ、別の類似箇所 (End Sub 等) を抜粋してしまうため、
  * ギャップ (行の挿入・欠落) を許容するアラインメント (fit alignment) へ変更した。
  * 実ファイル側にだけある行は "+" として抜粋に含め、空行なら専用の注記と修正ヒントを出す。
+ *
+ * 2026-08-30 追記: matcher に 4 段目 blank-insensitive が入り、空行の差だけなら SEARCH
+ * マッチングの段階で自動吸収されるようになった。この診断に空行差が現れるのは「空行以外にも
+ * 差がある」ケースだけなので、注記は空行が原因と読めない文言にする (誤誘導防止)。
  */
 /** 前後のコンテキストとして抜粋に含める行数 */
 const CONTEXT_LINES = 4;
@@ -71,10 +75,10 @@ function noteFor(fileLine, searchLine, verdict, subject) {
         const ft = fileLine.trim();
         const st = searchLine.trim();
         if (ft === "" && st !== "") {
-            return `実ファイル側のこの行は空行です。空行も 1 行として照合されるため、${subject} 側の空行の過不足を確認してください`;
+            return `実ファイル側のこの行は空行です (空行の位置・数の差は自動で吸収されるため、失敗の原因は空行ではなく他の行の差にあります)`;
         }
         if (st === "" && ft !== "") {
-            return `${subject} 側の対応行は空行ですが、実ファイルのこの行は空行ではありません (${subject} 側の空行の位置を確認してください)`;
+            return `${subject} 側の対応行は空行ですが、実ファイルのこの行は空行ではありません (実ファイル側の行をそのままコピーしてください。空行の差は自動で吸収されます)`;
         }
         if (collapseWs(foldConfusable(ft)) === collapseWs(foldConfusable(st))) {
             return `見た目で区別しづらい文字の差です。${describeFirstDiff(fileLine, searchLine)}`;
@@ -227,7 +231,7 @@ export function analyzeNearest(fileLines, search, afterPriorBlocks = false, subj
             if (blank)
                 extraBlankCount++;
             const note = blank
-                ? `実ファイル側にある空行です。${subject} にこの空行が欠けているため一致しませんでした (空行も 1 行として照合されます)`
+                ? `実ファイル側にある空行です (空行の位置・数の差は自動で吸収されるため、この空行自体は失敗の原因ではありません)`
                 : `${subject} に含まれていない行です。この行も含めてコピーしてください`;
             lines.push({
                 lineNo: step.fileIdx + 1,
@@ -285,7 +289,7 @@ function renderWindowBody(w, subject) {
     }
     for (const u of w.unmatchedSearch) {
         out.push(u.blank
-            ? `- ${subject} ${u.index} 行目の空行に対応する行がこの領域にありません (${subject} 側の空行が余分の可能性)`
+            ? `- ${subject} ${u.index} 行目の空行に対応する行がこの領域にありません (${subject} 側だけの空行は自動で吸収されるため、失敗の原因は他の行にあります)`
             : `- ${subject} ${u.index} 行目 (${u.text.trim()}) に対応する行がこの領域にありません`);
     }
     return out;
@@ -293,16 +297,20 @@ function renderWindowBody(w, subject) {
 /**
  * 修正のヒント (near-miss 自動サジェスト)。SEARCH の全行が順序どおり実ファイルに存在し、
  * 間に SEARCH 側に無い行が挟まっているだけなら「抜粋のコピーで一致する」と機械的に言える。
- * 全部が空行なら空行欠落を名指しする (2026-08-25 の実運用事例の直接対策)。
+ * 空行だけの過不足は blank-insensitive 段階で自動吸収されるため、このヒントが空行のみを
+ * 指すのは行内空白差 (~) が併発しているときだけ — 原因を空行と誤読させない文言にする。
  */
 function buildHint(w) {
     if (w.extraCount === 0 || w.unmatchedSearch.length > 0)
         return [];
     if (w.lines.some((l) => l.verdict === "differ"))
         return [];
+    const hasWsOnly = w.lines.some((l) => l.verdict === "ws-only");
     const head = w.extraBlankCount === w.extraCount
-        ? `▶ 修正のヒント: SEARCH の全行はこの順で実ファイルに存在しますが、間に空行 ${w.extraCount} 行が挟まっています。空行も 1 行として照合されるため一致しませんでした。`
-        : `▶ 修正のヒント: SEARCH の全行はこの順で実ファイルに存在しますが、間に SEARCH にない行が ${w.extraCount} 行 (うち空行 ${w.extraBlankCount} 行) 挟まっています。`;
+        ? hasWsOnly
+            ? `▶ 修正のヒント: 間に挟まる空行 ${w.extraCount} 行の差は自動で吸収されます。この失敗の原因は空行ではなく、空白の個数のみ異なる行 (~) です。`
+            : `▶ 修正のヒント: SEARCH の全行はこの順で実ファイルに存在しますが、間に空行 ${w.extraCount} 行が挟まっています。`
+        : `▶ 修正のヒント: SEARCH の全行はこの順で実ファイルに存在しますが、間に SEARCH にない行が ${w.extraCount} 行 (うち空行 ${w.extraBlankCount} 行) 挟まっています。空行の差は自動で吸収されますが、内容のある行の欠落は吸収されません。`;
     return [
         "",
         head,

package/dist/core/report.js

@@ -3,14 +3,14 @@ import { renderNearest, renderNearestReplace } from "./nearest.js";
 const MATCH_SPEC_NOTE = [
     "## petari の照合仕様 (SEARCH を修正する前に必ず読んでください)",
     "",
-    "- petari は行末空白・インデントの深さ (タブ/スペース混在含む)・改行コード・文字コード",
-    "  (UTF-8 / Shift_JIS) の違いを自動で吸収して照合しています",
-    "- ただし空行は「内容のある 1 行」として数えます。SEARCH と実ファイルで空行の位置・数が",
-    "  違うと一致しません (スナップショット生成ツールやチャット側の表示で空行が落ちる事例が",
-    "  あります。抜粋では実ファイル側にだけある行を + で示します)",
-    "- したがって「SEARCH が見つかりません」は行内の空白・インデント・エンコーディングの問題では",
-    "  ありません。行の文字内容か、行の構成 (空行を含む行の過不足) が現在のファイルと異なっています",
-    "- 行内空白の調整・ASCII 行だけへの縮小・別アンカーへの乗り換えでは解決しません。各失敗に",
+    "- petari は行末空白・インデントの深さ (タブ/スペース混在含む)・空行の位置と数・改行コード・",
+    "  文字コード (UTF-8 / Shift_JIS) の違いを自動で吸収して照合しています",
+    "- 空行の差は双方から空行を除いた照合で吸収されます。ただし空行を除くと複数箇所に一致して",
+    "  しまう場合は曖昧エラーになります (前後の行を追加して一意に特定できる範囲にしてください)",
+    "- したがって「SEARCH が見つかりません」は空白・空行・インデント・エンコーディングの問題では",
+    "  ありません。内容のある行の文字内容か、その過不足が現在のファイルと異なっています",
+    "  (抜粋では実ファイル側にだけある行を + で示します)",
+    "- 行内空白や空行の調整・ASCII 行だけへの縮小・別アンカーへの乗り換えでは解決しません。各失敗に",
     "  添付した「実ファイルの該当箇所」の抜粋から、行をそのままコピーしてください",
 ];
 const RE_REQUEST = `## 依頼
@@ -99,6 +99,23 @@ function remainingSummary(outcomes) {
             : `→ 全 ${totalUnits} ブロック中 ${passed} ブロックは検証を通過しています。残る ${failedUnits} ブロックの SEARCH を修正すれば全体が適用可能になります。`,
     ];
 }
+/**
+ * blank-insensitive (空行差無視) で一致したブロックがあるときの注記 (§6)。
+ * 空行の並びが SEARCH の指定どおりにならない可能性を dry-run と適用サマリの末尾で知らせる。
+ * 該当ブロックが無ければ null。
+ */
+export function buildBlankInsensitiveNote(outcomes) {
+    let count = 0;
+    for (const o of outcomes) {
+        for (const b of o.appliedBlocks) {
+            if (b.stage === "blank-insensitive")
+                count++;
+        }
+    }
+    if (count === 0)
+        return null;
+    return `注: ${count} 件のブロックは空行の差を吸収して適用しました (git diff で空行の並びを確認してください)`;
+}
 /** 検証失敗 (マッチング・パス・エンコーディング) のレポート */
 export function buildFailureReport(failures, ctx = {}) {
     const parts = ["以下の変更ブロックが現在のコードベースに適用できませんでした。"];

package/package.json

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