chaffjs 0.19.0 → 0.20.0

package/dist/experimental-alone.d.ts

@@ -0,0 +1,13 @@
+import type { Level, RuleDefinition } from "./plugin.ts";
+type Written = {
+    readonly rules: Readonly<Record<string, Level>>;
+    readonly experimental: boolean;
+};
+/**
+ * Whether naming the rule in chaff.yaml (npx chaffjs enable <id>) is all it takes to run it: it is off only because it is
+ * experimental. Not when chaff.yaml already names it, the genre's preset decides it, the genre is not one it serves, or
+ * the language is not one it reads; enable would change nothing there, and saying so would mislead.
+ */
+export declare const offOnlyAsExperimental: (rule: Pick<RuleDefinition, "id" | "status" | "use_for" | "languages">, written: Written, genre: string, preset: Readonly<Record<string, Level>>, language: string) => boolean;
+export {};
+//# sourceMappingURL=experimental-alone.d.ts.map

package/dist/experimental-alone.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"experimental-alone.d.ts","sourceRoot":"","sources":["../src/experimental-alone.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGzD,KAAK,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnG;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,IAAI,CAAC,cAAc,EAAE,IAAI,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC,EACrE,SAAS,OAAO,EAChB,OAAO,MAAM,EACb,QAAQ,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EACvC,UAAU,MAAM,KACf,OAIsD,CAAC"}

package/dist/experimental-alone.js

@@ -0,0 +1,11 @@
+import { standingIn } from "./rule-genres.js";
+/**
+ * Whether naming the rule in chaff.yaml (npx chaffjs enable <id>) is all it takes to run it: it is off only because it is
+ * experimental. Not when chaff.yaml already names it, the genre's preset decides it, the genre is not one it serves, or
+ * the language is not one it reads; enable would change nothing there, and saying so would mislead.
+ */
+export const offOnlyAsExperimental = (rule, written, genre, preset, language) => !written.experimental &&
+    written.rules[rule.id] === undefined &&
+    (rule.languages === undefined || rule.languages.includes(language)) &&
+    standingIn(rule, genre, preset).kind === "experimental";
+//# sourceMappingURL=experimental-alone.js.map

package/dist/experimental-alone.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"experimental-alone.js","sourceRoot":"","sources":["../src/experimental-alone.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAqE,EACrE,OAAgB,EAChB,KAAa,EACb,MAAuC,EACvC,QAAgB,EACP,EAAE,CACX,CAAC,OAAO,CAAC,YAAY;IACrB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;IACpC,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACnE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC"}

package/dist/facts/fact-conflicts.d.ts

@@ -0,0 +1,15 @@
+import { type FactValue } from "./fact-values.ts";
+import type { ScopedFact } from "./fact-scope.ts";
+/**
+ * 同じ名前に違う値。比べるのは同じ種類で比べられる値どうし（同じ単位の数量、重なる細かさの日付、名前）。
+ * 一つの範囲の中で値が二通りなら、最初に書いた値と違うほうを言う。三通り以上なら、催しごとに並べた一覧と読んで言わない。
+ * 要約や冒頭の値は、本文の同じ名前の値と比べる。本文の値が一通りに揃っていて、要約の値がそれと違うときだけ言う。
+ */
+export type FactConflict = {
+    readonly fact: ScopedFact;
+    readonly other: FactValue;
+};
+/** 同じ範囲の中で、同じ名前に二通りの値。 */
+export declare const scopeConflicts: (facts: readonly ScopedFact[]) => FactConflict[];
+export declare const summaryConflicts: (facts: readonly ScopedFact[]) => FactConflict[];
+//# sourceMappingURL=fact-conflicts.d.ts.map

package/dist/facts/fact-conflicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-conflicts.d.ts","sourceRoot":"","sources":["../../src/facts/fact-conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyB,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC;AAwCpF,0BAA0B;AAC1B,eAAO,MAAM,cAAc,GAAI,OAAO,SAAS,UAAU,EAAE,KAAG,YAAY,EAAqF,CAAC;AAWhK,eAAO,MAAM,gBAAgB,GAAI,OAAO,SAAS,UAAU,EAAE,KAAG,YAAY,EAG3E,CAAC"}

package/dist/facts/fact-conflicts.js

@@ -0,0 +1,50 @@
+import { comparable, sameValue } from "./fact-values.js";
+const MAX_DISTINCT = 2;
+const groupBy = (items, keyOf) => {
+    const groups = new Map();
+    items.forEach((item) => {
+        const key = keyOf(item);
+        const group = groups.get(key);
+        if (group === undefined)
+            groups.set(key, [item]);
+        else
+            group.push(item);
+    });
+    return [...groups.values()];
+};
+/** 互いに違う値。同じ値（3,000円と3000円、10月5日と2026年10月5日）は一つに数える。 */
+const distinctValues = (values) => values.reduce((kept, value) => (kept.some((seen) => sameValue(seen, value)) ? kept : [...kept, value]), []);
+/** 互いに比べられる値の組に分ける（単位ごと、日付の細かさごと）。比べられない値は、別の組で比べる。 */
+const comparableClasses = (facts) => facts.reduce((classes, fact) => {
+    const home = classes.find((members) => members[0] !== undefined && comparable(members[0].value, fact.value));
+    if (home === undefined)
+        classes.push([fact]);
+    else
+        home.push(fact);
+    return classes;
+}, []);
+/** 一つの組の中で値が二通りなら、最初の値と違う事実。 */
+const conflictsInClass = (facts) => {
+    const [first, ...rest] = facts;
+    if (first === undefined)
+        return [];
+    if (distinctValues(facts.map((fact) => fact.value)).length !== MAX_DISTINCT)
+        return [];
+    return rest.filter((fact) => !sameValue(first.value, fact.value)).map((fact) => ({ fact, other: first.value }));
+};
+/** 記録の欄（繰り返す名前）は比べない。 */
+const conflictsIn = (facts) => facts.some((fact) => fact.record) ? [] : comparableClasses(facts).flatMap(conflictsInClass);
+/** 同じ範囲の中で、同じ名前に二通りの値。 */
+export const scopeConflicts = (facts) => groupBy(facts, (fact) => `${fact.scope}\u0000${fact.key}`).flatMap(conflictsIn);
+const isSummary = (fact) => fact.part !== "body";
+/** 要約か冒頭の値が、本文で揃って書かれた値と違う。 */
+const summaryConflict = (fact, body) => {
+    const values = distinctValues(body.filter((other) => other.key === fact.key && comparable(fact.value, other.value)).map((other) => other.value));
+    const only = values.length === 1 ? values[0] : undefined;
+    return only === undefined || sameValue(fact.value, only) ? [] : [{ fact, other: only }];
+};
+export const summaryConflicts = (facts) => {
+    const body = facts.filter((fact) => !isSummary(fact) && !fact.record);
+    return facts.filter(isSummary).flatMap((fact) => summaryConflict(fact, body));
+};
+//# sourceMappingURL=fact-conflicts.js.map

package/dist/facts/fact-conflicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-conflicts.js","sourceRoot":"","sources":["../../src/facts/fact-conflicts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAkB,MAAM,kBAAkB,CAAC;AAUzE,MAAM,YAAY,GAAG,CAAC,CAAC;AAEvB,MAAM,OAAO,GAAG,CAAI,KAAmB,EAAE,KAA0B,EAAS,EAAE;IAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;IACtC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;;YAC5C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,wDAAwD;AACxD,MAAM,cAAc,GAAG,CAAC,MAA4B,EAAe,EAAE,CACnE,MAAM,CAAC,MAAM,CAAc,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAE3H,uDAAuD;AACvD,MAAM,iBAAiB,GAAG,CAAC,KAA4B,EAAkB,EAAE,CACzE,KAAK,CAAC,MAAM,CAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE;IAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7G,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;;QACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,OAAO,OAAO,CAAC;AACjB,CAAC,EAAE,EAAE,CAAC,CAAC;AAET,gCAAgC;AAChC,MAAM,gBAAgB,GAAG,CAAC,KAA4B,EAAkB,EAAE;IACxE,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,EAAE,CAAC;IACvF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAClH,CAAC,CAAC;AAEF,yBAAyB;AACzB,MAAM,WAAW,GAAG,CAAC,KAA4B,EAAkB,EAAE,CACnE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAE9F,0BAA0B;AAC1B,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAA4B,EAAkB,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;AAEhK,MAAM,SAAS,GAAG,CAAC,IAAgB,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAEtE,+BAA+B;AAC/B,MAAM,eAAe,GAAG,CAAC,IAAgB,EAAE,IAA2B,EAAkB,EAAE;IACxF,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjJ,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,OAAO,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1F,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAA4B,EAAkB,EAAE;IAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC"}

package/dist/facts/fact-scope.d.ts

@@ -0,0 +1,17 @@
+import type { StructureNode } from "../plugin.ts";
+import type { Fact } from "./labelled-facts.ts";
+/**
+ * 事実の居場所。同じ名前でも、違う見出しの下、違う親の項目の下、太字だけの行や「第2回：」のような小見出しの行の後ろは、
+ * 別の催しや別の場合の値として比べない。scope が同じ事実どうしだけを比べる。
+ * part は冒頭（最初の見出しより前）、要約の節（概要、Summary）、本文のどれか。
+ */
+export type FactPart = "opening" | "summary" | "body";
+/** record: 同じ範囲で、行の頭に何度も書かれた名前。催しや論文ごとの記録の欄で、値が違っても食い違いではない。 */
+export type ScopedFact = Fact & {
+    readonly scope: string;
+    readonly part: FactPart;
+    readonly record: boolean;
+};
+/** 事実ごとに、比べてよい範囲と、文書のどの部分かを付ける。 */
+export declare const scopedFacts: (facts: readonly Fact[], tree: StructureNode, source: string, summaryWords: readonly string[]) => ScopedFact[];
+//# sourceMappingURL=fact-scope.d.ts.map

package/dist/facts/fact-scope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-scope.d.ts","sourceRoot":"","sources":["../../src/facts/fact-scope.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAGlD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAGhD;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAEtD,gEAAgE;AAChE,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC;AAkH9G,mCAAmC;AACnC,eAAO,MAAM,WAAW,GAAI,OAAO,SAAS,IAAI,EAAE,EAAE,MAAM,aAAa,EAAE,QAAQ,MAAM,EAAE,cAAc,SAAS,MAAM,EAAE,KAAG,UAAU,EAWpI,CAAC"}

package/dist/facts/fact-scope.js

@@ -0,0 +1,112 @@
+import { inDocumentOrder } from "../structure/issues.js";
+import { lineNumberAt, linesOf } from "../structure/lines.js";
+import { withoutEdgeMarks } from "./trim-marks.js";
+const CONTAINERS = new Set(["section", "chapter", "article"]);
+const LIST_ITEM = /^([ \t]*)(?:[-*+]|\d{1,3}[.)])[ \t]/u;
+/** 小見出しの代わりの行: 太字だけの行（項目でもよい）、コロンで終わる短い行。 */
+const BOLD_LINE = /^[ \t]*(?:[-*+][ \t]+)?(?:\*\*|__)[^*_]+(?:\*\*|__)[:：]?[ \t]*$/u;
+const COLON_LINE = /^[^|]{1,40}[:：][ \t]*$/u;
+const covers = (node, offset) => node.span.start <= offset && offset < node.span.end;
+const containersAt = (nodes, offset) => nodes.filter((node) => covers(node, offset));
+const INDENT = /^[ \t]*/u;
+const indentOf = (line) => INDENT.exec(line?.text ?? "")?.[0].length ?? 0;
+/** 字下げの無い地の文の行。そこより上の項目は、もう別の並び。 */
+const leavesList = (line) => line.text.trim() !== "" && indentOf(line) === 0 && !LIST_ITEM.test(line.text);
+/**
+ * 親の項目: 自分より浅い字下げで、上にある一番近い項目の行。項目の下に字下げして続けた行（項目の続き）も、その項目を親とする。
+ * 字下げの無い行には無い。
+ */
+const parentItem = (lines, index) => {
+    const indent = indentOf(lines[index]);
+    if (indent === 0)
+        return -1;
+    for (let at = index - 1; at >= 0; at -= 1) {
+        const line = lines[at];
+        if (line === undefined || leavesList(line))
+            return -1;
+        if (LIST_ITEM.test(line.text) && indentOf(line) < indent)
+            return at;
+    }
+    return -1;
+};
+const MAX_HEAD_LABEL = 24;
+const HEAD_MARK = /^[ \t>]*(?:[-*+][ \t]+)?/u;
+/** 同じ範囲で、行の頭にこれだけ書かれた名前は、繰り返す記録の欄（一覧の Title:、Comments:）。 */
+const RECORD_REPEATS = 3;
+/** 行の頭の「名前：」の名前。比べる名前と同じ書き方に揃える。 */
+const headLabelOf = (line) => {
+    const text = line.text.replace(HEAD_MARK, "");
+    const colon = text.search(/[:：|]/u);
+    if (colon <= 0 || text.charAt(colon) === "|")
+        return undefined;
+    const label = withoutEdgeMarks(text.slice(0, colon));
+    return label === "" || label.length > MAX_HEAD_LABEL ? undefined : label.normalize("NFKC").toLowerCase();
+};
+const isBreaker = (line) => BOLD_LINE.test(line.text) || (!LIST_ITEM.test(line.text) && COLON_LINE.test(line.text));
+/** 行ごとに、それより前にある小見出しの代わりの行の数。節の始まりから事実の行までの数は、二つの差になる。 */
+const breakerCounts = (lines) => lines.reduce((counts, line, index) => {
+    counts.push((counts[index] ?? 0) + (isBreaker(line) ? 1 : 0));
+    return counts;
+}, [0]);
+const lineIndexAt = (lines, offset) => (lineNumberAt(lines, offset) ?? 1) - 1;
+const isSummaryHeading = (node, summaryWords) => {
+    const heading = String(node.attrs["heading"] ?? "")
+        .normalize("NFKC")
+        .toLowerCase()
+        .replace(/^[\d.\s]+/u, "")
+        .trim();
+    return summaryWords.some((word) => heading === word.toLowerCase());
+};
+const TOP_LEVEL_HEADING = /^h\d+$/u;
+/** 冒頭: 文書の頭か、表題の見出しの直下で、最初の小見出しより前。 */
+const isOpening = (innermost, tree, offset) => {
+    const owner = innermost ?? tree;
+    if (owner !== tree && !TOP_LEVEL_HEADING.test(owner.address))
+        return false;
+    const firstChild = owner.children.find((child) => CONTAINERS.has(child.kind));
+    return firstChild === undefined ? owner === tree : offset < firstChild.span.start;
+};
+const partOf = (around, tree, offset, summaryWords) => {
+    if (around.some((node) => node.kind === "section" && isSummaryHeading(node, summaryWords)))
+        return "summary";
+    return isOpening(around.at(-1), tree, offset) ? "opening" : "body";
+};
+/** 名前ごとに、頭にその名前を書いた行の番号。 */
+const headLines = (lines) => {
+    const found = new Map();
+    lines.forEach((line, index) => {
+        const head = headLabelOf(line);
+        if (head === undefined)
+            return;
+        const indexes = found.get(head);
+        if (indexes === undefined)
+            found.set(head, [index]);
+        else
+            indexes.push(index);
+    });
+    return found;
+};
+/** 範囲の行のうち、頭にその名前を書いた行の数。 */
+const headCount = (heads, from, to, key) => (heads.get(key) ?? []).filter((index) => index >= from && index < to).length;
+const scopeOf = (fact, innermost, at) => {
+    const index = lineIndexAt(at.lines, fact.value.start);
+    const from = innermost === undefined ? 0 : lineIndexAt(at.lines, innermost.span.start);
+    const to = innermost === undefined ? at.lines.length : lineIndexAt(at.lines, innermost.span.end - 1) + 1;
+    const scope = [innermost?.address ?? "doc", (at.breakers[index] ?? 0) - (at.breakers[from] ?? 0), parentItem(at.lines, index)].join("#");
+    return { scope, record: headCount(at.heads, from, to, fact.key) >= RECORD_REPEATS };
+};
+/** 事実ごとに、比べてよい範囲と、文書のどの部分かを付ける。 */
+export const scopedFacts = (facts, tree, source, summaryWords) => {
+    if (facts.length === 0)
+        return [];
+    const nodes = inDocumentOrder(tree).filter((node) => CONTAINERS.has(node.kind));
+    const lines = linesOf(source);
+    const at = { lines, breakers: breakerCounts(lines), heads: headLines(lines) };
+    return facts
+        .toSorted((left, right) => left.value.start - right.value.start)
+        .map((fact) => {
+        const around = containersAt(nodes, fact.value.start);
+        return { ...fact, ...scopeOf(fact, around.at(-1), at), part: partOf(around, tree, fact.value.start, summaryWords) };
+    });
+};
+//# sourceMappingURL=fact-scope.js.map

package/dist/facts/fact-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-scope.js","sourceRoot":"","sources":["../../src/facts/fact-scope.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,OAAO,EAAa,MAAM,uBAAuB,CAAC;AAEzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAYnD,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAEnF,MAAM,SAAS,GAAG,sCAAsC,CAAC;AACzD,6CAA6C;AAC7C,MAAM,SAAS,GAAG,kEAAkE,CAAC;AACrF,MAAM,UAAU,GAAG,yBAAyB,CAAC;AAE7C,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,MAAc,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAErH,MAAM,YAAY,GAAG,CAAC,KAA+B,EAAE,MAAc,EAAmB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAExI,MAAM,MAAM,GAAG,UAAU,CAAC;AAE1B,MAAM,QAAQ,GAAG,CAAC,IAAsB,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;AAEpG,oCAAoC;AACpC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1H;;;GAGG;AACH,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAE,KAAa,EAAU,EAAE;IACnE,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACtC,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,KAAK,IAAI,EAAE,GAAG,KAAK,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACtD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM;YAAE,OAAO,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,EAAE,CAAC;AAC1B,MAAM,SAAS,GAAG,2BAA2B,CAAC;AAC9C,4DAA4D;AAC5D,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB,oCAAoC;AACpC,MAAM,WAAW,GAAG,CAAC,IAAU,EAAsB,EAAE;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACrD,OAAO,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;AAC3G,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,IAAU,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAEnI,0DAA0D;AAC1D,MAAM,aAAa,GAAG,CAAC,KAAsB,EAAY,EAAE,CACzD,KAAK,CAAC,MAAM,CACV,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;IACtB,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC;AAChB,CAAC,EACD,CAAC,CAAC,CAAC,CACJ,CAAC;AAEJ,MAAM,WAAW,GAAG,CAAC,KAAsB,EAAE,MAAc,EAAU,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AAE/G,MAAM,gBAAgB,GAAG,CAAC,IAAmB,EAAE,YAA+B,EAAW,EAAE;IACzF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;SAChD,SAAS,CAAC,MAAM,CAAC;SACjB,WAAW,EAAE;SACb,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;SACzB,IAAI,EAAE,CAAC;IACV,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,SAAS,CAAC;AAEpC,uCAAuC;AACvC,MAAM,SAAS,GAAG,CAAC,SAAoC,EAAE,IAAmB,EAAE,MAAc,EAAW,EAAE;IACvG,MAAM,KAAK,GAAG,SAAS,IAAI,IAAI,CAAC;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3E,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;AACpF,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,MAAgC,EAAE,IAAmB,EAAE,MAAc,EAAE,YAA+B,EAAY,EAAE;IAClI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7G,OAAO,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AACrE,CAAC,CAAC;AAEF,4BAA4B;AAC5B,MAAM,SAAS,GAAG,CAAC,KAAsB,EAA0C,EAAE;IACnF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;;YAC/C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,6BAA6B;AAC7B,MAAM,SAAS,GAAG,CAAC,KAA6C,EAAE,IAAY,EAAE,EAAU,EAAE,GAAW,EAAU,EAAE,CACjH,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC;AAI/E,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,SAAoC,EAAE,EAAS,EAAsC,EAAE;IAClH,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,EAAE,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACzG,MAAM,KAAK,GAAG,CAAC,SAAS,EAAE,OAAO,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzI,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,cAAc,EAAE,CAAC;AACtF,CAAC,CAAC;AAEF,mCAAmC;AACnC,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAsB,EAAE,IAAmB,EAAE,MAAc,EAAE,YAA+B,EAAgB,EAAE;IACxI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IACrF,OAAO,KAAK;SACT,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;SAC/D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrD,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;IACtH,CAAC,CAAC,CAAC;AACP,CAAC,CAAC"}

package/dist/facts/fact-values.d.ts

@@ -0,0 +1,18 @@
+import type { Span, StructureNode } from "../plugin.ts";
+/**
+ * 値として読むもの。木の数量と日付（`chaff compare` と同じ読み）と、品詞の読める言語では固有名詞。
+ * key は値の正体で、書き方が違っても同じ値なら同じ（3,000円と3000円、10月5日と10/5）。
+ */
+export type ValueKind = "quantity" | "date" | "name";
+export type FactValue = Span & {
+    readonly kind: ValueKind;
+    readonly key: string;
+    readonly unit: string;
+};
+/** 木の数量と日付、それと重ならない固有名詞と、単位を書かない数。文書の中の順に並べる。 */
+export declare const factValues: (tree: StructureNode, source: string, names: readonly Span[]) => FactValue[];
+/** 同じ種類の値で、比べられるもの。数量は同じ単位どうし（単位の違いは別の rule が見る）。 */
+export declare const comparable: (left: FactValue, right: FactValue) => boolean;
+/** 比べられる二つの値が同じか。月日だけの日付は、年まで書いた日付の月日と同じなら同じ。 */
+export declare const sameValue: (left: FactValue, right: FactValue) => boolean;
+//# sourceMappingURL=fact-values.d.ts.map

package/dist/facts/fact-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-values.d.ts","sourceRoot":"","sources":["../../src/facts/fact-values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAIxD;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AAErD,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AA4CzG,iDAAiD;AACjD,eAAO,MAAM,UAAU,GAAI,MAAM,aAAa,EAAE,QAAQ,MAAM,EAAE,OAAO,SAAS,IAAI,EAAE,KAAG,SAAS,EAQjG,CAAC;AAkCF,qDAAqD;AACrD,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,EAAE,OAAO,SAAS,KAAG,OAI9D,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,SAAS,GAAI,MAAM,SAAS,EAAE,OAAO,SAAS,KAAG,OAI7D,CAAC"}

package/dist/facts/fact-values.js

@@ -0,0 +1,98 @@
+import { inDocumentOrder } from "../structure/issues.js";
+import { overlapsAny, spanIndex } from "../compare/spans.js";
+const attr = (node, name) => String(node.attrs[name] ?? "");
+/** 数の前に書いた単位（$300、$ 300）があれば、その始まり。木の数量は数から始まる。 */
+const startWithUnitBefore = (source, start, unit) => {
+    if (unit === "")
+        return start;
+    const gap = source[start - 1] === " " ? 1 : 0;
+    const from = start - gap - unit.length;
+    return from >= 0 && source.slice(from, start - gap) === unit ? from : start;
+};
+/** 数のすぐ後ろに書いた単位（25%の%）。木の数量は単位の前で終わることがある。 */
+const endWithUnitAfter = (source, end, unit) => (unit !== "" && source.startsWith(unit, end) ? end + unit.length : end);
+const nodeValue = (node, source) => {
+    if (node.kind === "date")
+        return [{ start: node.span.start, end: node.span.end, kind: "date", key: attr(node, "value"), unit: "" }];
+    if (node.kind !== "quantity")
+        return [];
+    const unit = attr(node, "unit");
+    return [
+        {
+            start: startWithUnitBefore(source, node.span.start, unit),
+            end: endWithUnitAfter(source, node.span.end, unit),
+            kind: "quantity",
+            key: attr(node, "value"),
+            unit: unit.normalize("NFKC"),
+        },
+    ];
+};
+/**
+ * 単位を書かない数（「Seats: 40」）。前後が字や数や時刻の : でないもの。1.2.3 のような版の番号は数にしない。
+ * 単位の無い数は、単位の無い数とだけ比べる。
+ */
+const BARE_NUMBER = /(?<![\p{L}\p{N}.,:/-])[0-9０-９]+(?:[,，][0-9０-９]{3})*(?:[.．][0-9０-９]+)?(?![\p{L}\p{N}%:/,，-]|[.．][0-9０-９])/gu;
+const bareValues = (source, taken) => [...source.matchAll(BARE_NUMBER)].flatMap((match) => {
+    const span = { start: match.index, end: match.index + match[0].length };
+    if (overlapsAny(taken, span))
+        return [];
+    const key = String(Number(match[0].normalize("NFKC").replace(/,/gu, "")));
+    return [{ ...span, kind: "quantity", key, unit: "" }];
+});
+/** 木の数量と日付、それと重ならない固有名詞と、単位を書かない数。文書の中の順に並べる。 */
+export const factValues = (tree, source, names) => {
+    const tagged = inDocumentOrder(tree).flatMap((node) => nodeValue(node, source));
+    const taken = spanIndex(tagged);
+    const named = names
+        .filter((name) => !overlapsAny(taken, name))
+        .map((name) => ({ start: name.start, end: name.end, kind: "name", key: source.slice(name.start, name.end).normalize("NFKC"), unit: "" }));
+    const bare = bareValues(source, spanIndex([...tagged, ...named]));
+    return [...tagged, ...named, ...bare].toSorted((left, right) => left.start - right.start);
+};
+/** 日付の書き方の細かさ。年月日、年月、月日。違う細かさどうしは、重なる部分だけを比べる。 */
+const FULL_DATE = /^\d{4}-\d{2}-\d{2}$/u;
+const YEAR_MONTH = /^\d{4}-\d{2}$/u;
+const MONTH_DAY = /^\d{2}-\d{2}$/u;
+const precisionOf = (key) => {
+    if (FULL_DATE.test(key))
+        return "full";
+    if (YEAR_MONTH.test(key))
+        return "year-month";
+    return MONTH_DAY.test(key) ? "month-day" : "other";
+};
+const YEAR_MONTH_LENGTH = 7;
+const MONTH_DAY_FROM = 5;
+/** 年月日の日付を、もう一方の細かさに揃える。揃えられなければ undefined。 */
+const narrowed = (full, other, precision) => {
+    if (precision === "month-day")
+        return [full.slice(MONTH_DAY_FROM), other];
+    return precision === "year-month" ? [full.slice(0, YEAR_MONTH_LENGTH), other] : undefined;
+};
+/** 二つの日付を比べられる形。比べられなければ undefined（年月と月日には重なる部分が無い）。 */
+const comparableDates = (left, right) => {
+    const [a, b] = [precisionOf(left), precisionOf(right)];
+    if (a === b)
+        return a === "other" && left !== right ? undefined : [left, right];
+    if (a === "full")
+        return narrowed(left, right, b);
+    if (b !== "full")
+        return undefined;
+    const pair = narrowed(right, left, a);
+    return pair === undefined ? undefined : [pair[1], pair[0]];
+};
+/** 同じ種類の値で、比べられるもの。数量は同じ単位どうし（単位の違いは別の rule が見る）。 */
+export const comparable = (left, right) => {
+    if (left.kind !== right.kind)
+        return false;
+    if (left.kind === "quantity")
+        return left.unit === right.unit;
+    return left.kind !== "date" || comparableDates(left.key, right.key) !== undefined;
+};
+/** 比べられる二つの値が同じか。月日だけの日付は、年まで書いた日付の月日と同じなら同じ。 */
+export const sameValue = (left, right) => {
+    if (left.kind !== "date")
+        return left.key === right.key;
+    const pair = comparableDates(left.key, right.key);
+    return pair !== undefined && pair[0] === pair[1];
+};
+//# sourceMappingURL=fact-values.js.map

package/dist/facts/fact-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fact-values.js","sourceRoot":"","sources":["../../src/facts/fact-values.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,SAAS,EAAkB,MAAM,qBAAqB,CAAC;AAU7E,MAAM,IAAI,GAAG,CAAC,IAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAE3F,mDAAmD;AACnD,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,IAAY,EAAU,EAAE;IAClF,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,KAAK,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,OAAO,IAAI,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9E,CAAC,CAAC;AAEF,8CAA8C;AAC9C,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAE,GAAW,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAExJ,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAE,MAAc,EAAe,EAAE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACpI,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO;QACL;YACE,KAAK,EAAE,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;YACzD,GAAG,EAAE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;YAClD,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YACxB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;SAC7B;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,GAAG,4GAA4G,CAAC;AAEjI,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,KAAgB,EAAe,EAAE,CACnE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAe,EAAE;IAC/D,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACxE,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEL,iDAAiD;AACjD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAE,MAAc,EAAE,KAAsB,EAAe,EAAE;IACrG,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK;SAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;SAC3C,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACvJ,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC,CAAC;AAEF,kDAAkD;AAClD,MAAM,SAAS,GAAG,sBAAsB,CAAC;AACzC,MAAM,UAAU,GAAG,gBAAgB,CAAC;AACpC,MAAM,SAAS,GAAG,gBAAgB,CAAC;AAInC,MAAM,WAAW,GAAG,CAAC,GAAW,EAAa,EAAE;IAC7C,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IACvC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,YAAY,CAAC;IAC9C,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAC5B,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB,+CAA+C;AAC/C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,SAAoB,EAAgC,EAAE;IACnG,IAAI,SAAS,KAAK,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1E,OAAO,SAAS,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC,CAAC;AAEF,wDAAwD;AACxD,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,KAAa,EAAgC,EAAE;IACpF,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChF,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACtC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,qDAAqD;AACrD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAW,EAAE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IAC9D,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;AACpF,CAAC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,KAAgB,EAAW,EAAE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;IACxD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClD,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC"}

package/dist/facts/labelled-facts.d.ts

@@ -0,0 +1,31 @@
+import type { FactValue } from "./fact-values.ts";
+/**
+ * 名前の付いた値（「締切：10月5日」「参加費は3,000円です」"Fee: $300" "The deadline is May 3."）と、
+ * 属性の言い回しに続く値（"headquartered in Austin"、「東京に本社を置く」）。
+ * 名前は文の頭から区切り（：、は、is）までで、値は区切りのすぐ後ろから文の切れ目まで。値の後ろに語が続けば（「3,000円から」
+ * 「$300 per person」）、条件の付いた値なので読まない。読点のあとから始まる名前（「大人は、」「For adults, the fee」）も、
+ * 前に条件があるので読まない。言語の知識（区切り、値の終わり、落とす冠詞）は言語パッケージの語彙表から取る。
+ */
+export type AttributePhrase = {
+    readonly pattern: string;
+    readonly position: "before" | "after";
+};
+export type FactWords = {
+    /** 名前と値の区切り（：、は、is）。英字だけの区切りは、前が空白のときだけ。 */
+    readonly separators: readonly string[];
+    /** 値のすぐ後ろに来てよいもの（。、です、まで、.）。行の終わりと表の升の終わりはいつでもよい。 */
+    readonly valueEnds: readonly string[];
+    /** 名前の頭から落とす語（the, our）。 */
+    readonly determiners: readonly string[];
+    /** 名前にならない語（それ、it）。 */
+    readonly vague: readonly string[];
+    readonly attributes: readonly AttributePhrase[];
+};
+export type Fact = {
+    readonly label: string;
+    readonly key: string;
+    readonly value: FactValue;
+};
+/** 文に書いた名前付きの値。値ごとに、属性の言い回しか、区切りの前の名前を探す。 */
+export declare const labelledFacts: (source: string, values: readonly FactValue[], words: FactWords) => Fact[];
+//# sourceMappingURL=labelled-facts.d.ts.map

package/dist/facts/labelled-facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"labelled-facts.d.ts","sourceRoot":"","sources":["../../src/facts/labelled-facts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAGlD;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAA;CAAE,CAAC;AAElG,MAAM,MAAM,SAAS,GAAG;IACtB,4CAA4C;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,qDAAqD;IACrD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,4BAA4B;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,uBAAuB;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC;AAkG/F,6CAA6C;AAC7C,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,EAAE,QAAQ,SAAS,SAAS,EAAE,EAAE,OAAO,SAAS,KAAG,IAAI,EAO/F,CAAC"}

package/dist/facts/labelled-facts.js

@@ -0,0 +1,94 @@
+import { EDGE_MARKS, trimEndOf, withoutEdgeMarks } from "./trim-marks.js";
+const MAX_LABEL_LENGTH = 24;
+const MAX_LABEL_WORDS = 5;
+const MARKS_AFTER_VALUE = /^[*_]+/u;
+/** 文の切れ目。名前はこの後ろから始まる。表の升の区切りと、空白の前のピリオド（1. や文の終わり）も切れ目。 */
+const SENTENCE_BREAK = /[。！？!?|．]|\.(?=\s)/gu;
+const CLAUSE_COMMA = /[、，,]/u;
+const BLOCK_MARK = /^[ \t]*(?:#{1,6}[ \t]+|>[ \t]?)?/u;
+const ITEM_MARK = /^[-*+][ \t]+/u;
+const LETTER = /\p{L}/u;
+/** 名前に書かない記号。コードや属性（{style="…"}、"key"=）の中の値は、項目の値ではない。 */
+const CODE_MARK = /[{}<>=[\]"`]/u;
+const LATIN_WORD = /^[a-z ]+$/iu;
+const lineStartOf = (source, offset) => source.lastIndexOf("\n", offset - 1) + 1;
+const lineEndOf = (source, offset) => {
+    const end = source.indexOf("\n", offset);
+    return end === -1 ? source.length : end;
+};
+/** 区切りの前の名前の部分。英字の区切りは語の頭から（「this」の is は区切りではない）。 */
+const beforeSeparator = (head, separator) => {
+    if (!head.toLowerCase().endsWith(separator.toLowerCase()))
+        return undefined;
+    const rest = head.slice(0, head.length - separator.length);
+    if (LATIN_WORD.test(separator) && !/\s$/u.test(rest))
+        return undefined;
+    return rest;
+};
+/** 最後の文の切れ目より後ろ。 */
+const afterLastBreak = (text) => {
+    const breaks = [...text.matchAll(SENTENCE_BREAK)];
+    const last = breaks.at(-1);
+    return last === undefined ? text : text.slice(last.index + last[0].length);
+};
+const wordsOf = (text) => text.split(/\s+/u).filter((word) => word !== "");
+/** 名前を一つの書き方に。全角と半角、大文字と小文字、空白の数を揃え、頭の冠詞を落とす。 */
+const keyOf = (label, words) => {
+    const [first, ...rest] = wordsOf(label.normalize("NFKC").toLowerCase());
+    const determiners = new Set(words.determiners.map((word) => word.toLowerCase()));
+    return (first !== undefined && determiners.has(first) ? rest : [first ?? "", ...rest]).join(" ");
+};
+const containsSeparator = (label, words) => words.separators.some((separator) => LATIN_WORD.test(separator) ? wordsOf(label.toLowerCase()).includes(separator.toLowerCase()) : label.includes(separator));
+/** 名前として使える書き方か。短く、字を含み、区切りを含まず、指すだけの語（それ、it）でない。 */
+const isLabel = (label, key, words) => label.length > 0 &&
+    label.length <= MAX_LABEL_LENGTH &&
+    wordsOf(label).length <= MAX_LABEL_WORDS &&
+    LETTER.test(key) &&
+    !CODE_MARK.test(label) &&
+    !containsSeparator(label, words) &&
+    !words.vague.some((word) => word.toLowerCase() === key);
+/** 値の後ろが文の切れ目か。行の終わり、表の升の終わり、語彙表の終わりの語。 */
+const endsAfter = (source, value, words) => {
+    const after = source.slice(value.end, lineEndOf(source, value.end)).replace(MARKS_AFTER_VALUE, "");
+    if (after.trim() === "" || after.trimStart().startsWith("|"))
+        return true;
+    return words.valueEnds.some((end) => after.startsWith(end));
+};
+const labelledFact = (source, value, words) => {
+    const head = trimEndOf(source.slice(lineStartOf(source, value.start), value.start), EDGE_MARKS);
+    for (const separator of words.separators) {
+        const before = beforeSeparator(head, separator);
+        if (before === undefined)
+            continue;
+        const clause = afterLastBreak(before).replace(BLOCK_MARK, "").replace(ITEM_MARK, "");
+        if (CLAUSE_COMMA.test(clause))
+            return undefined;
+        const label = withoutEdgeMarks(clause);
+        const key = keyOf(label, words);
+        return isLabel(label, key, words) ? { label, key, value } : undefined;
+    }
+    return undefined;
+};
+/** 属性の言い回しのすぐ前か後ろの値。名前は言い回しそのもの。 */
+const attributeFact = (source, value, words) => {
+    const head = trimEndOf(source.slice(lineStartOf(source, value.start), value.start), EDGE_MARKS).toLowerCase();
+    const tail = source
+        .slice(value.end, lineEndOf(source, value.end))
+        .replace(/^[ \t]+/u, "")
+        .toLowerCase();
+    const found = words.attributes.find((phrase) => phrase.position === "before" ? head.endsWith(phrase.pattern.toLowerCase()) : tail.startsWith(phrase.pattern.toLowerCase()));
+    if (found === undefined || (found.position === "before" && !endsAfter(source, value, words)))
+        return undefined;
+    return { label: found.pattern, key: keyOf(found.pattern, words), value };
+};
+/** 文に書いた名前付きの値。値ごとに、属性の言い回しか、区切りの前の名前を探す。 */
+export const labelledFacts = (source, values, words) => values.flatMap((value) => {
+    const attribute = attributeFact(source, value, words);
+    if (attribute !== undefined)
+        return [attribute];
+    if (!endsAfter(source, value, words))
+        return [];
+    const fact = labelledFact(source, value, words);
+    return fact === undefined ? [] : [fact];
+});
+//# sourceMappingURL=labelled-facts.js.map

package/dist/facts/labelled-facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"labelled-facts.js","sourceRoot":"","sources":["../../src/facts/labelled-facts.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAyB1E,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAC5B,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B,MAAM,iBAAiB,GAAG,SAAS,CAAC;AAEpC,4DAA4D;AAC5D,MAAM,cAAc,GAAG,sBAAsB,CAAC;AAC9C,MAAM,YAAY,GAAG,QAAQ,CAAC;AAC9B,MAAM,UAAU,GAAG,mCAAmC,CAAC;AACvD,MAAM,SAAS,GAAG,eAAe,CAAC;AAClC,MAAM,MAAM,GAAG,QAAQ,CAAC;AACxB,0DAA0D;AAC1D,MAAM,SAAS,GAAG,eAAe,CAAC;AAClC,MAAM,UAAU,GAAG,aAAa,CAAC;AAEjC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,MAAc,EAAU,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAEzG,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,MAAc,EAAU,EAAE;IAC3D,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1C,CAAC,CAAC;AAEF,qDAAqD;AACrD,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,SAAiB,EAAsB,EAAE;IAC9E,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvE,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,oBAAoB;AACpB,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE;IAC9C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;AAE7F,iDAAiD;AACjD,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,KAAgB,EAAU,EAAE;IACxD,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnG,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAE,KAAgB,EAAW,EAAE,CACrE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAClC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxH,CAAC;AAEJ,qDAAqD;AACrD,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,KAAgB,EAAW,EAAE,CACxE,KAAK,CAAC,MAAM,GAAG,CAAC;IAChB,KAAK,CAAC,MAAM,IAAI,gBAAgB;IAChC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,eAAe;IACxC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IAChB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC;IAChC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,CAAC;AAE1D,2CAA2C;AAC3C,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,KAAgB,EAAE,KAAgB,EAAW,EAAE;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACnG,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,KAAgB,EAAE,KAAgB,EAAoB,EAAE;IAC5F,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;IAChG,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACrF,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,oCAAoC;AACpC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,KAAgB,EAAE,KAAgB,EAAoB,EAAE;IAC7F,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9G,MAAM,IAAI,GAAG,MAAM;SAChB,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;SAC9C,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,WAAW,EAAE,CAAC;IACjB,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7C,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAC3H,CAAC;IACF,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/G,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;AAC3E,CAAC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,MAA4B,EAAE,KAAgB,EAAU,EAAE,CACtG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;IACvB,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAChD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC"}

package/dist/facts/measures.d.ts

@@ -0,0 +1,20 @@
+import type { FactValue } from "./fact-values.ts";
+/**
+ * 単位の付いた量（5 km、3000 m、1.5時間、2 GB）。単位は言語パッケージの語彙表から取り、量の種類（長さ、重さ…）と、基準の単位への
+ * 倍率を持つ。倍率が二つある単位（1 GB は 10^9 か 2^30 バイト）は、どちらで数えても合えば合う。
+ */
+export type MeasureUnit = {
+    readonly pattern: string;
+    readonly dimension: string;
+    readonly factors: readonly number[];
+};
+export type Measured = FactValue & {
+    readonly dimension: string;
+    readonly factors: readonly number[];
+    readonly amount: number;
+};
+/** 文書の中の、単位の付いた量。 */
+export declare const measuredValues: (source: string, units: readonly MeasureUnit[]) => Measured[];
+/** 二つの量が同じ量か。倍率のどの組み合わせかで、基準の単位に直した値の差が大きいほうの tolerance 以内なら同じ。 */
+export declare const sameMeasure: (left: Measured, right: Measured, tolerance: number) => boolean;
+//# sourceMappingURL=measures.d.ts.map

package/dist/facts/measures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"measures.d.ts","sourceRoot":"","sources":["../../src/facts/measures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAExH,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAgBhI,qBAAqB;AACrB,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,EAAE,OAAO,SAAS,WAAW,EAAE,KAAG,QAAQ,EAmBtF,CAAC;AAEF,mEAAmE;AACnE,eAAO,MAAM,WAAW,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,EAAE,WAAW,MAAM,KAAG,OAM9E,CAAC"}

package/dist/facts/measures.js

@@ -0,0 +1,40 @@
+/** 前に英字や数が続く数（v2、A4、1.2.3 の 2）は量ではない。日本語は数の前に空白を置かないので、仮名や漢字の後ろはよい。 */
+const NUMBER = /(?<![\p{Script=Latin}\p{N}.,])[0-9０-９]+(?:[,，][0-9０-９]{3})*(?:[.．][0-9０-９]+)?/gu;
+/**
+ * 数のすぐ後ろ（空白一つまで）の単位。長い単位から試す（「5分間」を 分 で切らない、min を m にしない）。
+ * 単位の後ろに語が続く（5 miners）ものは、名前付きの値の終わり（fact-value-end）で落ちるので、ここでは見ない。
+ */
+const unitAfter = (source, end, units) => {
+    const gap = source.charAt(end) === " " ? 1 : 0;
+    const rest = source.slice(end + gap, end + gap + 16);
+    const unit = units.find((candidate) => rest.startsWith(candidate.pattern));
+    return unit === undefined ? undefined : { unit, end: end + gap + unit.pattern.length };
+};
+/** 文書の中の、単位の付いた量。 */
+export const measuredValues = (source, units) => {
+    const longestFirst = units.toSorted((left, right) => right.pattern.length - left.pattern.length);
+    return [...source.matchAll(NUMBER)].flatMap((match) => {
+        const found = unitAfter(source, match.index + match[0].length, longestFirst);
+        if (found === undefined)
+            return [];
+        const amount = Number(match[0].normalize("NFKC").replace(/,/gu, ""));
+        return [
+            {
+                start: match.index,
+                end: found.end,
+                kind: "quantity",
+                key: String(amount),
+                unit: found.unit.pattern,
+                dimension: found.unit.dimension,
+                factors: found.unit.factors,
+                amount,
+            },
+        ];
+    });
+};
+/** 二つの量が同じ量か。倍率のどの組み合わせかで、基準の単位に直した値の差が大きいほうの tolerance 以内なら同じ。 */
+export const sameMeasure = (left, right, tolerance) => left.factors.some((a) => right.factors.some((b) => {
+    const [x, y] = [left.amount * a, right.amount * b];
+    return Math.abs(x - y) <= Math.max(Math.abs(x), Math.abs(y)) * tolerance;
+}));
+//# sourceMappingURL=measures.js.map

package/dist/facts/measures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"measures.js","sourceRoot":"","sources":["../../src/facts/measures.ts"],"names":[],"mappings":"AAUA,uEAAuE;AACvE,MAAM,MAAM,GAAG,iFAAiF,CAAC;AAEjG;;;GAGG;AACH,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,GAAW,EAAE,KAA6B,EAAkD,EAAE;IAC/H,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3E,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;AACzF,CAAC,CAAC;AAEF,qBAAqB;AACrB,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,KAA6B,EAAc,EAAE;IAC1F,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAc,EAAE;QAChE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAC7E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QACrE,OAAO;YACL;gBACE,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;gBACxB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS;gBAC/B,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;gBAC3B,MAAM;aACP;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,KAAe,EAAE,SAAiB,EAAW,EAAE,CACzF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACtB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;IACvB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;AAC3E,CAAC,CAAC,CACH,CAAC"}