検索結果は、
なぜこの順番？

r1 → r2 → r3

まず全語一致。redとatlasの両方が、題名か本文に含まれる行を残します。この例では3件とも条件を満たします。

次に加点。各語が題名にあれば2点、本文にあれば1点を加えます。同じ語が題名と本文の両方にあれば、両方を足して3点です。

最後に並べ替え。点数の高い順（降順）、同点ならIDの昇順。r2とr3は3点なので、r2が先になります。

18行：検索語をそろえて重複を除く。25行：全語がそろうか判定。28〜29行：題名と本文を加点。32〜33行：点数順・ID順に並べる。下は実行しない、原文の表示です。

掲載コード：Copyright (c) 2026 かたちワークス／教材コードのMITライセンス。ページ全体の文章には適用されません。

// ShelfSearch 1.0.0 — book teaching material, created 2026-10-27.
const fold = (text) => text.normalize("NFKC").toLowerCase();

export function rankShelf(rows, query) {
  if (!Array.isArray(rows) || typeof query !== "string") {
    throw new TypeError("rows must be an array; query must be a string");
  }
  const ids = new Set();
  for (const row of rows) {
    if (row === null || typeof row !== "object" ||
        typeof row.id !== "string" || row.id.length === 0 ||
        typeof row.title !== "string" || typeof row.body !== "string") {
      throw new TypeError("each row needs a nonempty id, title and body strings");
    }
    if (ids.has(row.id)) throw new RangeError("duplicate id");
    ids.add(row.id);
  }
  const words = [...new Set(fold(query).trim().split(/\s+/u).filter(Boolean))];
  if (words.length === 0) return [];

  const result = [];
  for (const row of rows) {
    const title = fold(row.title);
    const body = fold(row.body);
    if (!words.every((word) => title.includes(word) || body.includes(word))) {
      continue;
    }
    const score = words.reduce((sum, word) =>
      sum + (title.includes(word) ? 2 : 0) + (body.includes(word) ? 1 : 0), 0);
    result.push({ id: row.id, title: row.title, score });
  }
  return result.sort((a, b) => b.score - a.score ||
    (a.id < b.id ? -1 : a.id > b.id ? 1 : 0));
}

REA 6.8.0／ShelfSearch 1.0.0。2026-10-28の限定静的解析で選択したのは search.mjs 1ファイルです。構文解析の失敗0、結果量による省略なし。ただし網羅性は partial です。

「省略なし」は「全動作を証明済み」ではありません。実アプリの画面動作、未選択ファイルを通る関係、全関係、別実装との一致は未確認です。未知の市販アプリへ、この結果をそのまま広げられません。

Evidence ID
ev_ce801fc91b4e6b90f7deb172cc162231d8d181ec6948c8cc876e3296572fb102

来歴：制作時の records/REA680-ShelfSearch-search.json と完成メモの例。これは元記録の案内名です。このHTMLに解析JSON全体は収録していません。ソース原文のSHA-256は同梱の manifest.json に記録しています。

redとatlasがどちらも題名にあり、2点＋2点で4点。r2とr3の3点より高いためです。

同点時はIDの昇順に並べる規則があるからです。この例のIDではr2がr3より先です。

言えません。これは選んだソースの静的な記録です。画面の動作や未選択ファイルとの関係は残り、検索関数をこのページで実行してもいません。