@shuji-bonji/rfcxml-mcp 0.6.13 → 0.6.53

package/dist/services/rfcxml-parser.js

@@ -4,7 +4,7 @@
  */
 import { XMLParser } from 'fast-xml-parser';
 import { createRequirementRegex } from '../constants.js';
-import { extractCrossReferences, toArray } from '../utils/text.js';
+import { extractCrossReferences, extractRequirementMarkers as extractMarkers, toArray, dropNonDefinitions, } from '../utils/text.js';
 import { compareSectionNumbers, normalizeSectionNumber } from '../utils/section.js';
 import { extractRequirementsFromSections, } from '../utils/requirement-extractor.js';
 /**
@@ -203,14 +203,26 @@ export function parseRFCXML(xml) {
     // xref を先に解くのは、`<em><xref/></em>` のような入れ子で内側から
     // 組み立てるため。
     const inlineRendered = renderInlineTags(renderXrefTags(normalizeBcp14Tags(xml)));
-    const normalizedXml = stripNonPrinting(inlineRendered);
+    // `<table>` の `pn` は節の中での位置を持たないので、パース前に位置を書き込む。
+    const normalizedXml = annotateTableOrder(stripNonPrinting(inlineRendered));
     const parsed = parser.parse(normalizedXml);
     const rfc = parsed.rfc || parsed;
     return {
         metadata: extractMetadata(rfc),
-        sections: extractSections(rfc.middle?.section || []),
+        // 後付録は `<back>` に置かれる。`<middle>` だけを見ていたため、
+        // `get_rfc_structure` に後付録が 1 つも出ていなかった。RFC 9114 の
+        // Appendix A.2.5 には本物の定義があり、`get_definitions` はそれを
+        // §A.2.5 として返すのに、その節が構造に無い状態だった。
+        sections: [
+            ...extractSections(rfc.middle?.section || []),
+            // 参考文献の欄も RFC の節である。テキスト経路は §19 References を
+            // 節として返すのに、XML 経路は返さず、同じ RFC の目次が経路によって
+            // 食い違っていた（RFC 9110 §19 / 9112 §13 / 9114 §12）。
+            ...extractReferenceSections(rfc.back?.references || []),
+            ...extractSections(rfc.back?.section || []),
+        ],
         references: extractReferences(rfc.back?.references || []),
-        definitions: mergeDefinitions(extractDefinitions(rfc), extractIrefDefinitions(inlineRendered)),
+        definitions: dropNonDefinitions(mergeDefinitions(extractDefinitions(rfc), extractIrefDefinitions(inlineRendered))),
     };
 }
 /**
@@ -268,76 +280,258 @@ export function extractPublicationDate(dateNode) {
 /**
  * セクション構造の抽出
  */
+/**
+ * `<references>` を節として返す。
+ *
+ * 中身は `<reference>` なので本文は無い。番号と題名だけを持つ節になる。
+ * 参照そのものは `get_rfc_dependencies` が返す。
+ */
+function extractReferenceSections(references) {
+    if (!references)
+        return [];
+    const list = Array.isArray(references) ? references : [references];
+    return list.map((node) => ({
+        anchor: node['@_anchor'],
+        number: node['@_pn'],
+        title: extractProse(node.name) || 'References',
+        content: [],
+        subsections: extractReferenceSections(node.references),
+    }));
+}
+/** 索引の節。中身は語の並びであって文ではない。 */
+const INDEX_SECTION_TITLE = /^index$/i;
 function extractSections(sections) {
     if (!sections)
         return [];
     const sectionArray = Array.isArray(sections) ? sections : [sections];
-    return sectionArray.map((sec) => ({
-        anchor: sec['@_anchor'],
-        number: sec['@_pn'] || sec['@_numbered'],
-        title: extractProse(sec.name) || 'Untitled Section',
-        content: extractContent(sec),
-        subsections: extractSections(sec.section),
-    }));
+    return sectionArray.map((sec) => {
+        const title = extractProse(sec.name) || 'Untitled Section';
+        return {
+            anchor: sec['@_anchor'],
+            number: sec['@_pn'] || sec['@_numbered'],
+            title,
+            // 索引は語の並びであって文ではない。RFC 9051 の付録 H は
+            // `MUST (specification requirement term)` のような項目を並べており、
+            // これを本文として読み、`R-H-1` … `R-H-9` の 9 件の要件を立てていた。
+            // 要件文は `M MAX (search result option) MAX (search return item name)
+            // MAY (specification requirement term) …` である。
+            // 節そのものは目次に残す。中身だけを空にする。
+            content: INDEX_SECTION_TITLE.test(title) ? [] : extractContent(sec),
+            subsections: extractSections(sec.section),
+        };
+    });
 }
 /**
  * コンテンツブロックの抽出
  */
 /** 文の続きとして繋ぐ要素を、いくつ先まで見るか。 */
 const MAX_CONTINUATION_BLOCKS = 3;
+/** 文の続きとして取り込む箇条書きの項目数の上限。これを超えるものは表とみなす。 */
+const MAX_MERGED_LIST_ITEMS = 20;
 /** 文の続きとして取り込む表示例の最大の長さ。これを超えるものは独立した図とみなす。 */
 const INLINE_EXAMPLE_MAX_LENGTH = 120;
-/** `pn="section-9.3.5-4"` の末尾の連番。 */
+/**
+ * `pn` の末尾の連番。節の中での位置を表す。
+ *
+ * 直下の要素は `pn="section-9.3.5-4"` で `[4]`。入れ子の要素は
+ * `pn="section-4.1-4.2.1"`（節 4.1・4 番目の塊・2 番目の項目・その 1 番目の段落）で
+ * `[4, 2, 1]`。末尾の 1 つだけを見ると入れ子の段落が `null` になり、`<dd>` の中の
+ * `<t>` を持つ節が丸ごと並べ直しをあきらめていた。
+ */
 function paragraphOrder(pn) {
-    const match = /-(\d+)$/.exec(pn ?? '');
-    return match ? Number(match[1]) : null;
+    const match = /-(\d+(?:\.\d+)*)$/.exec(pn ?? '');
+    return match ? match[1].split('.').map(Number) : null;
+}
+/** `[4, 2, 1]` と `[4, 2, 1, 0.5]` のような並び順の比較。前から順に比べる。 */
+function compareOrder(a, b) {
+    const length = Math.min(a.length, b.length);
+    for (let i = 0; i < length; i++) {
+        if (a[i] !== b[i])
+            return a[i] - b[i];
+    }
+    return a.length - b.length;
 }
 /**
- * 節の直下の要素を `pn` の連番順に並べる。
+ * `<table>` の `pn` は `table-1` で、節の中での位置を持たない。
+ *
+ * パースの前に、直前の `pn="section-…"` から位置を作って `x-order` 属性に書いておく。
+ * 直前の要素が `[4, 2, 1]` なら表は `[4, 2, 1, 0.5]` で、その要素の直後・次の要素の前に
+ * 並ぶ。節の直下で表より前に何も無ければ `[0.5]`。
+ */
+const TABLE_ORDER_ATTRIBUTE = 'x-order';
+function annotateTableOrder(xml) {
+    return xml.replace(/<table\b([^>]*)>/gi, (tag, attrs, offset) => {
+        const before = xml.lastIndexOf('pn="section-', offset);
+        let order = '0.5';
+        if (before !== -1) {
+            const pn = /^pn="([^"]*)"/.exec(xml.slice(before))?.[1];
+            const parsed = paragraphOrder(pn);
+            if (parsed)
+                order = `${parsed.join('.')}.0.5`;
+        }
+        return `<table${attrs} ${TABLE_ORDER_ATTRIBUTE}="${order}">`;
+    });
+}
+/**
+ * 節の中の要素を `pn` の連番順に並べる。
  *
  * `preserveOrder: false` で動かしているため、木からは `<t>` と `<ul>` の並び順が
  * 失われる。公開版 RFCXML は `pn="section-9.3.5-4"` の形で連番を持つので、
  * それで並べ直す。連番を持たない要素が 1 つでもあれば並べ直しをあきらめて
  * `null` を返す（公開前の RFCXML）。
+ *
+ * 節の直下の `<t>` / `<ul>` / `<ol>` / `<sourcecode>` / `<artwork>` だけを見ていた。
+ * `<dl>` の `<dd>`、`<aside>` / `<blockquote>` の中の `<t>`、`<figure>` の中の
+ * `<artwork>` / `<sourcecode>`、`<table>` は content block にならず、その中の
+ * BCP 14 キーワードがどのツールにも出ていなかった。RFC 9113 §4.1（Frame Format）は
+ * フレームヘッダの各フィールドを `<dl>` で書き、`<dd>` の中に `<bcp14>` が 6 個あるが、
+ * `get_requirements` は 0 件だった。
  */
 function orderedElements(section) {
+    const elements = collectElements(section, sectionScope(section));
+    if (elements.some((element) => element.order === null))
+        return null;
+    return elements.sort((a, b) => compareOrder(a.order, b.order));
+}
+function sectionScope(section) {
+    return section['@_pn'] || section['@_anchor'] || 'section';
+}
+/**
+ * 入れ物（節・`<dd>` / `<aside>` / `<blockquote>` / `<figure>`）の中の要素を集める。
+ *
+ * 集めるものと、集めないもの。
+ *
+ * | 要素 | 扱い |
+ * |---|---|
+ * | `<t>` | 散文（`extractProse`） |
+ * | `<ul>` / `<ol>` | 箇条書き。項目は `extractProse(li)` で入れ子ごと 1 つの項目にする |
+ * | `<sourcecode>` / `<artwork>` | 空白を畳まない。`type="svg"` は印字されないので出さない |
+ * | `<artset>` | svg 以外の `<artwork>` を 1 つ採る |
+ * | `<figure>` | 中の `<artwork>` / `<sourcecode>` を親と同じ入れ物として出す |
+ * | `<dl>` | `<dd>` の直下のテキストと `<t>` を散文にする。`<dt>` の用語は要件文に混ぜない |
+ * | `<aside>` / `<blockquote>` | 直下のテキストと中の要素を、独立した入れ物として出す |
+ * | `<table>` | 見出しの行と本文の行 |
+ *
+ * `<li>` の中は再帰しない。`extractProse(li)` が入れ子の `<t>` / `<ul>` / `<dl>` を
+ * 含めて 1 つの項目にしているためで、再帰すると同じ文が 2 回出る。
+ */
+function collectElements(container, scope) {
     const elements = [];
     const push = (node, element) => {
-        const order = paragraphOrder(node['@_pn']);
-        if (order === null)
-            throw new Error('no pn');
-        elements.push({ order, node, ...element });
+        elements.push({ order: paragraphOrder(node['@_pn']), node, scope, ...element });
     };
-    try {
-        for (const t of toArray(section.t))
-            push(t, { kind: 'text', text: extractProse(t) });
-        for (const list of toArray(section.ul)) {
-            push(list, {
-                kind: 'list',
-                text: '',
-                style: 'symbols',
-                items: toArray(list.li).map((li) => extractProse(li)),
-            });
-        }
-        for (const list of toArray(section.ol)) {
-            push(list, {
-                kind: 'list',
-                text: '',
-                style: 'numbers',
-                items: toArray(list.li).map((li) => extractProse(li)),
-            });
-        }
-        for (const code of toArray(section.sourcecode)) {
-            push(code, { kind: 'sourcecode', text: extractText(code), language: code['@_type'] });
+    for (const t of toArray(container.t))
+        push(t, { kind: 'text', text: extractProse(t) });
+    for (const list of toArray(container.ul)) {
+        push(list, {
+            kind: 'list',
+            text: '',
+            style: 'symbols',
+            items: toArray(list.li).map((li) => extractProse(li)),
+        });
+    }
+    for (const list of toArray(container.ol)) {
+        push(list, {
+            kind: 'list',
+            text: '',
+            style: 'numbers',
+            items: toArray(list.li).map((li) => extractProse(li)),
+        });
+    }
+    const pushArtwork = (art) => {
+        if (isSvgArtwork(art))
+            return;
+        push(art, { kind: 'artwork', text: extractText(art) });
+    };
+    const pushSourcecode = (code) => {
+        push(code, { kind: 'sourcecode', text: extractText(code), language: code['@_type'] });
+    };
+    const pushArtset = (artset) => {
+        const printable = toArray(artset.artwork).find((art) => !isSvgArtwork(art));
+        if (printable)
+            pushArtwork(printable);
+    };
+    for (const code of toArray(container.sourcecode))
+        pushSourcecode(code);
+    for (const art of toArray(container.artwork))
+        pushArtwork(art);
+    for (const artset of toArray(container.artset))
+        pushArtset(artset);
+    // `<figure>` は表示上の囲みで、中の図は親の流れの一部である。`<t>… MAY send</t>`
+    // のあとの表示例と同じ扱いにするため、入れ物は親のまま。
+    for (const figure of toArray(container.figure)) {
+        for (const code of toArray(figure.sourcecode))
+            pushSourcecode(code);
+        for (const art of toArray(figure.artwork))
+            pushArtwork(art);
+        for (const artset of toArray(figure.artset))
+            pushArtset(artset);
+    }
+    // `<dd>` は `<dd>text</dd>` と `<dd><t>…</t><t>…</t></dd>` の両方の形がある。
+    // 直下のテキストは `<dd>` 自身の `pn` の位置、`<t>` はそれぞれの `pn` の位置に置く。
+    for (const dl of toArray(container.dl)) {
+        for (const dd of toArray(dl.dd)) {
+            elements.push(...collectQuotedElements(dd));
         }
-        for (const art of toArray(section.artwork)) {
-            push(art, { kind: 'artwork', text: extractText(art) });
+    }
+    for (const key of ['aside', 'blockquote']) {
+        for (const node of toArray(container[key])) {
+            elements.push(...collectQuotedElements(node));
         }
     }
-    catch {
-        return null;
+    for (const table of toArray(container.table)) {
+        const order = tableOrder(table);
+        elements.push({
+            order,
+            node: table,
+            scope,
+            kind: 'table',
+            text: '',
+            headers: tableHeaders(table),
+            rows: tableRows(table),
+        });
+    }
+    return elements;
+}
+/**
+ * `<dd>` / `<aside>` / `<blockquote>` の中身。直下のテキストと、入れ子の要素。
+ *
+ * 自身の `pn` を入れ物の名前にする。`pn` が無ければ（公開前の RFCXML）
+ * 並べ直しはどのみち行われないので、入れ物の区別も要らない。
+ */
+function collectQuotedElements(node) {
+    const scope = node['@_pn'] || 'quoted';
+    const elements = [];
+    const direct = typeof node === 'string' ? node : node['#text'];
+    const text = extractProse(direct);
+    if (text) {
+        elements.push({ order: paragraphOrder(node['@_pn']), node, scope, kind: 'text', text });
     }
-    return elements.sort((a, b) => a.order - b.order);
+    if (typeof node === 'object')
+        elements.push(...collectElements(node, scope));
+    return elements;
+}
+/** `<artwork type="svg">` は印字されない。`<artset>` の中では ascii-art の側が印字される。 */
+function isSvgArtwork(art) {
+    return (art['@_type'] ?? '').toLowerCase() === 'svg' || Boolean(art.svg);
+}
+function tableOrder(table) {
+    const raw = table[`@_${TABLE_ORDER_ATTRIBUTE}`];
+    if (typeof raw !== 'string' || raw.length === 0)
+        return null;
+    return raw.split('.').map(Number);
+}
+function tableCells(tr) {
+    return [...toArray(tr.th), ...toArray(tr.td)].map((cell) => extractProse(cell));
+}
+function tableHeaders(table) {
+    const head = toArray(table.thead).flatMap((thead) => toArray(thead.tr));
+    return head.length > 0 ? tableCells(head[0]) : [];
+}
+function tableRows(table) {
+    const bodies = toArray(table.tbody);
+    const rows = bodies.length > 0 ? bodies.flatMap((tbody) => toArray(tbody.tr)) : [];
+    return [...rows, ...toArray(table.tr)].map(tableCells);
 }
 /**
  * 文の途中で終わる段落に、直後の要素を取り込む。
@@ -391,6 +585,10 @@ function joinListItems(items) {
     }, '');
     return /[.!?]$/.test(joined) ? joined : `${joined}.`;
 }
+/** 箇条書きの項目が、それ自体で BCP 14 の要件になっているか。 */
+function listCarriesRequirement(element) {
+    return (element.items ?? []).some((item) => createRequirementRegex().test(item));
+}
 function mergeContinuations(elements) {
     const merged = [];
     const consumed = new Set();
@@ -405,15 +603,42 @@ function mergeContinuations(elements) {
         let text = element.text;
         const hasKeyword = createRequirementRegex().test(text);
         for (let step = 1; hasKeyword && step <= MAX_CONTINUATION_BLOCKS; step++) {
-            if (/[.!?:;]$/.test(text))
-                break;
             const next = elements[i + step];
             if (!next || consumed.has(i + step))
                 break;
+            // 入れ物をまたいで繋がない。`<dd>` の段落の続きは次の `<dd>` にはないし、
+            // `<aside>` の注記は本文の続きではない。
+            if (next.scope !== element.scope)
+                break;
+            // 表は文の続きではない。行ごとに切り出す。
+            if (next.kind === 'table')
+                break;
+            // コロンで終わる文は、続く箇条書きで完結することがある。
+            //
+            //   <t>… an origin server <bcp14>MUST</bcp14> send either:</t>
+            //   <ul><li>an immediate response with a final status code, …</li>
+            //       <li>an immediate 100 (Continue) response …</li></ul>
+            //
+            // `<t>` だけを要件文にすると `MUST send either:` で終わり、**何を選ぶのかが
+            // 書かれていない**（RFC 9110 §10.1.1）。
+            //
+            // ただし項目自身がキーワードを持つなら取り込まない。その項目は独立した
+            // 要件であり、取り込むと項目の側の要件文が失われる。
+            const completesWithList = /:$/.test(text) &&
+                (next.kind === 'list' ? !listCarriesRequirement(next) : next.kind !== 'text');
+            if (/[.!?:;]$/.test(text) && !completesWithList)
+                break;
             if (next.kind === 'list') {
                 const items = (next.items ?? []).filter((item) => item.length > 0);
                 if (items.length === 0)
                     break;
+                // 項目が多い箇条書きは、文の続きではなく表である。RFC 9113 の
+                // Appendix A は "… as a connection error of type INADEQUATE_SECURITY:"
+                // のあとに禁止する暗号スイートを約 300 件並べる。繋ぐと 1 件の要件が
+                // 9,992 文字になり、`generate_checklist` の項目として読めない。
+                // 繋がなければ要件文はコロンで終わり、その節を見よという形になる。
+                if (items.length > MAX_MERGED_LIST_ITEMS)
+                    break;
                 text = `${text} ${joinListItems(items)}`;
                 consumed.add(i + step);
                 break;
@@ -437,8 +662,18 @@ function extractContent(section) {
     const ordered = orderedElements(section);
     if (!ordered)
         return extractContentUnordered(section);
+    return toContentBlocks(mergeContinuations(ordered));
+}
+/**
+ * `pn` を持たない RFCXML 用。並べ直さず、集めた順（入れ物ごとに種類の順）に出す。
+ * 文の続きを繋ぐことはしない。並び順が判らないためである。
+ */
+function extractContentUnordered(section) {
+    return toContentBlocks(collectElements(section, sectionScope(section)));
+}
+function toContentBlocks(elements) {
     const blocks = [];
-    for (const element of mergeContinuations(ordered)) {
+    for (const element of elements) {
         if (element.kind === 'text') {
             if (element.text)
                 blocks.push(createTextBlock(element.text, element.node));
@@ -456,43 +691,15 @@ function extractContent(section) {
         else if (element.kind === 'sourcecode') {
             blocks.push({ type: 'sourcecode', language: element.language, content: element.text });
         }
+        else if (element.kind === 'table') {
+            blocks.push({ type: 'table', headers: element.headers ?? [], rows: element.rows ?? [] });
+        }
         else {
             blocks.push({ type: 'artwork', content: element.text });
         }
     }
     return blocks;
 }
-/** `pn` を持たない RFCXML 用。並べ直さず、種類ごとに出す。 */
-function extractContentUnordered(section) {
-    const blocks = [];
-    for (const t of toArray(section.t)) {
-        const text = extractProse(t);
-        if (text)
-            blocks.push(createTextBlock(text, t));
-    }
-    for (const [lists, style] of [
-        [toArray(section.ul), 'symbols'],
-        [toArray(section.ol), 'numbers'],
-    ]) {
-        for (const list of lists) {
-            blocks.push({
-                type: 'list',
-                style,
-                items: toArray(list.li).map((li) => {
-                    const content = extractProse(li);
-                    return { content, requirements: extractRequirementMarkers(content) };
-                }),
-            });
-        }
-    }
-    for (const code of toArray(section.sourcecode)) {
-        blocks.push({ type: 'sourcecode', language: code['@_type'], content: extractText(code) });
-    }
-    for (const art of toArray(section.artwork)) {
-        blocks.push({ type: 'artwork', content: extractText(art) });
-    }
-    return blocks;
-}
 /**
  * テキストブロックを作成
  * @param text - 抽出されたテキスト内容
@@ -580,18 +787,11 @@ function extractXrefReferences(node) {
 }
 /**
  * 要件マーカーの抽出（<bcp14> 要素またはテキストから）
+ *
+ * 実体は `utils/text.ts` にある。テキスト経路と同じものを使う。
  */
 function extractRequirementMarkers(text) {
-    const markers = [];
-    const regex = createRequirementRegex();
-    let match;
-    while ((match = regex.exec(text)) !== null) {
-        markers.push({
-            level: match[1],
-            position: match.index,
-        });
-    }
-    return markers;
+    return extractMarkers(text);
 }
 /**
  * 要件の完全抽出（文脈付き）
@@ -664,7 +864,10 @@ function parseReference(ref, type) {
         anchor: ref['@_anchor'] || '',
         type,
         rfcNumber,
-        title: extractProse(front.title) || '',
+        // 題名の末尾の読点を落とす。テキスト経路と揃える。
+        // RFC 9180 の `<title>SEC 1: Elliptic Curve Cryptography,</title>` のように、
+        // 引用の書式をそのまま `<title>` に入れている RFC がある。
+        title: extractProse(front.title).replace(/[,;]$/, '') || '',
         target: ref['@_target'],
     };
 }
@@ -685,7 +888,7 @@ function extractDefinitions(rfc) {
                 for (let i = 0; i < dts.length; i++) {
                     const term = extractProse(dts[i]);
                     const definition = extractProse(dds[i]);
-                    if (term && isMeaningfulDefinition(definition)) {
+                    if (isMeaningfulTerm(term) && isMeaningfulDefinition(definition)) {
                         definitions.push({
                             term: normalizeTerm(term),
                             definition,
@@ -795,6 +998,15 @@ const EMPTY_DEFINITIONS = new Set(['n/a', 'na', 'none', 'not applicable', '-', '
  * RFC 9110 §14.6 の登録票は `Optional parameters: N/A` のように空欄を埋める。
  * これを定義として返しても何も伝えていない。
  */
+/**
+ * 用語として採れるか。
+ *
+ * 記号だけの `<dt>` がある。RFC 9147 §3 は表示の約束ごとを `<dl>` で書き、
+ * `'+'` `'*'` `'{}'` `'[]'` を項目にしている。これらは用語ではない。
+ */
+function isMeaningfulTerm(term) {
+    return /[A-Za-z0-9]/.test(term ?? '');
+}
 function isMeaningfulDefinition(definition) {
     const trimmed = definition.trim();
     if (trimmed.length < 3)
@@ -871,21 +1083,74 @@ function definingParagraph(xml, paragraphs, irefStart, irefEnd, term) {
     const first = take(start);
     if (!first)
         return undefined;
-    const needle = term.toLowerCase();
-    if (extractProse(stripTags(first.body)).toLowerCase().includes(needle))
-        return first;
-    // 起点に用語が出てこない。同じ節の中を数段落先まで見る。
+    const proseOf = (candidate) => extractProse(stripTags(candidate.body)).toLowerCase();
+    // 索引の項目は分類を括弧で足すことがある（`max-age (cache directive)`）。
+    // 本文はその括弧を書かないので、括弧を外した形でも探す。外さずに探していたため、
+    // RFC 9111 §5.2.1.1 の `max-age (cache directive)` は本文のどの段落にも当たらず、
+    // 起点の段落 **`Argument syntax:`** をそのまま説明として返していた。§5.2 の
+    // キャッシュ指示子 21 件がこの形である。
+    const needles = [term.toLowerCase(), term.toLowerCase().replace(/\s*\([^)]*\)\s*$/, '')];
+    const defines = quotedDefinitionPattern(term);
+    // 同じ節の中の、起点から数段落ぶん。
+    const scope = [first];
     for (let i = start + 1; i < Math.min(start + 1 + DEFINITION_LOOKAHEAD, paragraphs.length); i++) {
         const candidate = take(i);
         if (!candidate)
             break;
         if (candidate.section !== first.section)
             break;
-        if (extractProse(stripTags(candidate.body)).toLowerCase().includes(needle))
-            return candidate;
+        scope.push(candidate);
+    }
+    // 1. 起点がその用語を **引用符付きで** 定義しているなら、それを採る。
+    // 2. 無ければ、同じ節の中で引用符付きで定義している段落を探す。
+    const defining = scope.find((candidate) => defines.test(proseOf(candidate)));
+    if (defining)
+        return defining;
+    // 3. 用語が出てくる段落。起点を先に見るので、これまでの動きと変わらない。
+    for (const needle of needles) {
+        const mentioning = scope.find((candidate) => proseOf(candidate).includes(needle));
+        if (mentioning)
+            return mentioning;
     }
     return first;
 }
+/**
+ * その用語を **引用符付きで** 定義している文の形。
+ *
+ * `<iref>` の直後の段落を採ると、節の導入が定義として返る。RFC 9110 §3.3 は
+ *
+ * ```xml
+ * <iref primary="true" item="client"/><iref primary="true" item="server"/>
+ * <iref primary="true" item="connection"/>
+ * <t>HTTP is a client/server protocol that operates over a reliable
+ *    transport- or session-layer "connection".</t>
+ * <t>An HTTP "client" is a program that establishes a connection to a server …
+ *    An HTTP "server" is a program that accepts connections …</t>
+ * ```
+ *
+ * と書く。導入の段落は 3 つの用語すべてを含むので「用語を含む段落」の規則で
+ * 拾われ、**`client` と `server` と `connection` の説明が同じ 1 文**になっていた。
+ * 定義は次の段落にある。
+ *
+ * **引用符が付いているものだけ**を定義とみなす。引用符を求めずに
+ * `<用語> is|are|refers to` を探すと、定義ではない文が当たる。実測で
+ * RFC 9110 §9.3.8 の `TRACE method` は `Responses to the TRACE method are not
+ * cacheable.` に、§6.2 の `control data` は `control data is sent as the first
+ * line of a message` に移り、どちらも定義の文から離れた（8 件中 6 件が悪化した）。
+ *
+ * 引用符と動詞の間は 3 語まで許す。RFC 9112 §9.6 は
+ * `The "close" connection option is defined as a signal that …` と書く。
+ *
+ * 実測（RFC 67 本・定義 1,769 件）: 説明が変わったもの 2 件
+ * （RFC 9110 §3.3 の `client` と `server`）。
+ */
+function quotedDefinitionPattern(term) {
+    const escaped = term.toLowerCase().replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const quote = '["\u201c\u201d]';
+    const gap = '(?:\\s+\\S+){0,3}\\s+';
+    return new RegExp(`${quote}${escaped}${quote}${gap}(?:is|are|refers?\\s+to|means|denotes?)\\b` +
+        `|\\b(?:called|known\\s+as|referred\\s+to\\s+as|termed|defined\\s+as)\\s+(?:an?\\s+|the\\s+)?${quote}${escaped}${quote}`, 'i');
+}
 /**
  * 段落が属する節の識別子。
  *
@@ -893,9 +1158,12 @@ function definingParagraph(xml, paragraphs, irefStart, irefEnd, term) {
  * 公開前の RFCXML では、直前の `<section>` の `anchor` / `pn` を使う。
  */
 function sectionOfParagraph(xml, paragraph) {
+    // 箇条書きの中の `<t>` は `pn="section-7.1-8.1"`（節 7.1・8 番目の塊・1 番目の
+    // 項目）になる。`-\d+$` だけを外すと `.1` が残り、節が "7.1-8.1" になっていた。
+    // 実在しない節を指すので `get_definitions` の `section` が引けなくなる。
     const pn = attributeOf(paragraph.tag, 'pn');
     if (pn)
-        return pn.replace(/-\d+$/, '');
+        return pn.replace(/-\d+(?:\.\d+)*$/, '');
     const before = xml.lastIndexOf('<section', paragraph.open);
     if (before === -1)
         return '';