プラグイン

設計書や計画をコードベースの事実と照合する主張検証スキル。振る舞いに関する主張は状態機械やデータモデル向けの実行可能なロジックプリミティブ検証へエスカレーションし、前後比較のリグレッション、ドメイン制約、並行性リスクのマイニングも行います。

依存ゼロの状態機械パーサーで CSV（RFC 4180）を解析/クエリ/集計/変換。

実計算による検証ゲート。数式の簡約、論理証明、正規表現検証、E-prover による一階述語論理、状態機械チェック、コード修復に対応し、Go でコンパイルされたバイナリ(Windows 向けビルド済み実行ファイル同梱)で動作します。

Turns what a design, plan or document claims into a model and decides it: UML diagrams rendered, read and reviewed; state machines, protocols and data models checked as models; migrations tested for coverage and rollback symmetry; concurrency claims mined and routed to the checker that can decide them; dependency graphs audited; reports diffed.