Q: コレクションが read_only=True で開かれているのに、なぜ zvec の close() はインデックスファイルを変更するのですか？

これは zvec 0.7.0 (Python) および 0.7.2 (Rust bindings) における既知のバグです。読み取り専用の Flat または HNSW インデックスをクローズすると、内部メタデータが無条件にフラッシュされ、`.proxima` ファイル内の `update_time` フィールドと `footer_crc` チェックサムが書き換えられます（通常、ファイルあたり約6バイト）。データ損失や誤ったクエリ結果は発生しませんが、コンテンツハッシュ／不変性チェックが失敗します。 **修正:** zvec をアップグレードしてください — 修正は PR #834 を通じて `main` にマージされました。読み取り専用のクローズでは、インデックスが dirty でない限りメタデータの書き込み（タイムスタンプ／チェックサムの更新）がスキップされるようになり、オープン／クローズサイクル全体でバイト単位のファイル不変性を検証するリグレッションテストが追加されています。 **影響を受けるバージョン（0.7.0/0.7.2）の回避策:** 整合性チェックにおいて `.proxima` インデックスファイルのバイトレベルのファイルハッシュに依存しないでください。代わりに、ベクターペイロードのみをハッシュするか、ドキュメント ID を追跡してください。なお、書き込みはネイティブハンドルを解放する最後のクローズ時にのみ発生します — キャッシュされた読み取り専用ハンドルに対する繰り返しのクエリではファイルは変更されません。

Q: Windows ARM64 上で MSVC を使用して zvec をビルドする際に発生する CMake エラー "Target zvec_ailego is required by zvec_ailego_shared" を修正する方法

このconfigure時のエラーは、MSVCツールセットを使用したWindows ARM64上のzvec 0.5.1に影響します。`src/ailego/CMakeLists.txt`がMSVC ARM64のパスで早期に`return()`を呼び出すため、静的ターゲット`zvec_ailego`が作成されず、一方で`BUILD_ZVEC_AILEGO_SHARED=ON`（デフォルト）は依然としてそれを参照するため、CMakeがfatal errorになります。修正方法: PR #352（マージ済み）を含むmainからのビルドへzvecをアップグレードしてください。このPRはMSVC ARM64向けのailego CMakeおよびアーキテクチャマクロの処理を修正します。0.5.1での回避策: (1) `-DBUILD_ZVEC_AILEGO_SHARED=OFF`を指定してconfigureを行い、存在しない静的ターゲットが参照されないようにする。(2) 代わりにGCC/Clang（Linux）またはAppleClang（macOS Apple Silicon）でARM64ネイティブをビルドする。これらは影響を受けません。(3) `src/ailego/CMakeLists.txt`にローカルでパッチを適用し、MSVCの`return()`を削除して、GCCスタイルの`-march=armv8-a`ではなくMSVC互換のARM64フラグを使用する。

Q: 大規模なコレクションで excludedFileTypes を使用した際に zvec QueryNode で発生する SIGSEGV ネイティブスタックオーバーフロークラッシュの修正方法

このクラッシュは上流の PR #694 で修正されています（マージ済み）。`@zvec/zvec` と対応するネイティブバインディング（例: `@zvec/bindings-linux-x64`）を修正を含むリリースにアップグレードしてから、クエリを再試行してください。アップグレードできるようになるまでの間は、`session.context()` 呼び出しから `excludedFileTypes` を削除することで回避できます。zvec-grep の `searchPlanToStorageFilter` は、除外指定をファイルごとに 1 つずつの `file_id = '...' OR ...` 述語に展開するため（16k ファイルのワークスペースでは約 15k 個の述語）、再帰的な sqlengine の QueryNode パーサーが Linux x64 のスタックをオーバーフローさせます。ファイルタイプの除外を行わないクエリは、同じインデックスでも正常に結果を返します。

Question 1

Windows ARM64 で MSVC 19.51 (VS 2026) を使用し、/O2 でコンパイルする際に発生する MSVC C1001 内部コンパイラエラーの修正方法

Accepted Answer

これはコードのバグではなく、MSVC 19.51 (VS 18.6) ARM64 オプティマイザのリグレッションです。MSVC 19.44 でコンパイルできたコードが、`/O2 /Ob2` 指定時に、定数で埋められたベクターを持つ呼び出し元へ `static_cast(codes[i]) * codes[i]` を `int64_t` に累積するループがインライン化されると、cl.exe が `fatal error C1001` でクラッシュします。回避策（いずれか1つで有効）： 1. 乗算のオペランドを64ビットに拡張する（結果は同一）： ```cpp sum_squared += static_cast(codes[i]) * codes[i]; // static_cast(codes[i]) * codes[i] の代わりに ``` 2. ループのベクトル化を無効にする： ```cpp #pragma loop(no_vector) for (size_t i = 0; i < codes.size(); ++i) { ... } ``` 3. 累積処理を別のループに分割する。あるいは、Microsoft がこのリグレッションを修正するまで、ツールチェーンを MSVC 14.44 (cl 19.44) に固定／ダウングレードしてください。Compiler Explorer で `arm64 msvc v19.51 VS18.6`、フラグ `/DNDEBUG /O2 /Ob2 /EHsc -std:c++17 -MT /Zc:preprocessor /Zc:__cplusplus /W3` を指定して再現可能です。

Question 2

コレクションが read_only=True で開かれているのに、なぜ zvec の close() はインデックスファイルを変更するのですか？

Accepted Answer

これは zvec 0.7.0 (Python) および 0.7.2 (Rust bindings) における既知のバグです。読み取り専用の Flat または HNSW インデックスをクローズすると、内部メタデータが無条件にフラッシュされ、`.proxima` ファイル内の `update_time` フィールドと `footer_crc` チェックサムが書き換えられます（通常、ファイルあたり約6バイト）。データ損失や誤ったクエリ結果は発生しませんが、コンテンツハッシュ／不変性チェックが失敗します。

**修正:** zvec をアップグレードしてください — 修正は PR #834 を通じて `main` にマージされました。読み取り専用のクローズでは、インデックスが dirty でない限りメタデータの書き込み（タイムスタンプ／チェックサムの更新）がスキップされるようになり、オープン／クローズサイクル全体でバイト単位のファイル不変性を検証するリグレッションテストが追加されています。

**影響を受けるバージョン（0.7.0/0.7.2）の回避策:** 整合性チェックにおいて `.proxima` インデックスファイルのバイトレベルのファイルハッシュに依存しないでください。代わりに、ベクターペイロードのみをハッシュするか、ドキュメント ID を追跡してください。なお、書き込みはネイティブハンドルを解放する最後のクローズ時にのみ発生します — キャッシュされた読み取り専用ハンドルに対する繰り返しのクエリではファイルは変更されません。

Question 3

Windows ARM64 上で MSVC を使用して zvec をビルドする際に発生する CMake エラー "Target zvec_ailego is required by zvec_ailego_shared" を修正する方法

Accepted Answer

このconfigure時のエラーは、MSVCツールセットを使用したWindows ARM64上のzvec 0.5.1に影響します。`src/ailego/CMakeLists.txt`がMSVC ARM64のパスで早期に`return()`を呼び出すため、静的ターゲット`zvec_ailego`が作成されず、一方で`BUILD_ZVEC_AILEGO_SHARED=ON`（デフォルト）は依然としてそれを参照するため、CMakeがfatal errorになります。修正方法: PR #352（マージ済み）を含むmainからのビルドへzvecをアップグレードしてください。このPRはMSVC ARM64向けのailego CMakeおよびアーキテクチャマクロの処理を修正します。0.5.1での回避策: (1) `-DBUILD_ZVEC_AILEGO_SHARED=OFF`を指定してconfigureを行い、存在しない静的ターゲットが参照されないようにする。(2) 代わりにGCC/Clang（Linux）またはAppleClang（macOS Apple Silicon）でARM64ネイティブをビルドする。これらは影響を受けません。(3) `src/ailego/CMakeLists.txt`にローカルでパッチを適用し、MSVCの`return()`を削除して、GCCスタイルの`-march=armv8-a`ではなくMSVC互換のARM64フラグを使用する。

Question 4

大規模なコレクションで excludedFileTypes を使用した際に zvec QueryNode で発生する SIGSEGV ネイティブスタックオーバーフロークラッシュの修正方法

Accepted Answer

このクラッシュは上流の PR #694 で修正されています（マージ済み）。`@zvec/zvec` と対応するネイティブバインディング（例: `@zvec/bindings-linux-x64`）を修正を含むリリースにアップグレードしてから、クエリを再試行してください。アップグレードできるようになるまでの間は、`session.context()` 呼び出しから `excludedFileTypes` を削除することで回避できます。zvec-grep の `searchPlanToStorageFilter` は、除外指定をファイルごとに 1 つずつの `file_id = '...' OR ...` 述語に展開するため（16k ファイルのワークスペースでは約 15k 個の述語）、再帰的な sqlengine の QueryNode パーサーが Linux x64 のスタックをオーバーフローさせます。ファイルタイプの除外を行わないクエリは、同じインデックスでも正常に結果を返します。

zvec

主な機能

できないこと

使用例

タグ

はじめ方

類似プロジェクト