@takagaki/cortex-decisions-viewer 0.12.75 → 0.12.76

package/dist/repo.js

@@ -8,6 +8,7 @@ exports.classifyCommit = classifyCommit;
 exports.isFrontmatterKeyRename = isFrontmatterKeyRename;
 exports.collectAiChangeHistory = collectAiChangeHistory;
 exports.collectGoldCommitIdentities = collectGoldCommitIdentities;
+exports.readBlobsAt = readBlobsAt;
 exports.lastSubstantiveUpdate = lastSubstantiveUpdate;
 const node_child_process_1 = require("node:child_process");
 /**
@@ -825,6 +826,85 @@ function collectGoldCommitIdentities(cwd) {
     }
     return map;
 }
+/**
+ * 指定のコミットのファイルの中身を**まとめて 1 回**読む（`git cat-file --batch`）。
+ *
+ * 🔴 **レコードごとにプロセスを起こさない。** 帯（印）の判定は「人が確認した版と今の版で
+ * 説明文・本文が変わったか」を見るので、確認の基準コミットのレコードを読む必要がある。
+ * ここで `git show` をレコードごとに叩くと、用語が 1400 件ある案件でビルドが 1400 回
+ * git を起こす——`collectGoldCommitIdentities` と同じく「git の呼び出しはレコード数に
+ * 依存しない」の規律を保つため、key を stdin に流し込む `--batch` を 1 回だけ使う。
+ *
+ * @param keys `<commit>:<path>` の列（重複は畳む）。**空なら git を起こさない**。
+ *   🔴 **改行を含む key は git に渡す前に落とす**（`--batch` の問い合わせは 1 行 1 件なので、
+ *   1 つでも混ざると以降の key が**全部 1 つずつずれ**、`a.md` の中身が `b.md` として返る）
+ * @returns 引けた key → 中身（utf8）。**引けなかった key は入れない**——呼び出し側は
+ *   「入っていない ＝ 引けなかった（窓の外・改名・削除）」として扱うこと。
+ *   `missing` と「引けたが空」を言い分けるために、キーの有無で表す
+ */
+function readBlobsAt(cwd, keys) {
+    const out = new Map();
+    // 🔴 **改行（LF / CR）を含む key を git に渡さない。** `cat-file --batch` の問い合わせは
+    // 「1 行 1 件」で、応答も**問い合わせた順**に並ぶ前提でここは読んでいる。改行入りの key が
+    // 1 つ混ざると git はそれを 2 件として扱い、**そこから先の対応がすべて 1 つずれる**
+    // ——実測で `c.md` の欄に `b.md` の中身が入った（＝印の判定を他人の版と比べる）。
+    // ファイル名に改行を入れられる案件は稀だが、**壊れ方が「引けない」ではなく「別人の中身」**
+    // なので、落として「引けなかった」に倒す（呼び出し側は印を出さない側へ倒れる）
+    const wanted = [...new Set(keys.filter((k) => k !== "" && !/[\r\n]/.test(k)))];
+    if (!wanted.length)
+        return out;
+    let buf;
+    try {
+        buf = (0, node_child_process_1.execFileSync)("git", 
+        // 出力の形を読む人の git 設定に左右させない（gitLog と同じ理由）。
+        // `--batch` は素の中身をそのまま出すので、ここで要るのは色と引用の抑止だけ
+        ["-c", "core.quotepath=false", "-c", "color.ui=false", "cat-file", "--batch"], {
+            cwd,
+            // 🔴 **`input` を渡すので `gitLog` は使えない**（あちらは stdin を ignore している）。
+            //
+            // ⚠️ **末尾の改行は「無いと最後の 1 件が読まれない」ではない**（2026-09-20 に実測で訂正）。
+            // git 2.43 は EOF で最後の行を読むので、付けても付けなくても応答は 1 バイトも変わらない
+            // ——**テストで守れる不変条件ではない**（変異を当てても緑のまま）。それでも付けるのは、
+            // `--batch` の入力が「1 行 1 件」だと綴りの上で言い切るため（行の途中で EOF にしない）
+            input: wanted.join("\n") + "\n",
+            stdio: ["pipe", "pipe", "ignore"],
+            // 🔴 **Buffer で受ける。** ヘッダの size は**バイト数**なので、文字で数えると
+            // 日本語のレコード（実データはほぼ全部）で切り出し位置がずれる
+            maxBuffer: 256 * 1024 * 1024,
+        });
+    }
+    catch (e) {
+        // git が無い（ENOENT）・リポジトリでない（128）は既定の状態なので警告しない
+        //（`gitLog` と同じ規律）。戻り値は空＝「1 件も引けなかった」で、呼び出し側は
+        // 印を立てない側に倒れる（誤報より無言）
+        const err = e;
+        if (err.code !== "ENOENT" && err.status !== 128) {
+            console.warn(`人が確認した版の中身を git から取れませんでした（印は出さずに続けます）: ${String(e)}`);
+        }
+        return out;
+    }
+    // 応答は**問い合わせた順**に並ぶ。引けた行は `<oid> blob <size>` ＋ 中身、
+    // 引けない行は `<key> missing`（key をそのまま返すので oid の形に当たらない）
+    let pos = 0;
+    for (const key of wanted) {
+        if (pos >= buf.length)
+            break;
+        const nl = buf.indexOf(0x0a, pos);
+        if (nl < 0)
+            break;
+        const header = buf.toString("utf8", pos, nl);
+        pos = nl + 1;
+        const m = /^([0-9a-f]{40,64}) (\S+) (\d+)$/.exec(header);
+        // `missing` / `ambiguous` の行は中身が続かないので、次の key へ進むだけ
+        if (!m)
+            continue;
+        const size = Number(m[3]);
+        if (m[2] === "blob")
+            out.set(key, buf.toString("utf8", pos, pos + size));
+        pos += size + 1; // 中身の後ろに git が付ける改行
+    }
+    return out;
+}
 function lastSubstantiveUpdate(cwd, repoPath) {
     // 🔴 **浅い clone を最初に弾く。** 浅い clone では境界コミットが親を持たないため、
     // このファイルを触っていない直近のコミットまで `A <path>` として現れる（実測）。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@takagaki/cortex-decisions-viewer",
-  "version": "0.12.75",
+  "version": "0.12.76",
   "description": "Cortexの意思決定記録（Decisions/*.md）を静的サイトにビルドして閲覧する。各レコードに「Edit on GitHub」リンクを付与する。",
   "license": "UNLICENSED",
   "private": false,

package/dist/person-redact.js

@@ -1,244 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.REDACTED = void 0;
-exports.isExternalId = isExternalId;
-exports.redactText = redactText;
-exports.isMemberRecord = isMemberRecord;
-exports.isMemberRecordPath = isMemberRecordPath;
-exports.redactMemberFm = redactMemberFm;
-exports.redactMemberProposals = redactMemberProposals;
-exports.redactAiHistory = redactAiHistory;
-/**
- * このリポジトリの内側の呼び名。外の ID と見なさない。
- *
- * 前半は記録の id の種類（`build.ts` の `GOLD_TYPES` と同じ）、後半は Silver の参照
- * （`build.ts` の `classifyTarget` が正本の URL に解決する 3 つ）。
- */
-const INSIDE_KINDS = new Set([
-    "decision", "term", "member", "rule", "report", "overview",
-    "minute", "material", "design",
-]);
-/**
- * 欄ごと落とす（中身が外の ID の形でなくても落とす）。
- *
- * 形の判定だけに任せない——`email: "しらべ中"` のような書きかけの値は形に当たらないが、
- * **この欄は配らない**という決まりは中身に依らず効かせる（変異検証 M1）。
- */
-const DROP_KEYS = new Set(["email"]);
-/**
- * 形の判定を当てない欄。
- *
- * 🔴 **`relations` / `references` / `source` の行き先には当てない。** `classifyTarget`
- * （`build.ts`）は `https://…` を外部ノードとして正本の URL に解決しており、外の ID の形の
- * 判定は `https` も外の ID と見なす——当てると**外部リンクの線が図から消える**。
- * `id` を外すのは、落とすと「レコード情報」から id の行だけが黙って消え、
- * **配るデータの `id` とは食い違う**ため（落とすなら両方・残すなら両方）。
- */
-const KEEP_KEYS = new Set(["id", "relations", "references", "source"]);
-/** 伏せた値の代わりに出す字。**空欄にしない**（消えたのか元から無いのかが読めなくなる） */
-exports.REDACTED = "（伏せた値）";
-/**
- * `<種類>:<値>` 1 つぶん。
- *
- * 🔴 **コロンの直後に空白があるものは当てない。** `[a-z_]+:` ＋ 1 文字以上は YAML の
- * `キー: 値` そのものの形なので、空白を許すと差分の `title: 山田 太郎` まで潰して、
- * 「何が変わったのか」が読めなくなる（設計レビュー🔴3）。
- */
-const TYPED_ID_SRC = "([A-Za-z][A-Za-z0-9_]*):([^\\s,\"'\\[\\]、。，）)]+)";
-/** メールアドレスの形（`email:` を付けずに書かれたもの） */
-const EMAIL_SRC = "[^\\s,\"'<>\\[\\]、。，）)]+@[^\\s,\"'<>\\[\\]、。，）)]+";
-const TYPED_ID_WHOLE = new RegExp("^" + TYPED_ID_SRC + "$");
-const EMAIL_WHOLE = new RegExp("^" + EMAIL_SRC + "$");
-/**
- * 全角コロンを半角に寄せる。人が名簿を手で書く欄なので、日本語入力のまま
- * `slack_user：…` と区切りだけ全角になった行を取りこぼさない。
- *
- * ⚠ **寄せるのは区切りだけ**（`redactText` は元の字面を返すので、全部を寄せると
- * 差分の見た目まで書き換わる）。種類まで全角の `ｓｌａｃｋ＿ｕｓｅｒ：…` は、
- * 文のなかでは取りこぼす——欄の要素としては `isExternalId` が全角ごと寄せて当てる
- */
-function normalizeSeparators(s) {
-    return s.replace(/：/g, ":");
-}
-/**
- * その文字列ぜんたいが外の ID か（`aliases` の 1 要素の判定）。
- *
- * 判定に使うだけで中身を書き戻さないので、ここでは**全角を丸ごと半角に寄せて**から当てる
- * （`ｓｌａｃｋ＿ｕｓｅｒ：Ｕ０Ｘ` のように、種類まで全角で書かれた行を取りこぼさない）。
- * 文のなかを伏せる `redactText` は元の字面を返す必要があるので、そちらはコロンだけを寄せる。
- */
-function isExternalId(v) {
-    if (typeof v !== "string")
-        return false;
-    const s = v.normalize("NFKC").trim();
-    if (s === "")
-        return false;
-    // 外のサービスの呼び名を `@名前` の形で書いたもの
-    if (/^@\S+$/.test(s))
-        return true;
-    // ドットの無い社内アドレス（`taro@example`）も隠す側に入れる
-    if (EMAIL_WHOLE.test(s))
-        return true;
-    const m = TYPED_ID_WHOLE.exec(s);
-    return m != null && !INSIDE_KINDS.has(m[1].toLowerCase());
-}
-/**
- * 文のなかの外の ID とメールアドレスを、**種類を残したまま**伏せる。
- *
- * 🔴 **`<種類>:<値>` を先に当てる。** 先にメールアドレスを当てると `email:taro@…` が
- * まるごと消えて、「どの欄の話か」まで読めなくなる。
- */
-function redactText(s) {
-    const typed = normalizeSeparators(s).replace(new RegExp(TYPED_ID_SRC, "g"), (whole, kind) => (INSIDE_KINDS.has(kind.toLowerCase()) ? whole : kind + ":" + exports.REDACTED));
-    return typed.replace(new RegExp(EMAIL_SRC, "g"), exports.REDACTED);
-}
-/**
- * メンバーの記録か。
- *
- * 🔴 **パスの文字列だけで判定しない。** `toRepoRelative` は `process.cwd()` 相対で、
- * cwd がリポジトリルートでないと `records` に倒れる——判定が外れると**静かに漏れる側**に
- * 倒れる（設計レビュー🟡1）。だから cwd に依存しない印を 3 つ見る。
- *
- * @param type      frontmatter の `type`
- * @param id        frontmatter の `id`（engine は `member:{氏名}` を必須にしている）
- * @param sectionDir 区画のディレクトリ名（`records` の親。絶対パスから取る）
- */
-function isMemberRecord(type, id, sectionDir) {
-    if (typeof type === "string" && type.trim() === "member")
-        return true;
-    if (typeof id === "string" && id.startsWith("member:"))
-        return true;
-    return sectionDir === "Members";
-}
-/** そのリポジトリ相対パスがメンバーの記録の置き場か（git のパスは cwd に依存しない） */
-function isMemberRecordPath(repoPath) {
-    return /(^|\/)Members\/records\/[^/]+\.md$/.test(repoPath);
-}
-/**
- * 値の中を再帰して外の ID を落とす（`sanitizeFm` と同じ形で降りる）。
- *
- * 🔴 **欄の名前で拾わない。** 欄を列挙すると、engine が欄を足した晩に静かに漏れる
- * ——`not_aliases` 自体が後から足された欄で、同じことは必ずまた起きる。リストの要素も
- * 入れ子の値も同じ形の判定で落とす。
- */
-function redactValue(v) {
-    if (Array.isArray(v)) {
-        const out = [];
-        let dropped = 0;
-        for (const e of v) {
-            if (isExternalId(e)) {
-                dropped++;
-                continue;
-            }
-            const r = redactValue(e);
-            dropped += r.dropped;
-            out.push(r.value);
-        }
-        return { value: out, dropped };
-    }
-    if (v && typeof v === "object") {
-        const out = {};
-        let dropped = 0;
-        for (const [k, val] of Object.entries(v)) {
-            if (isExternalId(val)) {
-                dropped++;
-                continue;
-            }
-            const r = redactValue(val);
-            dropped += r.dropped;
-            out[k] = r.value;
-        }
-        return { value: out, dropped };
-    }
-    return { value: v, dropped: 0 };
-}
-/**
- * メンバーの frontmatter から、メールアドレスと外の ID を落とす。
- *
- * @returns 落としたあとの frontmatter と、落とした要素の数（ビルドログの件数に使う）
- */
-function redactMemberFm(fm) {
-    const out = {};
-    let dropped = 0;
-    for (const [k, v] of Object.entries(fm)) {
-        if (KEEP_KEYS.has(k)) {
-            out[k] = v;
-            continue;
-        }
-        if (DROP_KEYS.has(k)) {
-            if (v != null && String(v).trim() !== "")
-                dropped++;
-            continue;
-        }
-        if (isExternalId(v)) {
-            dropped++;
-            continue;
-        }
-        const r = redactValue(v);
-        dropped += r.dropped;
-        // **中身が全部落ちたリストは欄ごと出さない**（`aliases` が外の ID だけだった形）。
-        // もとから空だった欄はそのまま残す——消えたのか元から無いのかを変えない
-        if (Array.isArray(v) && v.length > 0 && Array.isArray(r.value) && r.value.length === 0)
-            continue;
-        out[k] = r.value;
-    }
-    return { fm: out, dropped };
-}
-/**
- * メンバーの提案（`field: "aliases"` 等）の値を伏せる。**提案そのものは落とさない**
- * ——落とすと「機械が何を結ぼうとしているのか」が画面から消える。
- *
- * 🔴 伏せた提案には `redacted` の印を付ける。画面はこの印を見て**「AIで適用」を出さない**。
- * 伏せたまま適用させると、AI が `（伏せた値）` という文字列を `aliases` に書き、engine が
- * それを `<id_kind>:<id>` の宣言として読む——**台帳のいちばん強い段に偽の結び付きが立つ**
- * （設計レビュー🔴4）。
- */
-function redactMemberProposals(ps) {
-    return ps.map((p) => {
-        const current = redactText(p.current);
-        const proposed = redactText(p.proposed);
-        const reason = redactText(p.reason);
-        const evidence = p.evidence.map((e) => ({
-            source: redactText(e.source),
-            quote: e.quote == null ? e.quote : redactText(e.quote),
-        }));
-        const changed = current !== p.current ||
-            proposed !== p.proposed ||
-            reason !== p.reason ||
-            evidence.some((e, i) => e.source !== p.evidence[i].source || e.quote !== p.evidence[i].quote);
-        // **短縮記法にしない**（fleet-passthrough のテストが `名前:` の字面を走査している。
-        // 画面が読む欄をこのファイルで組み立てているので、走査の対象にも入れてある）
-        return {
-            field: p.field,
-            current: current,
-            proposed: proposed,
-            evidence: evidence,
-            reason: reason,
-            createdAt: p.createdAt,
-            // 空の器は通さない——伏せていない提案では `undefined` にして、配る JSON から
-            // キーごと落とす（画面は「印があるか」だけを見る）
-            redacted: changed ? true : undefined,
-        };
-    });
-}
-/**
- * メンバーの記録の git 差分から、値だけを伏せる（どの欄が変わったかは残す）。
- *
- * 鍵は git が出すリポジトリ相対パスなので、`process.cwd()` に依存しない。
- */
-function redactAiHistory(history) {
-    const out = {};
-    for (const [p, entries] of Object.entries(history)) {
-        out[p] = isMemberRecordPath(p)
-            ? entries.map((e) => ({
-                ...e,
-                // 件名も同じ行に置く——engine の名簿のコミットは今は定型文だが、
-                // 「`<種類>:<値>` を結合」のような件名になった日に、ここだけ素で残る
-                subject: redactText(e.subject),
-                before: redactText(e.before),
-                after: redactText(e.after),
-            }))
-            : entries;
-    }
-    return out;
-}