■ 概要 本番オントロジーの変更を安全に計画・検証するための Rust 製CLI ツール。変更の全影響を事前に可視化し、検証可能な証明をレビュアーに提供。 ■ 特徴・用途 - **計画→検証→証明フロー**: 変更適用前にすべての結果を確認し、信頼度に依存しない決定論的な証明を生成 - **シングルバイナリ配布**: Rust による高速・軽量実行、Docker イメージも提供で導入が簡単 - **知識グラフ/セマンティックシステムの運用**: オントロジー更新（スキーマ・関係・推論ルール）の回帰防止が必須な環境向け ■ 結論 セマンティック技術・RDF・知識グラフを本番運用する組織にとって、変更検証の透明性と速度を両立させるツール。決定論的な証明により人的レビュー負担を削減。