petari 0.3.0 → 0.4.1

package/README.md

@@ -54,7 +54,7 @@ petari の更新で規約文が変わった場合は、`petari init` を再実
 |---|---|
 | `petari [path]` | changes.md を適用。省略時は Downloads とプロジェクト直下から自動検出 (直近 30 分)。`--clip` でクリップボードから |
 | `petari undo [ID]` | 履歴を巻き戻す (手修正がある場合は警告) |
-| `petari show <ID>` | VS Code の差分ビューで履歴を表示。`--mine` で適用後の手修正分、`--changes` で変更概要 |
+| `petari show [ID]` | 履歴の差分を表示 (VS Code、なければブラウザにフォールバック)。`--edit` で現在のファイルを差分を見ながら手修正、`--mine` で適用後の手修正分、`--changes` で変更概要、`--browser` でブラウザ強制 |
 | `petari list` | 履歴の一覧と合計サイズ |
 | `petari protocol` | AI への規約文を標準出力に出す (slnmix / repomix 連携用) |
 | `petari init` | プロジェクト初回セットアップ (`--yes` で全提案に同意) |
@@ -72,8 +72,14 @@ petari の更新で規約文が変わった場合は、`petari init` を再実
 - **エンコーディング保全**: Shift_JIS / UTF-8 (BOM 有無)・CRLF / LF・末尾改行を完全維持。
   変更していない行は元のバイト列をそのまま書き戻す (レガシー VB.NET 資産でも安全)
 - **失敗レポート**: そのまま AI チャットに貼り返せる形式で出力。再依頼が 1 コピペで済む
-- **実行時依存ゼロ**: サプライチェーン対策として外部パッケージに依存しない
-  (Shift_JIS 変換テーブルも Node 組み込み ICU から自動生成して同梱)
+- **git / VS Code がない端末でも差分確認・手修正**: `show` は VS Code がなければ自己完結
+  HTML レポートをブラウザで開き、`show --edit` は同梱の Monaco Editor (VS Code と同じ
+  差分エディタ) で現在のファイルを差分を見ながら直接編集・保存できる
+  (もちろんエンコーディング保全つき)
+- **実行時依存ゼロ**: サプライチェーン対策として npm の実行時依存パッケージを持たない
+  (Shift_JIS 変換テーブルも Node 組み込み ICU から自動生成して同梱)。
+  唯一の同梱サードパーティはブラウザ編集 UI の Monaco Editor (Microsoft 製・MIT) で、
+  固定バージョンをビルド時にパッケージへ同梱し、実行時のダウンロードは行わない
 
 ## セキュリティ設計
 
@@ -81,14 +87,25 @@ petari の更新で規約文が変わった場合は、`petari init` を再実
 
 ### 通信・依存関係
 
-- **実行時のネットワーク通信は一切行いません**。AI との通信機能はなく、入力はローカルファイル
-  またはクリップボードのみ。テレメトリ・自動更新もありません
+- **外部へのネットワーク通信は一切行いません**。AI との通信機能はなく、入力はローカルファイル
+  またはクリップボードのみ。テレメトリ・自動更新もありません。
+  例外は `show --edit` のブラウザ編集時のみで、**127.0.0.1 (ループバック) の一時ポート**で
+  待ち受けます — 128bit 乱数トークン付き URL・Host/Origin 検証・無操作 30 分で自動終了。
+  実行できるスクリプトは CSP で「**同梱した Monaco Editor** (script-src 'self') と
+  **自前ブートストラップ** (応答ごとの nonce)」に限定し、閲覧レポート等は JS 実行不可。
+  Monaco 資産の配信は起動時に列挙した同梱ファイルの許可リストへの完全一致のみです。
+  外部への送信・CDN・外部リソースの読み込みは一切発生しません
 - **実行時依存パッケージはゼロ**です。npm のインストールスクリプト (postinstall 等) も
   使用しません。Shift_JIS 変換テーブルは Node.js 組み込みの ICU から生成しリポジトリに
   同梱しています (外部データの取り込みなし)
+- 同梱サードパーティは **monaco-editor (Microsoft, MIT) の 1 件のみ**。開発時に固定
+  バージョンを取得し (7 日未満の新規公開バージョンは取得しないポリシー)、ビルド時に
+  パッケージへ同梱します。ライセンス・ThirdPartyNotices も同梱し、実行時に外部から
+  コードを取得することはありません
 - 子プロセスの起動はすべて `execFile`/`spawn` の配列引数で行い、シェルを経由しません
   (コマンドインジェクション不成立)。起動するのは `git` / `reg` / `powershell` /
-  `pbcopy`・`pbpaste` / VS Code (`code`) のみです
+  `pbcopy`・`pbpaste` / VS Code (`code`) / 既定ブラウザ起動 (`open` / `xdg-open` /
+  PowerShell `Start-Process`) のみです
 
 ### 入力の取り扱い (信頼境界)
 
@@ -105,6 +122,10 @@ changes.md (AI 出力)・クリップボード・リポジトリに同梱され
   表示します (表示偽装対策)
 - 差分ビューアのコマンド (`vscodeCommand` 設定) は PATH 上のコマンド名か絶対パスのみ許可し、
   リポジトリ内スクリプトを指せる相対パスと UNC パスを拒否します
+- ブラウザ編集 (`show --edit`) の保存は、トークン検証に加えて**保存先パスの再検証・
+  シンボリックリンク拒否・SHA-256 楽観ロック** (ページを開いた後の外部変更を検出し 409) を
+  通します。編集対象はサーバー起動時に確定し、ブラウザ側からパスは指定できません。
+  保存も §8 のエンコーディング保全 (無変更行は元バイト維持) を通ります
 
 ### 適用の安全弁と監査性
 
@@ -123,6 +144,9 @@ changes.md (AI 出力)・クリップボード・リポジトリに同梱され
 - 検証と書き込みの間の TOCTOU (ファイル差し替え) は検出しません (単独利用の CLI として許容)
 - 履歴には対象ファイルの複製が平文で保存されます。`.petari/` は `.gitignore` 推奨
   (init が自動提案) で、リポジトリには含まれません
+- ブラウザ表示用の差分レポート (HTML) はコードの中身を平文で含み、本人のみ読める
+  一時ディレクトリ (0700) に書き出されます。1 時間より古いものは次回の `show` 実行時に
+  自動削除されます (閲覧中かもしれない直近分は残す)
 
 ## 開発
 

package/dist/cli.js

@@ -13,7 +13,7 @@ const HELP = `petari — paste AI chat patches onto your codebase
 Usage:
   petari [path]         changes.md を適用 (省略時: Downloads から自動検出)
   petari undo [ID]      履歴を巻き戻す (ID 省略時: 直近)
-  petari show <ID>      履歴の差分を VS Code で表示
+  petari show [ID]      履歴の差分を表示 (VS Code / ブラウザ)。--edit で手修正
   petari list           履歴の一覧を表示
   petari protocol       AI への規約文を標準出力に出す
   petari init           プロジェクト初回セットアップ
@@ -23,6 +23,9 @@ Options:
   -v, --version         バージョンを表示
 `;
 export async function main(argv) {
+    // pnpm run は "--" をそのまま渡してくる (npm と異なり消費しない) ため先頭の区切りを除く
+    if (argv[0] === "--")
+        argv = argv.slice(1);
     if (argv.includes("-h") || argv.includes("--help")) {
         process.stdout.write(HELP);
         return 0;

package/dist/commands/show.js

@@ -1,19 +1,31 @@
 /**
- * petari show <ID> — VS Code のネイティブ差分ビューで履歴を表示 (§4.3)。
- * - 既定: before vs after (AI の変更そのもの)
+ * petari show [ID] — 履歴の差分表示 (§4.3)。
+ * - 既定: before vs after。VS Code の差分ビューで開き、VS Code が見つからない
+ *   場合 (ENOENT/EINVAL) は自己完結 HTML レポートを生成してブラウザで開く
  * - --mine: after vs 現在のファイル = 適用後の手修正分だけを可視化
- * - --changes: 保存済み changes.md の CHANGES セクション (概要・Mermaid) を表示
- * 複数ファイルの履歴はファイル一覧を提示して選択させる (--file で直接指定も可)。
+ * - --edit: スナップショット vs 現在の実ファイル。VS Code では右ペインが実ファイル
+ *   (そのまま編集可)。VS Code がなければ 127.0.0.1 限定の一時サーバーでブラウザ編集
+ * - --browser: VS Code を試さずブラウザ表示を強制
+ * - --no-open: ブラウザを開かずパス/URL の表示のみ (SSH・テスト用)
+ * - --changes: 保存済み changes.md の CHANGES セクションを表示
+ * 複数ファイルの履歴は VS Code 経路では一覧から選択させ (--file で直接指定も可)、
+ * ブラウザ経路では全ファイルをまとめて表示する。
  */
 import { execFile } from "node:child_process";
-import { existsSync, mkdtempSync, readFileSync, writeFileSync } from "node:fs";
+import { existsSync, mkdtempSync, readFileSync, readdirSync, rmSync, statSync, writeFileSync } from "node:fs";
 import { tmpdir } from "node:os";
 import { isAbsolute, join } from "node:path";
 import { parseArgs } from "node:util";
 import { promisify } from "node:util";
 import { invalidPathReason } from "../core/applier.js";
+import { diffLines, toSideBySideRows } from "../core/diff.js";
+import { buildReportPage } from "../core/diff-html.js";
+import { EncodingError, decodeFile } from "../core/encoding.js";
 import { parseChanges } from "../core/parser.js";
+import { openInBrowser } from "../infra/browser.js";
 import { loadConfig } from "../infra/config.js";
+import { monacoVendorDir, startDiffServer } from "../infra/diff-server.js";
+import { isInsideRoot } from "../infra/files.js";
 import { historyRoot, listHistoryIds, readManifest } from "../infra/history.js";
 import { createInterface } from "node:readline/promises";
 import { findProjectRoot } from "../infra/root.js";
@@ -35,6 +47,14 @@ export function invalidVscodeCommandReason(cmd) {
     }
     return null;
 }
+/**
+ * コマンド不在の判定。ENOENT に加え、Windows では .cmd/.bat をシェル非経由で
+ * spawn できず EINVAL になる (CVE-2024-27980 対応後の Node) ため両方を対象にする。
+ */
+function isCommandMissing(e) {
+    const code = e?.code;
+    return code === "ENOENT" || code === "EINVAL";
+}
 let emptyFileCache = null;
 function emptyFile() {
     if (emptyFileCache === null) {
@@ -61,6 +81,20 @@ export function resolveDiffPair(root, historyDir, entry, mine) {
         title: `${entry.path} (before → after)`,
     };
 }
+/** --edit 用: スナップショット (before / --mine は after) vs 現在の実ファイル (編集対象) */
+export function resolveEditPair(root, historyDir, entry, mine) {
+    if (entry.op === "delete")
+        return { error: `${entry.path} は delete のため編集対象がありません` };
+    const current = join(root, entry.path);
+    if (!existsSync(current))
+        return { error: `${entry.path} は現在存在しません (undo 済み?)` };
+    const snap = join(historyDir, mine ? "after" : "before", entry.path);
+    return {
+        left: existsSync(snap) ? snap : emptyFile(),
+        right: current,
+        title: `${entry.path} (${mine ? "適用直後" : "適用前"} → 現在 / 右側が編集対象)`,
+    };
+}
 async function pickEntry(entries) {
     out("対象ファイルを選択してください:");
     entries.forEach((e, i) => out(`  ${i + 1}. ${e.op.padEnd(7)} ${e.path}`));
@@ -76,6 +110,137 @@ async function pickEntry(entries) {
         rl.close();
     }
 }
+/** 履歴スナップショット/実ファイルを行テキストに読む (欠損側は空 = create/delete の片側) */
+function readLines(path) {
+    if (!existsSync(path))
+        return [];
+    return decodeFile(new Uint8Array(readFileSync(path))).lines.map((l) => l.text);
+}
+/** 静的差分レポートの HTML を生成する (テストから直接検証できるよう export) */
+export function generateReportHtml(root, hdir, id, entries, mine) {
+    const leftLabel = mine ? "適用直後 (after)" : "適用前 (before)";
+    const rightLabel = mine ? "現在のファイル" : "適用後 (after)";
+    const sections = entries.map((e) => {
+        if (mine && e.op === "delete") {
+            return {
+                path: e.path,
+                op: e.op,
+                body: { kind: "note", note: "delete のため --mine の比較対象がありません" },
+            };
+        }
+        const leftPath = join(hdir, mine ? "after" : "before", e.path);
+        const rightPath = mine ? join(root, e.path) : join(hdir, "after", e.path);
+        if (mine && !existsSync(rightPath)) {
+            return {
+                path: e.path,
+                op: e.op,
+                body: { kind: "note", note: "現在存在しません (undo 済み?)" },
+            };
+        }
+        try {
+            const a = readLines(leftPath);
+            const b = readLines(rightPath);
+            return {
+                path: e.path,
+                op: e.op,
+                body: { kind: "rows", rows: toSideBySideRows(a, b, diffLines(a, b)), leftLabel, rightLabel },
+            };
+        }
+        catch (cause) {
+            const msg = cause instanceof EncodingError ? cause.message : "テキストとして表示できません";
+            return { path: e.path, op: e.op, body: { kind: "note", note: `差分を表示できません: ${msg}` } };
+        }
+    });
+    const title = `petari 履歴 ${id}${mine ? " (手修正分)" : ""}`;
+    return buildReportPage(title, new Date().toLocaleString("ja-JP"), sections);
+}
+const REPORT_DIR_PREFIX = "petari-report-";
+const REPORT_TTL_MS = 60 * 60_000;
+/**
+ * 過去の一時レポートを掃除する (§4.3)。レポートはコードの中身を平文で含むため
+ * 残し続けない。ブラウザで閲覧中かもしれない直近 1 時間分は残し、次回実行時に消す。
+ * 対象は tmpdir 直下の petari-report-* ディレクトリのみ (symlink は Dirent 判定で除外)。
+ */
+export function cleanupOldReports(now = Date.now()) {
+    let removed = 0;
+    let entries;
+    try {
+        entries = readdirSync(tmpdir(), { withFileTypes: true });
+    }
+    catch {
+        return 0;
+    }
+    for (const ent of entries) {
+        if (!ent.isDirectory() || !ent.name.startsWith(REPORT_DIR_PREFIX))
+            continue;
+        const dir = join(tmpdir(), ent.name);
+        try {
+            if (now - statSync(dir).mtimeMs < REPORT_TTL_MS)
+                continue;
+            rmSync(dir, { recursive: true, force: true });
+            removed++;
+        }
+        catch {
+            // 使用中・権限エラー等は無視 (次回実行時に再試行される)
+        }
+    }
+    return removed;
+}
+/** 静的レポートを一時ファイルへ書き出してブラウザで開く */
+async function runBrowserReport(root, hdir, id, entries, mine, noOpen) {
+    cleanupOldReports();
+    const html = generateReportHtml(root, hdir, id, entries, mine);
+    const reportPath = join(mkdtempSync(join(tmpdir(), REPORT_DIR_PREFIX)), "report.html");
+    writeFileSync(reportPath, html);
+    out(`差分レポートを書き出しました: ${reportPath}`);
+    if (!noOpen) {
+        try {
+            await openInBrowser(reportPath);
+        }
+        catch {
+            out("ブラウザを開けませんでした。上記のファイルを直接開いてください");
+        }
+    }
+    return 0;
+}
+/** ブラウザ編集サーバーを起動し、終了 (quit ボタン / 無操作 / Ctrl+C) まで待つ */
+async function runEditServer(root, hdir, id, entries, mine, config, noOpen) {
+    if (!existsSync(join(monacoVendorDir(), "vs", "loader.js"))) {
+        err("petari: ブラウザ編集用の同梱エディタ (Monaco) が見つかりません");
+        err("  開発環境では pnpm gen:monaco を実行してください");
+        return 1;
+    }
+    const sub = mine ? "after" : "before";
+    const editEntries = entries.map((e) => {
+        const snap = join(hdir, sub, e.path);
+        return {
+            path: e.path,
+            absPath: join(root, e.path),
+            snapshotPath: existsSync(snap) ? snap : null,
+            op: e.op,
+        };
+    });
+    const handle = await startDiffServer({
+        title: `petari 履歴 ${id} の編集`,
+        entries: editEntries,
+        root,
+        leftLabel: mine ? "適用直後 (after)" : "適用前 (before)",
+        fallbackEol: config.newFile.eol,
+    });
+    out(`ブラウザ編集サーバーを起動しました: ${handle.url}`);
+    out("  終了はページ内の「サーバーを終了」ボタンか Ctrl+C (無操作 30 分で自動終了)");
+    if (!noOpen) {
+        try {
+            await openInBrowser(handle.url);
+        }
+        catch {
+            out("ブラウザを開けませんでした。上記の URL を直接開いてください");
+        }
+    }
+    const reason = await handle.closed;
+    out(reason === "quit" ? "petari: 編集サーバーを終了しました" : "petari: 無操作のため編集サーバーを自動終了しました");
+    return 0;
+}
 export async function showCommand(argv) {
     const { values, positionals } = parseArgs({
         args: argv,
@@ -84,11 +249,15 @@ export async function showCommand(argv) {
             mine: { type: "boolean", default: false },
             changes: { type: "boolean", default: false },
             file: { type: "string" },
+            edit: { type: "boolean", default: false },
+            browser: { type: "boolean", default: false },
+            "no-open": { type: "boolean", default: false },
         },
         allowPositionals: true,
     });
     const root = findProjectRoot(process.cwd(), values.root);
     const config = loadConfig(root);
+    const noOpen = values["no-open"];
     const ids = listHistoryIds(root);
     if (ids.length === 0) {
         err("petari: 履歴がありません");
@@ -113,50 +282,80 @@ export async function showCommand(argv) {
         err(`petari: 履歴 ${id} に適用済みファイルがありません`);
         return 1;
     }
-    let entry;
+    // manifest は改ざんされ得るため、対象パスを全件検証する (§9。読み取り側にも適用)
+    for (const e of applied) {
+        const pathReason = invalidPathReason(e.path);
+        if (pathReason !== null) {
+            err(`petari: manifest のパスが不正です: ${e.path} (${pathReason})`);
+            return 1;
+        }
+    }
+    // --edit は実ファイルへ書き込むため、undo と同じく symlink 経由のルート外も拒否する
+    if (values.edit) {
+        for (const e of applied) {
+            if (!isInsideRoot(root, join(root, e.path))) {
+                err(`petari: manifest のパスがプロジェクト外を指しています: ${e.path}`);
+                return 1;
+            }
+        }
+    }
+    let fileEntry = null;
     if (values.file !== undefined) {
         const found = applied.find((e) => e.path === values.file);
         if (found === undefined) {
             err(`petari: ${values.file} は履歴 ${id} にありません`);
             return 1;
         }
-        entry = found;
+        fileEntry = found;
     }
-    else if (applied.length === 1) {
-        entry = applied[0];
-    }
-    else {
-        const picked = await pickEntry(applied);
-        if (picked === null) {
-            err("petari: 中止しました");
+    const browserEntries = fileEntry !== null ? [fileEntry] : applied;
+    if (!values.browser) {
+        // VS Code 経路。壊れた vscodeCommand 設定はここで止める (--browser には影響させない)
+        const cmdReason = invalidVscodeCommandReason(config.vscodeCommand);
+        if (cmdReason !== null) {
+            err(`petari: ${cmdReason}: ${config.vscodeCommand}`);
             return 1;
         }
-        entry = picked;
-    }
-    // manifest は改ざんされ得るため、パスと起動コマンドをここでも検証する (§9)
-    const pathReason = invalidPathReason(entry.path);
-    if (pathReason !== null) {
-        err(`petari: manifest のパスが不正です: ${entry.path} (${pathReason})`);
-        return 1;
-    }
-    const cmdReason = invalidVscodeCommandReason(config.vscodeCommand);
-    if (cmdReason !== null) {
-        err(`petari: ${cmdReason}: ${config.vscodeCommand}`);
-        return 1;
-    }
-    const pair = resolveDiffPair(root, hdir, entry, values.mine);
-    if ("error" in pair) {
-        err(`petari: ${pair.error}`);
-        return 1;
-    }
-    out(`${config.vscodeCommand} --diff で開きます: ${pair.title}`);
-    try {
-        await execFileP(config.vscodeCommand, ["--diff", pair.left, pair.right]);
+        let entry;
+        if (fileEntry !== null) {
+            entry = fileEntry;
+        }
+        else if (applied.length === 1) {
+            entry = applied[0];
+        }
+        else {
+            const picked = await pickEntry(applied);
+            if (picked === null) {
+                err("petari: 中止しました");
+                return 1;
+            }
+            entry = picked;
+        }
+        const pair = values.edit
+            ? resolveEditPair(root, hdir, entry, values.mine)
+            : resolveDiffPair(root, hdir, entry, values.mine);
+        if ("error" in pair) {
+            err(`petari: ${pair.error}`);
+            return 1;
+        }
+        out(`${config.vscodeCommand} --diff で開きます: ${pair.title}`);
+        try {
+            await execFileP(config.vscodeCommand, ["--diff", pair.left, pair.right]);
+            return 0;
+        }
+        catch (e) {
+            if (!isCommandMissing(e)) {
+                err(`petari: ${config.vscodeCommand} の起動に失敗しました: ${e instanceof Error ? e.message : String(e)}`);
+                err("  .petari/config.json の vscodeCommand を確認してください");
+                return 1;
+            }
+            out(`${config.vscodeCommand} が見つからないためブラウザで表示します`);
+            // フォールバック: 選択済みの 1 件ではなく全ファイルをまとめて表示する
+            // (レポート/編集サーバーはページ内ナビで全件を扱えるため)
+        }
     }
-    catch (e) {
-        err(`petari: ${config.vscodeCommand} の起動に失敗しました: ${e instanceof Error ? e.message : String(e)}`);
-        err("  .petari/config.json の vscodeCommand を確認してください");
-        return 1;
+    if (values.edit) {
+        return runEditServer(root, hdir, id, browserEntries, values.mine, config, noOpen);
     }
-    return 0;
+    return runBrowserReport(root, hdir, id, browserEntries, values.mine, noOpen);
 }