インデックスのファイルの形¶
扱うこと: インデックスの配置・命名規則、本文インデックスの形式(メタ情報の行・中身の行)、図形・コメントの場所の決まり、場所の符号化。扱わないこと: 作った TSV を本文インデックスへ入れ替え・書き出す手順(入れ替えと書き出し)、検索で照合するファイルを絞る 2-gram の索引(2-gram の索引)。先に読むページ: インデックス作成。
インデックスのファイルの関係¶
erDiagram
INDEX ||--o{ CONTENT_INDEX : "拡張子ごとに 1 つ以上"
INDEX ||--o| SOURCE_FOLDER_RECORD : "source_folder.txt"
INDEX ||--o{ TEMP_TSV : "取り込み中だけ残る"
CONTENT_INDEX {
string path "content_index.<拡張子>.<番号>.tsv"
string encoding "UTF-16LE (BOM)"
}
TEMP_TSV {
string path "<ファイル名>/<場所>.tsv"
string lifetime "取り込み〜書き出しまで"
}
SOURCE_FOLDER_RECORD {
string path "source_folder.txt"
}
配置・命名規則¶
インデックスは、クロール対象フォルダの中のフォルダ 1 つ・元のファイルの拡張子 1 つにつき 1 つの本文インデックスにする。検索は本文インデックスだけを読む(検索を速くする仕組み)。
work/store/content/<インデックス名>/<相対フォルダ>/content_index.<拡張子(小文字)>.<番号>.tsv … 本文インデックス(検索に使う)
work/store/content/<インデックス名>/<相対フォルダ>/<ファイル名(拡張子あり)>/<toIndexFileName(場所)> … 取り込み中だけの TSV
- 本文インデックス(
content_index.xlsx.001.tsvcontent_index.docx.001.tsvなど)には、そのフォルダ直下にある、その拡張子の元のファイルすべての中身を入れる。サブフォルダのファイルは、サブフォルダの本文インデックスに入る。形式は下の「本文インデックスの形式」。 - TSV(元のファイル 1 つ・場所 1 つにつき 1 つ)は、取り込んでから本文インデックスに入れるまでの一時的な置き場所。フォルダの取り込みが終わると本文インデックスに入れ、TSV のフォルダは消す(入れ替えと書き出し。残すとインデックスの容量が倍になるため)。インデックス作成が途中で止まったときだけ残り、次のインデックス作成の始めに本文インデックスへ入れる。
TSV は元のファイル名をフォルダ名にし、その中に場所ごとの TSV を置く。クロール対象フォルダが C:\data\営業(インデックス名 営業)の場合:
| 元ファイル(クロール対象フォルダからの相対パス) | 場所 | 本文インデックスに入れる前の TSV | 本文インデックス |
|---|---|---|---|
2024/見積/A社.xlsx |
シート 明細 |
work/store/content/営業/2024/見積/A社.xlsx/明細.tsv |
work/store/content/営業/2024/見積/content_index.xlsx.001.tsv |
売上.xls |
シート 2024_上期 |
work/store/content/営業/売上.xls/2024%5F上期.tsv |
work/store/content/営業/content_index.xls.001.tsv |
[確定]見積.xlsx |
シート 記号<> |
work/store/content/営業/[確定]見積.xlsx/記号%3C%3E.tsv |
work/store/content/営業/content_index.xlsx.001.tsv |
コピー.xls_old.xlsx |
シート Sheet1 |
work/store/content/営業/コピー.xls_old.xlsx/Sheet1.tsv |
work/store/content/営業/content_index.xlsx.001.tsv |
報告書.DOCX |
ページ001 |
work/store/content/営業/報告書.DOCX/page_001.tsv |
work/store/content/営業/content_index.docx.001.tsv |
- クロール対象フォルダのフォルダ構成が
work/store/content/<インデックス名>/配下にそのまま再現され、各フォルダに拡張子ごとの本文インデックスができる。検索結果の先頭の相対フォルダにもインデックス名が付くため、どのクロール対象フォルダのファイルかが分かる。 - 本文インデックスの拡張子は小文字にそろえる(
報告書.DOCXはcontent_index.docx.001.tsvに入る)。 - 「場所」は Excel ではシート名と、図形・コメント・ヘッダー・フッターの
<シート名>[図形]<シート名>[コメント]<シート名>[ヘッダー・フッター](下の「図形・コメントの場所」、Excel の図形・コメントの読み取り)、Word ではページ・ヘッダー/フッター・脚注(Word のテキスト読み取りと TSV の場所)、PowerPoint ではスライド・ノート(PowerPoint のテキスト読み取りと TSV の場所)。 - TSV のファイル名は場所だけ(
toIndexFileName)。場所は Excel のシート名で最長 31 文字のため、Windows のファイル名の上限(255 文字)は超えない。元のファイル名は Windows 上のファイル名そのものなので、フォルダ名にしても上限を超えない。 - ファイル名は英字にそろえる。 ページ・スライド・ヘッダー/フッター・脚注・文書・本文といった、あらかじめ決まっている場所は、固定の英語のファイル名(
page_<番号>slide_<番号>slide_<番号>_hiddenslide_<番号>_notesheader_footerdoc_footnotesdoc_wholedoc_bodyなど。convertPlaceBaseToFixedFileName)にする。Excel のシート名のように利用者が付けた任意の文字列は、下の「場所の符号化」で符号化する。符号化は_を必ず%5Fにするため、ファイル名の本体に英字と_だけの固定名(page_1など)は符号化した名前と衝突せず、convertIndexFileNameToPlaceで元の場所へ一意に戻せる。 - TSV でファイル名をフォルダ名にする理由(
<ファイル名>_<場所>.tsvのように 1 つの名前にしない理由): - ファイル名と場所の区切りが
\になり、名前の中の文字と衝突しない(_の符号化に頼らずに分けられる)。 - 取り込み直すときはフォルダごと入れ替えればよく、別のファイルの TSV を巻き込まない(
<ファイル名>_*.tsvで消すと、a.xlsの取り込みでa.xls_b.xlsxの TSV まで消える)。 <ファイル名>+<場所>が 255 文字を超えて保存できない、ということが起きない。- 本文インデックスにする理由: 検索の時間は、読むファイルの数でほぼ決まる。ウイルス対策ソフト(Microsoft Defender)は、ファイルを初めて開くたびに検査し(実測で 1 ファイル約 11 ミリ秒)、検査済みとして覚えておけるのはおよそ 2 万ファイルまで。元のファイル 1 つ・場所 1 つにつき TSV 1 つだと、TSV が数万件になり、初回の検索が数分〜10 分以上かかった。フォルダ・拡張子ごとにまとめると、読むファイルの数が数百分の 1 になる(実測は 検索を速くする仕組み)。
置き場と目録(store)¶
インデックスの格納形式は版番号つきの 1 つにまとめる。置き場は work/store/ の下に集める。
work/store/format.tsv … 目録(形式の版・各インデックスの状態)
work/store/ingest_status.tsv … 取り込み一覧
work/store/journal/ingest.tsv … 取り込みのジャーナル(強制終了からの再開。形式の版は変えない)
work/store/pending_remove.tsv … 本文インデックスから外し終えていない、無くなった元のファイル(作業用。無ければ空。エクスポートには入れない)
work/store/content/<インデックス名>/ … 本文インデックス(source_folder.txt も各インデックスのフォルダに置く)
前の版(形式の版 1)の置き場は work/content_index/<インデックス名>/ と work/ingest_status.tsv。新しい版はここへ書かず、検索もしない。
目録(format.tsv。index_format_store.ps1)¶
UTF-8(BOM 付き)・タブ区切り。書くときは一時ファイルに書いて入れ替える(途中で止まっても半端な目録が残らない)。
| 行 | 中身 |
|---|---|
| 1 行目 | 版=2(形式の版) |
| 2 行目 | アプリの版=<書いた tebunko の版>(調べるためだけ。判定に使わない) |
| 3 行目以降 | <インデックス名><TAB>作成中 または <インデックス名><TAB>作り終えた |
- 知らないキー・知らない列・知らない行は読み飛ばす。
- 目録が壊れたとき(読めない・版の行が無い)は、今の版の本文インデックスのファイルがあるインデックスを「作成中」として書き直す(
repairIndexFormat)。作り終えたかは分からないが、取り込み一覧が残っていれば差分の更新で済む。画面の裏からもインデクサーからも呼ばれるため、インデクサーの更新と同じロックの中で書き(ほかが先に直していれば書かない)、ロックを取れなければ書かずに求めた表を使う。
古い形式の扱いと状態(getIndexFormatState)¶
目録の行と、古い置き場・今の置き場にある本文インデックスから、ワークスペースと各インデックスの状態を決める(判断層。ファイルには触れない)。
| 状態 | 当たるとき | 検索 | 一覧の文言 |
|---|---|---|---|
| Current | 目録が「作り終えた」で、古い置き場に無い | する | 無し |
| Building | 今の置き場にあり、目録が「作成中」(最初の取り込みの途中) | する | 無し |
| Rebuilding | 今の置き場と古い置き場の両方にある(作り直しの途中) | する(作ってある分) | 「作り直しの途中です。[更新]で続きを作ってください」 |
| Old | 古い置き場にだけある(前の版で作った) | しない | 「古い形式です。作り直してください」 |
| Empty | インデックスが 1 つも無い | - | 無し |
| Broken | 目録が壊れて直せなかった(各インデックスは、本文インデックスのファイルの有無から決める) | インデックスによる | 古い置き場にだけあるものは「古い形式です。作り直してください」 |
| Newer | 目録の版が今より新しい | しない | 「新しい版の tebunko で作られています」 |
- 検索に出すのは Current・Building・Rebuilding。古い形式のインデックスがあるときは、検索バーに「古い形式のインデックスは検索していません」を 1 行出す。
- 作り直し: 利用者が[更新]([すべて更新])を押す。今の置き場は空なので全部を取り込む。最後まで終われば、目録をそのインデックスについて「作り終えた」にし、古い置き場の
<名前>/を消す(completeIndexFormat・removeOldIndexOf)。古い置き場が空になればcontent_index/と古いingest_status.tsvも消す。途中で中止したときは古い分を消さず、目録は「作成中」のままにする。 - 「最後まで終わった」とは、回が中止・フォルダの消失で止まらずに終わったこと(1 ファイルの制限時間は、そのファイルの失敗になるだけで回は続く)(
completeRoundIndexes)。取り込めなかったファイルがあっても作り終えた扱いにし、古い置き場の分を消す(取り込めないファイルは毎回失敗するため、失敗を理由に残すと「作り直し中」のまま抜けない)。失敗は取り込み一覧に残り、一覧では「警告」になる。クラウドにだけあって読まなかったファイルも同じ。後回しにしたファイル(利用者の PowerPoint が使えなかったなど)は「未取り込み」のまま理由を書いて残し、失敗に数える(一覧は「警告」、「更新に失敗したファイル」に出る)。次の更新で取り込む。前の版では取り込めていたが今の版では取り込めないファイルは、今の版では取り込めないため検索に出ない(作り直しの途中も、古い置き場は検索しない)。古い置き場の分は消えるので、前の版に戻しても残らない。このファイルは、インデックスの一覧の下の「更新に失敗したファイル」に出る。 - 消す対象を絞る: 消すのは、古い置き場の作り終えたインデックスのフォルダと、古い置き場そのもの・古い取り込み一覧だけ(
oldIndexEntriesの配列に書いたものに限る)。ジャンクションは辿らず(removeDirectoryUnder。ワークスペースの下で、途中にリンクが無いものだけ消す)、名前が空・.・..・ファイル名に使えない文字を含むときは何も消さない。消せなかったときはログに黄色で 1 行出して残し、次のインデックス作成の終わりに再度消す。 - インデックスの名前を変える・消すときは、目録の行も同じ操作で変える(
renameIndexFormatRow・removeIndexFormatRow)。
目録の版の規則¶
- 形式の版は、古い版の tebunko が読めなくなる変更をしたときに上げる(置き場の場所・本文インデックスの形・取り込み一覧の列の意味を変えるなど)。上げたら、前の版のものは「古い形式です。作り直してください」になり、利用者が作り直す。
- 版を上げずに足してよいのは、古い版が読み飛ばして困らないものだけ。目録に新しいキーや列を足す、
store/の下に新しいフォルダを足す、など。知らないものは読み飛ばす決まりのため。 - 版を上げるときは、
indexFormatVersion(content_index_format.ps1)と zip のformatVersionをそろえ、互換の見本(tests/testdata/compat/index/v<版>+store/)を足す。
前の前の版の index\ の扱い(getLegacyIndexState)¶
フォルダ名・ファイル名を content_index にそろえる前の版(前の前の版)が使っていた index\ は、そのままでは読めない(フォルダ名・ファイル名が違う)。新しい版はここを読まず、消しもしない。
- 前の版のしるし:
index\があり、その直下のどれかのフォルダに元のフォルダ.txtがある(getLegacyIndexStateのHasLegacyIndex)。index\があるだけでは、利用者が選んだフォルダにたまたまindexがあるときと区別できないため、しるしとしない。 - 知らせ: インデクサは
store\content\を作る前に前の版のしるしを調べ、見つかれば前の版のインデックス(「<index\ のパス>」)は、この版では使えません。[すべて更新]で、元のファイルをすべて更新し直します。更新し直した後、「<index\ のパス>」フォルダは削除してかまいません。をログに黄色で出す(getLegacyIndexMessage)。
前の版が作った検索用のファイルの片付け(removeOldSystemIndex)¶
前の版は、本文インデックスの 2-gram を書いた txt を system_index\ に、その状態を system_index_state.tsv に置いていた。この版は 2-gram の索引を store\gram\ に自前で持つため、これらは読まず、使わない。
- 画面の起動のとき(裏の仕事)、インデックスの作成と更新の始め(インデクサ)、インポートの登録の前に、
system_index\とsystem_index_state.tsvを消す(removeOldSystemIndex)。無ければ何もしない。 - 消すのはワークスペースの下の、この 2 つだけ。途中にリンク(ジャンクション・シンボリックリンク)があるものは消さない(
removeDirectoryUnder・removeFileUnder)。末端がリンクのときは、リンクだけを外し、先の中身は残す。 - 消せなくても止めない。理由を、起動のときは画面エラーの記録に、インデックスの作成と更新のときはログに黄色で、インポートのときは警告に 1 行出して続け、次の機会にもう一度消す。
- インポートで取り込む前にも同じ片付けをする。ワークスペースを移す・書き出す・消す対象には含めない(前の版のものを新しい場所へ持ち越さない)。
- 画面での確かめ(更新し直しの確かめ)とインデックス作成のメインフローでの扱い(インデックス作成のメインフロー)も参照。
本文インデックスの形式(content_index_format.ps1)¶
本文インデックスは、元のファイルごと・場所(シート・ページ・スライドなど)ごとに、メタ情報の行と、その場所の TSV の中身(TSV 整形仕様 など。1 行 = Excel の 1 行・段落 1 つ)を並べたもの。例(␞ は RS(U+001E)、→ はタブ):
␞ 版=2
␞ ファイル名=(株)山田商事_見積書.xlsx
␞ 種類=Excel
␞ シート=見積
␞ 対象=本文
品名→数量→単価
りんご→10→100
␞ シート=見積
␞ 対象=図形
B2→確定版
␞ ファイル名=(株)山田商事_請求書.xlsx
␞ 種類=Excel
␞ シート=請求
␞ 対象=本文
品名→金額
| 項目 | 仕様 |
|---|---|
| 文字コード・改行 | UTF-16LE(BOM 付き)。改行は LF にそろえる(TSV の CRLF・CR も LF にする。行の分け方は StreamReader.ReadLine と同じにし、行番号を変えない)。UTF-16 にするのは、読んだ後の文字列への変換が UTF-8 より速く、日本語が多いと大きさがほとんど変わらないため |
| メタ情報の行 | 先頭が RS(U+001E)、半角スペース、キー=値。1 行に 1 項目。中身の行には U+001C〜U+001F を入れない(書くときに取り除く)ため、先頭が RS の行はメタ情報の行と分かる |
| 値の符号化 | 値に改行などの制御文字(タブを除く U+0000〜U+001F)と % があれば %XX(16 進 2 桁)にする(encodeContentIndexValue / decodeContentIndexValue) |
| 中身の行 | 場所の TSV の行そのまま(セルはタブ区切り、セル内改行は U+2028)。場所のメタ情報の後の最初の行が 1 行目(Excel ではシートの 1 行目) |
| 並び | 元のファイルは名前の順(現在のカルチャ・大文字と小文字を区別しない)。場所は TSV のファイル名の順 |
| 名前 | content_index.<元のファイルの拡張子(小文字)>.<番号(3 桁)>.tsv(getContentIndexFileName。例 content_index.xlsx.001.tsv)。分けていないときも 001 を付ける |
| 分け方 | 1 つの本文インデックスのファイルが 4MB($contentIndexFileMaxBytes)以上になったら、それ以上元のファイルを足さず、次の番号の本文インデックスのファイルに足す(planContentIndexParts)。更新した元のファイルは今入っている本文インデックスのファイルの中で入れ替え、無くなった元のファイルは外す。変わらない本文インデックスのファイルは書き直さない。元のファイルが無くなった本文インデックスのファイルは消す(番号は詰めない)。1 つの元のファイルは 2 つの本文インデックスのファイルにまたがらない |
| キー | 値 | 意味 |
|---|---|---|
版 |
2 |
形式の版。ファイルの 1 行目。今の版と違えば例外にする(readContentIndexPlaces)。版を上げる規則は下の「目録の版の規則」 |
ファイル名 |
元のファイル名(例 見積書.xlsx) |
ここから新しい元のファイルが始まる |
種類 |
Excel / Word / PowerPoint / テキスト / PDF |
元のファイルの種類(拡張子から決める) |
シート / ページ / スライド / 部分 |
シート名 / ページ番号 / スライド番号 / それ以外の場所の名前(ヘッダー・フッター など。テキストは場所が 1 つだけのため常に 本文) |
ここから新しい場所が始まる |
対象 |
本文 / 図形 / コメント / ノート / 埋め込み |
場所の中身の種類(下の「図形・コメントの場所」) |
埋め込み |
通し番号(1 以上の整数) |
対象=埋め込み の場所だけに付ける(ページ003[埋め込み2] なら ページ=3・対象=埋め込み・埋め込み=2)。場所を始めるキーではない |
非表示 |
はい |
非表示のスライド(PowerPoint)だけに付ける |
- 知らないキーは読み飛ばし、無いキーは既定の値とみなす(後の版でキーを足しても、前の版の読み方で読める)。
- 画面・検索結果に出す場所の名前は、メタ情報から TSV のときと同じ形に組み立て直す(
convertContentIndexMetaToPlace。見積[図形]・ページ001・スライド002(非表示)・スライド001_ノートなど)。TSV のファイル名(場所の名前)からメタ情報へはconvertPlaceToContentIndexMetaで分け、組み立て直して同じ名前にならないもの(番号の桁が違う等)は部分=<名前そのまま>にする。 - メタ情報の行は検索しない(ファイル名・シート名の語には一致しない。検索を速くする仕組み)。
- PDF ファイル(
.pdf)は、場所がページ(ページ001…。部分=ページ001・対象=本文)。文字の無いページは TSV を作らない(PDF ファイルの読み取り)。 - テキストファイル(
.txt等)は、場所が「本文」の 1 つだけ(部分=本文・対象=本文)。行番号がそのまま元のファイルの行番号になる(テキストファイルの読み取り)。
図形・コメントの場所(Excel・Word・PowerPoint で共通の決まり)¶
本文(セル・段落)以外の文字は、<元の場所>[<種類>] という場所(TSV)に分けて出力する。種類ごとに、検索に含めるかを画面で選べる([図形も検索][コメントも検索]。検索 の検索仕様)。
| 種類 | Excel | Word | PowerPoint |
|---|---|---|---|
図形 |
図形・テキストボックス・WordArt、SmartArt、グラフ(売上[図形]。表示のグラフシートも <グラフシート名>[図形] で含む) |
本文のテキストボックス・図形内の文字、SmartArt、グラフ(ページ003[図形]) |
SmartArt、グラフ(スライド002[図形])。テキストボックス・図形の文字はスライドの本文 |
コメント |
メモ・スレッド形式のコメントと返信(売上[コメント]) |
コメントと返信(ページ003[コメント]。本文に参照の無いものは 文書[コメント]) |
旧形式・新形式のコメントと返信(スライド002[コメント]) |
埋め込み<N> |
種類ではない(Excel の中に埋め込んだファイルは読まない) | Word に埋め込んだ Office のファイル(.xlsx・.docx・.pptx など)の中の文字(ページ003[埋め込み2]。N は 1 ファイルの中の参照の順の通し番号。読めなかったものは欠番。Excel のブックは、シートの文字のセルを 1 行にタブでつなぐ。セルの位置は付かない) |
PowerPoint に埋め込んだ Office のファイルの中の文字(スライド002[埋め込み1]) |
ヘッダー・フッター |
印刷のヘッダー・フッター(売上[ヘッダー・フッター]。表示のグラフシートも含む。検索の選択肢は無く、いつも検索する) |
種類ではない(場所の名前 ヘッダー・フッター) |
種類ではない(場所の名前 ヘッダー・フッター) |
- PowerPoint のテキストボックス・図形を本文のままにする理由は PowerPoint のテキスト読み取りと TSV の場所。Word の本文のテキストボックスは Excel とそろえて図形にするため、[図形も検索]をオフにすると検索されない。
- Excel の新しい種類のグラフ(じょうご・ツリーマップ・滝など。
cx:chart)とグラフの中のテキストボックス(c:userShapes)、Excel の中に埋め込んだファイル、スライドマスター・レイアウトは読まない(Excel の図形・コメントの読み取り)。 - 重ならない理由: Excel のシート名には
[]を使えない。Word・PowerPoint の場所(ページNNNスライドNNNヘッダー・フッター等)には[が付かない。このため、ふつうの場所と図形・コメント・ヘッダー・フッターの場所は必ず見分けられる(Word・PowerPoint のヘッダー・フッターは[]で囲まない場所の名前で、Excel の種類[ヘッダー・フッター]とは別。集約ファイルでは Excel がシート=売上対象=ヘッダー・フッター、Word・PowerPoint が部分=ヘッダー・フッター対象=本文)。 - 定義の場所: 種類の名前は
index_name.ps1の$placeKindShape/$placeKindComment/$placeKindHeaderFooter/$placeKindEmbedとobjectPlacePattern(分けるのはsplitObjectPlace)。検索から外す場所(newPlaceExclude)と画面の図形・コメントの判定(HitRow.ObjectPlaceRegex)の正規表現は、newObjectPlaceKindPatternが表(placeKindFileNames)から組み立てる。手で名前を書いて残るのは、書き出す側(office_reader.ps1。変数を使えない)で、そろっていることをテスト(index_name.Tests.ps1)で確かめる。種類を足すときは、index_name.ps1(placeKindFileNamesにも足す)と書き出す側をそろえ、行の先頭がセル番地の種類ならtestCellPrefixedPlace(content_index_format.ps1)も直す。 - 埋め込みの場所: ほかの種類と違い、
[埋め込み<N>]と番号(先頭が 0 でない数字)が付く。番号の無い[埋め込み]や[埋め込み01]はふつうの場所として扱う。TSV のファイル名は<元の場所>[embed<N>](例page_003[embed2].tsv)。集約ファイルのメタ情報は対象=埋め込みと埋め込み=<N>。検索の[図形も検索]をオフにすると、埋め込みも検索されない(選択肢は増やさない)。読み取りの決まり(深さ・数の数え方・読めなかったときの扱い)は Word。 - 1 行の形: Excel の図形・コメントは
<セル番地><TAB><文字>(検索結果の「場所」に出すセル番地と、開くときに選ぶセルに使う)。Excel のヘッダー・フッターは文字だけ(セル番地が無いため、検索結果の「場所」はシート名だけで、開くときもセルは選ばない。行の先頭がセル番地かは、行を作るときにtestCellPrefixedPlace(content_index_format.ps1)で判定してHitRow.IsCellPrefixedに入れる。判定が正しいことは、testCellPrefixedPlaceの表のテストで確かめる)。Word・PowerPoint は図形・コメント 1 つを 1 行(文字だけ。段落はスペースでつなぐ)にする。元の場所(ページ・スライド)は場所の名前で分かる。1 つの図形・コメントは必ず 1 行で、検索は区切りのタブ(最初のタブ)より後の文字だけに一致する(セル番地には一致しない。readContentIndexPlacesのCellPrefixed)。 - 読み取る内容を増やしたとき:
indexer_decide.ps1の$extractVersionsで、その形式(拡張子)の抽出版を上げる。前の抽出版で取り込んだファイルは、更新が無くても次のインデックス作成で取り込み直す(取り込み一覧)。今は.xlsx.xlsm.docx.docm.doc.pptx.pptmが 4、.pptが 2、.pdfを含むほかは 1。
場所の符号化(encodeIndexPlace / decodeIndexPlace)¶
TSV のファイル名に入れる場所(シート名など、固定名(上の「配置・命名規則」)に当てはまらないもの)は、次の文字を % と 16 進数 2 桁にする。本文インデックスに入れるとき(getIndexFolderBooks)に convertIndexFileNameToPlace(固定名なら表から戻し、それ以外は decodeIndexPlace で元に戻す)で元に戻す。本文インデックスのメタ情報には元のシート名を書き(値の符号化は上の「本文インデックスの形式」)、検索結果の「場所」には元のシート名を表示する。
| 元 | " |
% |
* |
/ |
: |
< |
> |
? |
\ |
_ |
\| |
制御文字(U+0000〜U+001F) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 符号化後 | %22 |
%25 |
%2A |
%2F |
%3A |
%3C |
%3E |
%3F |
%5C |
%5F |
%7C |
%00〜%1F |
- 全角に置き換える方式にしないのは、
衝突"と衝突”のように別のシートが同じ TSV 名になり、後のシートで上書きされるため。元に戻せる形にすれば、シート名が違えば TSV 名も必ず違う。 - ファイル名は符号化しない(元ファイルの名前がそのまま TSV のフォルダ名になる。Windows のファイル名なので使えない文字は含まない)。
- Excel のシート名はタブ・改行を含められる(VBA などで付けた場合)。制御文字も符号化するため、そのようなシートも保存できる(検索結果に出すときは、列・行が分かれないようスペースにする。検索結果ファイル)。
- インデックス名(
work/store/content直下のフォルダ名)は符号化せず、toSafeFileName(ファイル名に使えない文字を全角に置き換える)で作る。
| 元 | > |
< |
\ |
* |
" |
: |
? |
\| |
/ |
|---|---|---|---|---|---|---|---|---|---|
toSafeFileName の置換後 |
> |
< |
¥ |
* |
” |
: |
? |
| |
/ |
TSV 整形仕様(prettyTsv / formatTsv)は Excel の取り込み を参照。
インデックスのエクスポート・インポート¶
1 つのインデックスを 1 つの zip に書き出し(exportIndex)、別の PC・ワークスペースで読み込む(importIndex。tebunko/index/index_archive.ps1 が状態層、tebunko/index/index_archive_rules.ps1 が安全性の確かめと名前の決め方)。取り込み直さずに検索でき、元のフォルダが同じなら次のインデックス作成でも取り込み直しが起きないようにする。画面には触れず、lib.ps1 を読み込めば呼べる。
zip の中身と目録(tebunko-index.json)¶
tebunko-index.json … 目録(下)。UTF-8・BOM なし
ingest_status.tsv … そのインデックスの行だけ(相対パスは <インデックス名>\ を外した形)
content_index/<相対フォルダ>/content_index.<拡張子>.<番号>.tsv … 本文インデックスのファイル
- zip の中のパスは
/区切り・インデックス名を含めない相対パスにする(受け取る側で名前を変えられるように)。エントリー名は UTF-8 で書き、読むときもZipArchiveのentryNameEncodingに UTF-8 を渡す。 - 2-gram の索引(
store\gram\)は持ち出さない。 本文インデックスから作り直せるため。受け取った側では、作り終えるまで、そのインデックスの検索はすべてのファイルを照合する(結果は同じで、速くならないだけ。2-gram の索引)。 - source_folder.txt はそのまま持ち出さず、目録の
sourceFolderに書く(受け取る側で書き直す)。
目録(例):
{
"format": "tebunko-index",
"formatVersion": 2,
"appVersion": "v0.3.0",
"exportedAt": "2026-09-27T10:00:00+09:00",
"indexName": "営業",
"sourceFolder": "C:\\共有\\営業部",
"files": [
{ "path": "ingest_status.tsv", "size": 1234, "sha256": "…" },
{ "path": "content_index/2024/content_index.xlsx.001.tsv", "size": 56789, "sha256": "…" }
]
}
files は目録以外の全エントリーの一覧で、インポートはこの一覧に無いエントリーを受け付けない。大きさと SHA-256(SHA256CryptoServiceProvider)で、壊れた・書き換えられたファイルを見分ける。appVersion は記録だけ(判定に使わない)。
形式の版(formatVersion)は、本文インデックスのファイルの形・zip の中の配置・目録と取り込み一覧の列を変えたら上げる整数。インポートは、今の版より大きければ「新しい版の tebunko で作ったため読めない」として止め、今の版より小さければ(版 1 の zip)「前の版の tebunko で書き出した zip のため取り込めない」として止め、1 未満・整数でない・format が tebunko-index でなければ「tebunko のインデックスの zip ではない、または壊れている」として止める(testIndexArchiveManifest)。
エクスポート(exportIndex)¶
インデックス作成のロック(newAppMutex "indexer")を取り、取れなければ例外にする。入れる前の TSV(本文インデックスのファイル以外の *.tsv)が 1 つでも残っていれば、途中で止まったインデックスとして止める(済の行の中身が zip に無くなるため)。保存先と同じフォルダの <保存先>.tmp に書いてから保存先へ置き換え、失敗したら .tmp を消す。本文インデックスのファイルは 1 つずつストリームで写し、写しながら SHA-256 を計算する(メモリに全体を読まない)。
インポート(importIndex)¶
インデックス作成のロックを取り、以下を順に行う。
- zip を開き、目録を確かめる(
testIndexArchiveManifest。下の「受け取ったファイルを信用しない」)。この手順が最初に行われる。 - 名前を決める(
getImportIndexName)。同じ名前のインデックスがあるときの扱い(Rename・Overwrite・Cancel)を呼ぶ側が指定する。Renameは名前(2)・名前(3)…(newIndexNameと同じ決まり)、Overwriteは置き換え、Cancelは何もしない。 - 元のフォルダを決める(呼ぶ側の指定、無ければ目録の
sourceFolder)。空なら止める。同じフォルダが別の名前のクロール対象フォルダにあれば止める(getTargetFoldersは同じフォルダの 2 つ目以降を読まないため、登録しても次のインデックス作成の確認に削除予定として出る。画面の追加・編集と同じ決まり)。検索だけのインデックスと同じフォルダなら、止めずにWarningsで知らせる。 - 空き容量(ワークスペースのドライブ。
getWorkspaceFreeSpace)が「目録の合計 + 1GB」より少なければ止める(zip bomb 対策。testImportFreeSpace)。UNC(\\server\share\…)のワークスペースなど、ドライブとして空き容量を調べられないときは確かめずに進める(調べられないことでインポートを止めない。展開の途中で足りなくなれば、書き込みの失敗として 5 以降の戻しに入る)。 - 展開する(
expandImportArchive):<ワークスペース>\publish\<PID>\import\new\に、確かめた目録のパスからだけファイル名を組み立てて 1 つずつ展開する(エントリーの名前からは組み立てない)。目録の大きさを超えて書こうとしたら止め、書き終えたら大きさと SHA-256 を比べる。本文インデックスのファイルは、展開する前に大きさを見て(64MB 超は展開しない)、展開して SHA-256 を比べたあとに読んで、検索と更新が読めるかを確かめる(testImportedContentIndexFile)。読めないファイルが 1 つでもあれば、zip の中のパスと理由を出して取り込み全体を断る(ワークスペースは変わらない)。source_folder.txtもここに書く。 - 前の版が作った検索用のファイルの片付け(展開の後・設定に登録する前):
removeOldSystemIndexでsystem_index\とsystem_index_state.tsvを消す。壊れた zip・展開の途中(大きさ・SHA-256・本文インデックスの確かめ)で断る zip では消さないよう、zip の確かめと展開がすべて済んでから行う。消せなくても取り込みは続ける(次のインデックス作成でもう一度消す)。前の前の版のindex\には触らない。 - 設定に登録する(
registerImportedIndexInSettings):targetFoldersに{ name, path, enabled }を足す(上書きなら既存の項目を書き換え、並びは変えない)。enabledは元のフォルダがあればtrue。同じ名前のindexSourcesは消す。targetFoldersに入れる理由は、取り込み一覧の行を持ち込むので、次のインデックス作成で差分だけを取り込め、確認の削除予定(取り込み一覧)に出ないため。 store\content\<名前>\を入れ替える(swapInImportedIndexDir。上書きなら今のフォルダをprevious\へ退避してから)。作ったばかり・書いたばかりのフォルダはウイルス対策ソフトに一時的に掴まれることがあるため、removeDirectoryRetryと同じmoveDirectoryRetry(shared/core/fs.ps1)で少し待って数回試す。移すのはmoveDirectoryUnderを通し、元(publish\<PID>\import\)と先(store\content\)の両方が、置き場の下で途中にリンクが無いことを確かめる。- 取り込み一覧を書き直す(
rewriteStatusForImport):readStatusFileで読み、そのインデックスの前のクロール対象フォルダの行とデータ行を除いて、新しいクロール対象フォルダの行とデータ行を足し、インデクサと同じwriteStatusFileで書く。クロール対象フォルダの行は見出しの行の前、見出しの行は必ずある形になる(getIndexNameMapは見出しの行で読むのをやめるため、行が見出しの後ろにあると名前を見つけられず、[設定]の[あるインデックスを使う]で一覧から落ちて確認の削除予定に出る)。空のワークスペースでも、ほかのインデックスがあるワークスペースでも同じ。 - 2-gram の索引は、インポートでは作らず、次のインデックス作成に任せる(下の「2-gram の索引を作る時機」)。
- 作業フォルダを消す。
戻し方: 7〜9 のどこかで失敗したら、逆の操作で戻して例外にする(戻しは対になる関数 restoreImportedSettings・restoreSwappedIndexDir が行い、importIndexCore は入れ子の try の順に呼ぶ)。設定は、変える 3 つの項目(targetFolders・indexSources・searchExcludes)を、登録の前に読んだ値にそのまま書き戻す(並びも元のまま。ほかの項目には触れない)。store\content\<名前>\ は退避した previous\ を戻す(新しく足したときは消す)。取り込み一覧は一時ファイルからの置き換えなので、失敗すれば前のまま。どの段階で失敗しても、作業フォルダ(import\)は消す。tests/tebunko/index/index_archive.Tests.ps1 の「戻す」で、設定に書けない・入れ替えられない・取り込み一覧を書けない、のそれぞれを確かめている。
強制終了したとき:
- 5 の途中: 作業フォルダだけが残り、次のインデックス作成の
removeStaleTmpDirs(終了済みのプロセスのpublish\<PID>)で消える。ワークスペースは変わらない。 - 6(片付け)の途中: 作業フォルダが残り、次のインデックス作成の
removeStaleTmpDirs(終了済みのプロセスのpublish\<PID>)で消える。system_index\の消し残しは、次のインデックス作成で消える。 - 7 と 8 の間: 設定にだけ名前があり、
store\content\<名前>\が無い(上書きなら前のもののまま)。インデックスの一覧に「元のフォルダ」として出るだけで、次のインデックス作成で取り込む。 - 8 と 9 の間: 設定と本文インデックスはあるが、取り込み一覧に行が無い。次のインデックス作成でそのインデックスを全部取り込み直す(時間はかかるが、消えない)。設定を取り込み一覧より先に書くのはこのため(先に取り込み一覧を書くと、設定に名前が無いまま確認の
削除予定に出る)。 - 上書きの 8 の後: 前のインデックスは
previous\に残り、次のインデックス作成のremoveStaleTmpDirsで消える。
2-gram の索引を作る時機: インポートでは作らず、次のインデックス作成に任せる(索引はインデックス作成のロックの中で書く。画面のスレッドからロックを持ったまま長く走らせない)。作るまでは、そのインデックスの検索はすべてのファイルを照合する(結果は同じで、速くならないだけ)。
受け取ったファイルを信用しない(安全性)¶
判断層(testIndexArchiveEntryPath・testIndexArchiveEntryLocation・testIndexArchiveManifest・testImportedStatusRow / testImportedStatusLines・testImportedContentIndexFile)で、次のものを 1 つでも受け付けなければインポート全体を止める(途中まで取り込まない)。
- zip slip: 絶対パス(
/・ドライブ文字・UNC)、..・.・空の区切り、:(代替データストリーム)、ファイル名に使えない文字、予約名(拡張子付きも含む。shared/core/text.ps1の$reservedFileNamesと同じ決まり)、末尾の空白・.、1 つの区切りが 255 文字を超えるもの。区切りは/だけを認め、\を含む名前は受け付けない。 - 置き場所:
tebunko-index.json・ingest_status.tsv・content_index/…/<本文インデックスのファイル名の型>以外は受け付けない(本文インデックスのファイル名の型はcontent_index_format.ps1の型を使う)。 - 重なり: 目録の
filesに同じパスが 2 つ(大文字・小文字を区別しない)、zip の中に同じ名前のエントリーが 2 つ(ZipArchiveは許すため数えて確かめる)、目録に無いエントリー、目録にあるのに zip に無いエントリー。 - 大きさ: 目録(
tebunko-index.json)自体が 64MB 超、エントリーの展開後の大きさ・SHA-256 が目録と違う。目録は、zip の中央ディレクトリの申告の大きさ(送り手が自由に書ける)に頼らず、実際に読んだバイト数を数えて 64MB で打ち切る(readArchiveEntryBytesLimited)。ほかのエントリーの書き込みは目録の大きさで打ち切る。zip のエントリーの数(目録を含めて 100,000)、目録のfilesの大きさの合計(10GB)、ingest_status.tsvの大きさ(256MB)にも上限を置き、超えれば展開の前に断る(testIndexArchiveManifest。空き容量を調べられないときも効く)。空き容量に「合計 + 1GB」の余裕を求める(上の「インポート」の 4。調べられないときは確かめない)。 - 目録の値:
indexNameがtestIndexNameを通らない、sourceFolderが絶対パス・UNC でない・制御文字を含む(そのときは空とみなし、呼ぶ側に指定させる)。 - 取り込み一覧の行: 列の数が違う、
状態が未取り込み・済・失敗以外、相対パスが zip slip と同じ決まりを通らない、同じ相対パスが 2 つ。 - zip は
ZipFile::ExtractToDirectory・ExtractToFileにエントリーの名前を渡して展開しない(確かめた目録のパスからだけファイル名を組み立てる)。 - 本文インデックスのファイルは、取り込みの時点で読めるかを確かめる(
testImportedContentIndexFile)。断るのは、大きさが 64MB(contentIndexSearchMaxBytes)を超えるものと、検索(readContentIndexPlaces)か更新(splitContentIndexTextByBook)が例外にするもの(版が違う・版の行が無い・ファイル名の行に改行が無い)。判定はこの 2 つの関数をそのまま呼ぶので、形の決まりを写さず、読み取りの側の決まりが変われば取り込みも付いてくる。検索が飛ばさずに読める壊れ方(メタ情報の行に=が無い・中身の行が途中で切れている・中身が無い)は受け入れる。検索は読むだけで、中身を実行しない。 - 本文インデックスのファイルの中身も信用しない: 検索は、ファイル 1 つごとに読む・場所の一覧を作る・照合するまでを囲み、版が違う・形が崩れている・読めないファイルは飛ばして件数を知らせる(検索の全体を失敗にしない)。大きさが 64MB(
contentIndexSearchMaxBytes)を超えるファイルは、全量を読んでメモリを使い切らないよう、読まずに飛ばす。名前の番号はTryParseで読み、整数にならない名前(桁あふれ・全角の数字)は本文インデックスのファイルの名前として扱わない(インポートは受け付けず、エクスポートはそのファイルを取り除くよう伝えて止める)。 - 更新の側(
content_index_store.ps1)の読めないファイルの扱いは、この決まりの対象にまだなっていない。
元のフォルダ・開示・書き込み先: 受け取った sourceFolder は検索結果から元のファイルを開くときの場所になる。確かめる前の元のフォルダには触れない: インポートの確認ダイアログは、sourceFolder がローカルのドライブでなければ有無を調べず(SourceExists は $null。getImportArchiveInfo)、利用者が確かめてから登録する。content_index\ に手でコピーしたインデックス(source_folder.txt の場所)は、検索結果から初めて開くときに、元のフォルダに触れる前に確かめ、マクロを持てる形式は読み取り専用で開く(もらったインデックスの元のフォルダを確かめる)。開示は インデックスが元文書の本文を保持する(情報の集約)、書き込み先は 書き込み・削除する場所 を参照。
前の版との互換¶
前の版が作った本文インデックス・取り込み一覧・エクスポートの zip を、新しい版がそのまま読めることを、見本(golden)で確かめる(テストの進め方)。見本は tests/testdata/compat/index/<見本の名前>/(source/・ws/・export.zip・file_times.tsv・expected.json。作り方は tests/testdata/README.md)に置く。
何を変えると見本が要るか: 上に書いた形式(本文インデックスの行・メタ情報、2-gram の索引の形、取り込み一覧の列、エクスポート zip の目録・配置)のどれかを変える PR。変えたら、新しい見本を 1 つ足す(上書きではなく追加。古い見本も読めることを確かめ続けるため)。
見本は足すだけで、既にある見本を変える・消すのはタイトルに ! を付けた PR だけができる(CI の pr-title が確かめる。CI)。! の PR が見本を消したときは、どれを・どの PR で・なぜ消したかを次の表に 1 行残す。
| 消した見本 | PR | 理由 |
|---|---|---|
| (まだ無し) |
抽出版を上げたときの扱い(取り込み一覧 の $extractVersions): 見本の取り込み一覧(ingest_status.tsv)の 抽出版 の列は、見本を作った時点のコードの $extractVersions を表す。今のコードの $extractVersions を上げると、見本の行は「前の抽出版で取り込んだ」ことになり、更新が無くても取り込み直しになる(これは仕様どおりの動き)。互換テスト(index_compat.Tests.ps1)は、見本の expected.json に書いた抽出版と今のコードの getExtractVersion を比べて、取り込み直しになるはずのファイルを求めて確かめる。そのため、抽出版を上げても見本を作り直す必要はなく、テストが落ちることもない。抽出版を上げるときに ! を付けるか、見本にそのときの値を記録するかは、まだ決めていない。 今は、見本に抽出版の記録の仕組みを足さず、上のとおりテストが今のコードの値から期待を求める形にしておく。
取り込み一覧の列を足すときも ! が要る: readStatusFile は列の数が見出しと違う行を読み捨てる(取り込み一覧)。列を足すと、前の版が書いた行(列数が足りない)を新しい版が読めなくなるため、列を足す変更も「見本を変える」と同じ扱いにし、! を付ける。