TLA+ の不変式や PROPERTY の違反をデバッグする際に使用します。問題を切り分けて診断するための体系的なワークフローを提供します。
このページは OpenClaw Skills 学習ハブの一部で、導入手順・カテゴリ導線・実践リンクを提供します。