chaffjs 0.5.1 → 0.6.0

package/dist/structure/issues.d.ts

@@ -0,0 +1,15 @@
+import type { StructureNode } from "../plugin.ts";
+export type StructureIssue = {
+    readonly offset: number;
+    readonly values: Readonly<Record<string, string | number>>;
+};
+/** 木を上から順に平らにする。文書の中での順番と同じになる。再帰にしないのは、深い木でスタックを使い切らないため。 */
+export declare const inDocumentOrder: (tree: StructureNode) => StructureNode[];
+/**
+ * 参照の番地が木に無い。他の文書の名前が付いた参照（民法第709条、Section 9 of the Master Agreement）は引かない。
+ * 番号付きのまとまりを 1 つも持たない文書も見ない。他の文書を指しているだけかもしれない。
+ */
+export declare const danglingReferences: (tree: StructureNode) => StructureIssue[];
+/** 同じ語の二度目以降の定義。どちらが正しいかは決めず、両方の場所を示す。 */
+export declare const duplicateDefinitions: (tree: StructureNode) => StructureIssue[];
+//# sourceMappingURL=issues.d.ts.map

package/dist/structure/issues.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"issues.d.ts","sourceRoot":"","sources":["../../src/structure/issues.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAKlD,MAAM,MAAM,cAAc,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAIrH,8DAA8D;AAC9D,eAAO,MAAM,eAAe,GAAI,MAAM,aAAa,KAAG,aAAa,EAUlE,CAAC;AAcF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,aAAa,KAAG,cAAc,EAQtE,CAAC;AAEF,0CAA0C;AAC1C,eAAO,MAAM,oBAAoB,GAAI,MAAM,aAAa,KAAG,cAAc,EAaxE,CAAC"}

package/dist/structure/issues.js

@@ -0,0 +1,53 @@
+const NUMBERED = ["chapter", "article", "item"];
+/** 木を上から順に平らにする。文書の中での順番と同じになる。再帰にしないのは、深い木でスタックを使い切らないため。 */
+export const inDocumentOrder = (tree) => {
+    const order = [];
+    const pending = [tree];
+    while (pending.length > 0) {
+        const node = pending.pop();
+        if (node === undefined)
+            break;
+        order.push(node);
+        pending.push(...[...node.children].reverse());
+    }
+    return order;
+};
+const textOf = (node, key) => {
+    const value = node.attrs[key];
+    return value === undefined ? "" : String(value);
+};
+/**
+ * 参照がこの文書のどこかを指しているか。fallback は言語パッケージが付ける別の行き先で、
+ * 日本語の「第4条第1項」は、番号の無い第 1 項を持つ第4条を指しうる。
+ */
+const resolves = (node, addresses) => addresses.has(textOf(node, "target")) || (node.attrs["fallback"] !== undefined && addresses.has(textOf(node, "fallback")));
+/**
+ * 参照の番地が木に無い。他の文書の名前が付いた参照（民法第709条、Section 9 of the Master Agreement）は引かない。
+ * 番号付きのまとまりを 1 つも持たない文書も見ない。他の文書を指しているだけかもしれない。
+ */
+export const danglingReferences = (tree) => {
+    const nodes = inDocumentOrder(tree);
+    const addresses = new Set(nodes.filter((node) => NUMBERED.includes(node.kind)).map((node) => node.address));
+    if (addresses.size === 0)
+        return [];
+    return nodes
+        .filter((node) => node.kind === "reference" && node.attrs["document"] === undefined)
+        .filter((node) => !resolves(node, addresses))
+        .map((node) => ({ offset: node.span.start, values: { label: textOf(node, "label"), target: textOf(node, "target") } }));
+};
+/** 同じ語の二度目以降の定義。どちらが正しいかは決めず、両方の場所を示す。 */
+export const duplicateDefinitions = (tree) => {
+    const first = new Map();
+    return inDocumentOrder(tree)
+        .filter((node) => node.kind === "definition")
+        .flatMap((node) => {
+        const term = textOf(node, "term");
+        const earlier = first.get(term);
+        if (earlier === undefined) {
+            first.set(term, node);
+            return [];
+        }
+        return [{ offset: node.span.start, values: { term, first: earlier.line } }];
+    });
+};
+//# sourceMappingURL=issues.js.map

package/dist/structure/issues.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"issues.js","sourceRoot":"","sources":["../../src/structure/issues.ts"],"names":[],"mappings":"AAOA,MAAM,QAAQ,GAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;AAEnE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAmB,EAAmB,EAAE;IACtE,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,OAAO,GAAoB,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM;QAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,GAAW,EAAU,EAAE;IAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,IAAmB,EAAE,SAA8B,EAAW,EAAE,CAChF,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AAE7H;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAmB,EAAoB,EAAE;IAC1E,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5G,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC;SACnF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;SAC5C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC5H,CAAC,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAoB,EAAE;IAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,OAAO,eAAe,CAAC,IAAI,CAAC;SACzB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;SAC5C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAChB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC"}

package/dist/structure/lines.d.ts

@@ -0,0 +1,15 @@
+/** 1 行。text は改行を含まず、\r\n の \r も落としてある。start は元の文書での位置。 */
+export type Line = {
+    readonly text: string;
+    readonly start: number;
+    readonly number: number;
+};
+/**
+ * 行に分ける。位置は元の文字列のまま数える。
+ * Windows で書かれた契約書は \r\n で届くので、\r を本文に残すと行末の判定がずれる。
+ * 行ごとに配列を作り直さない。何万行もある契約書で二乗に遅くなるため。
+ */
+export declare const linesOf: (source: string) => Line[];
+/** offset を含む行の番号（1 始まり）。lines は start の昇順。二分探索で、行数に対して対数で引く。 */
+export declare const lineNumberAt: (lines: readonly Line[], offset: number) => number | undefined;
+//# sourceMappingURL=lines.d.ts.map

package/dist/structure/lines.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lines.d.ts","sourceRoot":"","sources":["../../src/structure/lines.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,MAAM,MAAM,IAAI,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9F;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ,MAAM,KAAG,IAAI,EAQ5C,CAAC;AAEF,iEAAiE;AACjE,eAAO,MAAM,YAAY,GAAI,OAAO,SAAS,IAAI,EAAE,EAAE,QAAQ,MAAM,KAAG,MAAM,GAAG,SAY9E,CAAC"}

package/dist/structure/lines.js

@@ -0,0 +1,33 @@
+/**
+ * 行に分ける。位置は元の文字列のまま数える。
+ * Windows で書かれた契約書は \r\n で届くので、\r を本文に残すと行末の判定がずれる。
+ * 行ごとに配列を作り直さない。何万行もある契約書で二乗に遅くなるため。
+ */
+export const linesOf = (source) => {
+    const lines = [];
+    let at = 0;
+    source.split("\n").forEach((raw, index) => {
+        lines.push({ text: raw.endsWith("\r") ? raw.slice(0, -1) : raw, start: at, number: index + 1 });
+        at += raw.length + 1;
+    });
+    return lines;
+};
+/** offset を含む行の番号（1 始まり）。lines は start の昇順。二分探索で、行数に対して対数で引く。 */
+export const lineNumberAt = (lines, offset) => {
+    let low = 0;
+    let high = lines.length - 1;
+    while (low <= high) {
+        const middle = (low + high) >> 1;
+        const line = lines[middle];
+        if (line === undefined)
+            return undefined;
+        if (offset < line.start)
+            high = middle - 1;
+        else if (offset > line.start + line.text.length)
+            low = middle + 1;
+        else
+            return line.number;
+    }
+    return undefined;
+};
+//# sourceMappingURL=lines.js.map

package/dist/structure/lines.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lines.js","sourceRoot":"","sources":["../../src/structure/lines.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAU,EAAE;IAChD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QACxC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QAChG,EAAE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,iEAAiE;AACjE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAE,MAAc,EAAsB,EAAE;IACzF,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK;YAAE,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;aACtC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;;YAC7D,OAAO,IAAI,CAAC,MAAM,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/structure/markdown-path.d.ts

@@ -0,0 +1,3 @@
+/** 見出しとコードの範囲を Markdown として読むか。.txt の契約書は行頭の番号だけで木にする。 */
+export declare const isMarkdownPath: (path: string) => boolean;
+//# sourceMappingURL=markdown-path.d.ts.map

package/dist/structure/markdown-path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown-path.d.ts","sourceRoot":"","sources":["../../src/structure/markdown-path.ts"],"names":[],"mappings":"AAIA,0DAA0D;AAC1D,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,OAAyD,CAAC"}

package/dist/structure/markdown-path.js

@@ -0,0 +1,5 @@
+import { extname } from "node:path";
+const MARKDOWN = [".md", ".markdown", ".mdx"];
+/** 見出しとコードの範囲を Markdown として読むか。.txt の契約書は行頭の番号だけで木にする。 */
+export const isMarkdownPath = (path) => MARKDOWN.includes(extname(path).toLowerCase());
+//# sourceMappingURL=markdown-path.js.map

package/dist/structure/markdown-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markdown-path.js","sourceRoot":"","sources":["../../src/structure/markdown-path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;AAE9C,0DAA0D;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC"}

package/dist/structure/numbering.d.ts

@@ -0,0 +1,9 @@
+import type { StructureNode } from "../plugin.ts";
+import { type StructureIssue } from "./issues.ts";
+/**
+ * 番号の抜けと重なり。比べるのは同じ親の子どうしだけ。英米の法令は章ごとに Section 101、201 と百の位を変えるので、
+ * 文書全体の通し番号として比べると抜けに見える。最初の番号は見ない。日本語の項は 2 から番号を振る。
+ * 1 に戻った番号は新しい並びの始まりとして扱うので、「(a) の後の (a)」の重なりは見逃す。
+ */
+export declare const numberingBreaks: (tree: StructureNode) => StructureIssue[];
+//# sourceMappingURL=numbering.d.ts.map

package/dist/structure/numbering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numbering.d.ts","sourceRoot":"","sources":["../../src/structure/numbering.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAmB,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAiCnE;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,aAAa,KAAG,cAAc,EAId,CAAC"}

package/dist/structure/numbering.js

@@ -0,0 +1,38 @@
+import { inDocumentOrder } from "./issues.js";
+const labelOf = (node) => String(node.attrs["label"] ?? node.address);
+/** 同じ親の子のうち、番号の付いたものを種類ごとに分ける。条と項は別の並び。 */
+const sequencesOf = (parent) => {
+    const groups = new Map();
+    parent.children.forEach((node) => {
+        if (node.ordinal === undefined)
+            return;
+        // 配列を作り直さずに足す。条が何千もある法令で二乗にしない。
+        const group = groups.get(node.kind) ?? [];
+        group.push({ node, ordinal: node.ordinal });
+        groups.set(node.kind, group);
+    });
+    return [...groups.values()];
+};
+/** 隣り合う二つの番号が、1 つ進んでいなければ指摘する。同じ番号なら重なり、飛べば抜け。 */
+const breaksIn = (sequence) => sequence.flatMap((current, index) => {
+    const previous = sequence[index - 1];
+    // 1 に戻ったら新しい並び。一つの条に (a)(b) の箇条書きが二つある、附則が第1条から振り直す、のどちらも誤りではない。
+    if (previous === undefined || current.ordinal === previous.ordinal + 1 || current.ordinal === 1)
+        return [];
+    return [
+        {
+            offset: current.node.span.start,
+            values: { previous: labelOf(previous.node), label: labelOf(current.node), expected: previous.ordinal + 1, found: current.ordinal },
+        },
+    ];
+});
+/**
+ * 番号の抜けと重なり。比べるのは同じ親の子どうしだけ。英米の法令は章ごとに Section 101、201 と百の位を変えるので、
+ * 文書全体の通し番号として比べると抜けに見える。最初の番号は見ない。日本語の項は 2 から番号を振る。
+ * 1 に戻った番号は新しい並びの始まりとして扱うので、「(a) の後の (a)」の重なりは見逃す。
+ */
+export const numberingBreaks = (tree) => inDocumentOrder(tree)
+    .flatMap(sequencesOf)
+    .flatMap(breaksIn)
+    .sort((left, right) => left.offset - right.offset);
+//# sourceMappingURL=numbering.js.map

package/dist/structure/numbering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numbering.js","sourceRoot":"","sources":["../../src/structure/numbering.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAuB,MAAM,aAAa,CAAC;AAEnE,MAAM,OAAO,GAAG,CAAC,IAAmB,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;AAI7F,2CAA2C;AAC3C,MAAM,WAAW,GAAG,CAAC,MAAqB,EAAe,EAAE;IACzD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO;QACvC,gCAAgC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,kDAAkD;AAClD,MAAM,QAAQ,GAAG,CAAC,QAA4B,EAAoB,EAAE,CAClE,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;IAClC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACrC,iEAAiE;IACjE,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3G,OAAO;QACL;YACE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAC/B,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE;SACnI;KACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAmB,EAAoB,EAAE,CACvE,eAAe,CAAC,IAAI,CAAC;KAClB,OAAO,CAAC,WAAW,CAAC;KACpB,OAAO,CAAC,QAAQ,CAAC;KACjB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC"}

package/dist/structure/of.d.ts

@@ -0,0 +1,13 @@
+import type { StructureNode, StructurePatterns } from "../plugin.ts";
+export type SourceInput = {
+    readonly path: string;
+    readonly source: string;
+    readonly language: string;
+    readonly markdown: boolean;
+};
+/**
+ * 文字列から木を作る。Markdown なら見出しとコードの範囲を先に取る。
+ * lint は文書モデルを作るときの解析を使い回すので、ここを通らずに buildTree を呼ぶ。
+ */
+export declare const buildStructure: (input: SourceInput, patterns: StructurePatterns) => StructureNode;
+//# sourceMappingURL=of.d.ts.map

package/dist/structure/of.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"of.d.ts","sourceRoot":"","sources":["../../src/structure/of.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGrE,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC;AAEpI;;;GAGG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,WAAW,EAAE,UAAU,iBAAiB,KAAG,aAI9E,CAAC"}

package/dist/structure/of.js

@@ -0,0 +1,8 @@
+import { markdownOutline } from "../document.js";
+import { buildTree, NO_OUTLINE } from "./build.js";
+/**
+ * 文字列から木を作る。Markdown なら見出しとコードの範囲を先に取る。
+ * lint は文書モデルを作るときの解析を使い回すので、ここを通らずに buildTree を呼ぶ。
+ */
+export const buildStructure = (input, patterns) => buildTree({ path: input.path, source: input.source, language: input.language, outline: input.markdown ? markdownOutline(input.source) : NO_OUTLINE }, patterns);
+//# sourceMappingURL=of.js.map

package/dist/structure/of.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"of.js","sourceRoot":"","sources":["../../src/structure/of.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAInD;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAkB,EAAE,QAA2B,EAAiB,EAAE,CAC/F,SAAS,CACP,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,EAC1I,QAAQ,CACT,CAAC"}

package/dist/structure/sexp.d.ts

@@ -0,0 +1,7 @@
+import type { StructureNode } from "../plugin.ts";
+/**
+ * 木を S 式にする。人と AI が読むための形で、JSON と同じ木から作る。
+ * `(kind "番地" :key value ... 子)`。番地を持たない葉は番地を書かない。
+ */
+export declare const toSexp: (node: StructureNode, indent?: string) => string;
+//# sourceMappingURL=sexp.d.ts.map

package/dist/structure/sexp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sexp.d.ts","sourceRoot":"","sources":["../../src/structure/sexp.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAkBlD;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,aAAa,EAAE,eAAW,KAAG,MAKzD,CAAC"}

package/dist/structure/sexp.js

@@ -0,0 +1,25 @@
+/** 文字列は二重引用符で囲み、中の \ と " だけを逃がす。改行は \n にして 1 行に保つ。 */
+const quote = (text) => `"${text.replace(/\\/gu, "\\\\").replace(/"/gu, '\\"').replace(/\r?\n/gu, "\\n")}"`;
+const atom = (value) => (typeof value === "number" ? String(value) : quote(value));
+/** 属性はキーの順に並べる。同じ木から毎回同じ文字列を出すため。 */
+const keywords = (node) => [
+    ...Object.keys(node.attrs)
+        .sort((left, right) => left.localeCompare(right, "en"))
+        .flatMap((key) => {
+        const value = node.attrs[key];
+        return value === undefined ? [] : [`:${key} ${atom(value)}`];
+    }),
+    `:line ${String(node.line)}`,
+];
+/**
+ * 木を S 式にする。人と AI が読むための形で、JSON と同じ木から作る。
+ * `(kind "番地" :key value ... 子)`。番地を持たない葉は番地を書かない。
+ */
+export const toSexp = (node, indent = "") => {
+    const head = [node.kind, ...(node.address === "" ? [] : [quote(node.address)]), ...keywords(node)].join(" ");
+    if (node.children.length === 0)
+        return `${indent}(${head})`;
+    const inner = node.children.map((child) => toSexp(child, `${indent}  `)).join("\n");
+    return `${indent}(${head}\n${inner})`;
+};
+//# sourceMappingURL=sexp.js.map

package/dist/structure/sexp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sexp.js","sourceRoot":"","sources":["../../src/structure/sexp.ts"],"names":[],"mappings":"AAEA,sDAAsD;AACtD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC;AAE5H,MAAM,IAAI,GAAG,CAAC,KAAsB,EAAU,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAE5G,qCAAqC;AACrC,MAAM,QAAQ,GAAG,CAAC,IAAmB,EAAY,EAAE,CAAC;IAClD,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;SACvB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;SACtD,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC;IACJ,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;CAC7B,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,MAAM,GAAG,EAAE,EAAU,EAAE;IACjE,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7G,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,MAAM,IAAI,IAAI,GAAG,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,OAAO,GAAG,MAAM,IAAI,IAAI,KAAK,KAAK,GAAG,CAAC;AACxC,CAAC,CAAC"}

package/dist/structure/universal.d.ts

@@ -0,0 +1,7 @@
+import type { NumberedLine, NumberingContext } from "../plugin.ts";
+/**
+ * 本文の「1. 」は箇条書きで、見出しの「1. 」は章番号。点を含まない番号は、見出しの行でだけ読む。
+ * 「4.2 」のように点を含むものは、.txt の仕様書でも見出しとして書かれるので本文でも読む。
+ */
+export declare const dottedNumber: (line: string, context: NumberingContext) => NumberedLine | undefined;
+//# sourceMappingURL=universal.d.ts.map

package/dist/structure/universal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"universal.d.ts","sourceRoot":"","sources":["../../src/structure/universal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAQnE;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,EAAE,SAAS,gBAAgB,KAAG,YAAY,GAAG,SAQrF,CAAC"}

package/dist/structure/universal.js

@@ -0,0 +1,21 @@
+/**
+ * 「4.2 設定」「3.1.4 Scope」のような通し番号。数字と点だけで書くので言語を問わない。
+ * 各部分を 3 桁・深さを 6 までに抑え、後戻りが爆発しない形にしてある。
+ */
+const DOTTED = /^[ \t]{0,3}(?<number>\d{1,3}(?:\.\d{1,3}){0,5})\.?[ \t\u3000]+(?<rest>\S.*)$/u;
+/**
+ * 本文の「1. 」は箇条書きで、見出しの「1. 」は章番号。点を含まない番号は、見出しの行でだけ読む。
+ * 「4.2 」のように点を含むものは、.txt の仕様書でも見出しとして書かれるので本文でも読む。
+ */
+export const dottedNumber = (line, context) => {
+    const groups = DOTTED.exec(line)?.groups;
+    const number = groups?.["number"];
+    if (number === undefined)
+        return undefined;
+    const depth = number.split(".").length;
+    if (depth < 2 && !context.isHeading)
+        return undefined;
+    const rest = groups?.["rest"]?.trim() ?? "";
+    return { kind: "article", depth, number, absolute: true, label: number, heading: rest, rest, ordinal: Number(number.split(".").at(-1)) };
+};
+//# sourceMappingURL=universal.js.map

package/dist/structure/universal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"universal.js","sourceRoot":"","sources":["../../src/structure/universal.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,MAAM,GAAG,+EAA+E,CAAC;AAE/F;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,OAAyB,EAA4B,EAAE;IAChG,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACzC,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACtD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3I,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "chaffjs",
-  "version": "0.5.1",
+  "version": "0.6.0",
   "description": "Prose validation harness. Finds what is hard to read, and never rewrites it for you.",
   "keywords": [
     "chaff",
@@ -52,8 +52,8 @@
   },
   "dependencies": {
     "@anthropic-ai/sdk": "^0.125.0",
-    "@chaffjs/lang-en": "0.5.0",
-    "@chaffjs/lang-ja": "0.5.0",
+    "@chaffjs/lang-en": "0.6.0",
+    "@chaffjs/lang-ja": "0.6.0",
     "mdast-util-from-markdown": "^2.0.3",
     "mdast-util-frontmatter": "^2.0.1",
     "mdast-util-gfm-table": "^2.0.0",

package/rules/dangling-reference.yaml

@@ -0,0 +1,27 @@
+id: dangling-reference
+layer: L3
+status: experimental
+how_to_find: dangling-reference
+requires: [structure]
+severity: error
+
+name:
+  ja: 参照先が無い
+  en: Reference to a missing provision
+
+why:
+  ja: 「第12条に定める」のような参照は、その条が文書に無ければ読み手を行き止まりにします。条を消したり番号を振り直したりしたときに、参照だけが古い番号のまま残ることがよくあります。chaff は文書を番地の付いた木にして（chaff tree）、参照の番地が木にあるかを見ます。
+  en: A reference such as "as set out in Section 12" leaves the reader at a dead end when that section is not in the document. It usually happens when a provision is deleted or renumbered and the reference keeps the old number. chaff builds the document's tree of addresses (chaff tree) and checks that each reference's address is in it.
+
+message:
+  ja: 「{label}」（番地 {target}）はこの文書にありません
+  en: '"{label}" (address {target}) is not in this document'
+
+how_to_fix:
+  ja: 正しい番号に直すか、参照を消してください。他の文書を指しているなら、「民法第3条」のように文書名を添えると読み手に伝わります。
+  en: Fix the number or remove the reference. If it points into another document, name that document so the reader knows where to look.
+
+# 何件あれば指摘するか。1 は「1 件でもあれば」。
+levels: { strict: 1, normal: 1, relaxed: 1 }
+
+use_for: [business, technical, blog]

package/rules/duplicate-definition.yaml

@@ -0,0 +1,26 @@
+id: duplicate-definition
+layer: L3
+status: experimental
+how_to_find: duplicate-definition
+requires: [structure]
+severity: warning
+
+name:
+  ja: 同じ語の二重定義
+  en: Term defined twice
+
+why:
+  ja: 同じ語を二か所で定義すると、二つの定義が食い違っていないかを読み手が確かめなければなりません。長い契約書では、後から足した定義が先の定義と少しずれることがよくあります。中身が食い違っているかは機械では決まらないので、chaff は二度目の定義の場所だけを示します。
+  en: A term defined in two places makes the reader check whether the two definitions agree. In long contracts a definition added later often drifts from the first. Whether they conflict is not something a machine can decide, so chaff only points at the second one.
+
+message:
+  ja: 「{term}」は {first} 行目でも定義されています
+  en: '"{term}" is also defined on line {first}'
+
+how_to_fix:
+  ja: 定義を一か所にまとめ、もう一方は「第2条に定める{term}」のように参照にしてください。意図して意味を変えているなら、別の語にします。
+  en: Keep one definition and refer to it from the other place. If the meaning changes on purpose, use a different term.
+
+levels: { strict: 1, normal: 1, relaxed: 1 }
+
+use_for: [business, technical, blog]

package/rules/numbering-gap.yaml

@@ -0,0 +1,26 @@
+id: numbering-gap
+layer: L3
+status: experimental
+how_to_find: numbering-gap
+requires: [structure]
+severity: error
+
+name:
+  ja: 番号の抜け・重なり
+  en: Skipped or repeated number
+
+why:
+  ja: 第3条の次が第5条、(a) の次が (c)、同じ第2項が二つ。番号が飛ぶか重なると、読み手は何かが消えたのか、参照がどちらを指すのかを判断できません。同じ親の中で並ぶ番号だけを比べます。枝番号（第3条の2）は並びの外として扱います。
+  en: Article 5 right after Article 3, (c) right after (a), two paragraphs numbered 2. A reader cannot tell whether something was removed, or which one a reference means. Only numbers side by side under the same parent are compared.
+
+message:
+  ja: 「{previous}」の次が「{label}」です（{expected} 番目のはず）
+  en: '"{label}" follows "{previous}" (expected number {expected})'
+
+how_to_fix:
+  ja: 番号を振り直してください。削った条を欠番として残すなら、「第4条（削除）」のように番号だけを残すと読み手に伝わります。
+  en: Renumber. If a provision was removed on purpose, keep its number with a note such as "Section 4 [Deleted]".
+
+levels: { strict: 1, normal: 1, relaxed: 1 }
+
+use_for: [business, technical, blog]

package/src/adapter-load.ts

@@ -50,7 +50,24 @@ const pickExport = (module: object): unknown => {
   return isAdapter(record["adapter"]) ? record["adapter"] : record["default"];
 };
 
-export const packageFor = (language: string): string | undefined => ADAPTER_PACKAGE[language];
+/**
+ * 同梱の言語は表から、それ以外は `@chaffjs/lang-<言語>` を探す。
+ * 利用者が lang-zh のようなパッケージを書いて入れれば、core を変えずにその言語で動く。
+ */
+const LANGUAGE_ID = /^[a-z]{2,3}$/u;
+
+export const packageFor = (language: string): string | undefined =>
+  ADAPTER_PACKAGE[language] ?? (LANGUAGE_ID.test(language) ? `@chaffjs/lang-${language}` : undefined);
+
+const importAdapter = async (specifier: string, language: string): Promise<unknown> => {
+  try {
+    return await import(specifier);
+  } catch (err) {
+    const missing = err instanceof Error && "code" in err && err.code === "ERR_MODULE_NOT_FOUND";
+    if (missing) throw new Error(`言語 ${language} のパッケージ ${specifier} が入っていません（npm i -D ${specifier}）`, { cause: err });
+    throw err;
+  }
+};
 
 /**
  * アダプタは「必要になったものだけ」を実行時に解決する。spec §17.2。
@@ -60,7 +77,7 @@ export const packageFor = (language: string): string | undefined => ADAPTER_PACK
 export const loadAdapter = async (language: string): Promise<LanguageAdapter> => {
   const specifier = packageFor(language);
   if (specifier === undefined) throw new Error(`no adapter for language "${language}"`);
-  const module: unknown = await import(specifier);
+  const module = await importAdapter(specifier, language);
   if (typeof module !== "object" || module === null) throw new Error(`${specifier} did not export a module`);
   const candidate = pickExport(module);
   const broken = checkAdapter(candidate);

package/src/cli.ts

@@ -23,6 +23,8 @@ import { renderFriendly } from "./render/friendly.ts";
 import { rulesJson } from "./render/rules-json.ts";
 import { renderSarif } from "./render/sarif.ts";
 import { VERSION } from "./version.ts";
+import { runTree, treeTargets } from "./commands/tree.ts";
+import { citeTargets, runCite } from "./commands/cite.ts";
 import { renderSummary, type FileOutcome } from "./render/summary.ts";
 import { neededBy, runRules } from "./run.ts";
 import type { Level, RuleDefinition } from "./plugin.ts";
@@ -37,6 +39,8 @@ const USAGE = `chaff — 文章の読みにくいところを見つけます。
   chaff eval <dir>               手元の文書で閾値を測り直す
   chaff explain <rule>           そのルールの意図と根拠を読む
   chaff genres                   ジャンルの一覧
+  chaff tree <file> [--format sexp|json]  文書を番地の付いた木にする（条・項・定義・参照）
+  chaff cite <原文> <引用.json>           回答の引用（番地と引用文）が原文にあるかを確かめる
   chaff rules --json             いまの設定を JSON で出す（AI に渡す用）
   chaff baseline <dir>           いまある指摘を棚上げする（既存の repo に入れるとき）
   chaff suppressions <dir>       stet で黙らせている指摘を数える
@@ -283,6 +287,8 @@ const HANDLERS: Readonly<Record<string, Handler>> = {
   rules: showRules,
   explain: (argv) => explain(argv[1]),
   eval: (argv) => runEval(positional(argv), argv, { config: readConfig(), resolveGenre, flag }),
+  tree: (argv) => runTree(treeTargets(argv), argv, { config: readConfig(), flag }),
+  cite: (argv) => runCite(citeTargets(argv), argv, { config: readConfig(), flag }),
   test: (argv) => runTest(positional(argv), argv, { config: readConfig(), resolveGenre, inspect }),
   baseline: (argv) => runBaseline(positional(argv), argv),
   suppressions: (argv) => runSuppressions(positional(argv), argv),

package/src/commands/cite.ts

@@ -0,0 +1,74 @@
+import { checkCitations, type Citation, type CitationResult } from "../structure/cite.ts";
+import { readSource, readTree, type TreeContext } from "./tree.ts";
+
+const USAGE = "使い方: chaff cite <原文> <引用.json> [--format text|json] [--language ja|en|…]";
+const FORMATS = ["text", "json"];
+const QUOTE_WIDTH = 40;
+const VALUED = ["--format", "--language"];
+
+export const citeTargets = (argv: readonly string[]): string[] =>
+  argv.slice(1).filter((arg, index, all) => !arg.startsWith("--") && !VALUED.includes(all[index - 1] ?? ""));
+
+const isRecord = (value: unknown): value is Record<string, unknown> => typeof value === "object" && value !== null && !Array.isArray(value);
+
+const isCitation = (value: unknown): value is Citation => isRecord(value) && typeof value["address"] === "string" && typeof value["quote"] === "string";
+
+export type ParsedCitations = { readonly citations: readonly Citation[] } | { readonly error: string };
+
+const parseJson = (text: string): { readonly value: unknown } | { readonly error: string } => {
+  try {
+    return { value: JSON.parse(text) };
+  } catch (err) {
+    return { error: `JSON として読めません: ${err instanceof Error ? err.message : String(err)}` };
+  }
+};
+
+/** 引用の一覧。[{ address, quote }] の配列だけを受け取る。形が違えば理由を返す。 */
+export const parseCitations = (text: string): ParsedCitations => {
+  const parsed = parseJson(text);
+  if ("error" in parsed) return parsed;
+  if (!Array.isArray(parsed.value)) return { error: '引用は配列で渡してください: [{ "address": "3.2", "quote": "…" }]' };
+  const entries: readonly unknown[] = parsed.value;
+  const bad = entries.findIndex((entry) => !isCitation(entry));
+  if (bad !== -1) return { error: `${String(bad + 1)} 件目に address（文字列）と quote（文字列）がありません` };
+  return { citations: entries.filter(isCitation).map((entry) => ({ address: entry.address, quote: entry.quote })) };
+};
+
+const MESSAGES: Readonly<Record<CitationResult["status"], (result: CitationResult) => string>> = {
+  ok: () => "一致",
+  "missing-address": (result) => `番地 ${result.citation.address} は原文にありません`,
+  "quote-elsewhere": (result) => `引用文は ${result.citation.address} ではなく ${result.foundAt ?? "番地の外"}（${String(result.line ?? "?")} 行目）にあります`,
+  "quote-not-found": () => "引用文が原文のどこにもありません",
+};
+
+const describe = (result: CitationResult): string => {
+  const mark = result.status === "ok" ? "✓" : "✗";
+  const oneLine = result.citation.quote.replace(/\s+/gu, " ").trim();
+  const quote = oneLine.length > QUOTE_WIDTH ? `${oneLine.slice(0, QUOTE_WIDTH)}…` : oneLine;
+  return `${mark} ${result.citation.address}「${quote}」: ${MESSAGES[result.status](result)}`;
+};
+
+/**
+ * 回答の引用が原文にあるかを確かめる。書き換えはしない。
+ * 一つでも外れていれば 1 で終わるので、AI の回答を単体試験のように検査できる。
+ */
+export const runCite = async (targets: readonly string[], argv: readonly string[], context: TreeContext): Promise<number> => {
+  const [sourcePath, citationsPath] = targets;
+  const format = context.flag(argv, "--format") ?? "text";
+  if (sourcePath === undefined || citationsPath === undefined || targets.length !== 2 || !FORMATS.includes(format)) {
+    console.error(USAGE);
+    return 1;
+  }
+  const citationsText = await readSource(citationsPath);
+  if (citationsText === undefined) return 1;
+  const parsed = parseCitations(citationsText);
+  if ("error" in parsed) {
+    console.error(`${citationsPath}: ${parsed.error}`);
+    return 1;
+  }
+  const read = await readTree(sourcePath, argv, context);
+  if (read === undefined) return 1;
+  const results = checkCitations(read.source, read.tree, parsed.citations);
+  console.log(format === "json" ? JSON.stringify(results, null, 2) : results.map(describe).join("\n"));
+  return results.every((result) => result.status === "ok") ? 0 : 1;
+};