デッドスキーマ整理 + DB メンテコマンド (loci gc / VACUUM / .bak ローテーション)

[senna-lang]

概要

未使用テーブル/列が書き込みコストと混乱を生み、DB が肥大 (45MB + 複数 .bak) しても掃除手段が無い。

デッドスキーマ

• vec_exchanges (verbatim ベクトル): どこからも検索されない (search.py は distilled のみ)。
• code_touches.symbol_name / resolved_by: 宣言のみで未書込。
• symbols (distill-time) vs code_symbols (touch-time) の二重管理。

提案する loci gc

• 孤立 palace/vec 行、削除済みセッションの掃除
• VACUUM
• 古い .bak のローテーション/削除
• 上記デッドテーブル/列の drop (マイグレーションで)