[P6] テストインフラを機能させる + 分離レベル正当性を椚認するテストを追加する

[thawk105]

親イシュー: #29
依存: #31 (P1) の後に実施推奨（P1なしでも着手可能）

概要

現在、CIはビルドの成否だけを確認するのみであり、プロトコルの正当性を椚認する仕組みが何もない。「Snapshot Isolation」や「直列化可能」と主張するプロトコルを追加しても、その主張を椚認するテストが存在しないため、バグがあってもベンチはそのまま数値を出し続ける。

やること

テストインフラの修復

• トップレベル CMakeLists.txt に enable_testing() を追加する
• 各プロトコルの test/ および新規 test/ を add_subdirectory で接続する
• CI（.github/workflows/build.yml）に ctest --output-on-failure ステップを追加する
• include/ 共通コンポーネントのユニットテストを作成する（zipf, atomic_wrapper, rwlock, masstree_wrapper等）

分離レベルチェッカーの実装

• Adya/Berensonの専知のアノマリースケジュール（G0, G1, G2, write skew, read skew等）で各プロトコルを椚認するテストスイートを追加する
  • SIを主張するプロトコル: write skewを許容することを椚認
  • 直列化可能を主張するプロトコル: write skewを展却することを椚認
  • 各アノマリーの合否がプロトコルの定義と一致しない場合はテスト失敗とする

完了条件

• ctest が CI 内で正常に実行されること
• include/ 内の共通コンポーネントに少なくともユニットテストが存在すること
• 全プロトコルに分離レベル椚認テストが存在し、実装が定義と一致すること

備考

• P1（TxExecutorLike concept）と組み合わせると「コンパイル時椚認」「ランタイム椚認」の両方が機能し、最も安全なプロトコル追加環境になる

[thawk105]

旧 #36（[P7] デッドコード一掃）の分割に伴い、孤立テスト cc/ss2pl/test/CMakeLists.txt の整備を本イシューに統合する。現状 cc/ss2pl/CMakeLists.txt から add_subdirectory(test) されておらず、make_db_test がビルドツリーに接続されていない。テストインフラを機能させる作業の一部として、この孤立テストの接続（または撤去）も対象に含める。

[thawk105]

本イシューは CLAUDE.md ハードルール #3「1 issue = 1 context」に沿って 3 つに分割し、クローズする。
#35 は (1) テストインフラの配線、(2) include/ 共通コンポーネントのユニットテスト、
(3) 分離レベルチェッカー という性質の異なる 3 コンテキストを抱えていた。

• [P6] テストインフラを機能させる（enable_testing + CI ctest + 孤立テスト接続） #91 [P6] テストインフラを機能させる（enable_testing + CI ctest + 孤立テスト接続）
• [P6] include/ 共通コンポーネントのユニットテストを追加する #92 [P6] include/ 共通コンポーネントのユニットテストを追加する
• [P6] 分離レベル正当性チェッカー（アノマリーテストスイート）を追加する #93 [P6] 分離レベル正当性チェッカー（アノマリーテストスイート）を追加する

依存: #92 / #93 は #91（テストインフラの配線）完了後に着手。#92 と #93 は並行可。
旧 #36 から本イシューに統合された孤立テスト cc/ss2pl/test の整備は #91 に引き継ぐ。
なお本文の「依存: #31」は #31 クローズ済みのため充足済み。